Pleasant Imperative Program Proofs with GallinaC
arxiv.org·3d
⚔️Lean Tactics
Obscure feature + obscure feature + obscure feature = bug
antithesis.com·1d·
Discuss: Lobsters, r/programming
🧪Binary Fuzzing
Issue 490
haskellweekly.news·2d
🔗Functional Compilers
UniPwn: Unitree Humanoid Robot BLE Service Command Injection Analysis
github.com·1h·
Discuss: Hacker News
🔒WASM Capabilities
Fail loudly: a plea to stop hiding bugs
alejo.ch·20h·
Discuss: r/programming
🛡️Error Boundaries
Cactus Language • Discussion 3
inquiryintoinquiry.com·26m
🧬Functional Programming
Three Meanings of Effects
burakemir.ch·1d·
Discuss: Hacker News
✨Effect Handlers
Building sub-100ms autocompletion for JetBrains IDEs
blog.sweep.dev·1d·
Discuss: Hacker News
🔨Compilers
What is Zero-Knowledge Proof: Complete Guide to ZKPs, zk-SNARKs, and zk-STARKs
dev.to·11h·
Discuss: DEV
🔐Quantum Security
Enter Sandbox 30: Static Analysis gone wrong
hexacorn.com·20h
🔍Binary Forensics
Intuitions Behind the Range Proofs of Bulletproof
cryptologie.net·1d
🎯Proof Tactics
Codeminer42 Dev Weekly #79
blog.codeminer42.com·1d
💿ZFS Archaeology
RAG talk recap from DevConf.US 2025
major.io·18h
🤖Archive Automation
The IBM POWER9, liquid-cooled AMD EPYC 8004, 100G RDMA datapaths rack
reddit.com·6h·
Discuss: r/homelab
📊Homelab Monitoring
Getting Work Done Anywhere, Every Day
lelandbatey.com·6h·
Discuss: Hacker News
📲syncthing
Vulkan Graphics in OCaml vs. C
roscidus.com·3h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Three Months of Go, from a Haskeller's perspective (2016)
memo.barrucadu.co.uk·1d·
Discuss: Hacker News
🔗Functional Compilers
ECMAScript 2025 Language Specification
262.ecma-international.org·1d·
Discuss: Hacker News
🎯Gradual Typing
How Python Type Hints Transform Code Quality and Reduce Bugs in Modern Development
dev.to·2d·
Discuss: DEV
🔬Refinement Types
Isabelle rule musings
blueberrywren.dev·1d
🎯Proof Tactics