HackerTrans
TopNewTrendsCommentsPastAskShowJobs

bumbledraven

no profile record

Submissions

The agent principal-agent problem

crawshaw.io
2 points·by bumbledraven·2 bulan yang lalu·2 comments

I am building a cloud

crawshaw.io
1,115 points·by bumbledraven·3 bulan yang lalu·563 comments

Lean proved this program correct; then I found a bug

kirancodes.me
395 points·by bumbledraven·3 bulan yang lalu·178 comments

What's in a Codebase?

moderndescartes.com
1 points·by bumbledraven·3 bulan yang lalu·0 comments

Being the Adult in the Room

tailscale.com
5 points·by bumbledraven·3 bulan yang lalu·0 comments

Man beats machine at Go (2023)

ft.com
2 points·by bumbledraven·4 bulan yang lalu·3 comments

The Flawed Ephemeral Software Hypothesis

blackhc.net
4 points·by bumbledraven·4 bulan yang lalu·0 comments

The hidden control plane lurking in your commodity server

linkedin.com
6 points·by bumbledraven·5 bulan yang lalu·0 comments

comments

bumbledraven
·bulan lalu·discuss
https://archive.ph/NLgU9
bumbledraven
·2 bulan yang lalu·discuss
TFA links to https://joshcollinsworth.com/blog/tailwind-is-smart-steering, which is about Tailwind, but makes multiple distinctions and points that could just as well apply to LLMs, e.g.:

> Builders value getting the work done as quickly and efficiently as possible. They are making something—likely something with parts beyond the frontend—and are often eager to see it through to completion. This means Builders may prize that initial execution over other long-term factors.

> Crafters are more likely to value long-term factors like ease of maintainability, legibility, and accessibility, and may not consider the project finished until those have also been accounted for.

> In my view, the more you optimize for building quickly, the more you optimize for homogeneity.
bumbledraven
·2 bulan yang lalu·discuss
800-word response by https://en.wikipedia.org/wiki/Mark_Lucovsky, who was on the team that built Windows NT: https://nitter.net/marklucovsky/status/2052828852490285390#m.

It begins:

> In David Crawshaw’s recent post “The agent principal-agent problem” there’s a lot of insight beneath the headline “Code review is broken.” Worth reading carefully.

> Toward the end, David reflects on what he calls the old “cowboy” development culture at Microsoft in the 80s/90s. Not much has been written about that era, mostly because there was no social media, no laptops everywhere, no phones recording daily engineering life.

> A few thoughts from someone who lived it.

Conclusion:

> A lot of software quality did not come from pre-commit review gates.

> It came from tight teams, deep ownership, brutal integration pressure, system-wide stress, and developers who fully understood the machinery they were standing on.
bumbledraven
·3 bulan yang lalu·discuss
This article has one neat Google search trick I hadn't known about: `AROUND(#)`. But I am skeptical of much of the rest of it.

Searching for `“can anyone recommend”` to get unfiltered recommendations is an interesting hack, but I feel it's not too reliable. At reddit, you could ask this, and an unknown percentage of responses could be shills or bots.

I'm also skeptical of how much the suggested `@reddit` differs from just `reddit`. The description says it's for social media handles, but reddit is a platform, not an individual user's handle. I suspect google looks for the user's intent to see results from a particular site or social media platform and uses that signal to influence the ranking, and I doubt '@' has much of an effect on that process.

> The results Google omits tend to be less trafficked and less search-optimized, which frequently means they’re more substantive and written for readers rather than algorithms

Really? I call BS. Every time I've looked at the omitted results they've been very similar to ones I've already seen.

I stopped reading after that.
bumbledraven
·4 bulan yang lalu·discuss
Details on the strategy employed by the human are at https://goattack.far.ai:

> We discovered simple adversarial strategies that beat superhuman Go AIs, and find that adding defenses helps but does not eliminate the problem. Our cyclic adversary beats the state-of-the-art KataGo AI more than 97% of the time at superhuman settings. This strategy is simple enough to be replicated by an amateur human player and transfers to other superhuman Go AIs.
bumbledraven
·4 bulan yang lalu·discuss
https://archive.is/EBcVa
bumbledraven
·4 bulan yang lalu·discuss
A design doc with a robust "alternatives considered" section.
bumbledraven
·tahun lalu·discuss
I have been writing the same thing by (ab)using the existing unit of measurement known as a bel (B), which is most commonly seen with the SI prefix “deci” (d) as dB or decibel. I write the speed of light as 8.5 Bm/s (“8.5 bel meters per second”), which resembles the expression 20 dBV (“20 decibel volts”) shown at https://en.wikipedia.org/wiki/Decibel.
bumbledraven
·4 tahun yang lalu·discuss
HN discussion on Devault’s essay: https://news.ycombinator.com/item?id=30009452
bumbledraven
·8 tahun yang lalu·discuss
The use of plus codes for addresses would simplify mail delivery and vehicle routing in many parts of the world. https://plus.codes/