Show HN: Extrai – An open-source tool to fight LLM randomness in data extraction
💎Refinement Types
Flag this post
Predicting & Mitigating Data Corruption in Pure Storage Flash Arrays via Adaptive Bit Error Rate Modeling
🩹Self-Healing Systems
Flag this post
Quantum-Resistant Federated Learning: Implementing Post-Quantum Cryptography in Cross-Silo Model Aggregation
📦Unikernel Systems
Flag this post
Weak-To-Strong Generalization
lesswrong.com·3d
🔤Kleene Algebra
Flag this post
Optimizing Native Sparse Attention with Latent Attention and Local Global Alternating Strategies
arxiv.org·1d
📚Automata Learning
Flag this post
ZoFia: Zero-Shot Fake News Detection with Entity-Guided Retrieval and Multi-LLM Interaction
arxiv.org·1d
🧩Parser Combinators
Flag this post
From Vulnerable to Production-Ready: A Real-World Security Hardening Journey
🔒Protocol Verification
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
🔢Algebraic Data Types
Flag this post
ParallelBench: Understanding the Trade-offs of Parallel Decoding in DiffusionLLMs
🔀OCaml Multicore
Flag this post
Engineering a Trillion-Parameter Architecture on Consumer Hardware
hackernoon.com·1d
🐫Embedded OCaml
Flag this post
Dynamic Model Selection for Trajectory Prediction via Pairwise Ranking and Meta-Features
arxiv.org·1d
👁️Observability
Flag this post
The Hardest Bug to Fix Is Ambiguity
🔍Formal Verification
Flag this post
Loading...Loading more...