kmill

31 ms·

241.
by kmill 6y ago
What if you colored each each row of beads differently? Then you'd have some idea of how each number contributes to each column once it settles.
242.
by kmill 6y ago
It's closer to redstone, but it's a more complicated system. It's like ladder logic in industrial control but with a couple hundred integer-valued registers per circuit network that the "combinators" update every ga
243.
by kmill 6y ago
A colleague of mine purchased one of the Klein bottle hats, and they received some selfies of Stoll wearing it in his garden right before shipment :-)
244.
by kmill 6y ago
You seem to be thinking about Forth-the-language, and I've tried to be clear that Forth is referring to a way of programming where you extend the machine, which seems to be what Chuck Moore has meant by Forth. Your program is a lang
245.
by kmill 6y ago
I should also say that what I'm saying Forth "is" seems to be contentious in the Forth community. This is touched upon in the article, where ANSI Forth is more Forth-the-language, but Chuck Moore Forth is more Forth-the-mach
246.
by kmill 6y ago
You can add garbage collection to Forth, but for the trivial reason that Forth is a low-level virtual machine to which you can add instructions/words for managed objects, and then you can add some words to help you interact with them m
247.
by kmill 6y ago
Are you familiar with how to implement a bytecode virtual machine using a jump table? Forth is pretty much that, but the jump table is extensible. I meant it very literally. The fact that this is exposed inspires a certain way of programmin
248.
by kmill 6y ago
Something I like about this article is how it helps reveal what Forth's essence is: Forth is an extensible virtual machine Most interpreted languages that are implemented with a virtual machine (sometimes known as a bytecode interprete
249.
by kmill 6y ago
I think of computers as being telescopes for math. They can help you see deeper than you could before, but you still need to know where to look, make sure you have enough resolving power, etc.
250.
by kmill 6y ago
I think that was a reference to the movie The Three Amigos. The characters misunderstanding the word sent them off on their unintentionally heroic adventure.
251.
by kmill 6y ago
They also have ESC symbolname ESC, with autocomplete.
252.
by kmill 6y ago
There's a graphical notation you can get from string diagrams for a "reflexive object" (an inscrutable reference that will help if you know how to deal with 2-categories graphically already: https://ncatlab.org&#x2
253.
by kmill 6y ago
It would have been nice if 4D only ever meant four spatial dimensions, and then we'd have (3+1)D for three spatial dimensions and a time dimension. (And (2+2)D for two spatial and two time dimensions :-))
254.
by kmill 6y ago
Before the diagonalization argument, Cantor had another proof of the uncountability of the reals. Looking it up again, it's actually pretty much the Alice-Bob game! See theorem 2: https://www.maa.org/sites/default
255.
by kmill 6y ago
"Shooting yourself in the foot," sure, but if you look up "footgun" it seems to only be programming slang. What I was suggesting with the above comment was that this sort of list might have popularized the metaphor of s
256.
by kmill 6y ago
I've wondered whether the term directly evolved from this sort of joke list that was popular to pass around on the early internet: http://www.personal.psu.edu/sxt104/program1.html
257.
by kmill 6y ago
I was playing with AI Dungeon tonight to get access to GPT-3, and one of my many experiments ended up with me meeting a character called the Narrator who believed they were in control of all characters in the game, including me. Eventually,
258.
by kmill 6y ago
Two possibilities come to mind. The red channel in each pixel might be at the left, causing all the pure red text to be slightly shifted relative to the other text. Another might be chromatic aberration if you wear glasses. (This causes the
259.
by kmill 6y ago
I don't know the physics well enough, but having skimmed the paper it looks like it has something to do with crystallographic point groups[1]. The point sets are invariant under some of these groups, and that symmetry can help you do
260.
by kmill 6y ago
I noticed the same thing and wrote essentially the same comment before I noticed yours. There's also a bit of a peak in Javascript during winter break, which is when some schools do "externships."
261.
by kmill 6y ago
Plus, it's a theorem in Lean: https://github.com/leanprover/lean/blob/master/library/init/... (Lean has a somewhat different type theory from Coq, where propositions in Prop have the prope
262.
by kmill 6y ago
I'm not sure what you're talking about, unless you're saying truth is provability. (Classical logic would disagree.) The Lean proof assistant, which has a pretty strong commitment to constructability, has the law of the exc
263.
by kmill 6y ago
You're right that the rule as stated is incorrect (and I internally corrected it to "it can either create a permanent symbol that won't be collected or give access to internal symbols", so for a moment I didn't kn
264.
by kmill 6y ago
I'd like to see a sample of this if it would be possible. Through the years I've been tinkering with new odd Lisp dialects based on ideas I've picked up along the way, and this might be another thing to test out. Haskell-lik
265.
by kmill 6y ago
Did you see the justifications? For example, > Not only does [INTERN] cons, it either creates a permanent symbol that won't be collected or gives access to internal symbols. This creates opportunities for memory leaks, denial of se
266.
by kmill 6y ago
By the way, 3 and 4 are pretty much the same in Lean, assuming you define "R\{0}" using complementation rather that somehow defining the nonzero reals from scratch.
267.
by kmill 6y ago
Yeah, it's not. They're following something like Smale's proof as best as I understand. It will give some general useful topological tools for mathlib.
268.
by kmill 6y ago
Here's a nice 3blue1brown video about the easier version of the inscribed rectangle problem, that some inscribed rectangle exists: https://www.youtube.com/watch?v=AmgkSdhK4K8 And I remember thinking this was a nice o
269.
by kmill 6y ago
I'm not familiar with coedges --- they sound like the darts in the dual map of a planar combinatorial map[1] to me. Do you know if they correspond like this? In short, a combinatorial map is a graph along with a counterclockwise order
270.
by kmill 6y ago
Yeah, Morse theory is really cool! There's a way to adapt this sort of proof to show that every polyhedral sphere (like the polyhedra considered in the article), when thought of as residing in 3D space, bound a polyhedral ball. For thi

More ›