Hacker News – Telegram
Pizlix: Memory Safe Linux from Scratch
Article, Comments
💩7🔥3👍1🌭1🗿1
Prediction: AI will make formal verification go mainstream
Article, Comments
🤣2🌭1
Midjourney is alemwjsl
Article, Comments
😭5😁2🌭21
Confuse some SSH bots and make botters block you
Article, Comments
🤡5🌭1
Tell HN: AI coding is sexy, but accounting is the real low-hanging target
Article, Comments
🤮16💩6💯4🖕31👍1🌭1
Dafny: Verification-Aware Programming Language
Article, Comments
4🌭2