A prvalue is not a temporary
blog.knatten.org·1h
🔒Type Safety
Flag this post
From Brazil with Love: New Tactics from Lampion
bitsight.com·12h
🌳Archive Merkle Trees
Flag this post
Building AI Agents on the Frontend with Sam Bhagwat and Abhi Aiyer
softwareengineeringdaily.com·1d
⚡Proof Automation
Flag this post
We May Have Fixed Python's 25-Year-Old Vulnerability
iyehuda.substack.com·16h·
Discuss: Substack
🧪Binary Fuzzing
Flag this post
Writing an LLM from scratch, part 25 – instruction fine-tuning
gilesthomas.com·1d·
Discuss: Hacker News
⚡Proof Automation
Flag this post
I built an faster Notion in Rust
imedadel.com·2d·
Discuss: Lobsters, Hacker News, r/rust
🦀Rust Macros
Flag this post
I am a beginner to Golang, what mini-projects would you suggest?
reddit.com·1d·
Discuss: r/golang
🐚Shell Monads
Flag this post
Tencent/WeKnora
github.com·8h
🤖Archive Automation
Flag this post
LLMR: Because AIs Shouldn't Have to Parse Your Bootstrap Navbar 50 Times
dev.to·13h·
Discuss: DEV
🌀Brotli Internals
Flag this post
Top 10 Developer Articles of the Month on CoderLegion
news.ycombinator.com·17h·
Discuss: Hacker News
📏Code Metrics
Flag this post
zFLoRA: Zero-Latency Fused Low-Rank Adapters
arxiv.org·5h
🌀Brotli Internals
Flag this post
Antonio Cuni: Inside SPy, part 1: Motivations and Goals
antocuni.eu·1d·
Discuss: Hacker News
⚡Effectful Programming
Flag this post
Web 4.0
dillonshook.com·1d·
Discuss: Hacker News
🌐Web Standards
Flag this post
Fixing Type Hints for Callable Objects with Custom Signatures in Dagster
dev.to·2d·
Discuss: DEV
🦀Rust Verification
Flag this post
Convert any GitHub repo to coding puzzles
github.com·2d·
Discuss: Hacker News
⚡Proof Automation
Flag this post
ArkRegex: A drop in replacement for new RegExp() with types
arktype.io·2d·
Discuss: Hacker News, r/javascript, r/node, r/programming, r/typescript
✅Format Verification
Flag this post
LLM Experimentation: Optimizing My Journaling Agent
dev.to·16h·
Discuss: DEV
🤖Grammar Induction
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·4h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Flag this post
A Senior Developer’s Guide to Vibe Coding and Deep AI Integration in Cursor
dev.to·12h·
Discuss: DEV
⚡Proof Automation
Flag this post
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.org·2d
💻Programming languages
Flag this post