For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | fromregister
AI Reproduction of Lin's Busy Beaver Proof (nickdrozd.github.io)
1 point by tocs3 73 days ago | past
Running out of places to move the goalposts to (nickdrozd.github.io)
4 points by nickdrozd 3 months ago | past | 13 comments
Recursive Type Definitions in Rust (nickdrozd.github.io)
3 points by nickdrozd 5 months ago | past
AI-generated music is starting to hit (nickdrozd.github.io)
3 points by nickdrozd 5 months ago | past
The Shape of a Turing Machine (nickdrozd.github.io)
5 points by nickdrozd 6 months ago | past
A New Record in Self-Cleaning Turing Machines (nickdrozd.github.io)
2 points by Fibra 8 months ago | past | 1 comment
What a Difference a Faster Hash Makes (nickdrozd.github.io)
1 point by emschwartz 10 months ago | past
An ideology-induced bug in Mypy (nickdrozd.github.io)
2 points by nickdrozd on Sept 11, 2024 | past | 1 comment
Some Advice for How to Make Emacs Tetris Harder (2019) (nickdrozd.github.io)
14 points by pbrowne011 on Sept 3, 2024 | past | 1 comment
Print Debugging and Print Profiling (nickdrozd.github.io)
1 point by nickdrozd on Aug 5, 2024 | past
What if undecidability shows up all at once? (nickdrozd.github.io)
2 points by nickdrozd on July 16, 2024 | past
Signed Char Lotte (nickdrozd.github.io)
2 points by aksui on April 13, 2024 | past
Www.thug.com (nickdrozd.github.io)
1 point by nickdrozd on March 6, 2024 | past
A (Partial) Solution to the Halting Problem (2022) (nickdrozd.github.io)
2 points by nateb2022 on Jan 28, 2024 | past
Pro-AI? (nickdrozd.github.io)
1 point by nickdrozd on Jan 12, 2024 | past
Eval should not be a built-in function (nickdrozd.github.io)
2 points by nickdrozd on Oct 30, 2023 | past
Tetration (nickdrozd.github.io)
2 points by nickdrozd on Sept 26, 2023 | past
Python Interface / Refactor Challenge (nickdrozd.github.io)
1 point by nickdrozd on July 12, 2023 | past
Blogging in the Age of Internet-Scale AI Training (nickdrozd.github.io)
1 point by nickdrozd on July 2, 2023 | past
When Only Real Math Will Do (nickdrozd.github.io)
1 point by nickdrozd on June 23, 2023 | past
The High Price of Abstraction in Python (nickdrozd.github.io)
3 points by nickdrozd on May 8, 2023 | past | 1 comment
There is no such thing as human-generated text (nickdrozd.github.io)
2 points by nickdrozd on April 20, 2023 | past | 1 comment
How to print-debug Python comprehensions (nickdrozd.github.io)
2 points by nickdrozd on March 3, 2023 | past | 1 comment
A Christmas Tautology (2020) (nickdrozd.github.io)
43 points by nickdrozd on Dec 25, 2022 | past | 28 comments
Advice for Browsing Wiktionary in Emacs (nickdrozd.github.io)
19 points by nickdrozd on Dec 21, 2022 | past | 1 comment
The Walrus-While Python Pattern (nickdrozd.github.io)
2 points by nickdrozd on Dec 14, 2022 | past
Collatz Counterexamples (nickdrozd.github.io)
2 points by nickdrozd on Sept 15, 2022 | past
How typical is the Solar System? (nickdrozd.github.io)
4 points by nickdrozd on Sept 14, 2022 | past
Formal Proof Challenge: The Half-Collatz Theorem (nickdrozd.github.io)
3 points by nickdrozd on June 15, 2022 | past
A Solution to the Halting Problem (nickdrozd.github.io)
1 point by nickdrozd on May 6, 2022 | past | 1 comment

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

HN For You