nickdrozd

9 ms·

61.
by nickdrozd 4y ago
A lot of books start at the low level and work their way up to higher abstractions. SICP goes the opposite direction: it starts close to math and then moves down towards the machine. So maybe you would enjoy the book more if you started fro
62.
by nickdrozd 4y ago
It took bold and determined leadership to make the breaking changes necessary to do things the right way. There were plenty of entrenched interests that would have preferred to keep doing things the wrong way because it was easier in the sh
63.
A Christmas Tautology (2020)(nickdrozd.github.io)
43 points by nickdrozd 4y ago|28 comments
64.
Advice for Browsing Wiktionary in Emacs(nickdrozd.github.io)
19 points by nickdrozd 4y ago|1 comments
65.
The Walrus-While Python Pattern(nickdrozd.github.io)
2 points by nickdrozd 4y ago|0 comments
66.
What Happened to the Bar Tab?(punchdrink.com)
2 points by nickdrozd 4y ago|1 comments
67.
Guido van Rossum: It's still my language (2005)(mail.python.org)
2 points by nickdrozd 4y ago|0 comments
68.
Sunny-Day Flooding Is About to Become More Than a Nuisance (2021)(wired.com)
3 points by nickdrozd 4y ago|0 comments
69.
by nickdrozd 4y ago
Idris has a replace function, and it's hard to understand and use there too. I consider its use to be a code smell, and in my experience replace expressions can always be rewritten in other ways to be clearer and less verbose.
70.
by nickdrozd 4y ago
Dependent types are very cool and very frustrating. Once you get it, it opens up a whole new way to express program behavior; but until then, it all seems like pointless busywork. The Little Typer is somewhat tougher to get through than o
71.
Meta executive orders employees to love VR product(defector.com)
12 points by nickdrozd 4y ago|2 comments
72.
by nickdrozd 4y ago
Python's dynamic nature can be exploited to solve problems caused by Python's dynamic nature.
73.
Machete-Mode Debugging(nedbatchelder.com)
2 points by nickdrozd 4y ago|1 comments
74.
Collatz Counterexamples(nickdrozd.github.io)
2 points by nickdrozd 4y ago|0 comments
75.
How typical is the Solar System?(nickdrozd.github.io)
4 points by nickdrozd 4y ago|0 comments
76.
by nickdrozd 4y ago
The usual way to deal with an infinite number of cases is to group them into a finite number of cases and then deal with those. That's how induction works. So if you can prove that (1) the machine is in a certain condition at some step
77.
by nickdrozd 4y ago
> Down here at BB(6) you can feel fairly sure the machine doesn't express anything inherently problematic because it's just too simple. One of the shocking results of Busy Beaver research is that this is actually false. Even wi
78.
by nickdrozd 4y ago
> Think about it this way. If a particular Turing machine halts, that’s a finitary fact: you can prove it by exhibiting a finite sequence of valid states for the Turing machine which ends in a halt. But if it doesn’t halt, that’s an infi
79.
Busy Beaver vs. Graham's Number(sligocki.com)
3 points by nickdrozd 4y ago|0 comments
80.
by nickdrozd 4y ago
Numbers that are expressed using Knuth's up-arrow notation can be difficult to compare. Say you have a number N such that 10↑↑15 < N < 10↑↑16. 10↑↑15 and 10↑↑16 look like they should be pretty close, because 15 and 16 are pretty
81.
Hyper Scientific Notation for Unspeakably Large Numbers(sligocki.com)
4 points by nickdrozd 4y ago|2 comments
82.
Latest Busy Beaver champion has too many digits to count(sligocki.com)
86 points by nickdrozd 4y ago|18 comments
83.
Formal Proof Challenge: The Half-Collatz Theorem(nickdrozd.github.io)
3 points by nickdrozd 4y ago|0 comments
84.
Interactive SQL tutorial based on death row data(selectstarsql.com)
2 points by nickdrozd 4y ago|0 comments
85.
What Happens If the Moon Crashes into Earth?(youtube.com)
1 points by nickdrozd 4y ago|1 comments
86.
New 6-State Busy Beaver Champion Discovered(sligocki.com)
2 points by nickdrozd 4y ago|0 comments
87.
A Solution to the Halting Problem(nickdrozd.github.io)
1 points by nickdrozd 4y ago|1 comments
88.
Does This Function Terminate?(nickdrozd.github.io)
1 points by nickdrozd 5y ago|0 comments
89.
Performance Hot Spots(nickdrozd.github.io)
3 points by nickdrozd 5y ago|0 comments
90.
Collatz Arithmetic(nickdrozd.github.io)
1 points by nickdrozd 5y ago|1 comments

More ›