Alex

Spending short lifetime for development and boring things.

$argon2id$v=19$m=512,t=256,p=1$J7IZNfNG3RC2FiSRzZfQzw$0seu3KTpAnSufFxXDbHccXnX81enF+A++beI9VvHVVA

  • 19 Posts
  • 75 Comments
Joined 2 years ago
cake
Cake day: August 11th, 2023

help-circle







  • AlextoProgrammingEverything web based
    link
    fedilink
    arrow-up
    4
    ·
    6 months 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.












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

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