I remembered it with VR of those times! 🥹

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.

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?

this or this.

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 suppose there should be something like Crang (“friend” of Shredder) without exoskeleton and covered with spikes, like your Corro.

1. Мне сложно найти ваше уважение к людям когда вы в как минимум 4 сообщества копипастите один и тот же пост, игнорируя функцию репост, тем самым форся многократно видимость поста, – либо специально, либо по недоразумению, но неприятно;
2. Софт пишут люди пока что. Жизнь людей в любой точке планеты пропитана политикой. Следовательно требовать (или молить и надеяться) на то, что софт никак не будет подвержен разностороннему политическому влиянию – как минимум наивно;
3. Далее далёкое от претензий на аксиоматичность ИМХО: Страна, проявляющая агрессию к гражданам не только своей, но и другой страны должна караться всеми возможными методами, любыми, дабы остановить или ослабить агрессию.

Sorry for 🇷🇺 lang. Lang is beautiful, but today it’s associated with some madness and shame.

Done!

Ok, understood, thank you.

I’m not sure is it sarcasm or that’s really not bad short description? 🤔

Trying to reduce compilation time, reconfiguring underlying cargo’ build-ctx or just riding off the context and using only build-plan and metadata by host cargo & rustc in the cargo-playdate tool.

Wowfuck! I’ve been thinking about an approaching stroke for almost 40 years and it’s time to say goodbye. Thank you, that’s good news.

Nope. This little neat feature mainly is just necessary part of bigger one - const-generics with const bounds.

🙀

If I understand you right, I mean just star button on that repo. Thank you 😊