TLA+ Modeling of AWS outage DNS race condition
muratbuffalo.blogspot.com·14h·
🧮Algebraic Effects
Flag this post
Benchmarking the cost of Java's EnumSet - A Second Look
kinnen.de·2d·
🦀Borrow Checker
Flag this post
Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.com·2d·
🔧programming language design
Flag this post
Stop Coding and Start Planning
kill-the-newsletter.com·14h
🧰software development practices
Flag this post
Rust after six months: my impressions on language features, tooling and ecosystem
crocidb.com·2d
🔧programming language design
Flag this post
Co-Optimizing GPU Architecture And SW To Enhance Edge Inference Performance (NVIDIA)
semiengineering.com·1d
🧮Algebraic Effects
Flag this post
Identical particles as a genuine non-local resource
nature.com·1d
🧮Algebraic Effects
Flag this post
New comment by adastra22 in "Ratatui – App Showcase"
news.ycombinator.com·2h·
Discuss: Hacker News
📲local-first software
Flag this post
Levers of Power in the Field of AI
arxiv.org·2h
🧮Algebraic Effects
Flag this post
Improving Gene Trees without more data
arxiv.org·1d
🕸semantic web
Flag this post
Noise Injection: Improving Out-of-Distribution Generalization for Limited Size Datasets
arxiv.org·2h
🧮Algebraic Effects
Flag this post
Evolutionary Optimization Trumps Adam Optimization on Embedding Space Exploration
arxiv.org·2h
🧮Algebraic Effects
Flag this post
LazyLLM, Easiest and laziest way for building multi-agent LLMs applications
github.com·1d·
Discuss: Hacker News
📲local-first software
Flag this post
AI Papers to Read in 2025
towardsdatascience.com·1d
🔧programming language design
Flag this post
CoCoVa: Chain of Continuous Vision-Language Thought for Latent Space Reasoning
arxiv.org·2d
🔧programming language design
Flag this post
Show HN: I'm making an Open-source Japanese learning App inspired by Monkeytype
github.com·1d·
📲local-first software
Flag this post
Automated Infrastructure as Code (IaC) Drift Detection and Remediation with Predictive Analytics
dev.to·1d·
Discuss: DEV
🔧programming language design
Flag this post