HackerTrans
TopNewTrendsCommentsPastAskShowJobs

chrisra

101 karmajoined قبل 11 سنة

Submissions

Closing the verification loop, Part 2: autonomous optimization

datadoghq.com
3 points·by chrisra·قبل 4 أشهر·1 comments

comments

chrisra
·قبل 21 ساعة·discuss
And what would they do if you refuse?
chrisra
·قبل 3 أيام·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 أيام·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 يومًا·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 يومًا·discuss
In general, the harder it is to undo and the broader the consequence, the more you need to check.
chrisra
·الشهر الماضي·discuss
Agreed. I enjoy looking at and using a lot of these components.
chrisra
·الشهر الماضي·discuss
The first picture is of overcooked pancakes. Hard to trust the rest :)
chrisra
·الشهر الماضي·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
·قبل شهرين·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 أشهر·discuss
What models are you using, on what type of codebases, with what tools?
chrisra
·قبل 3 أشهر·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 أشهر·discuss
Their decision to... use AI for coding?
chrisra
·قبل 4 أشهر·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 أشهر·discuss
Next up: proportional fonts and font weights?
chrisra
·قبل 6 أشهر·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 أشهر·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 أشهر·discuss
Which LLM was used to generate that post?
chrisra
·قبل 9 أشهر·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/.