Notes on using LaTeX to generate formulae
eli.thegreenplace.net·20h
📐Document Algebra
Tape Library follow up!
i.redd.it·5h·
Discuss: r/homelab
🔍Tape Forensics
DataWave: General purpose framework for both structured and unstructured data
code.nsa.gov·21h·
Discuss: Hacker News
🌊Streaming Databases
AZPixel-Team/Java2Bedrock
github.com·10h
🎮Game Decompilation
Rohan Paul on X: "New paper from @Google is a major memory breakthrough for AI agents. ReasoningBank helps an AI agent improve during use by learning from its w...
x.com·6h·
Discuss: X
🧮SMT Solvers
Python 3.14 Released With Free-Threaded Mode
linuxiac.com·4d
🔓Open Source Software
Why Low-Precision Transformer Training Fails: An Analysis on Flash Attention
huggingface.co·3d·
Discuss: Hacker News
📊Learned Metrics
ES Modules Are Terrible
gist.github.com·3d·
Discuss: Hacker News
🧩WASM Modules
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·1d·
Discuss: Hacker News
🎯Performance Proofs
Neural Networks from Scratch in Python: Simpler Than You Think
hamza.se·1d·
Discuss: Hacker News
📊Quantization
Building a Universal Webhook Adapter in Go: Introducing WHOOK
dev.to·1d·
Discuss: DEV
🌐WASI
rule-router: I built a high-performance rule engine for NATS in Go
reddit.com·2d·
Discuss: r/golang
🌊Streaming Systems
🐼 Pandas DataFrame Selection, Filtering & Cleaning — Hands-on Practice.
dev.to·1d·
Discuss: DEV
📐Linear Algebra
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·2d·
Discuss: DEV
🔨Compilers
Tech With Tim: How I Would Learn Python Web Development If I Started Over
dev.to·9h·
Discuss: DEV
⚙️Proof Engineering
Patina project – a Rust implementation of UEFI firmware
github.com·2d·
Discuss: Hacker News, Hacker News
🦀Embedded Rust
Which Heads Matter for Reasoning? RL-Guided KV Cache Compression
arxiv.org·2d
📼Cassette Combinators
Show HN: I've built C# source code generator Fluent API library
github.com·2d·
Discuss: Hacker News
🦀Rust Macros
ParsTranslit: Truly Versatile Tajik-Farsi Transliteration
arxiv.org·2d
📜Digital Philology
Building on vibes: Lessons from three years with LLMs
world.hey.com·3d·
Discuss: Hacker News
🌀Brotli Internals