Toit: A modern high-level language designed specifically for microcontrollers
toitlang.org·7h·
Discuss: Hacker News
🔧Compiler Design
Introducing luzer, a coverage-guided Lua fuzzing engine
bronevichok.ru·5d·
Discuss: Lobsters, Hacker News
📝Lisp
My Lethal Trifecta talk at the Bay Area AI Security Meetup
simonwillison.net·18h·
Discuss: Hacker News
🧭SMT Solvers
TanStack DB with Sync – the future of real-time UI
neon.com·2d·
Discuss: Hacker News
🤝Protocol Design
I built a CHIP-8 emulator in C++ and turned it into a $1 guide for anyone who wants a fun systems-level project
amazon.com·1d·
Discuss: r/cpp
💾Retrocomputing
🍲Beginners guide to "Leetcode 808: Soup Serving"(C++ | JavaScript | Python)
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming
How and Why: Taming Flow Matching for Unsupervised Anomaly Detection and Localization
arxiv.org·1d
🎲Probabilistic Programming
Autodoc
funcall.blogspot.com·1d·
Discuss: www.blogger.com
📝Lisp
How to Learn Go and Backend Development with Concurrency (Coming from Python & Java)
reddit.com·1d·
Discuss: r/golang
📐Type Theory
DTPA: Dynamic Token-level Prefix Augmentation for Controllable Text Generation
arxiv.org·2d
🔗Parser Combinators
Learning to Reason for Factuality
arxiv.org·1d
🔢Mathematical Logic
How I Built Local-First Apps with React Native + RxDB (and Why Your App Probably Needs This Too)
dev.to·1d·
Discuss: DEV
🦀Rust
Automated Anomaly Detection in Distributed System Log Streams via Graph-Based Temporal Pattern Recognition
dev.to·4h·
Discuss: DEV
🔍Static Analysis
WIP: Nvidia Parakeet ASR mode inference in GGML
github.com·6h·
Discuss: Hacker News
🎲Probabilistic Programming
NumPy for Data Science: Advanced Indexing, Amax Function & Array Iteration Explained
dev.to·5h·
Discuss: DEV
🧮Programming Language Theory
Java `volatile` Keyword: Why Your Concurrency 'Fix' Is Secretly Lying To You!
dev.to·1d·
Discuss: DEV
⚡Concurrency
Show HN: I spent 40 hours vibe coding after 40 years of traditional programming
marcobenedetti.substack.com·2d·
Discuss: Substack
🔗Parser Combinators
MathSmith: Towards Extremely Hard Mathematical Reasoning by Forging Synthetic Problems with a Reinforced Policy
arxiv.org·1d
🧭SMT Solvers
Toward a new framework to accelerate large language model inference
techxplore.com·2d
🔗Parser Combinators
Leetcode - 208. Implement Trie (Prefix Tree)
dev.to·1d·
Discuss: DEV
🔗Parser Combinators