| | An ideology-induced bug in Mypy (nickdrozd.github.io) |
|
2 points by nickdrozd 3 months ago | past | 1 comment
|
|
| | Some Advice for How to Make Emacs Tetris Harder (2019) (nickdrozd.github.io) |
|
14 points by pbrowne011 3 months ago | past | 1 comment
|
|
| | Print Debugging and Print Profiling (nickdrozd.github.io) |
|
1 point by nickdrozd 4 months ago | past
|
|
| | What if undecidability shows up all at once? (nickdrozd.github.io) |
|
2 points by nickdrozd 5 months ago | past
|
|
| | Signed Char Lotte (nickdrozd.github.io) |
|
2 points by aksui 8 months ago | past
|
|
| | Www.thug.com (nickdrozd.github.io) |
|
1 point by nickdrozd 9 months ago | past
|
|
| | A (Partial) Solution to the Halting Problem (2022) (nickdrozd.github.io) |
|
2 points by nateb2022 11 months ago | past
|
|
| | Pro-AI? (nickdrozd.github.io) |
|
1 point by nickdrozd 11 months ago | 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
|
|
| | Does This Function Terminate? (nickdrozd.github.io) |
|
1 point by nickdrozd on April 14, 2022 | past
|
|
| | Performance Hot Spots (nickdrozd.github.io) |
|
3 points by nickdrozd on April 12, 2022 | past
|
|
| | Collatz Arithmetic (nickdrozd.github.io) |
|
1 point by nickdrozd on April 7, 2022 | past | 1 comment
|
|
| | Total functions and partial functions (nickdrozd.github.io) |
|
1 point by nickdrozd on April 1, 2022 | past
|
|
| | A Formal Theory of Spaghetti Code (nickdrozd.github.io) |
|
99 points by nickdrozd on March 12, 2022 | past | 42 comments
|
|
| | Latest Beeping Busy Beaver Results (nickdrozd.github.io) |
|
1 point by nickdrozd on Feb 11, 2022 | past
|
|
| | A better Turing machine tape model (nickdrozd.github.io) |
|
23 points by nickdrozd on Jan 31, 2022 | past | 16 comments
|
|
|
|
More |
