Meet the gang
forums.anandtech.com·1d
🔱plan 9
Flag this post
Hou Tu Pranownse Inglish
🗣️CMU Pronouncing
Flag this post
Running Minecraft on a Hobby OS
🎯Emulator Accuracy
Flag this post
Real VT102 Emulation with MAME
📺VT100 Emulation
Flag this post
Scala vs. F#
💧Liquid Types
Flag this post
Fix: externalizing network I/O in serverless computing
arxiv.org·3h
🌊Stream Processing
Flag this post
Hydra: Dual Exponentiated Memory for Multivariate Time Series Analysis
arxiv.org·3h
📈Time Series
Flag this post
This is one way I use AI for coding
⚡Proof Automation
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·3h
🦀Rust Verification
Flag this post
Show HN: sjl – Simple JSON Logger for Rust
🔐CBOR
Flag this post
Disciplined Biconvex Programming
arxiv.org·3h
🎯Performance Proofs
Flag this post
Show HN: Extrai – An open-source tool to fight LLM randomness in data extraction
📋Document Grammar
Flag this post
Beyond Localhost: Security, Authentication, and Real-World Sources
hackernoon.com·1d
🎬WebCodecs
Flag this post
I was tired of 50ms+ shell latency, so I built a sub-millisecond prompt in Rust (prmt)
🦀Rust Macros
Flag this post
Efficient Test-Time Retrieval Augmented Generation
arxiv.org·3h
🔍Information Retrieval
Flag this post
OpenSIR: Open-Ended Self-Improving Reasoner
arxiv.org·3h
🔮Proof Search
Flag this post
🧠 Mastering Goroutines in Go: The Power of Lightweight Concurrency.
🔩Systems Programming
Flag this post
LangChain vs LangGraph: A Beginner’s Guide to Building Smarter AI Workflows
hackernoon.com·16h
🔗Topological Sorting
Flag this post
Rouille – Rust Programming, in French
🦀Rust Borrowing
Flag this post
Loading...Loading more...