Lobsters Interview with Icefox
lobste.rs·6h·
Discuss: Lobsters
🔧Compiler Design
Observing and evaluating AI agentic workflows with Strands Agents SDK and Arize AX
aws.amazon.com·7h
🎲Probabilistic Programming
Vibe coding complex changes in Rust
youtube.com·2h
🦀Rust
miniHDL: A Python Hardware Description Language DSL
nicholas.carlini.com·6h·
Discuss: Hacker News
🏗Computer Architecture
Go Assembly Mutation Testing
words.filippo.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🔧Compiler Design
Compilers vs Interpreters: Understanding How Code Gets Executed
dev.to·1d·
Discuss: DEV
🔧Compiler Design
🐥 Elixir Anti-Patterns
yellowduck.be·6h
⚙Functional Programming
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·3d·
Discuss: Hacker News
🧩Theorem Proving
The Reality of Debugging: How I Deal with "That One Bug"
prisma.io·1d·
Discuss: DEV
📦WebAssembly
Tired of Pydantic? Try These 5 Game-Changing Python Libraries
dev.to·16h·
Discuss: DEV
🧮Programming Language Theory
Mastering NLP with spaCy – Part 2
towardsdatascience.com·4h
🔗Parser Combinators
Prompt Engineering for Security. Innovation in Verification
semiwiki.com·2d
✅Formal Verification
True names matter in C++
quuxplusone.github.io·23h
📐Type Theory
Write Code Like Sherlock Holmes: The Art of Deductive Development 🔍
dev.to·1d·
Discuss: DEV
🧩Theorem Proving
Cactus Language • Pragmatics 7
inquiryintoinquiry.com·11h
🧮Programming Language Theory
Kimi K2 vs Grok 4: Who’s Better at Real-World Coding Tasks with Tools?
forgecode.dev·16h·
Discuss: r/LocalLLaMA
🧮Programming Language Theory
I Generated 1 Billion Tokens (So You Don't Have To): Introducing ReasonScape
reddit.com·5h·
Discuss: r/LocalLLaMA
🔗Parser Combinators
Analytics Is Changing (Again)
docs.fused.io·7h·
Discuss: Hacker News
🔧Compiler Design
Engineering With Java: Digest #58
javabulletin.substack.com·1h·
Discuss: r/programming
🏗Computer Architecture
Python Fundamentals: concurrency
dev.to·10h·
Discuss: DEV
⚡Concurrency