Hacker News
24.7K subscribers
217K links
Download 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๐ŸŒญ2โค1
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๐Ÿ–•3โค1๐Ÿ‘1๐ŸŒญ1
Dafny: Verification-Aware Programming Language
Article, Comments
โค4๐ŸŒญ2
Introduction to Software Development Tooling (2024)
Article, Comments
๐ŸŒญ2๐Ÿคจ2๐Ÿ‘1