Billions of Edges per Second with Postgres
onesparse.com·7h·
Discuss: Hacker News
🗜️Graph Compression
Enhancing Chain-of-Thought Reasoning with Critical Representation Fine-tuning
arxiv.org·21h
✨Effect Handlers
Algebra Problems of the Day (Algebra Regents, June 2025 Part III)
mrburkemath.blogspot.com·1d·
Discuss: www.blogger.com
🔢Reed-Solomon Math
Cactus Language • Stylistics 4
inquiryintoinquiry.com·10h
🌳Context free grammars
Complex knots can actually be easier to untie than simple ones
newscientist.com·14h
🕸️Algebraic Topology
Historical highlights?
logicmatters.net·14h
🔀Category Theory
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
A new look at twin reduction
cameroncounts.wordpress.com·1d
🔗Graph Isomorphism
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·4h·
Discuss: Hacker News
🎯Interactive Provers
What can we expect of LLMs as Software Engineers?
chelseatroy.com·1d
📝Text Parsing
From Equal Weights to Smart Weights: OTPO’s Approach to Better LLM Alignment
towardsdatascience.com·8h
🧮Kolmogorov Bounds
DuSEGO: Dual Second-order Equivariant Graph Ordinary Differential Equation
arxiv.org·21h
🔗Graph Isomorphism
News for June 2025
ptreview.sublinear.info·1d
🕸️Graph Algorithms
Alignment
languagelog.ldc.upenn.edu·5h
🔄Language Evolution
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·1d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
Why LangGraph Overcomplicates AI Agents (And My Go Alternative)
dev.to·10h·
Discuss: DEV
✨Algebraic Effects
Hierarchical Modeling (H-Nets)
cartesia.ai·6h·
Discuss: Hacker News
🌀Hyperbolic Geometry
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·1d
🧠Computational Logic
An LLM Router That Thinks Like an Engineer
medium.com·8h·
Discuss: Hacker News
📡BGP Archaeology
UK Government Recruiting Puzzle
mindyourdecisions.com·1d
🔲Cellular Automata