Permissive, then restrictive: concrete solutions and examples in Haskell (2020) (via abhin4v) — discussion

#haskell

State of Clojure 2025 Results (via adityaathalye) — discussion

#clojure #practices

An update on upki (via freddyb) — discussion

#cryptography #linux #web

Tuple Spaces (via sebastien) — discussion

#compsci #databases #distributed #logiclangs

Monitoring Data-Dependent Temporal Patterns (by agnishom) — discussion

#formalmethods

C++26: std::is_within_lifetime (via raymii) — discussion

#c++

CEL by Example (via stefanvanburen) — discussion

#programming

how openai, the US government, and persona built an identity surveillance machine that files reports on you to the feds (via kriive) — discussion

#reversing #security

Ditching Discord (by icefox) — discussion

#networking

Top 20 worldwide with social-engineering and a cheat that's still undetected (via deejayy) — discussion

#games

DBML: DSL for easily creating ER diagrams (via rebeca) — discussion

#databases

Self-hosting my websites using bootable containers (by yorickpeterse) — discussion

#devops #linux

Notes on clarifying man pages (via calvin) — discussion

#practices

Rust on CHERIoT: Status update #0 (by ecmm) — discussion

#compilers #rust

Why I don't think AGI is imminent (by dlants) — discussion

#vibecoding

130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone? (via edoput) — discussion

#formalmethods #pdf

Bruteforcing the Bitwarden master password I forgor (via BD103) — discussion

#cryptography #reversing

Current - An RSS reader (via boramalper) — discussion

#design #mobile

What Your Bluetooth Devices Reveal About You (via gnyeki) — discussion

#privacy

Non-Contributory Keys in the Matrix (via meithecatte) — discussion

#cryptography