7
points
aarestad
Joined 1,105 karma
A married Norwegian bachelor coder (formerly: Google, Tempus AI, GrubHub).
- aarestad parent“code is cheap, show me the talk” - ie “show me you _understand_ the ‘cheap’ code”
- ...authored by [Julia Evans](https://jvns.ca) of tech-explainer fame :)
- By fiat, of course. :) (e.g. https://en.wikipedia.org/wiki/Indiana_pi_bill)
- As a Sconnie native, the main thing that annoyed me about the letter system is that it's easy for the letters to rhyme; for example, near Verona (home of Epic!), there are (Dane) County roads PB and PD. Gotta enunciate carefully. :P This would qualify as a "usability issue" I would imagine. :)
- Is the almost-24-bit limit related to the fact that 32-bit floats have 24 bits of significand? (cf. https://en.wikipedia.org/wiki/Single-precision_floating-poin...)
- “Craft” vs “delivery” is a false dichotomy. Someone who is “delivering” needs to understand what they are delivering! How can you support vibe-coded cruft that you don’t understand? This is why tools like TypeScript exist; TS by itself adds little in terms of functionality or in “deliverables”, but it makes the code more _understandable_. It’s worth the time to invest in making sure your types are correct because it makes you think about constraints. There are no shortcuts.
- I can't find one either! Here's a 10-year-old article with a picture of it, though it looks slightly different now: https://www.dnainfo.com/chicago/20151204/west-loop/long-awai...
- A bit of Deno trivia: it runs the big "Chicago Brick" video wall in Google's main office in Fulton Market; they open-source the code here:
https://github.com/google/chicago-brick
(I contributed a little "Penrose-tile" module during my time there, though I never got it in production :P)
- 2 points
- 2 points
- 179 points
- 11 points
- 4 points
- Best guess from Duckin' is an old military proposal called "Multiple Device Queuing System" https://ftp.arl.army.mil/~mike/papers/82usenix-mdqs/usenix.h...
- There is no strategic understanding by any party of this tool (or the Sudoku one): the human "creator" nor the AI agent. Human knowledge is not advanced at all. The LLM can't tell you _why_ it makes its choices - maybe it could pretend to, but the descriptions themselves would probably be hallucinatory.
It's "just a game" but obviously this also applies to AI decision making in much more consequential settings. We should not strive just to come up with "the right answer" but ask _why_ it is the right answer.
- 1 point
- 3 points
- 6 points
- I did a bit of googling to see if I could find a decent civilian introduction to "how to write a SAT solver" but everything I found were papers assume quite a bit of previous knowledge. Is there a good source where one could learn a bit about how to write a basic SAT solver and how to improve on it?
- 5 points
- 4 points
- 2 points