Index Personality Typologies on Groups
justismills.substack.com·7h·
Discuss: Substack
➡️Category Theory
Show HN: 60-Second Linux Analysis, Supercharged with Nix and LLMs
quesma.com·1d·
Discuss: Hacker News
🐳Containerization
The Mighty Simplex
galileo-unbound.blog·2d·
Discuss: Hacker News
🏹Effect Systems
Magnetic Bubble Memory
smbaker.com·14h·
Discuss: Hacker News
💾Retro Computing
AI Isn't Biased Enough
hedgehogreview.com·17m·
Discuss: Hacker News
📚Automata Learning
Show HN: Higher-order transform streams: 10x faster AI with recursive prompts
timetler.com·4d·
Discuss: Hacker News, r/programming
🧩Parser Combinators
The Compensation Principle
news.ycombinator.com·3h·
Discuss: Hacker News
🩹Self-Healing Systems
Logic Theorist
en.wikipedia.org·1d·
Discuss: Hacker News
🧠Automated Reasoning
VulnRepairEval: An Exploit-Based Evaluation Framework for Assessing Large Language Model Vulnerability Repair Capabilities
arxiv.org·3d
🛡️seL4
Context Engineer MCP – Fixing Context Loss in AI Coding Agents
contextengineering.ai·2d·
Discuss: Hacker News
🤖Program Synthesis
Protobuffers Are Wrong
reasonablypolymorphic.com·2d·
Discuss: Hacker News, r/programming
🐫Embedded OCaml
Show HN: I am vibe coding a collaborative vibe coding tool
news.ycombinator.com·15h·
Discuss: Hacker News
🧱Immutable Infrastructure
Vehicle-to-Infrastructure Collaborative Spatial Perception via Multimodal Large Language Models
arxiv.org·2d
🧩Separation Logic
Beyond OOP and the future of development experience
bennett.ink·5d·
Discuss: r/programming
📊Runtime Verification
Meta-Policy Reflexion: Reusable Reflective Memory and Rule Admissibility for Resource-Efficient LLM Agent
arxiv.org·2d
🛡️seL4
Exceptions vs. Results
tifi.blog·22h·
Discuss: Hacker News
💎Refinement Types
Automating Security Research: AI Engine Exploits Complex Blind Code Injection
blog.ostorlab.co·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Cut Costs, Not Accuracy: LLM-Powered Data Processing with Guarantees
arxiv.org·3d
📊Runtime Verification
The Recursive Loop: How Code Shapes Minds – Kenneth Reitz
kennethreitz.org·2d·
Discuss: Hacker News
🩹Self-Healing Systems
Vibe Coding a Broadcasting Graphics Solution in 6 Hours
elite-ai-assisted-coding.dev·1d·
Discuss: Hacker News
🤖Program Synthesis