Large-scale Verification, Proof Maintenance, Formal Development, Mathematical Software
Inside the Unified Log 4: Log entries
eclecticlight.co·7h
mathematics of the impossible: Revision. Feedback welcome especially on chapters 1,2,3
emanueleviola.wordpress.com·5d
Hackaday Links: October 5, 2025
hackaday.com·14h
Containers, Typescript, React and AI/LLMs
markjgsmith.com·4d
The "Phantom Author" in our codebases: Why AI-generated code is a ticking time bomb for quality.
medium.com·2d
Big Ball of Mud: What You Need to Know About the Antipattern, How to Avoid It, and More
hackernoon.com·3d
Loading...Loading more...