georgewsinger

6 ms·

1.
Math-to-Manim(github.com)
64 points by georgewsinger 4mo ago|7 comments
2.
by georgewsinger 5mo ago
I'm surprised the author didn't mention the other argument for paraxanthine being less addictive than caffeine: it has a less acute/peaky curve of adenosine blocking. I'm not a biologist, but I'm under the impressio
3.
Why does software have bugs?(youtube.com)
3 points by georgewsinger 1y ago|1 comments
4.
by georgewsinger 1y ago
Some explanations considered in this video: 1. Software engineering isn't "real" engineering. 2. Nobody cares about bugs when they write software in the first place. 3. Software is hard. 4. Software is early.
5.
Rearing Children Who Will Like You(daviddfriedman.substack.com)
3 points by georgewsinger 1y ago|0 comments
6.
by georgewsinger 1y ago
If you like reasoning about a program in terms of expression trees/graphs, I recently discovered that Wolfram Language has built-ins for this: https://reference.wolfram.com/language/ref/ExpressionTree.ht...
7.
by georgewsinger 1y ago
This was such a great story. Steve was a mischievous person himself, so surely a part of him respected this.
8.
by georgewsinger 1y ago
This is so cool. Real-time accent feedback is something language learners have never had throughout all of human history, until now. Along similar lines, it would be useful to map a speaker's vowels in vowel-space (and likewise for con
9.
by georgewsinger 1y ago
What kinds of speed can be achieved, in terms of words per per minute?
10.
From Rust to C and Back Again(youtube.com)
2 points by georgewsinger 1y ago|0 comments
11.
by georgewsinger 1y ago
Is this really how SOTA LLMs parse our queries? To what extent is this a simplified representation of what they really "see"?
12.
by georgewsinger 1y ago
Does anyone know if NOVAMIN based toothpastes (e.g. Sensodyne) have been tested?
13.
by georgewsinger 1y ago
The author should make a meta-entry about how he makes the (insanely beautiful) diagrams in the book (ideally walking through the process).
14.
by georgewsinger 1y ago
Insane that people would downvote a totally reasonable comment offering a competing alternative. HN is supposed to be a community of tech builders.
15.
by georgewsinger 1y ago
Somehow completely missed that, thanks! I think reading this makes it even clearer that the 70.3% score should just be discarded from the benchmarks. "I got a 7%-8% higher SWE benchmark score by doing a bunch of extra work and samplin
16.
by georgewsinger 1y ago
Yes, however Claude advertised 70.3%[1] on SWE bench verified when using the following scaffolding: > For Claude 3.7 Sonnet and Claude 3.5 Sonnet (new), we use a much simpler approach with minimal scaffolding, where the model decides whi
17.
by georgewsinger 1y ago
Very impressive! But under arguably the most important benchmark -- SWE-bench verified for real-world coding tasks -- Claude 3.7 still remains the champion.[1] Incredible how resilient Claude models have been for best-in-coding class. [1]
18.
by georgewsinger 1y ago
SimulaVR[1][2] is releasing our standalone (belt-strappable) compute packs this year, which will (ii) come pre-installed with our FOSS Linux VR Desktop compositor and (ii) work with AR headsets like the Rokid Max series (and potentially the
19.
by georgewsinger 1y ago
Still waiting for rr to work more transparently/easily with Haskell.
20.
by georgewsinger 1y ago
This is such an insightful comment. Now that I see it, I can't see unsee it.
21.
by georgewsinger 2y ago
Makes sense. Thanks for the correction.
22.
by georgewsinger 2y ago
Did anyone else notice that o3-mini's SWE bench dropped from 61% in the leaked System Card earlier today to 49.3% in this blog post, which puts o3-mini back in line with Claude on real-world coding tasks? Am I missing something?
23.
by georgewsinger 2y ago
======= Technical Summary ======== Here's a problem with NixOS: 1. Suppose we have a `./nixos_binary_program_with_glibc-newer` compiled on a NixOS machine against bleeding edge `glibc-newer`. 2. `./nixos_binary_program_with
24.
by georgewsinger 2y ago
That's because it is! This was an interesting post. It's a shame it somehow lost its front-page status.
25.
by georgewsinger 2y ago
Do you have any sense as to whether Tengwar is any more or less compact/concise than Shavian?
26.
by georgewsinger 3y ago
I live near Texas. I just filled my car's entire tank of gas (1990 Miata) for ~$22. How are gas prices in Europe these days?
27.
by georgewsinger 3y ago
This is a good way to put it.
28.
by georgewsinger 3y ago
I suspect the reason might be related to Apple not wanting to cannibalize their MacBook revenue (which historically is almost always higher than their iPad revenue). So they've opted to create an iPad replacement instead of a laptop re
29.
by georgewsinger 3y ago
Understood. We opted to make tradeoffs that optimize for VR pixel density over headset lightness (since we think pixel density/text readability is ultimately a bigger barrier for long sessions than weight). With that said, our compute
30.
by georgewsinger 3y ago
We wrote about our thoughts on Apple's planned VR offering.[1] Their headset looks really cool & polished, but we think people like your friend might not find it as productive as they'd wish since it only supports iOS (iPad&#

More ›