Hyper-MCP - MCP server in Rust with plugin system powered by WebAssembly and OCI registry (by tuananh) — discussion

#ai #rust #wasm

PeanoScript: TypeScript but it's a theorem prover (via jmillikin) — discussion

#formalmethods #javascript

"Vibe Coding" vs Reality (via cetera) — discussion

#ai

CMake 4.0 Release Notes (via kaycebasques) — discussion

#c #c++ #release

Clarifying what's happening at Mozilla: an Interview with Ryan Sipes from Thunderbird (via vindarel) — discussion

#browsers #video

Dear Apple and Google: still no app rollbacks? (by pratul) — discussion

#android #ios #mobile

Ruby, Ractors, and Lock-Free Data Structures (via MatheusRich) — discussion

#performance #ruby

Anubis: self hostable scraper defense software (via gmem) — discussion

#devops #security

Turning my ESP32 into a DNS sinkhole to fight doomscrolling (by amanvir) — discussion

#c #hardware #networking

oscura-vim: Vim port for Oscura theme for Vscode (by vinitkme) — discussion

#editors #vim #vscode

Deliberate Practice for Developers (by veqq) — discussion

#practices

Tiling Window Managers on macOS (by i_lost_my_bagel) — discussion

#mac

Leaking passwords (and more!) on macOS (via jmillikin) — discussion

#mac #security

Faster interpreters in Go: Catching up with C++ (via xvello) — discussion

#databases #go #performance

Life Altering Postgresql Patterns (via whalesalad) — discussion

#databases

A C implementation of defer using `goto` (via eatonphil) — discussion

#c #plt

Dead Simple Snapshot Testing In Zig (via matklad) — discussion

#testing #zig

Rustdoc merged doctests (solved) issue on stable (via krtab) — discussion

#rust

The future of AI is Ruby on Rails (via Kerrick) — discussion

#ai #ruby #web

The National Security Case for Email Plus Addressing (by sagi) — discussion

#privacy #security