Almost zero. We are all in the Matrix. It’s especially necessary when you are refugees by 🇷🇺, but personally me started to use matrix a very long time ago.
fzz
Personally I really don’t like it too. But I just don’t care because:
- I have all needed software locally
- I have all documentation locally
- I’m going to Web only to get updates (by-hands of course, no autoupdates without verification!)
- I’m old software engineer and how to automate it all without losing ctrl ;)
Oh, how long we've been waiting for this! ❤️🔥🎉 Great paper, but why default coq was chosen? That’s totally okay (and coq is still kinda default for interactive formal proving), but there is others production-ready strong modern instruments existing on Earth today. Just interesting why so.
👍🏻 But better to use dosbox-x same way on arm-macs.
Gruntz! by Monolyth. ❤️🔥 Also I worked on reimplementation of that game.
For me personally, the “retro” is about period ending before “age of ugliest 3D”.
f16 and f128
Great!👍🏻 What about FPU and VFP support?
Looking to example code in the README I have to say that it is neat! ❤️🔥
But know what? Could be awesome to support char-literals in the parser!
macro. Currently in that example str-literals used as single-char strings.
I mean this for example:
num: num=<"-"? '0'-'9'+ …
Why there dash is str but not a char? Also what about escapes, unicode sequences and binary literals?
I remembered it with VR of those times! 🥹