A gentle introduction to CP/M
eerielinux.wordpress.com·10h
📺VT100
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·2d
✅Format Verification
Using panic metadata to recover source code information from Rust binaries | cxiao.net
cxiao.net·2d
🦀Rust Macros
Compress Vectors by 4x by using 8-bit Rotational Quantization
weaviate.io·19h·
Discuss: Hacker News
📊Vector Quantization
Finding Bugs in a Coding Agent with Lightweight DST
wickstrom.tech·1d·
Discuss: Lobsters, Hacker News
🐛Fuzzing
Rebuilding Babel: The Tokenizer (2022)
nan.fyi·6d·
Discuss: Hacker News
📝Concrete Syntax
Memory optimizations to reduce CPU costs
ayende.com·3d·
Discuss: Hacker News
📝Text Compression
RLMR: Reinforcement Learning with Mixed Rewards for Creative Writing
arxiv.org·1d
🔲Cellular Automata
Heterogeneous LLM Methods for Ontology Learning (Few-Shot Prompting, Ensemble Typing, and Attention-Based Taxonomies)
arxiv.org·22h
🤖Grammar Induction
Capabilities of GPT-5 across critical domains: Is it the next breakthrough?
arxiv.org·22h
💻Programming languages
Training with Explanations Alone: A New Paradigm to Prevent Shortcut Learning
arxiv.org·22h
📊Learned Metrics
GPUPrefixSums – state of the art GPU prefix sum algorithms
github.com·14h·
Discuss: Hacker News
⚡Cache Coherence
Diving into Actor Model with Go and NATS
dev.to·11h·
Discuss: DEV
🔧Binary Parsers
Large Language Model-Based Automatic Formulation for Stochastic Optimization Models
arxiv.org·2d
🧠Machine Learning
How good is the coding ability of GPT-5?A deep, professional guide
dev.to·1d·
Discuss: DEV
💧Liquid Types
In-browser NL2SQL2NL playground: SQLite WASM meets Gemini
github.com·1d·
Discuss: Hacker News
💾SQLite
Study Buddy: AI-Powered Student Success Assistant
dev.to·11h·
Discuss: DEV
🌀Brotli Internals
Coding or Conversation? LLMs Are Our New Stack
dev.to·16h·
Discuss: DEV
🔄Language Evolution
The two-part routine that helps me code, write, and actually finish stuff
dev.to·16h·
Discuss: DEV
⬜Minimalism
Building Queryable Chatbots Using MCP Tools
dev.to·12h·
Discuss: DEV
🔗Constraint Handling