Composing pure Haskell assertions
blog.ploeh.dk·4h
⚖️Verification Calculi
Weeknote: 29 September 2025 – a bonkers case, Pi 500+, UK ID cards, and more
reverttosaved.com·2h·
Discuss: reverttosaved.com
📲syncthing
risinek/esp32-wifi-penetration-tool
github.com·3d
🛡️eBPF Security
I've used Node.js for years, but I never really knew how it worked. So I went down the rabbit hole.
medium.com·22h
🌳Incremental Parsing
Go (Golang) Basic (Bonus) Three Advanced Function Techniques
dev.to·1d·
Discuss: DEV
🎯Proof Tactics
Polysemous Language Gaussian Splatting via Matching-based Mask Lifting
arxiv.org·8h
🧮Kolmogorov Complexity
A week with Claude Code: lessons, surprises and smarter workflows
dev.to·2d·
Discuss: DEV
⚡Proof Automation
PwrSvg – SVG rendering in Windows Terminal via Sixel, built by copilot
github.com·14h·
Discuss: Hacker News
📸PNG Optimization
Mainframed/ANSi2EBCDiC: convert ANSI art to EBCDIC/TN3270 art
github.com·5d·
Discuss: Hacker News
📺VT100 Emulation
From College Project to 400 GitHub Stars: The Story of AIJack
medium.com·2d·
Discuss: Hacker News
🌀Brotli Internals
The HackerNoon Newsletter: Why You Shouldn’t Judge by PnL Alone (9/28/2025)
hackernoon.com·20h
📻Homebrew Protocols
Cycle is All You Need: More Is Different
arxiv.org·8h
🔲Cellular Automata
Linux 6.17 Gets Ready For Release With Intel Panther Lake & More Performance
phoronix.com·2d
🔌Operating system internals
Implementing Emergent Tool Synthesis in Multi-Agent AI Systems for Dynamic Problem Solving
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Web3 Testers Have a Bleak Future (Unless We Fix This)
hackernoon.com·7h
🚀Indie Hacking
Mini PC only stays up a few days
reddit.com·5h·
Discuss: r/homelab
💾Persistent Memory
Adaptive Camouflage: How Adversarial AI is Redefining Data Security by Arvind Sundararajan
dev.to·14h·
Discuss: DEV
🔍Vector Forensics
Universal Solution to Kronecker Product Decomposition
arxiv.org·8h
📐Linear Algebra
Linuxiac Weekly Wrap-Up: Week 39 (Sep 22 – 28, 2025)
linuxiac.com·13h
🔓Open Source Software
Machine Learning-Assisted Sustainable Remanufacturing, Reusing and Recycling for Lithium-ion Batteries
arxiv.org·8h
🧠Machine Learning