axiom boosted

Pretty sure my gender is not computable in polynomial time. You could say I'm NB-complete.

axiom boosted

"it merely corrupts the padding", chen calmly states, as my brain disintegrates into fine sand

@shcv parser IF metalanguage. basically an Inform 7 clone

@aredridel wow, this perfectly describes an interaction I had a couple days ago where I could not quite explain why it was so uncomfortable

@abs @rick just forge it lol

@epicmorphism @abs if eauto isn't sophisticated enough my usual structure is a big "repeat match". but it's pretty domain-specific. I think there's a good section in CPDT on automation

@abs @epicmorphism if you know of such an example please send it to me!

@abs @epicmorphism hmm. btw I think there's never a situation where eapply fails and apply succeeds, so why do you try both of them?

@abs @epicmorphism Then I have to ask, do you know about eauto? In general if you have complicated proofs, automation is the way to go

@endomain I am pretty sure I actually want entirely non-stochastic methods here, which are assuredly out of fashion

Looks like "rule-based NLP" is the term I want - this line of research went out of fashion decades ago but I think it's exactly what I want.

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

axiom boosted

An archive of scanned Infocom documents, saved by Steven Meretzky (who wrote Planetfall, A Mind Forever Voyaging, Leather Goddess of Phobos, etc) and archived by @textfiles archive.org/details/infocomcab

@xarph Haven't tried it out with the source files but it's probably better than starting from scratch in any case

@xarph Actually there is an existing compiler. bitbucket.org/jmcgrew/zilf

axiom boosted

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. github.com/historicalsource

axiom boosted

PHOAS time

A Mastodon instance for maths people. The kind of people who make $\pi z^2 \times a$ jokes.
Use $ and $ for inline LaTeX, and $ and $ for display mode.