What is your take on Event Sourcing? How hard was it for you to get started?
martinfowler.com·1d·
Discuss: r/programming
👁️System Observability
Agent Jido: The Elixir Autonomous Agent Framework
agentjido.xyz·3h·
Discuss: Hacker News
🧱Immutable Infrastructure
Prompt Snapshot Testing
ninkovic.dev·1d·
Discuss: Hacker News
🧪Property-Based Testing
Famulor AI Call Center: Multi-Calendar Support
docs.famulor.io·14h·
Discuss: Hacker News
✓Automated Theorem Proving
Investigating IntelliJ Platform UI Freezes
blog.jetbrains.com·1d·
Discuss: Hacker News
👁️System Observability
An Interactive Guide to TanStack DB
frontendatscale.com·18h·
Discuss: Hacker News
🔄Reproducible Builds
Q-SafeML: Safety Assessment of Quantum Machine Learning via Quantum Distance Metrics
arxiv.org·2d
✅Model Checking
Demystifying Tensor Parallelism
robotchinwag.com·1d·
Discuss: Hacker News
🧩Separation Logic
How Python Implements List Comprehensions
pythonkoans.substack.com·1d·
Discuss: Substack
📐Denotational Semantics
Weird CPU architectures, the MOV only CPU (2020)
justanotherelectronicsblog.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Experimenting with local LLMs on macOS
blog.6nok.org·2d·
Discuss: Lobsters, Hacker News
📺Vintage Apple
Using Linters to Direct Agents
factory.ai·19h·
Discuss: Hacker News
🔄Reproducible Builds
Why spreadsheets fail for AI-driven decision-making
whatifi.io·1d·
Discuss: Hacker News
🧠Automated Reasoning
The subjective experience of coding in different programming languages
interconnected.org·2h·
Discuss: Hacker News
🔬Static Analysis
The Margins of Cybernetics (1963)
blog.outlandish.claims·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
arxiv.org·6d
🧠Automated Reasoning
Eat Your Vegetables Before AI Dessert
writings.alethia.news·1d·
Discuss: Hacker News
🩹Self-Healing Systems
The new compression algorithm is not like the standard ones
ferki-git-creator.github.io·2d·
Discuss: Hacker News
🧮Lambda Calculus
Building a DOOM-like multiplayer shooter in pure SQL
cedardb.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🎮Verification Games
Why feature selection methods rarely agree (I tested five side by side)
aayushig950.substack.com·2h·
Discuss: Substack
🧪Property-Based Testing