sn9

5 ms·

31.
by sn9 3mo ago
You were actually using spaced repetition implicitly whereas they were using flashcards to cram. The issue wasn't the flashcards but their own failure to use them effectively.
32.
by sn9 3mo ago
"Active recall" specifically (aka the testing effect [0]), as opposed to passive recall like rereading. [0] https://en.wikipedia.org/wiki/Testing_effect
33.
by sn9 3mo ago
The thing about Scheme is that learning the syntax takes 10 minutes and then you can just focus on computation.
34.
by sn9 3mo ago
To the extent that you use AI at all, it should be to accelerate your own understanding in ways that are independently verifiable/falsifiable. AI amplifies what you are. If you take shortcuts in your education, you will remain mediocre
35.
by sn9 4mo ago
Most UIs in practice boil down to state machines which are extremely amenable to formal verification. Hillel Wayne's writing is a good starting place to learn more: https://www.hillelwayne.com/formally-specifying-uis&#x
36.
by sn9 4mo ago
Types replace entire classes of tests that coverage metrics wouldn't detect [0]. Types are also documentation! They also decrease the degrees of freedom LLMs have to make mistakes [1]. [0] https://kevinmahoney.co.uk/art
37.
by sn9 4mo ago
Ask (tell!) Jose to release the manga reader!
38.
by sn9 4mo ago
Talk to your doctor about getting evaluated for sleep apnea.
39.
by sn9 4mo ago
You have to actually practice the skill of communicating while solving a problem.
40.
by sn9 5mo ago
A land value tax makes way more sense.
41.
by sn9 5mo ago
Have you considered incorporating formal modelling? Like: [0] https://csci1710.github.io/2026/ and https://forge-fm.github.io/book/2026/ [1] https://elliotswart.github.io/prag
42.
by sn9 5mo ago
Everyone should Jimmy Koppel's post on what abstractions are and aren't: https://www.pathsensitive.com/2022/03/abstraction-not-what-y... Anyone claiming LLMs are an a higher level of abstraction are not
43.
by sn9 5mo ago
The post explicitly makes the case for the filtering playing a role. Ctrl-F "Python".
44.
by sn9 5mo ago
To disambiguate search results in the future, I've had great luck appending "lang" like so: "roadmap 2026 rust lang".
45.
by sn9 5mo ago
But the point is that taking bad pictures doesn't help.
46.
by sn9 5mo ago
How to Design Programs : https://htdp.org/2026-2-25//Book/index.html
47.
by sn9 5mo ago
I don't have a dog and it would be very weird to get a dog for the sole purpose of having one for dating profile pics to meet women.
48.
by sn9 5mo ago
I don't have a dog and it would be very weird to get a dog for the sole purpose of having one for dating profile pics to meet women.
49.
by sn9 5mo ago
Notably none of these matter on dating apps where profile pics actually help you get matches so you can actually talk to a person.
50.
by sn9 6mo ago
Math Academy will diagnose exactly where your gaps are and build you up in a series of bite-sized lessons where you actively solve problems with immediate feedback until you've demonstrated mastery. It can take you from knowing your mu
51.
by sn9 6mo ago
nand2tetris only requires programming ability at the level of someone who's taken freshman level CS IIRC. You could take Harvard's CS50 and then tackle it.
52.
by sn9 6mo ago
We should not cater to people who make decisions based on titles instead of reading the actual article.
53.
by sn9 6mo ago
https://accidentallyquadratic.tumblr.com/
54.
by sn9 6mo ago
What are some examples of this?
55.
by sn9 6mo ago
Could prompt injection be used to trick this kind of analysis? Has anyone experimented with this idea?
56.
by sn9 6mo ago
And software isn't as constrained by physics as hardware, which massively expands both the design space as well as how many ways things can go wrong.
57.
Introduction to Pragmatic Formal Modeling(elliotswart.github.io)
1 points by sn9 7mo ago|0 comments
58.
by sn9 7mo ago
Matt Pocock has a nice TDD skill he's made available [0][1]. [0] https://www.aihero.dev/skill-test-driven-development-claude-... [1] https://github.com/mattpocock/skills/blob/main/td
59.
by sn9 8mo ago
She wrote about it in the most recent post on her blog: https://lexi-lambda.github.io/blog/2025/05/29/a-break-from-p...
60.
by sn9 8mo ago
I think they're talking about cases when you can make the "zero" behave like an algebraic identity.

More ›