A self-rewriting AI from KAUST revives Jürgen Schmidhuber’s vision of a Gödel Machine
the-decoder.com·1d
🧩Theorem Proving
Flag this post
FSNet finds feasible power grid solutions in minutes, outperforming tried-and-true tools
techxplore.com·1d
🎲Probabilistic Programming
Flag this post
Hyper Hawkes Processes: Interpretable Models of Marked Temporal Point Processes
arxiv.org·23h
🎲Probabilistic Programming
Flag this post
Building Trinity Protocol v3.1: A Deep Dive into 2-of-3 Multi-Chain Consensus
🤝Protocol Design
Flag this post
Online Energy Storage Arbitrage under Imperfect Predictions: A Conformal Risk-Aware Approach
arxiv.org·23h
⚖Algorithmic Game Theory
Flag this post
Matrix Phylogeny: Compact Spectral Fingerprints for Trap-Robust Preconditioner Selection
arxiv.org·23h
🕸️Graph Theory
Flag this post
[P] triplet-extract: GPU-accelerated triplet extraction via Stanford OpenIE in pure Python
🔗Parser Combinators
Flag this post
Not Over Or Under Indexed
lesswrong.com·5h
🗄️Database Theory
Flag this post
Wordle Solver
🔗Parser Combinators
Flag this post
We built a collaboration platform on Claude Code. Here's what we learned.
🌍Distributed Systems
Flag this post
Iterative Foundation Model Fine-Tuning on Multiple Rewards
arxiv.org·23h
🎲Probabilistic Programming
Flag this post
Robust Control Synthesis via Persistent Homology-Guided Network Pruning
📈Complexity Theory
Flag this post
Complex QA and language models hybrid architectures, Survey
arxiv.org·23h
🔢Mathematical Logic
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
🧩Theorem Proving
Flag this post
This is one way I use AI for coding
🧩Theorem Proving
Flag this post
The Art of the Do-Over: Designing Idempotent Jobs as a Journey to Peace of Mind
🧩Theorem Proving
Flag this post
Loading...Loading more...