Building Software That Survives • Michael Nygard & Charles Humble • GOTO 2025
youtube.com·23h
🔧DevOps
Flag this post
Does Go's garbage collector use Depth-First Search (DFS) or Breadth-First Search (BFS) during the scan/marking phase?
🧩Separation Logic
Flag this post
Show HN: Claude Code disrupted programming. Bringing that power to office worker
🔧DevOps
Flag this post
Agents Are Commoditizing the Complement
🔧DevOps
Flag this post
Will Spiking Neural Nets Revolutionize AI by Mimicking Brain Efficiency? by Arvind Sundararajan
🔲Cellular Automata
Flag this post
ASAN: A conceptual architecture for a self-creating, energy-efficient AI system
🩹Self-Healing Systems
Flag this post
In AI, Everything is Meta
🔲Cellular Automata
Flag this post
AI Progress Should Be Measured by Capability-Per-Resource, Not Scale Alone: A Framework for Gradient-Guided Resource Allocation in LLMs
arxiv.org·7h
🎯Hindley-Milner
Flag this post
CoT-Saliency: Unified Chain-of-Thought Reasoning for Heterogeneous Saliency Tasks
arxiv.org·7h
📚Automata Learning
Flag this post
FedMGP: Personalized Federated Learning with Multi-Group Text-Visual Prompts
arxiv.org·7h
📚Automata Learning
Flag this post
Live Conversational Threads: Not an AI Notetaker
lesswrong.com·1d
🌐ActivityPub
Flag this post
Multi-Sensor Distributed Hypothesis Testing in the Low-Power Regime
arxiv.org·7h
⏱️Computational Complexity
Flag this post
Online Energy Storage Arbitrage under Imperfect Predictions: A Conformal Risk-Aware Approach
arxiv.org·7h
🧠Automated Reasoning
Flag this post
Matrix Phylogeny: Compact Spectral Fingerprints for Trap-Robust Preconditioner Selection
arxiv.org·7h
📐Linear Algebra
Flag this post
Iterative Cut-Based PWA Approximation of Multi-Dimensional Nonlinear Systems
arxiv.org·7h
🔧ppx
Flag this post
PDE-SHARP: PDE Solver Hybrids Through Analysis & Refinement Passes
arxiv.org·7h
🔀OCaml Multicore
Flag this post
Probing Knowledge Holes in Unlearned LLMs
arxiv.org·7h
🔍CBMC
Flag this post
How Powerful AI Gets Cheap
lesswrong.com·19h
🔀Brzozowski Derivatives
Flag this post
Finding Non-Redundant Simpson's Paradox from Multidimensional Data
arxiv.org·7h
🎨GADTs
Flag this post
Loading...Loading more...