Hacker News: sn9

New comment by sn9 in "Ask HN: Why do we snore? And what to do about it?"

sn9 — Tue, 26 May 2026 16:01:40 +0000

Talk to your doctor about getting evaluated for sleep apnea.

New comment by sn9 in "Ask HN: How do you prepare to tech interview? Any tip and tricks?"

sn9 — Tue, 26 May 2026 15:50:25 +0000

You have to actually practice the skill of communicating while solving a problem.

New comment by sn9 in "Houses are for living, not for speculation"

sn9 — Tue, 12 May 2026 23:07:04 +0000

A land value tax makes way more sense.

New comment by sn9 in "Redis array: short story of a long development process"

sn9 — Mon, 04 May 2026 19:27:03 +0000

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/

New comment by sn9 in "LLMs Are Not a Higher Level of Abstraction"

sn9 — Mon, 04 May 2026 18:57:05 +0000

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.

New comment by sn9 in "A couple million lines of Haskell: Production engineering at Mercury"

sn9 — Sun, 03 May 2026 20:13:02 +0000

The post explicitly makes the case for the filtering playing a role. Ctrl-F "Python".

New comment by sn9 in "A couple million lines of Haskell: Production engineering at Mercury"

sn9 — Sun, 03 May 2026 20:03:52 +0000

To disambiguate search results in the future, I've had great luck appending "lang" like so: "roadmap 2026 rust lang".

New comment by sn9 in "U.S. gender ratios by metro, ages 20-34"

sn9 — Sun, 03 May 2026 19:49:49 +0000

But the point is that taking bad pictures doesn't help.

New comment by sn9 in "Good developers learn to program. Most courses teach a language"

sn9 — Sat, 02 May 2026 15:38:55 +0000

How to Design Programs: https://htdp.org/2026-2-25//Book/index.html

New comment by sn9 in "U.S. gender ratios by metro, ages 20-34"

sn9 — Sat, 02 May 2026 15:20:19 +0000

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.

New comment by sn9 in "U.S. gender ratios by metro, ages 20-34"

sn9 — Sat, 02 May 2026 15:20:14 +0000

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.

New comment by sn9 in "U.S. gender ratios by metro, ages 20-34"

sn9 — Fri, 01 May 2026 14:12:51 +0000

Notably none of these matter on dating apps where profile pics actually help you get matches so you can actually talk to a person.

New comment by sn9 in "Fundamental Theorem of Calculus"

sn9 — Thu, 23 Apr 2026 18:20:19 +0000

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.

New comment by sn9 in "Want to write a compiler? Just read these two papers (2008)"

sn9 — Wed, 15 Apr 2026 22:55:20 +0000

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.

New comment by sn9 in "Lean proved this program correct; then I found a bug"

sn9 — Tue, 14 Apr 2026 22:43:01 +0000

We should not cater to people who make decisions based on titles instead of reading the actual article.

New comment by sn9 in "40x Faster Binary Search"

sn9 — Sat, 11 Apr 2026 22:57:26 +0000

https://accidentallyquadratic.tumblr.com/

New comment by sn9 in "Launch HN: Freestyle – Sandboxes for Coding Agents"

sn9 — Mon, 06 Apr 2026 23:55:55 +0000

What are some examples of this?

New comment by sn9 in "Claude Code Found a Linux Vulnerability Hidden for 23 Years"

sn9 — Sat, 04 Apr 2026 20:47:07 +0000

Could prompt injection be used to trick this kind of analysis? Has anyone experimented with this idea?

New comment by sn9 in "Taming LLMs: Using Executable Oracles to Prevent Bad Code"

sn9 — Sat, 28 Mar 2026 23:34:12 +0000

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.

Introduction to Pragmatic Formal Modeling

sn9 — Mon, 16 Mar 2026 17:19:44 +0000

Article URL: https://elliotswart.github.io/pragmaticformalmodeling/

Comments URL: https://news.ycombinator.com/item?id=47401907

Points: 1

# Comments: 0