Viewing profile — 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 ha…

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 earl…

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?

just call it one trit

My general experience with decompilation has been very negative (rough and not ready for use) It feels like tool devs target byte editting more than refactoring decompiled code int…

Is "IU" another case of xkcd 927?

I totally missed that button... It using tiny font size doesn't help

hundred knots of wind on demand is also not a small invention :)

Cookie banner doesn't have reject-all button Isn't that against the rules nowadays?

Ukraine didn't give up nukes for false guarantees - it gave them up to not become sanctioned to the level of North Korea and Iran (while at the same time it didn't even have the la…

How much did it cost?

Compute one half of the screen on each Left ear for the right eye and vice versa

What compression ratio does your jpeg encoding achieve?