Derek Elkins: Arithmetic Functions
hedonisticlearning.com·10h
⚔️Lean Theorem
Get Back To WARP
binary.ninja·16h
🧪Binary Fuzzing
Codeminer42 Dev Weekly #75
blog.codeminer42.com·16h
📏Code Metrics
The dangers of the JDBC bottleneck in Trino
starburst.io·16h·
Discuss: Hacker News
🦀Rusty Databases
Equi-mRNA: Protein Translation Equivariant Encoding for mRNA Language Models
arxiv.org·1d
🔗Functional Compilers
The LLM App Layer
ghiculescu.substack.com·1d·
Discuss: Substack
🌀Brotli Internals
Enhanced Lattice Vibration Characterization via Dynamic Modal Analysis and Adaptive Filtering
dev.to·1d·
Discuss: DEV
🌊Digital Signal Processing
It's okay to solve a problem twice
til.andrew-quinn.me·1h·
Discuss: Hacker News
⚡Proof Automation
Computed Tomography
fab.cba.mit.edu·2d·
Discuss: Hacker News
🌀Fractal Compression
Shortcuts for the Long Run: Automated Workflows for Aspiring Data Engineers
kdnuggets.com·19h
🌊Stream Processing
Implementing Gist Memory: Summarizing and Searching Long Docs with a ReadAgent
inference-docs.cerebras.ai·2d·
Discuss: Hacker News
📄Text Chunking
Launch HN: BlankBio (YC S25) – Making RNA Programmable
news.ycombinator.com·16h·
Discuss: Hacker News
⚡Incremental Computation
Time-Optimal Directed q-Analysis
arxiv.org·1d
🎯Performance Proofs
My tips for using LLM agents to create software
efitz-thoughts.blogspot.com·8h·
Discuss: Hacker News
⚡Proof Automation
Adaptive Lossless Compression via Dynamic Contextual Entropy Modeling
dev.to·6d·
Discuss: DEV
🌊Streaming Compression
Graphzep -TypeScript implementation of temporal knowledge graph memory system
github.com·12h·
Discuss: Hacker News
🕸️Neo4j
Why Latency Lies to You
systemssaturday.substack.com·1d·
Discuss: Substack
👁️Observatory Systems
TPA: Temporal Prompt Alignment for Fetal Congenital Heart Defect Classification
arxiv.org·1d
🌀Differential Geometry
A Systematic Study of Post-Training Quantization for Diffusion LLMs
arxiv.org·2d·
Discuss: Hacker News
💻Local LLMs
Lifeline Letters - Friendly Hangman Game with M5Stack Core2
hackster.io·2d
⚡Homebrew CPUs