Hacker News Reader

drmajormccheeseon There are only twelve 4x4 sudokus (and a cool trick for finding minimal subsets)

This looks related to https://oeis.org/A107739.

If the 4x4 sudoku has 288 / 4! = 12 distinct solutions, then does the 9x9 sudoku have 6670903752021072936960 / 9! distinct solutions?

drmajormccheeseon Understanding is the new bottleneck

There is a body of knowledge in unit testing, integration testing, static analysis, model checking, formal methods, fuzz testing, … (what other techniques for building assurance in our code have I forgotten). And LLMs can be put to use towards all of these methods. But sure, we just need to think harder to solve all our problems. Velocity of code goes up. Velocity of testing can also go up. It’s just not as fun or glamorous.

drmajormccheeseon How to stop Claude from saying load-bearing

And there’s the smoking gun.

drmajormccheeseon The OEIS meta sequence and subway stations

I “vibe coded” an iOS app that lets you guess the next number from a curated list of OEIS sequences. The app is called Infinite Numbers. It’s free. No ads. No tracking.

drmajormccheeseon We let AIs run radio stations

What if you gave the AIs a subscription to Suno to generate the content for their shows.

drmajormccheeseon Vibe coding and agentic engineering are getting closer than I'd like

There are techniques for improving our confidence in our software: unit testing, integration testing, fuzz testing, property-based testing, static analysis, model checking, theorem proving, formal methods, etc. The LLM is not only a tool for generating lines of code. It can also generate lines of testing. The goal is that the tests are easier to audit by the humans than the code.

drmajormccheeseon Bunny Database

This is not a database of bunnies

drmajormccheeseon Mozilla right now (Digital Painting)

2%. https://gs.statcounter.com/browser-market-share

drmajormccheeseon Wiki Radio: The thrilling sound of random Wikipedia

Yes

drmajormccheeseon Better Operator Precedence

Fortress didn’t have a total order of operators. Also IIRC operators could be tightly bound or loosely bound based on whitespace.

drmajormccheeseon Ask HN: Must Read from ACM Library?

https://mspiegel.github.io/canon

drmajormccheeseon Show HN: Always Be Closing – Pull Request Management Service

Yeah. Recently (past half year) GitHub enabled a feature where duplicate comments are automatically edited to be hidden comments. I think it's a continuation of the GitHub feature that allows repository owners to hide a comment. Two caveats: (1) you can't hide a comment using the GitHub API; (2) I haven't tested whether duplicate comments trigger an email notification. Ideally they would not trigger notification.

drmajormccheeseon Show HN: Immutable and type-checked state and actions for Redux

Type checked state is known as "typestate". A Google search will bring up the typestate paper.

drmajormccheeseon How to write a "GPUs are Awesome" paper

There have been some GPU implementations of the Barnes-Hut algorithm [O(nlogn) n-body problem].