HNHacker News
TopNewBestAskShowJobs

sn9

1,910 karma · joined March 15, 2016

submissionscomments
sn9··on Ask HN: Is it just me, or is software buggier across the board?
I think gstatic.com was down yesterday or something because a ton of websites just stopped working.

Spotify on Android got an order of magnitude slower recently.

These are just the examples that come to mind that I've dealt with from the last 48 hours.

sn9··on Ask HN: Advice for first-year CS students?
Read Cal Newport's books on study habits.

Learn to use Anki to leverage spaced repetition to intentionally put things into your long term memory. This step comes after understanding though.

Don't rely on AI to do anything you don't know how to do yourself. (You can use it to learn, but then make sure you independently verify and internalize the information.)

Use Math Academy to learn math ahead of time. Then take as much math as you can.

Use pen and paper to do your thinking and problem solving before writing a line of code.

sn9··on After 7 years in production, Scarf has reluctantly moved away from Haskell
OCaml is such an obvious solution to their problem that I'm shocked it wasn't even mentioned. You get fast compile times without sacrificing type safety.
sn9··on A love letter to flashcards
You can take advantage of spaced repetition just for scheduling the review of proofs and problems you've solved before.

By review, I mean attempting to solve them like you're seeing the problem statement for the first time.

sn9··on A Love Letter to Flashcards
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.

sn9··on A love letter to flashcards
"Active recall" specifically (aka the testing effect [0]), as opposed to passive recall like rereading.

[0] https://en.wikipedia.org/wiki/Testing_effect

sn9··on Structure and Interpretation of Computer Programs Video Lectures (1986)
The thing about Scheme is that learning the syntax takes 10 minutes and then you can just focus on computation.
sn9··on Ask HN: How much coding should beginners learn in the AI era?
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.

If you dive deep in your understanding, building a broad and deep foundation, then you will be exponentially more powerful.

sn9··on Formal methods and the future of programming
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/

sn9··on Elixir v1.20: Now a gradually typed language
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/articles/tests-vs-types/

[1] https://john.regehr.org/writing/zero_dof_programming.html

sn9··on Strace-ui, Bonsai_term, and the TUI renaissance
Ask (tell!) Jose to release the manga reader!
sn9··on Ask HN: Why do we snore? And what to do about it?
Talk to your doctor about getting evaluated for sleep apnea.
sn9··on Ask HN: How do you prepare to tech interview? Any tip and tricks?
You have to actually practice the skill of communicating while solving a problem.
sn9··on Houses are for living, not for speculation
A land value tax makes way more sense.
sn9··on Redis array: short story of a long development process
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/pragmaticformalmodeling/

[2] https://quint.sh/

sn9··on LLMs Are Not a Higher Level of Abstraction
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 using it in the way used by programmers and computer scientists.

They're usually conflating "delegation" and "abstraction", as if a junior developer is an abstraction.

sn9··on A couple million lines of Haskell: Production engineering at Mercury
The post explicitly makes the case for the filtering playing a role. Ctrl-F "Python".
sn9··on A couple million lines of Haskell: Production engineering at Mercury
To disambiguate search results in the future, I've had great luck appending "lang" like so: "roadmap 2026 rust lang".
sn9··on U.S. gender ratios by metro, ages 20-34
But the point is that taking bad pictures doesn't help.
sn9··on Good developers learn to program. Most courses teach a language
How to Design Programs: https://htdp.org/2026-2-25//Book/index.html
sn9··on U.S. gender ratios by metro, ages 20-34
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.
sn9··on U.S. gender ratios by metro, ages 20-34
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.
sn9··on U.S. gender ratios by metro, ages 20-34
Notably none of these matter on dating apps where profile pics actually help you get matches so you can actually talk to a person.
sn9··on Fundamental Theorem of Calculus
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 multiplication tables all the way to all the math you need for an engineering and/or CS degree.

sn9··on Want to write a compiler? Just read these two papers (2008)
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.

sn9··on Lean proved this program correct; then I found a bug
We should not cater to people who make decisions based on titles instead of reading the actual article.
sn9··on 40x Faster Binary Search
https://accidentallyquadratic.tumblr.com/
sn9··on Launch HN: Freestyle – Sandboxes for Coding Agents
What are some examples of this?
sn9··on Claude Code Found a Linux Vulnerability Hidden for 23 Years
Could prompt injection be used to trick this kind of analysis? Has anyone experimented with this idea?
sn9··on Taming LLMs: Using Executable Oracles to Prevent Bad Code
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.
← PreviousPage 2 of 34Next →