LeetCode Day 8 — Compare Version Numbers (165)
nitinahirwal.in·10h·
Discuss: DEV
🌳Tree Diffing
Discontiguous Exponential Averaging. (1998)
jacobfilipp.com·12h·
Discuss: Hacker News
🔢Algebraic Datatypes
Huxe: A Personal Intelligence System
huxe.com·3h·
Discuss: Hacker News
📈Earley Parsing
AI Evals: Why Generic Metrics Hurt Your Product
decodingml.substack.com·10h·
Discuss: Substack
📊Code Metrics
We Built the Responses API
developers.openai.com·4h·
Discuss: Hacker News
🏛️Elm Architecture
AC^0[p]-Frege Cannot Efficiently Prove that Constant-Depth Algebraic Circuit Lower Bounds are Hard
arxiv.org·17h
🧮Theorem Provers
Hacking OpenAI's Internet Search
onyx.app·5h·
Discuss: Hacker News
🎮Language Ergonomics
Clotho: Measuring Task-Specific Pre-Generation Test Adequacy for LLM Inputs
arxiv.org·17h
🎲Property Testing
The Proof-Theoretic Origin of Double Negation Introduction & Elimination
arxiv.org·17h
📈Monotonic Logic
Computation of Graph Polynomials via Tree Decomposition: Theory, Algorithms, and Python Implementation
arxiv.org·17h
🧮Combinator Calculus
New C++ Conference Videos Released This Month - September 2025 (Updated To Include Videos Released 2025-09-15 - 2025-09-21)
reddit.com·1d·
Discuss: r/cpp
🎓Teaching Compilers
Selective Population Protocols
arxiv.org·17h
📡Async Channels
Mathematical Evidence for Confident Delusion States in Recursive Systems
github.com·4h·
Discuss: Hacker News
💾Persistent Heaps
Fault-Tolerant Logical Measurements via Homological Measurement
journals.aps.org·8h
🎯Bit-Vector Algorithms
parSAT: Parallel Solving of Floating-Point Satisfiability
arxiv.org·17h
🧩SAT Solvers
Virtual Arc Consistency for Linear Constraints inCost Function Networks
arxiv.org·17h
🧩Constraint Solvers
Token Models as Statistical Simulations: A Different Take
medium.com·1d·
Discuss: Hacker News
🔍Tokenizers
Verifying User Interfaces using SPARK Ada: A Case Study of the T34 Syringe Driver
arxiv.org·17h
📜Bytecode Interpreters
Reasoning Core: A Scalable RL Environment for LLM Symbolic Reasoning
arxiv.org·17h
📋Souffle Datalog
Inference Offloading for Cost-Sensitive Binary Classification at the Edge
arxiv.org·1d
🗺️Region Inference