What is your take on Event Sourcing? How hard was it for you to get started?
martinfowler.com·1d·
Discuss: r/programming
👁️System Observability
Investigating IntelliJ Platform UI Freezes
blog.jetbrains.com·1d·
Discuss: Hacker News
👁️System Observability
Weird CPU architectures, the MOV only CPU (2020)
justanotherelectronicsblog.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Parameters and binding forms should be mutually recursive
samestep.com·5d·
Discuss: Hacker News
🐫OCaml
Enhance your CLI testing workflow with the new dotnet test
devblogs.microsoft.com·6h·
Discuss: Hacker News
👁️System Observability
Plantbot: Integrating Plant and Robot through LLM Modular Agent Networks
arxiv.org·1d
🩹Self-Healing Systems
Why spreadsheets fail for AI-driven decision-making
whatifi.io·2d·
Discuss: Hacker News
🧠Automated Reasoning
Human-Hardware-in-the-Loop simulations for systemic resilience assessment in cyber-socio-technical systems
arxiv.org·1d
🩹Self-Healing Systems
Show HN: Context, Hallucinations, and How LLMs Are Changing Development
juanpabloaj.substack.com·1d·
Discuss: Substack
🎮Verification Games
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
arxiv.org·6d
🧠Automated Reasoning
Demystifying Tensor Parallelism
robotchinwag.com·2d·
Discuss: Hacker News
🧩Separation Logic
Building a DOOM-like multiplayer shooter in pure SQL
cedardb.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🎮Verification Games
The Margins of Cybernetics (1963)
blog.outlandish.claims·2d·
Discuss: Hacker News
🩹Self-Healing Systems
The canonical agent architecture: A while loop with tools
braintrust.dev·3d·
Discuss: Hacker News
⚙Operational Semantics
The new compression algorithm is not like the standard ones
ferki-git-creator.github.io·3d·
Discuss: Hacker News
🧮Lambda Calculus
A Fragile Number Sense: Probing the Elemental Limits of Numerical Reasoning in LLMs
arxiv.org·1d
📚Automata Learning
The Case for An AI Safety Political Party in the US
lesswrong.com·8h
🩹Self-Healing Systems
IO is special
blog.ploeh.dk·2d·
Discuss: Lobsters
💎Refinement Types
Q-SafeML: Safety Assessment of Quantum Machine Learning via Quantum Distance Metrics
arxiv.org·2d
✅Model Checking
High Dimensional Optimization Remains Hard
win-vector.com·1d·
Discuss: Hacker News
🏹Effect Systems