AlternativeTo

alternativeto.net

07 July 2026 19:16

Mistral has released Leanstral 1.5, an open-source code agent for Lean 4, boosting formal verification with 119B parameters. Leanstral 1.5 can verify complex code properties and uncover previously unknown bugs in open-source repositories. alternativeto.net/news/2026/7...

Retro Computers

retrocomps.bsky.social

05 July 2026 18:44

Word 2003 never met a toolbar it didn't install automatically by weblink. (Source.)

Orhun Parmaksız

orhun.dev

05 July 2026 18:34

Found a TUI for handling DNS changes! 🤯 🌐 dnsglobe — A global DNS propagation checker 💯 Query 34 DNS resolvers worldwide in parallel, compare results & watch propagation live w/ world map 🦀 Written in Rust & built w/ @ratatui.rs ⭐ GitHub: github.com/514-labs/dns... #rustlang #ratatui #dns

Bruno Dies

brunodias.dev

05 July 2026 18:33

I love opening VS Code and it updated and it shows me the update notes and every single feature is some bullshit for people who don't write code any more and just talk to a chatbot all day. Why do you people even need a text editor.

amos

fasterthanli.me

05 July 2026 18:31

do NanoKVM actually have a backdoor? maybe they'll fix my servers for me