SAT problems are kind of cool
blog.karanjanthe.me·3d·
Discuss: Hacker News
🧩SAT Solvers
Went to the offices of a “cracked” AI company that is killing it: massive AI companies and Big Tech are customers. Building innovative infra. Have a bold vision...
bsky.app·8h·
Discuss: Bluesky
📚Forth
Using AI for candidate ranking with RavenDB
ayende.com·1d
🎮Language Ergonomics
I combined ZetaMac and MonkeyType into the best quick math game. Go try it!
monkeymac.vercel.app·1d·
Discuss: r/javascript, r/reactjs, r/webdev
🧸Toy Compilers
A new breed of analyzers
daniel.haxx.se·1d·
Discuss: Lobsters, Hacker News, r/programming
🌳Tree Shaking
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·1d·
Discuss: Hacker News
🧩Constraint Solvers
Introducing Formulas: Create smarter forms with calculations, automation, and much more
dev.to·1d·
Discuss: DEV
📋Row Typing
The Mind's Mirror
dev.to·12h·
Discuss: DEV
🎭Program Synthesis
Randomized and quantum approximate matrix multiplication
arxiv.org·1d
🔬Nanopasses
Show HN: I built a LSP with its own parser to learn Rust
github.com·20h·
Discuss: Hacker News
⚙️TOML Parsers
nvim-redraft: Fast, Inline AI Edits for Neovim (OpenAI, Anthropic, xAI support)
reddit.com·12h·
Discuss: r/neovim
📝Rope Editors
jlrs 0.22: Julia version autodetection, async closure support, and more!
reddit.com·8h·
Discuss: r/rust
🦀MIR Optimization
The Library Method: Understanding @cache
dev.to·1d·
Discuss: DEV
🎯Symbolic Execution
espanso/espanso v2.3.0
github.com·7h
🌈Gradual Languages
GaloisInc/parameterized-utils
github.com·3d
📏Linear Haskell
5 Most Used Excel Functions by Data Analysts (And Why You Should Master Them)
dev.to·1d·
Discuss: DEV
📊DataFrame Types
Towards a Typology of Strange LLM Chains-of-Thought
lesswrong.com·2d
🌊Gradual Effects
Instructional Goal-Aligned Question Generation for Student Evaluation in Virtual Lab Settings: How Closely Do LLMs Actually Align?
arxiv.org·2d
💬Interactive REPLs
CIR-CoT: Towards Interpretable Composed Image Retrieval via End-to-End Chain-of-Thought Reasoning
arxiv.org·1d
📈Earley Parsing
Two-Stage Voting for Robust and Efficient Suicide Risk Detection on Social Media
arxiv.org·1d
🔍ML Language