🎨 GADTs

Generalized ADTs, Type Equality, Phantom Types, OCaml

Windows on Gigabyte MZ33-AR1 (AMD Turin) with Coreboot – ACPI and Bug Fixes
blog.3mdeb.com·3d·
Discuss: Hacker News
💻QEMU
Flag this post
Counting in Binary on Your Hands
kidswholovemath.substack.com·23h·
Discuss: Substack
🍎Apple
Flag this post
BoxLambda OS Software Architecture, First Draft
epsilon537.github.io·3d·
Discuss: Hacker News
⚙️Operating System Design
Flag this post
Lessons from Implementing RAG in 2025
truestate.io·3d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
AI Capabilities May Be Overhyped on Bogus Benchmarks, Study Finds
gizmodo.com·1d·
Discuss: Hacker News
🎯Complexity Classes
Flag this post
Async QUIC and HTTP/3 made easy: Tokio-quiche is now open-source
blog.cloudflare.com·1d·
Discuss: Hacker News
🌐Network Protocols
Flag this post
Accumulating Context Changes the Beliefs of Language Models
lm-belief-change.github.io·2d·
Discuss: Hacker News
📚Automata Learning
Flag this post
Beyond Chatbots: 5 Next-Gen Use Cases for AI Agents in Customer Support
composio.dev·5h·
Discuss: Hacker News
👁️System Observability
Flag this post
Brutalist Prose
lesswrong.com·1d
📵Digital Minimalism
Flag this post
Wildbox: all-in-one open security platform
dev.to·15h·
Discuss: DEV
🌐ActivityPub
Flag this post
Tech With Tim: Build a Python AI Agent in 10 Minutes
dev.to·2d·
Discuss: DEV
✓Automated Theorem Proving
Flag this post
Security Audit of intel ICE Driver for e810 Network Interface Card
arxiv.org·3d
🛡️seL4
Flag this post
No OpenAI API? No Problem. Build RAG Locally with Ollama and FastAPI
dev.to·1d·
Discuss: DEV
🔌APIs
Flag this post
DocPrism: Local Categorization and External Filtering to Identify Relevant Code-Documentation Inconsistencies
arxiv.org·4d
📦Opam
Flag this post
A self-hosted Security Operations Center in a box to avoid vendor lock
github.com·1d·
Discuss: DEV, Hacker News, r/opensource
🐳Containerization
Flag this post
Self-Harmony: Learning to Harmonize Self-Supervision and Self-Play in Test-Time Reinforcement Learning
arxiv.org·4d
🎮Verification Games
Flag this post
Explore More, Learn Better: Parallel MLLM Embeddings under Mutual Information Minimization
arxiv.org·4d
📐Linear Algebra
Flag this post
Fleming-VL: Towards Universal Medical Visual Reasoning with Multimodal LLMs
arxiv.org·4d
🔲Cellular Automata
Flag this post
Do Androids Dream of Unseen Puppeteers? Probing for a Conspiracy Mindset in Large Language Models
arxiv.org·2d
🐫OCaml
Flag this post
Association-sensory spatiotemporal hierarchy and functional gradient-regularised recurrent neural network with implications for schizophrenia
arxiv.org·2d
📐Linear Algebra
Flag this post