Garbage Collection Is a Hack
🧩Separation Logic
Flag this post
CHIP8 – writing emulator, assembler, example game and VHDL hardware impl
⚙️Compiler Design
Flag this post
Website Breakdown Highlights Risks of Unmanaged Plugin Updates, Says Asaaju Peter of Phemight Technologies
🌐Static Sites
Flag this post
Gen AI Grows Up: Building Production-Ready Agents on the JVM • Rod Johnson • GOTO 2025
youtube.com·2d
🔄Reproducible Builds
Flag this post
pygixml — The Fastest XML Parser for Python (Beating lxml at Its Own Game)
📝Nix Language
Flag this post
Your AI-Powered Hub for Notes & Tasks: Built for Offline-First Productivity
🌐ActivityPub
Flag this post
Unveiling Deep Semantic Uncertainty Perception for Language-Anchored Multi-modal Vision-Brain Alignment
arxiv.org·8h
🧩Parser Combinators
Flag this post
Understanding New-Knowledge-Induced Factual Hallucinations in LLMs: Analysis, Solution, and Interpretation
arxiv.org·2d
🛡️seL4
Flag this post
Prog8
⚙️Compiler Design
Flag this post
OpenSIR: Open-Ended Self-Improving Reasoner
arxiv.org·3d
✓Automated Theorem Proving
Flag this post
Unclonable Cryptography in Linear Quantum Memory
arxiv.org·8h
❓Existential Types
Flag this post
LLM-enhanced Air Quality Monitoring Interface via Model Context Protocol
arxiv.org·1d
📦OPAM
Flag this post
Enhanced Interoperability via Dynamic Semantic Alignment in Cross-Chain DeFi Protocols
🔒Protocol Verification
Flag this post
ComEMS4Build: Comfort-Oriented Energy Management System for Residential Buildings using Hydrogen for Seasonal Storage
arxiv.org·8h
🩹Self-Healing Systems
Flag this post
Oolong: Evaluating Long Context Reasoning and Aggregation Capabilities
arxiv.org·2d
📚Automata Learning
Flag this post
Sable and Able: A Tale of Two ASIs
lesswrong.com·2d
🔲Cellular Automata
Flag this post
Loading...Loading more...