Slow Software for a Burning World
🌿Digital Gardens
Flag this post
LANDFALL: New Commercial-Grade Android Spyware in Exploit Chain Targeting Samsung Devices
🔓Binary Exploitation
Flag this post
The Raspberry Pi gitops cluster (PXE booting and auto-expanding Docker Swarm)
🏠Self-hosting
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·3d
💎Refinement Types
Flag this post
Warp Documentation Automation – Built with Claude AI (99% automatic docs)
📚Technical Writing
Flag this post
A Systematic Literature Review of Code Hallucinations in LLMs: Characterization, Mitigation Methods, Challenges, and Future Directions for Reliable AI
arxiv.org·3d
⚙️JIT Compilation
Flag this post
I've created a leetcode for system design
🎨Design Systems
Flag this post
An Analysis of Early-Stage Functional Safety Analysis Methods and Their Integration into Model-Based Systems Engineering
arxiv.org·1d
💫Effect Systems
Flag this post
Loading...Loading more...