Jason (jcreed) wrote,
Jason
jcreed

-

Got a new battery for the Taurus. It runs now.
Whee.

Got the 89 -> 95 grade correction on the kernel
confirmed. Maybe I'll get an A if I whine enough.

Initial dawkins hacking. 679 loc. Got the
reverse-polish interpreter working; just need
to tack on the 'physics engine', so to speak.
Damn, stack-based languages are such cute little things.
Subscribe

  • (no subject)

    I think I got around the need for corecursion by just using One More Linear Token: defining ◇A = ∃x.z(x) ⊗ □!(z(x) ⊸ ∀a.q(a) ⊸ ∃b.q(b) ⊗ □!(ℓ(a) ⊸…

  • (no subject)

    Thought some more about what happens when you take positive props P ::= ↓G | P ⊕ P | 0 negative props N ::= ↑G | N & N | ⊤ games G ::= {N|P}…

  • (no subject)

    Dang. Stuff from yesterday led down a path that made me think I had a very tidy answer to the age-old question of "read-only…

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    switch
    default userpic

    Your reply will be screened

    Your IP address will be recorded 

    Help
  • 0 comments