Process Equivalence, Observational Equivalence, Concurrency, Behavioral Equivalence

Building Software That Survives • Michael Nygard & Charles Humble • GOTO 2025
youtube.com·18h
🔧DevOps
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·1d·
Discuss: Hacker News
📐Linear Algebra
Flag this post
Show HN: Claude Code disrupted programming. Bringing that power to office worker
blog.gbase.ai·20h·
Discuss: Hacker News
🔧DevOps
Flag this post
Agents Are Commoditizing the Complement
andreasfragner.com·10h·
Discuss: Hacker News
🔧DevOps
Flag this post
Will Spiking Neural Nets Revolutionize AI by Mimicking Brain Efficiency? by Arvind Sundararajan
dev.to·4h·
Discuss: DEV
🔲Cellular Automata
Flag this post
Weak-To-Strong Generalization
lesswrong.com·2d
🔤Kleene Algebra
Flag this post
Geonum – geometric number library for unlimited dimensions with O(1) complexity
github.com·17h·
Discuss: Hacker News
🐫OCaml
Flag this post
ASAN: A conceptual architecture for a self-creating, energy-efficient AI system
github.com·18h·
Discuss: Hacker News
🩹Self-Healing Systems
Flag this post
Enhancing Workflow Efficiency via Dynamic Task Prioritization & Adaptive Resource Allocation
dev.to·4d·
Discuss: DEV
👁️System Observability
Flag this post
In AI, Everything is Meta
dev.to·11h·
Discuss: DEV
🔲Cellular Automata
Flag this post
Dynamic Model Selection for Trajectory Prediction via Pairwise Ranking and Meta-Features
arxiv.org·2h
👁️Observability
Flag this post
FedMGP: Personalized Federated Learning with Multi-Group Text-Visual Prompts
arxiv.org·2h
📚Automata Learning
Flag this post
CoT-Saliency: Unified Chain-of-Thought Reasoning for Heterogeneous Saliency Tasks
arxiv.org·2h
📚Automata Learning
Flag this post
Live Conversational Threads: Not an AI Notetaker
lesswrong.com·1d
🌐ActivityPub
Flag this post
Online Energy Storage Arbitrage under Imperfect Predictions: A Conformal Risk-Aware Approach
arxiv.org·2h
🧠Automated Reasoning
Flag this post
Multi-Sensor Distributed Hypothesis Testing in the Low-Power Regime
arxiv.org·2h
⏱️Computational Complexity
Flag this post
Matrix Phylogeny: Compact Spectral Fingerprints for Trap-Robust Preconditioner Selection
arxiv.org·2h
📐Linear Algebra
Flag this post
How Powerful AI Gets Cheap
lesswrong.com·13h
🔀Brzozowski Derivatives
Flag this post