Cyclic Proofs for iGL via Corecursion
arxiv.org·26m
λFunctional Programming
Flag this post
Algorithmic Complexity Reduction via Quantized State Space Search
dev.to·11h·
Discuss: DEV
⏱️Computational Complexity
Flag this post
News for October 2025
ptreview.sublinear.info·1d
⏱️Computational Complexity
Flag this post
Fast Answering Pattern-Constrained Reachability Queries with Two-Dimensional Reachability Index
arxiv.org·1d
🌳Red-Black Trees
Flag this post
Big-O Notation: Explained in 8 Minutes
blog.algomaster.io·1d
⏱️Computational Complexity
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·2d·
Discuss: Hacker News
⏱️Computational Complexity
Flag this post
How much disorder is there in a descending run?
morwenn.github.io·1d·
Discuss: Hacker News
🌳Red-Black Trees
Flag this post
Planning > Agents: Getting Reliable Code from LLMs
repoprompt.com·3h·
Discuss: Hacker News
⏱️Computational Complexity
Flag this post
r/mathematics
reddit.com·15h·
Discuss: r/mathematics
🔢mathmemathics
Flag this post
Computation as a Game
arxiv.org·1d
⏱️Computational Complexity
Flag this post
Teaching My Team How to Build LINQ from Scratch
dev.to·14h·
Discuss: DEV
λFunctional Programming
Flag this post
Kahn’s Algorithm and Cycle Detection in Directed Graphs
dev.to·1d·
Discuss: DEV
🗺️Graph Algorithms
Flag this post
Dive into Systems
diveintosystems.org·1d·
Discuss: Hacker News
🔄Dynamic Programming
Flag this post
Readable Code Is Unreadable
blog.wilsonb.com·20h·
Discuss: Hacker News
λFunctional Programming
Flag this post
Solving the NYTimes Pips puzzle with a constraint solver
blog.adafruit.com·1d
🎯A* Search
Flag this post
Benchmarking the cost of Java's EnumSet - A Second Look
kinnen.de·9h·
Discuss: r/programming
🔄Dynamic Programming
Flag this post
Algorithmic Alchemy: Transmuting Dynamic Programming with Gradients by Arvind Sundararajan
dev.to·12h·
Discuss: DEV
🔄Dynamic Programming
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·18h·
Discuss: Hacker News
λFunctional Programming
Flag this post
Ask HN: What made you improve your logical reasoning?
news.ycombinator.com·6h·
Discuss: Hacker News
λFunctional Programming
Flag this post
Uncrossed Multiflows and Applications to Disjoint Paths
arxiv.org·1d
🎯A* Search
Flag this post