TLA+ Modeling of AWS outage DNS race condition
muratbuffalo.blogspot.com·16h·
Discuss: Lobsters, Hacker News
🧮Algebraic Effects
Flag this post
ClusterMAX 2.0 is here!
threadreaderapp.com·16h
📲local-first software
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.com·4d·
Discuss: Hacker News
🔧programming language design
Flag this post
The Write Last, Read First Rule
tigerbeetle.com·1d·
Discuss: Hacker News
🦀Borrow Checker
Flag this post
Rust after six months: my impressions on language features, tooling and ecosystem
crocidb.com·2d
🔧programming language design
Flag this post
Ramesh Inala’s AI Blueprint for Scalable Financial Data Ecosystems
hackernoon.com·16h
🔧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
Moonshot's Kimi K2 Thinking emerges as leading open source AI, outperforming GPT-5, Claude Sonnet 4.5 on key benchmarks
venturebeat.com·15h
📲local-first software
Flag this post
Identical particles as a genuine non-local resource
nature.com·1d
🧮Algebraic Effects
Flag this post
Levers of Power in the Field of AI
arxiv.org·4h
🧮Algebraic Effects
Flag this post
Improving Gene Trees without more data
arxiv.org·1d
🕸semantic web
Flag this post
Evolutionary Optimization Trumps Adam Optimization on Embedding Space Exploration
arxiv.org·4h
🧮Algebraic Effects
Flag this post
<p>**Abstract:** This paper introduces Decentralized Autonomous Identity Verification via Zero-Knowledge Proof Graph Traversal (DAIV-ZKGT), a novel system capab...
freederia.com·2h
📲local-first software
Flag this post
<p>**Abstract:** This paper introduces a novel framework for automated, high-resolution longitudinal analysis of micro-structural changes in composite materials...
freederia.com·8h
🧮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
Show HN: I'm making an Open-source Japanese learning App inspired by Monkeytype
github.com·1d·
Discuss: Hacker News, Hacker News
📲local-first software
Flag this post
Generative Hints
arxiv.org·1d
🧮Algebraic Effects
Flag this post
Neurosymbolic Deep Learning Semantics
arxiv.org·2d
🕸semantic web
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