@shcv parser IF metalanguage. basically an Inform 7 clone
pun Show more
What do you call a discrete mathematician on vacation?
@aredridel wow, this perfectly describes an interaction I had a couple days ago where I could not quite explain why it was so uncomfortable
@endomain I am pretty sure I actually want entirely non-stochastic methods here, which are assuredly out of fashion
Annoyed at the state of natural language processing. I really need a NLP system which above all is consistent - I'd much rather sacrifice accuracy provided that its behavior is well-defined and it fails in predictable ways. Unfortunately ML-based systems are the opposite - generally accurate but completely unpredictable. I might have to write this from scratch.
@acciomath I would just read the Wikipedia article and look at the further reading, e.g. "Introduction to Lambda Calculus" by Barendregt seems like a fine resource
@xarph Haven't tried it out with the source files but it's probably better than starting from scratch in any case
Jason Scott just dumped the ZIL source code for every infocom game on github. Clone it before Activision's lawyers wake up. And now we see how long it takes for the internet to produce a compiler for a language that's been dead for 30+ years from a cache of production grade source code for said language. We've had compiled z-machine files, but never the original ZIL. https://github.com/historicalsource
they/them. undergrad - type theory, software verification, category theory, cryptography, topology.
A Mastodon instance for maths people. The kind of people who make \(\pi z^2 \times a\) jokes.
\) for inline LaTeX, and
\] for display mode.