DataWave: General purpose framework for both structured and unstructured data
code.nsa.gov·12h·
Discuss: Hacker News
🌊Streaming Databases
AZPixel-Team/Java2Bedrock
github.com·1h
🎮Game Decompilation
Fighting Email Spam on Your Mail Server with LLMs — Privately
cybercarnet.eu·14h·
gRPC
Moving Compute Intensive Lambdas from AWS to Vercel
moneyonfire.com·4h·
Discuss: Hacker News
🔄Sync Engine
SAT problems are kind of cool
blog.karanjanthe.me·3d·
Discuss: Hacker News
🧮SMT Solvers
Watching AWS Instance Types Evolution in 2025
rmazur.io·8h·
Discuss: Hacker News
🔌Interface Evolution
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·2d·
Discuss: Hacker News
λLambda Encodings
OBCache: Optimal Brain KV Cache Pruning for Efficient Long-Context LLM Inference
arxiv.org·1d
💻Local LLMs
Markdown2pdf – pure md to pdf transpiler implementation in Rust
github.com·1d·
Discuss: Hacker News
📄PDF Internals
Bound-Preserving WENO Schemes for Temple-class systems
arxiv.org·4d
🎯Performance Proofs
Slip – A Lisp System in JavaScript
lisperator.net·1d·
Discuss: Hacker News
🔗Lisp
Generalized Orders of Magnitude (GOOMs)
github.com·12h·
Discuss: Hacker News
🕸️Tensor Networks
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·1d
🔗Parser Combinators
Unsure what to do as lab has grown
reddit.com·1d·
Discuss: r/homelab
🖥Home Lab Setup
The Custom Conveyor: Building Your Own Iterators
dev.to·22h·
Discuss: DEV
🔄Burrows-Wheeler
AI-Driven Ethical Risk Assessment & Mitigation in Supply Chain Compliance
dev.to·23h·
Discuss: DEV
🔗Supply Chain
From Documents to Dialogue: A step-by-step RAG Journey
dev.to·1d·
Discuss: DEV
📊Multi-vector RAG
ARES: Multimodal Adaptive Reasoning via Difficulty-Aware Token-Level Entropy Shaping
arxiv.org·1d
🧮Kolmogorov Complexity
Get RICH or Die Scaling: Profitably Trading Inference Compute for Robustness
arxiv.org·2d
🧠Intelligence Compression