Viewing profile — quick_brown_fox

+1 on programming as theory building. If it wasn’t already, the bottleneck has shifted from code generation to understanding & reasoning.

> I think Anthropic genuinely cares about model welfare I've grown too cynical to believe for-profit entities have the capacity to care. Individual researchers, yes - commercial or…

Related concepts in Peter Naur's "Programming as Theory Building" [0] or Gerald Sussman's "Problem Solving by debugging-almost Right Plans" [1] [0] https://pages.cs.wisc.edu/~remzi…

I mostly agree, however experienced a different challenge exactly for the very reason of consistency: I used to work within the Chromium codebase (at the order of 10s of million LO…

How about “We sell a computer called the tinybox. It comes in two colors + pro. tinybox red and green are for people looking for a quiet home/office machine. tinybox pro is for peo…

I'm still having a hard time comparing US salaries across continents. I used to halve SF salaries to arrive at the EUR equivalent for purchasing power parity. In addition to that, …

> The "sufficient explanation of the goals/problem" is the code—anything less is totally insufficient. somewhat in that spirit, I like Gerald Sussman's interpretation of software d…