Handbook of Satisfiability (2021)
iospress.com·4d·
Discuss: Hacker News
🧩SAT Solvers
Flag this post
There is no truthy or falsy in Rust
joschuba.com·2d
⚙️TOML Parsers
Flag this post
Error Codes for Control Flow
matklad.github.io·1d·
Discuss: Hacker News
🔧Error Recovery
Flag this post
How Small Teams Can Scale Global Content Without Hiring a Translation Agency
hackmd.io·22h·
Discuss: DEV
🎮Language Ergonomics
Flag this post
A Security Model for Systemd
lwn.net·1d·
Discuss: Lobsters, Hacker News
🛡️Security Type Systems
Flag this post
Polish emerges as top language in multilingual AI benchmark testing
ppc.land·5d
⚡Tokenizer Benchmarks
Flag this post
Embedding TypeScript
andrews.substack.com·22h·
Discuss: Substack, r/programming
🌈Gradual Languages
Flag this post
1,500+ PRs Later: Spotify’s Journey with Our Background Coding Agent (Part 1)
engineering.atspotify.com·14h·
Discuss: Hacker News
🚚Code Migration
Flag this post
Context Engineering 2.0: The Context of Context Engineering
arxiviq.substack.com·10h·
Discuss: Substack
🧠Semantic Parsing
Flag this post
Appreciation for colemak layout
reddit.com·22h·
Discuss: r/ErgoMechKeyboards
🎮Language Ergonomics
Flag this post
Pint: Python library that makes units easy
github.com·1d·
Discuss: Hacker News
📦Compact Data
Flag this post
Data-driven uncertainty-aware seakeeping prediction of the Delft 372 catamaran using ensemble Hankel dynamic mode decomposition
arxiv.org·4h
🌪️V8 TurboFan
Flag this post
FinTech Security Testing Costs Simplified: A Practical Breakdown
dev.to·2h·
Discuss: DEV
🛡️Taint Analysis
Flag this post
map-of-shame - Unsafe operations on type-erased maps (Experimental)
github.com·1d·
Discuss: r/golang
🤖Embedded Go
Flag this post
What's the worst coding crimes you've witnessed on a project?
reddit.com·1d·
Discuss: r/webdev
🎮Language Ergonomics
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·14h·
Discuss: DEV
💬Interactive REPLs
Flag this post
How to Build a RAG Solution with Llama Index, ChromaDB, and Ollama
dev.to·2d·
Discuss: DEV
💬Interactive REPLs
Flag this post
Shrinking the Variance: Shrinkage Baselines for Reinforcement Learning with Verifiable Rewards
arxiv.org·1d
📈Monotonic Logic
Flag this post
LLM-enhanced Air Quality Monitoring Interface via Model Context Protocol
arxiv.org·1d
🧱WASM Components
Flag this post
Lucid: Q3 Results Not Good
seekingalpha.com·1d
🔮Speculative Execution
Flag this post