Hacker News: sn9

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

New comment by sn9 in "Agentic Engineering Patterns"

sn9 — Thu, 05 Mar 2026 00:50:24 +0000

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/tdd/SKILL.md

New comment by sn9 in "Parse, Don't Validate (2019)"

sn9 — Wed, 11 Feb 2026 00:08:45 +0000

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...

New comment by sn9 in "Parse, Don't Validate (2019)"

sn9 — Wed, 11 Feb 2026 00:07:34 +0000

I think they're talking about cases when you can make the "zero" behave like an algebraic identity.

New comment by sn9 in "Two days of oatmeal reduce cholesterol level"

sn9 — Sat, 07 Feb 2026 01:23:08 +0000

The problem is entirely about patients refusing to do what they know is good for them if it takes any self-discipline, so doctors resort to medication.

You can't force them to have healthy lifestyles.

New comment by sn9 in "I prefer to pass secrets between programs through standard input"

sn9 — Wed, 04 Feb 2026 20:23:43 +0000

I had to disconnect Mullvad to load the page.

New comment by sn9 in "Vitamin D and Omega-3 have a larger effect on depression than antidepressants"

sn9 — Sat, 31 Jan 2026 17:53:51 +0000

I'd also check out these two episodes from Barbell Medicine on Vitamin D where two doctors discuss the pros and cons of supplementation.

* https://soundcloud.com/user-344313169/vitamin-d-mixdown-1

* https://www.barbellmedicine.com/podcast/episodes/episode-381...

New comment by sn9 in "Ask HN: Do you still use physical calculators?"

sn9 — Sat, 31 Jan 2026 16:37:40 +0000

I use an emulated scientific calculator Android app which has all the features of a physical calculator but none of the performance issues.

If I'm at my laptop, I usually just use a IPython REPL.

New comment by sn9 in "Two days of oatmeal reduce cholesterol level"

sn9 — Fri, 30 Jan 2026 18:57:11 +0000

Fiber consumption has long been known to reduce cholesterol levels in a dose-dependent fashion.

Current recommendations are to get 15+ grams of fiber per 1000 Calories, but we know from, e.g., hunter-gatherer populations that humans can eat far more than that.

Building a diet around whole food sources that are high in fiber and protein is basically all you need for a healthy diet, constrained by however many calories you need to support a healthy weight.

Fruits, veggies, legumes, whole grains, nuts, seeds, etc. should make up the majority of your diet.

New comment by sn9 in "Two days of oatmeal reduce cholesterol level"

sn9 — Fri, 30 Jan 2026 18:52:50 +0000

Doctors and public health organizations literally have dietary and physical activity guidelines.

How to Use AI for the Ancient Art of Close Reading

sn9 — Fri, 30 Jan 2026 18:14:26 +0000

Article URL: https://www.fast.ai/posts/2026-01-21-reading-LLMs/

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

Points: 1

# Comments: 0

New comment by sn9 in "The Overly Analytical Guide to Escorting (2021)"

sn9 — Tue, 20 Jan 2026 23:22:49 +0000

Per literal hour of work, not the average rate of a 40 hour work week.

New comment by sn9 in "Trump's Letter to Norway Should Be the Last Straw"

sn9 — Mon, 19 Jan 2026 23:39:53 +0000

Give them time to figure out the mental gymnastics. They always do.

New comment by sn9 in "Mathematics for Computer Science (2018) [pdf]"

sn9 — Fri, 09 Jan 2026 23:26:07 +0000

Math Academy has a comparable Discrete Math course that shows you how to solve every problem after you submit a solution and incorporates spaced repetition.

New comment by sn9 in "Fighting Fire with Fire: Scalable Oral Exams"

sn9 — Sat, 03 Jan 2026 00:48:40 +0000

If you have a <1% pass rate from beginning to end, then that strongly suggests that your admissions criteria is intentionally low enough to admit students that are unprepared for the program so that you can take their money.

You could easily raise the bar without sacrificing quality of education (and likely you'd improve it just from the improvement in student:teacher ratio).

New comment by sn9 in "Get Better at Programming?"

sn9 — Tue, 16 Dec 2025 22:55:09 +0000

I'd also check out HtDP [0] or the similar two-book set on problem solving and program design by Marco T. Morazán [1].

They both come from the Racket school of pedagogy and focus on systematic program design [2]. The first resource is free and excellent, but the second goes into more detail.

[0] https://htdp.org/2024-11-6/Book/index.html

[1] https://www.amazon.com/stores/author/B09QMPRYYM/allbooks?ccs...

[2] https://felleisen.org/matthias/Thoughts/The_Design_Recipe.ht...