Taus

Ex-logician. Professional logic programmer. Enjoys puzzles of various kinds (cryptic crosswords, Nikoli paper-and-pencil, Hanayama and wire disentanglement).

[Taus @tausbn]

@2DArray Aww, I really liked the "running snowman" prototype you had before.

[Taus @tausbn]

@Yugemaku Reminds me of https://t.co/79jgeUaLkR

[Taus @tausbn]

@codydroux You might want to take a look at Gabriel Scherer's Ph.d. thesis. It's titled "Which types have a unique inhabitant? Focusing on pure program equivalence". (And yes, it's _that_ notion of focusing.)

[Taus @tausbn]

@codydroux I was going to suggest visiting Dave Bull's wood block print shop Mokuhankan in Asakusa, and trying one of their "print parties", but it seems they discontinued those when the pandemic happened. https://t.co/9JJ3AeszRy

[Taus @tausbn]

@codydroux Higher order tapas theory.

[Taus @tausbn]

@tom7 @aleffert Alas, 0xAF00L is, in fact, a valid floating point number.

[Taus @tausbn]

@codydroux Thoroughly.

[Taus @tausbn]

@codydroux “mee-rwah”

[Taus @tausbn]

@standefer I assume the deadline is “late 2024, Anywhere on Earth”. (Also, congrats!)

[Taus @tausbn]

@codydroux I think cute might be admissible, though I know there are many actively working on cute elimination.

[Taus @tausbn]

@1x Will you also tell me if its length is odd or even?

[Taus @tausbn]

@pavelcurtis Well, shit.

[Taus @tausbn]

@codydroux Did you mean to say involution instead of bijection?

[Taus @tausbn]

@astahfrom @anormalform Might be better to just renistall it from scratch.

[Taus @tausbn]

In the event that this place actually implodes, I should probably mention that I’m also tausbn on cohost. I have zero posts there so far, which matches my performance on Twitter pretty well, I guess.

[Taus @tausbn]

@TealsPuzzles This is probably not the actual etymology, but “zusan”, 杜撰, apparently means “careless, sloppy, faulty” or “piece of writing with unreliable sources or many errors”. This seems somewhat appropriate given the kind of clue you’re talking about.

[Taus @tausbn]

@AriaSalvatrice The idea of putting something 3d printed out of (what appears to be) PLA on top of a pot of boiling water gives me the heebie-jeebies. That stuff starts getting soft around 50 degrees.

[Taus @tausbn]

@astahfrom This is one of my major pet peeves. Yes, Dropbox app, I know that file has the extension “org”, but I _swear_ if you just look at it you’ll find it’s just full of text! Honest!

[no longer respecting gardenias @NLRG_it]

man goes to bertrand russell. says he hates his beard but will not shave it. russell says "treatment is simple. great barber pagliacci is in town. he will shave all men (and only those men) who will not shave themselves." man bursts into tears. "but bertrand,"

[Figment of Imagination @stellahymmne]

I will never stop posting linear logic memes.