Selective Temporal Training
robinsloan.com·19h
🤖Grammar Induction
Optimizing multiprecision LLL in FLINT
fredrikj.net·3d
🧮Algebraic Datatypes
From Unstructured Data to RAG-Ready With Docling
thenewstack.io·2d
🤖Archive Automation
PeaceFounder: Simple centralized Evoting thats voter-verifiable and private
peacefounder.org·2h·
Discuss: Hacker News
🔐Homomorphic Encryption
The "impossibly small" Microdot web framework
lwn.net·18h·
Discuss: Hacker News
🌐Web Standards
The Two Versions of Parquet
jeronimo.dev·2d·
Discuss: Hacker News
💾Database Formats
My year-long quest to debug a single TCP connection
fdi.sk·22h·
Discuss: Hacker News
📡Network Archaeology
A Deep Dive into Apple's DNG Processing Vulnerability
msuiche.com·3h·
Discuss: Hacker News
💣ZIP Vulnerabilities
Centrally Collecting Events from Go Microservices
pliutau.com·1d·
Discuss: r/golang
📝Log Parsing
Show HN: A short story on developing a long-context World-Model with no money
francesco215.github.io·1d·
Discuss: Hacker News
🧠Learned Codecs
[D] How did JAX fare in the post transformer world?
reddit.com·8h·
Discuss: r/MachineLearning
🌀Brotli Internals
I'm too dumb for Zig's new IO interface
openmymind.net·2d·
Discuss: Lobsters, Hacker News, Hacker News
🌐NetworkProtocols
Time-Optimal Directed q-Analysis
arxiv.org·2d
🎯Performance Proofs
Contrasting Data and Objects (2018)
tedinski.com·3d·
Discuss: Hacker News
💻Programming languages
What is Backpropagation?
dev.to·2h·
Discuss: DEV
🧠Machine Learning
Coding Is Deciding
benmccormick.org·15h·
Discuss: Hacker News
📏Code Metrics
Hacker and Physicist – A Tale of "Common Sense"
supasaf.com·1d·
Discuss: Hacker News
🔐Cryptographic Archaeology
R-ConstraintBench: Evaluating LLMs on NP-Complete Scheduling
arxiv.org·2d
🧮SMT Solvers
How I Cut AWS RAG System Response Time from 30 Seconds to 100ms
dev.to·13h·
Discuss: DEV
🧬PostgreSQL Forensics
My tips for using LLM agents to create software
efitz-thoughts.blogspot.com·1d·
Discuss: Hacker News
⚡Proof Automation