TLA+ Modeling of AWS outage DNS race condition
muratbuffalo.blogspot.com·1h·
🧮Algebraic Effects
Flag this post
Combine Java and Rust Code Coverage in a Polyglot Project
questdb.com·8h·
Discuss: r/programming
🔧programming language design
Flag this post
Benchmarking the cost of Java's EnumSet - A Second Look
kinnen.de·1d·
🦀Borrow Checker
Flag this post
Free AI and Data Courses with 365 Data Science—100% Unlimited Access until Nov 21
machinelearningmastery.com·2h
🕸semantic web
Flag this post
The Write Last, Read First Rule
tigerbeetle.com·18h·
Discuss: Hacker News
🦀Borrow Checker
Flag this post
Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.com·1d·
🔧programming language design
Flag this post
Inception releases upgraded Mercury dLLM with improved coding and reasoning
inceptionlabs.ai·16m·
Discuss: Hacker News
🦀Borrow Checker
Flag this post
Stop Coding and Start Planning
kill-the-newsletter.com·1h
🧰software development practices
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·3d·
Discuss: Hacker News
🔧programming language design
Flag this post
Rust after six months: my impressions on language features, tooling and ecosystem
crocidb.com·1d
🔧programming language design
Flag this post
A chromosome-level genome assembly of the dried fruit mite <i>Carpoglyphus lactis</i>
nature.com·4h
🔧programming language design
Flag this post
Why Software Development Is Not Assembly-Line Work
dev.to·3h·
Discuss: DEV
🧰software development practices
Flag this post
NOWS: Neural Operator Warm Starts for Accelerating Iterative Solvers
arxiv.org·1d
🧮Algebraic Effects
Flag this post
Hephaestus: AI workflows that discover and create their own tasks as they work
reddit.com·1d·
Discuss: r/LocalLLaMA
🧰software development practices
Flag this post
Code Never Lies, It Just Mirrors the Coder
dev.to·6h·
Discuss: DEV
🔧programming language design
Flag this post
⚡ Rethinking Prompt Engineering: How Agent Lightning’s APO Teaches Agents to Write Better Prompts
dev.to·6h·
Discuss: DEV
🦀Borrow Checker
Flag this post
AI Art Turbocharged: Differentiable Diffusion for Hyper-Realistic Results
dev.to·3h·
Discuss: DEV
🧮Algebraic Effects
Flag this post
I Built a File-Hiding App Because I Didn't Know Any Better (And It Actually Works!)
dev.to·9h·
Discuss: DEV
🔧programming language design
Flag this post
Auditing M-LLMs for Privacy Risks: A Synthetic Benchmark and Evaluation Framework
arxiv.org·13h
🔧programming language design
Flag this post
Where do I even begin with system design, where do I even start ?
reddit.com·1d·
Discuss: r/node
🧰software development practices
Flag this post