RandomTeaParty

"Implement lambda calculus in languages that are pretty much lambda calculus"

How large would implementation be in more usual languages?

Why not arxiv?

I was always wondering - are there alternative lists like this?

Maybe not in english or smth

Erlang is about reliability, hpc is about performance (literally in the name)

> The 1.58-bit approach

can we stop already with these decimals and just call it "1 trit" which it exactly is?

just be glad that ants are ambiturners

Did website break?

I only see "MOMENT" and "All systems nominal"

Emoji look isn't standardized for the same reason letters look isn't - because it is font detail

Imagine outlawing comic sans because "letters must be serious" or smth

I mean... What's wrong with youtube tab consuming power "as if it's on screen" if it plays video?

As an avid idle game player, I'm tired of opening games in different window and having main window not-fullscreen just for the game to play normally

This "tab unloading" is great and all, but not giving us users any control to turn it off is awful

Fight against obfuscation is different from fighting for readability

I've tried Ghidra, IDA and BinaryNinja, and all of them display code on the level of "C with classes" from early 00s (and declaration of variables at the beginning of function in style of structured programming of the 90s)

I'd be perfectly fine with that output, had there been good way to interactively fix it (refactor without changing behaviour)

Is it available somewhere?

At least it's not SERN, with their time machine hackable by a microwave :)

"Board games" here means go (and only it?)

I honestly was hoping for some tabletop eurogames or smth...

What is bpw?