Something Something Programming nickdrozd.github.io

Mostly thoughts about programming. Maybe other stuff too.

AI Reproduction of Lin’s Busy Beaver Proof
nickdrozd.github.io·17w·Hacker News
Running out of places to move the goalposts to
nickdrozd.github.io·20w·Hacker News
Recursive Type Definitions in Rust
nickdrozd.github.io·30w·Hacker News
AI-generated music is really starting to hit
nickdrozd.github.io·32w·Hacker News
The Shape of a Turing Machine
nickdrozd.github.io·33w·Hacker News
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·44w
Busy Beaver Backwards
nickdrozd.github.io·46w
What a Difference a Faster Hash Makes
nickdrozd.github.io·51w·Lobsters, Hacker News, r/programming
BBB(3, 3) > 10 ↑↑ 6
nickdrozd.github.io·60w
An ideology-induced bug in Mypy
nickdrozd.github.io·88w
chatgpt undrstands gabarbled text
nickdrozd.github.io·90w
Print Debugging and Print Profiling
nickdrozd.github.io·93w
What if undecidability shows up all at once?
nickdrozd.github.io·96w
www.thug.com
nickdrozd.github.io·115w
Pro-AI?
nickdrozd.github.io·123w
`eval` should not be a built-in function
nickdrozd.github.io·133w
Tetration
nickdrozd.github.io·138w

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help