Index Personality Typologies on Groups
justismills.substack.com·12h·
Discuss: Substack
➡️Category Theory
Scientific Word 4.1-6.1 are now free
mackichan.com·3h·
Discuss: Hacker News
🐳Containerization
Creating a Knowledge Graph for ICD Codes Using LLMs
ai.gopubby.com·3d·
Discuss: Hacker News
🧮Lambda Calculus
Protobuffers Are Wrong
reasonablypolymorphic.com·2d·
Discuss: Hacker News, r/programming
🐫Embedded OCaml
Show HN: 60-Second Linux Analysis, Supercharged with Nix and LLMs
quesma.com·1d·
Discuss: Hacker News
🐳Containerization
Magnetic Bubble Memory
smbaker.com·19h·
Discuss: Hacker News
💾Retro Computing
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
AI Isn't Biased Enough
hedgehogreview.com·5h·
Discuss: Hacker News
📚Automata Learning
Meta-Policy Reflexion: Reusable Reflective Memory and Rule Admissibility for Resource-Efficient LLM Agent
arxiv.org·2d
🛡️seL4
Exceptions vs. Results
tifi.blog·1d·
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
Show HN: Claude Context but local – semantic code search without API keys
github.com·2h·
Discuss: Hacker News, r/LocalLLaMA
🔧Unikernel Development
Why RDF Is the Natural Knowledge Layer for AI Systems
bryon.io·2d·
Discuss: Hacker News
🧠Automated Reasoning
ANTS: Shaping the Adaptive Negative Textual Space by MLLM for OOD Detection
arxiv.org·2d
🧩Parser Combinators
Developing a Space Flight Simulator in Clojure
wedesoft.de·3d·
Discuss: Lobsters, Hacker News, r/programming
🐫OCaml
Simulating Human-to-Human Dialogue Using Azure AI
github.com·16h·
Discuss: Hacker News
🔄Reproducible Builds