HackerLangs
TopNewTrendsCommentsPastAskShowJobs

chrisra

101 karmajoined 11 tahun yang lalu

Submissions

Closing the verification loop, Part 2: autonomous optimization

datadoghq.com
3 points·by chrisra·4 bulan yang lalu·1 comments

comments

chrisra
·16 jam yang lalu·discuss
And what would they do if you refuse?
chrisra
·3 hari yang lalu·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 hari yang lalu·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 hari yang lalu·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 hari yang lalu·discuss
In general, the harder it is to undo and the broader the consequence, the more you need to check.
chrisra
·bulan lalu·discuss
Agreed. I enjoy looking at and using a lot of these components.
chrisra
·bulan lalu·discuss
The first picture is of overcooked pancakes. Hard to trust the rest :)
chrisra
·bulan lalu·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 bulan yang lalu·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 bulan yang lalu·discuss
What models are you using, on what type of codebases, with what tools?
chrisra
·3 bulan yang lalu·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 bulan yang lalu·discuss
Their decision to... use AI for coding?
chrisra
·4 bulan yang lalu·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 bulan yang lalu·discuss
Next up: proportional fonts and font weights?
chrisra
·6 bulan yang lalu·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 bulan yang lalu·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 bulan yang lalu·discuss
Which LLM was used to generate that post?
chrisra
·9 bulan yang lalu·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/.