🔗 Topological Sorting - matmat · Scour

Parent-Hash DAG: A Cost Analysis of Constant-Time Append for On-Chain Registries

🔗Hash Chains Academic

Less-relevant results

npm Tooling Bug Incorrectly Marks One-Character Packages as Security Holders

📦Package Managers Blog

[Dev Weekly #114] Google’s Gemma 4 Changes the Game | Ruby Performance Secrets Exposed | Trust Over Velocity - The Miners

💨Cache Analysis Blog

blog.codeminer42.com·

Lego's Sagrada Família kit looks almost as magical as the real thing — but it's another supersized new set that has me mesmerized

·

What I got wrong about fast terminals

🐚Shell Automation Blog

mijndertstuij.nl··Lobsters, Hacker News

Simpson’s Paradox

🔲Proof Irrelevance Academic

plato.stanford.edu··Hacker News

Estimate Collapsibility of Causal Effects in Completed Partial DAGs via Strong d-Convex Hulls

✨Effect Handlers Academic

Causal Atlases from Entropic Inference: Bayesian Networks beyond Optimal DAGs

📈Entropy Estimation Academic

InquiTree: Evaluating AI Agents in the Scientific Inquiry Loop with Paper-Derived Research Trees

🤖AI Curation Academic

Life is too short for a slow terminal

🐚Shell Automation Blog

mijndertstuij.nl··Lobsters, Hacker News

polyDAG: Polynomial Acyclicity Constraints for Efficient Continuous Causal Discovery in Visual Semantic Graphs

🔍Format Reverse Engineering Academic

Inference-Time Conformal Reasoning with Valid Factuality Control for Large Language Models

🌳Context free grammars Academic

Clownfish: Scaling DAG-based BFT Consensus via Sparse Edges

🏛️Byzantine Archiving Academic

SCALE: Scalable Cross-Attention Learning with Extrapolation for Agentic Workflow Scheduling

🎛️Feed Filtering Academic

ReasoningFlow: Discourse Structures for Understanding LLM Reasoning Traces

🧮Theorem Proving Academic

Mutual Information Optimization via K-Recursion and Automatic Differentiation for Linear Gaussian Wireless Networks

📡Information theory Academic

QDAG: Declarative Composition of Reusable Analytics Methodologies at LinkedIn

💾SQLite Academic

LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization

✅Document Verification Academic

𝜇⁢𝜆⁢ϵ⁢𝛿-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities

💻Programming languages Academic

arxiv.org··Lobsters

No more posts from matmat's subscribed feeds.

Scour all 25255 feeds Learn more about Feeds

Log in to enable infinite scrolling