"Implement lambda calculus in languages that are pretty much lambda calculus"
How large would implementation be in more usual languages?
HN user
"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?
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 into something readable - you can't move lines of code, can't flip statement checked in if() for early return
Author of this article mentioned "byte euivalence", and while I'd be fine with functional sameness, I imagine provably-reversible refactor steps would be of great help for everyone
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 launchcodes because nobody wants to get Dr.Strangelove-d)
And considering the level of poverty there in the following decade, chances are nukes would've just gotten sold off, just like its carrier
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?