Publishing my bachelor's thesis in applied mathematics
timktitarev.wordpress.com·9h·
Discuss: Hacker News
📐Linear Algebra
Estimating Fair Graphs from Graph-Stationary Data
arxiv.org·22h
🌈Spectral Methods
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·22h
⛪Church Encoding
Three Solutions to Nondeterminism in AI
blog.hellas.ai·2d·
Discuss: Hacker News
🎯Performance Proofs
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧮Z3 Solver
MetaGraph: Scalable annotated de Bruijn graphs for DNA indexing and alignment
github.com·1d·
Discuss: Hacker News
🔄Burrows-Wheeler
QGraphLIME - Explaining Quantum Graph Neural Networks
arxiv.org·2d
🕸️Tensor Networks
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·22h
🔗Parser Combinators
AI as both authors and reviewers of research papers
openreview.net·1d·
Discuss: Hacker News
🔲Cellular Automata
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.to·7h·
Discuss: DEV
⚡Incremental Computation
Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k
harvard-edge.github.io·4h·
Discuss: Hacker News
🎯Performance Proofs
Parameterized Complexity of s-Club Cluster Edge Deletion
arxiv.org·1d
🧮Kolmogorov Complexity
I Built the Perfect Workflow and attracted some friends in the process
graemefawcett.ca·3h·
Discuss: Hacker News
⚡Proof Automation
2025-10-10 # LLMs Are Transpilers
alloc.dev·1d·
Discuss: Hacker News
🔄Language Evolution
AI Renaissance: Bridging the Gap Between Intuition and Logic
dev.to·16h·
Discuss: DEV
🤖Paleographic AI
Slip – A Lisp System in JavaScript
lisperator.net·13h·
Discuss: Hacker News
🔗Lisp
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
Discuss: Hacker News, r/programming
🌳Incremental Parsing
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.org·1d
📜Manuscript Algebras
From Documents to Dialogue: A step-by-step RAG Journey
dev.to·12h·
Discuss: DEV
📊Multi-vector RAG
Active Confusion Expression in Large Language Models: Leveraging World Models toward Better Social Reasoning
arxiv.org·22h
🧮Prolog Parsing