kmill

71 ms·

571.
by kmill 10y ago
By "parser-based" I was referring to terminology from the interactive fiction community. A parser-based game is one whose primary mode of interaction is a parser reading user commands. I agree that there is an underlying state ma
572.
by kmill 10y ago
Yes, but not anytime near it came out (it was probably around 2000 C.E. for me). Earlier this year I was playing around with recompilation (reading the Emscripten whitepaper) of z-code. The Infocom games used a virtual machine to get their
573.
by kmill 10y ago
I'm curious what you've identified as the root of the problem for making these sorts of parser-based games. It sounds to me that you'd rather it be a choose-your-own-adventure game, which your suggestion would make sense for
574.
by kmill 10y ago
Another way to think of it is that permuting rows corresponds to multiplying a matrix on the left by a permutation matrix, and permuting columns, on the right. Since matrix multiplication is associative, they commute!
575.
by kmill 10y ago
I've been trying to develop a kind of argument map for mathematical proofs. Most proofs I come across are fairly ill-structured, especially from the point of view of someone with programming experience (a proof is just a program which
576.
by kmill 10y ago
I've thought the same thing. Some bikers have lights which flash extremely brightly and aimed at eye-level, probably with the idea that brighter things are harder to miss, but whether I'm a driver or a biker, I hate to be behind
577.
by kmill 10y ago
If I remember correctly, Brent's variation considers both the chain of the element being inserted, and the chains for the elements being swapped, and then does a dynamic program to decide exactly what to swap. It sacrifices some inser
578.
by kmill 10y ago
I don't know anything about the physics, but here's something field-related that seems particle-like to me. On a smooth manifold (which is a space that is "locally Euclidean" in such a way that you can do calculus), the
579.
by kmill 10y ago
I haven't read them myself yet, but I've heard good things about Structure and Interpretation of Classical Mechanics and Functional Differential Geometry . I hear there is a reasonable alternative to classical notation in thes
580.
by kmill 10y ago
Basically, when you're using a calculator, you're calculating, not notating. With RPN, you have a data stack, and everything you do is an action you perform on this stack (like entering a number or doing an operator). You can se
581.
by kmill 10y ago
I like the idea of shaking permanent beliefs/attitudes. From reading your talk, it sounds like taking the optimistic mindset is partly as an antidote to a pessimistic attitude, or to the idea that a person can be reduced to a (negativ
582.
by kmill 10y ago
I like this from a representation theory perspective. The cyclic group of order two, C_2, is the set {1,x} with x^2=1 (it's reasonable to just use {1,-1} with the group operation being real-number multiplication). Let V be the set of
583.
by kmill 10y ago
Speaking of uncountability, here's a similar one for why the set of functions N->{0,1} is not countable. If f:(N->{0,1})->N were a bijection, let g(t)=1-f^(-1)(t)(t), and compute g(f(g)). Anyway, whether something counts as a
584.
by kmill 10y ago
Earley parsing can handle asynchronous input just fine.
585.
by kmill 10y ago
Rather than deducing it, you can also look at the truth table, see it is 0 exactly where B is not true and A is true, and get not(A and not B). Then, we can conclude there is a proof such as yours from the completeness theorem, I believe.
586.
by kmill 10y ago
https://en.wikipedia.org/wiki/Bump_function
587.
by kmill 10y ago
I'm pretty sure (\sz.sz) and (\z.z) are the same function: (\sz.(\z.z)sz)=(\sz.sz). It would make sense that 0^0 for church numerals is 1, since this is exponentiation to the natural (defined as recursive multiplication, with the base
588.
by kmill 10y ago
For your first sentence, it really depends. If you start with the naturals, you can close it under addition using a Grothendieck-style construction: take pairs (n,m) of naturals, and say (n',m') is equivalent to it if n+m'=n
589.
by kmill 10y ago
Unlike gas stations and coffee shops, which have static locations, ice cream trucks are more like buses. When a pair of buses on a route bunch up, the one in front gets fuller.
590.
by kmill 10y ago
I spent some time trying to formulate this as an intersection of two regular expressions (the language being composed of sequences of u and d -- given a sequence which goes to the top, you can figure out at least one path which gets you the
591.
by kmill 10y ago
Isn't a digital signal an analog signal with a particular interpretation? I'm speaking of the static and dynamic disciplines for digital design. A digital logic cell is an analog circuit with a nonlinear filter to bias the signa
592.
by kmill 10y ago
I got my 4th grade class to play gorilla, which interestingly came with the Windows NT machines at my school. That and that reskinned Full Tilt! Pinball table Space Cadet. Quite a contrast. I personally liked modifying nibbles, for instan
593.
by kmill 10y ago
QBasic was one of my first languages I learned (as a young child), and I am fairly certain I rarely used goto, since the language does have if/for/do/while. Interpreting these structures is still fairly linear, since each pa
594.
by kmill 11y ago
To be fair to perception, that Scheme (Guile, I'd imagine) isn't exactly the subset of MIT-Scheme used in SICP.
595.
by kmill 11y ago
Is the fundamental issue in #2 that you don't like the syntax? or that Scheme has mutation? It's interesting looking back on the history of Scheme. Probably because of the order of presentation of SICP, along with hearsay, people
596.
by kmill 11y ago
I spent some time researching hypertext pre-web, and an old idea (Vannevar Bush old) is having "trails" through your document store, each basically giving a narrative one could follow. Sun used that terminology for their Java tut
597.
by kmill 11y ago
This algorithm seems similar to one I found* which is a Sieve of Eratosthenes that doesn't require deciding how big of an array to allocate at the beginning. Essentially, you reverse the order of the two main loops, modifying the main
598.
by kmill 11y ago
I think I only finally remembered what a monoid was when I realized it was a category with one object ("mono-"). Or that a groupoid is a category where every arrow is an isomorphism, so then a category which is both a monoid and
599.
by kmill 11y ago
Especially since an sRGB triplet only specifies how to perceptually reproduce the color, and film has a different spectral response from the human eye. The dye in non-photo blue probably should actually spectrally be in the blue range rath
600.
by kmill 11y ago
Discussion on LtU in 2014: http://lambda-the-ultimate.org/node/5079

More ›