HackerLangs
TopNewTrendsCommentsPastAskShowJobs

chrisra

101 karmajoined 11 jaar geleden

Submissions

Closing the verification loop, Part 2: autonomous optimization

datadoghq.com
3 points·by chrisra·4 maanden geleden·1 comments

comments

chrisra
·16 uur geleden·discuss
And what would they do if you refuse?
chrisra
·3 dagen geleden·discuss
It might be worth looking into probabilistic programming languages. I'm out of date, but I remember webppl, stan, anglican, pymc (a python library).

Seems worth an investigation and maybe mention on the article.
chrisra
·9 dagen geleden·discuss
Decisions by small groups should be the default. Others only need to be involved if the risk/consequences of failure are high.

I started ignoring all PRs from our large team because we had a similar policy. My teammates can handle, they don't need me to check on each PR.
chrisra
·14 dagen geleden·discuss
I recommend finding a real project that is likely to have some complex needs. It's easier to learn when there are real problems to solve.
chrisra
·19 dagen geleden·discuss
In general, the harder it is to undo and the broader the consequence, the more you need to check.
chrisra
·vorige maand·discuss
Agreed. I enjoy looking at and using a lot of these components.
chrisra
·vorige maand·discuss
The first picture is of overcooked pancakes. Hard to trust the rest :)
chrisra
·vorige maand·discuss
If Imagen generates a digital painting after my prompt, I didn't make the painting.

I don't want them to say "I wrote it." They're still responsible, but it's helpful to know they weren't deeply involved in its creation.
chrisra
·2 maanden geleden·discuss
I have no problem with my credentials being revoked everywhere before I know about a layoff. I don't really care how I learn about it, just please don't make me come in to the office.
chrisra
·3 maanden geleden·discuss
What models are you using, on what type of codebases, with what tools?
chrisra
·3 maanden geleden·discuss
I feel the same way. In general, I prefer working on a couch with my laptop. My eyes aren't great and I end up ruining my posture at a desk, invariably.
chrisra
·4 maanden geleden·discuss
Their decision to... use AI for coding?
chrisra
·4 maanden geleden·discuss
"...the system described here does it all automatically: It proposes optimizations using LLMs, formally verifies safety properties, shadow-evaluates against real production traffic, and hot-swaps improved code into running services without human intervention or service restarts."
chrisra
·6 maanden geleden·discuss
Next up: proportional fonts and font weights?
chrisra
·6 maanden geleden·discuss
> To increase the contrast of our sampling vector, we might raise each component of the vector to the power of some exponent.

How do you arrive at that? It's presented like it's a natural conclusion, but if I was trying to adjust contrast... I don't see the connection.
chrisra
·7 maanden geleden·discuss
Maybe try finding a software engineering job at a place that also uses your scientific expertise. You may be able to find or create opportunities there. The position might not exist, but you can maximize your chances of something coming your way that needs both skill sets.
chrisra
·8 maanden geleden·discuss
Which LLM was used to generate that post?
chrisra
·9 maanden geleden·discuss
> the real challenge is standardization and integration

In what sense? I'm a newbie, but curious because I'm working on stuff related to https://mesastandards.org/mesa-der-std/.