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
·2 месяца назад·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/.