🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔄 Graph Rewriting

Term Rewriting, E-graphs, Optimization, Equational Reasoning

An Efficient Hybridization of Graph Representation Learning and Metaheuristics for the Constrained Incremental Graph Drawing Problem
arxiv.org·18h
🌊Streaming Algorithms
How Many Paths of Length K Are There Between a and B?
horace.io·1d·
Discuss: Hacker News
🕸️Graph Algorithms
Teaching programming languages
kmjn.org·10h
💻Programming languages
Harnessing MCP Servers with LangChain and LangGraph: A Comprehensive Guide
dev.to·12h·
Discuss: DEV
🔗Constraint Handling
Bmssp: A New Shortest Path Algorithm
rohanparanjpe.substack.com·4h·
Discuss: Substack
🔗Topological Sorting
Song recommendations with F# free monads
blog.ploeh.dk·15h
🔗Functional Compilers
International Conference on Enumerative Combinatorics and Applications ICECA 2025 (August 25-27, 2025)
gilkalai.wordpress.com·1d
🔗Combinatory Logic
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·11h
🤝Paxos Consensus
Notes on Autograd
aschrein.github.io·3h·
Discuss: Hacker News
⚡Incremental Computation
FLINT: Fast Library for Number Theory
flintlib.org·4h
🧮Algebraic Datatypes
What writing a failed rock-paper-scissors program taught me (or should have taught me) about sample size and uncertainty
statmodeling.stat.columbia.edu·8h
🧮Kolmogorov Bounds
Exhaustive Generation of Pattern-Avoiding s-Words
arxiv.org·18h
💾Binary Linguistics
The Lobster Programming Language
strlen.com·2h·
Discuss: Hacker News
🔗Concatenative Programming
AI-First Platform Engineering: 3 Signals From PlatformCon
thenewstack.io·4h
🏠Homelab Orchestration
noble-curves: audited and minimal elliptic curve cryptography in JavaScript
github.com·3h·
Discuss: Hacker News
🔱Galois Cryptography
Sets & Heaps in Haskell and Rust
mmhaskell.com·13h
🔒Type Safety
Not So Prompt: Prompt Optimization as Model Selection
gojiberries.io·1d·
Discuss: Hacker News
⚙️Compression Benchmarking
Rewriting Modulo Traced Comonoid Structure
arxiv.org·4d
✅Format Verification
Show HN: Knowdeck,an Advanced Visualisation Tool
news.ycombinator.com·6h·
Discuss: Hacker News
🧠Personal Knowledge Base
‘Ten Martini’ Proof Uses Number Theory to Explain Quantum Fractals
quantamagazine.org·8h
📐Mathematical Art
Loading...Loading more...
AboutBlogChangelogRoadmap