Power Your AI Application with MongoDB Vector Search
geeksforgeeks.org·12h·
Discuss: r/programming
🧩Parser Combinators
IRHash: Efficient Multi-Language Compiler Caching by IR-Level Hashing
usenix.org·3d·
Discuss: Hacker News, r/programming
🔤DSLs
C and C++: The Hidden Power Behind Modern Programming
github.com·22h·
Discuss: r/programming
🔤DSLs
CISA sounds alarm over TP-Link wireless routers under attack
theregister.com·16h·
Discuss: Hacker News
🌐NetworkProtocols
The world has a running Rational R1000/400 computer again (2019)
datamuseum.dk·2d·
Discuss: Hacker News
🔧Unikernel Development
Video Compression Basics
rastergrid.com·2d·
Discuss: Hacker News
💾Retro Computing
With Ceph Erasure Coding can you dedicate data blocks to SSD's and parity blocks to HDD's?
reddit.com·8h·
Discuss: r/homelab
💾Retro Computing
Beyond package management: How Nix refactored my digital life
jimmyff.co.uk·16h·
Discuss: Hacker News, r/programming
❄️Nixified Development
OntoMotoOS: An "Operating System" Between Delusion and Scholarship
medium.com·16h·
Discuss: Hacker News
🔬Unikernels
LLMs Are Adaptive Data Organisms
worldgov.org·2d·
Discuss: Hacker News
📚Automata Learning
Learning to code from scratch with AI: what worked, what didn't
indiehackers.com·2d·
Discuss: Hacker News
📚Automata Learning
Semantically Reflected Programs
arxiv.org·5d
💎Refinement Types
Observability’s Overlooked Fourth Pillar: Key for Agentic AI
thenewstack.io·4d
👁️System Observability
Transferable Belief Model on Quantum Circuits
arxiv.org·4d
🧠Automated Reasoning
Manifesto for AI Software Development: Code Is Cattle, Not Pets
metamagic.substack.com·17h·
Discuss: Substack
🤖Program Synthesis
Blue – ecosystem to scale KV store to an exabyte in the open source world
github.com·4d·
Discuss: Hacker News
🔬Unikernels
SL-SLR: Self-Supervised Representation Learning for Sign Language Recognition
arxiv.org·1d
📚Automata Learning
SEA: Supervised Embedding Alignment for Token-Level Visual-Textual Integration in MLLMs
arxiv.org·1d
🧩Parser Combinators
Show HN: Conformal – Type-safe FormData parsing and canonical submission flow
github.com·12h·
Discuss: Hacker News
🐫OCaml
Prompt injection as a solution to make agents reliable
controlpla.in·3d·
Discuss: Hacker News
✓Automated Theorem Proving