Frozen in Place
economics.bmo.com·15h·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·1d·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
How much disorder is there in a descending run?
morwenn.github.io·20h·
Discuss: Hacker News
≤Order Theory
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
vibe.forem.com·1h·
Discuss: DEV
📝Nix Language
Flag this post
Absurd Workflows: Durable Execution With Just Postgres
lucumr.pocoo.org·1d·
Discuss: Lobsters, Hacker News
⚡Process Calculi
Flag this post
My Experience as a SDE Intern at AWS
simho.xyz·2h·
Discuss: Hacker News
🔧DevOps
Flag this post
Ghosts in the Codex Machine
docs.google.com·20h·
Discuss: Hacker News
👁️System Observability
Flag this post
Fragments Nov 3
martinfowler.com·8h
🔬Static Analysis
Flag this post
Incremental Compilation in Recursive‑Descent Parser (Roslyn)
langdev.stackexchange.com·1d·
Discuss: Hacker News
🧩Parser Combinators
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·4h
🎯Hindley-Milner
Flag this post
Using AI in Playwright Tests
dev.to·12h·
Discuss: DEV
🎮Verification Games
Flag this post
A toy model of corrigibility
lesswrong.com·1d
⏰Timed Automata
Flag this post
Quantum Machine Unlearning: Foundations, Mechanisms, and Taxonomy
arxiv.org·4h
❓Existential Types
Flag this post
Automated Predictive Molecular Dynamics for Mycoplasma Contamination Root Cause Analysis
dev.to·1d·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Probabilistic Robustness for Free? Revisiting Training via a Benchmark
arxiv.org·4h
📚Automata Learning
Flag this post
Automated Scientific Literature Validation via Hyperdimensional Semantic Analysis
dev.to·3d·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Diagnosing Hallucination Risk in AI Surgical Decision-Support: A Sequential Framework for Sequential Validation
arxiv.org·4h
📐Hoare Logic
Flag this post
Un-Attributability: Computing Novelty From Retrieval & Semantic Similarity
arxiv.org·1d
📚Automata Learning
Flag this post
MaGNet: A Mamba Dual-Hypergraph Network for Stock Prediction via Temporal-Causal and Global Relational Learning
arxiv.org·4h
📚Automata Learning
Flag this post
Octocode MCP – AI Researcher for Smart, Deep Multi-Repo Code Context
github.com·1d·
Discuss: Hacker News
💬Mach Messages
Flag this post