sn9

8 ms·

121.
by sn9 1y ago
But at the level of precision needed to manipulate our weight, we basically are. Like there are entire communities of practice that know how to do this effectively at will. This is a learnable teachable skill.
122.
by sn9 1y ago
I don't know about "faster than C", but usually the promise is that you can get to within the same order of magnitude of performance with higher level abstractions, more guarantees of correctness (or at least higher likelihoo
123.
by sn9 1y ago
My understanding of jj is that's it's meant to be compatible with git. Does that mean that working through this will also improve your git usage? Or could be used to teach someone git workflows?
124.
by sn9 1y ago
Ugh that's a whole other rant. If I know what channel the video I'm looking for is from, I end up going directly to the channel and searching from there. Otherwise I've definitely resorted to using my history as well.
125.
by sn9 1y ago
I'm assuming whatever they're currently doing involves machine learning so uses more compute than the simple correct solution that a CS freshman could code up.
126.
by sn9 1y ago
That seemed plausible so I tried it and after more than 10 seconds, a search for "rupee" returned similarly poor results. This is really only the latest example of nearly useless search results. I genuinely don't understand h
127.
by sn9 1y ago
I would be fine with ads if I could block anything that wasn't a simple static image with an obvious link that's off to the side. The software equivalent of what newspaper ads used to be. Anything with sound or motion, or popups,
128.
by sn9 1y ago
There's an entire field of formal verification that LLMs can take advantage of. You can incorporate proofs with Coq or Dafny or use model checkers or TLA+ to actually verify your code. This will be required for any software where corre
129.
by sn9 1y ago
How does compromising the ability to search your inbox increase ad revenue?
130.
Ask HN: Why is Gmail so incompetent at basic search?
60 points by sn9 1y ago|60 comments
131.
by sn9 1y ago
What problems do you work on?
132.
by sn9 1y ago
Because the numbers are an order of magnitude different? [0] Water needed to produce 4 oz of soy beans: 64 gallons Water needed to produce 4 oz of beef: 463 gallons Your points about the carbon cycle are well-taken but you're ignor
133.
by sn9 1y ago
If we just ended agricultural subsidies that artificially lower the price of meat (and fossil fuel subsidies) while taxing fossil fuels at the point of extraction to correct for their negative externalities, this would solve a lot. Politica
134.
by sn9 1y ago
You can also find this approach in this book that comes in Racket and Python flavors [0]. [0] https://mitpress.mit.edu/9780262047760/essentials-of-compila...
135.
by sn9 1y ago
Sure but moving from a few centralized sources of fossil fuels to a globally distributed and decentralized network of sources of synthetic biofuels means transport distances are a tiny percentage of what they are with fossil fuels. This con
136.
by sn9 1y ago
We have quite a bit of experience transporting hydrocarbons . . . .
137.
by sn9 1y ago
Divisiveness as well as strategically voting for the "lesser of two evils" compared to voting for your ideal choice. It should honestly be banned for any election and primary across the country and be replaced with approval voting
138.
by sn9 1y ago
Has anyone ever written a book about using math to exploit game mechanics like this? I would buy it in a heartbeat.
139.
by sn9 1y ago
Some things that might help: 1. Starting a meditation practice. 2. No screens after sundown. Turn them off and charge them overnight. 3. Print out long-form text on physical paper. 4. Make sure you're getting quality sleep, exercising
140.
by sn9 1y ago
People are likely willing to struggle through hard stuff if the applications are obvious. But if you can't even narrow the breadth of possible choices down to a few paths that can be traveled, you can't be surprised when people ta
141.
by sn9 1y ago
Reminds me of this old Dan Luu blog post: "How web bloat impacts users with slow connections" [0]. [0] https://danluu.com/web-bloat/
142.
by sn9 1y ago
You have a link to the code in question?
143.
by sn9 1y ago
If you can get deported for your speech, it is not free. Constitutional rights aren't conditional on US citizenship unless explicitly stated. [0] [0] https://scholarship.law.georgetown.edu/cgi/viewcontent.cgi?a...
144.
by sn9 1y ago
It's not necessarily true that games being fun is the reason why you can play them for hours. Think about games where you're grinding doing tedious stuff to level up your character. Not nearly as fun, but still something you can e
145.
by sn9 1y ago
Yes that's the algorithmic complexity of the function they patched.
146.
by sn9 1y ago
The algorithm complexity went down in the function they patched (6x improvement in their benchmark), but in the context of how they benefited with how they were using the algorithm the impact was much larger (improved to taking 1% of the ti
147.
by sn9 1y ago
Skiena has a great table in his algorithms book mapping time complexity to hypothetical times for different input sizes. For n of 10^9, where lg n takes 0.03 us and n takes 1 s, n lg n takes 29.9 s and n ^2 takes 31.7 years .
148.
by sn9 1y ago
It's unambiguously true that some amount of math beyond high school like that studied in Discrete Mathematics is essential for computer science . That's not the same thing as being essential for programming . That being said, st
149.
by sn9 1y ago
MIT OCW Scholar.
150.
by sn9 1y ago
I thought this piece was satire. Like even the framing showed how a ridiculous premise it was.

More ›