computer science, automata, theory, computation

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
Creating a Linux Application Using VSCodium, Cline, OpenRouter, and Claude
taosecurity.blogspot.com·15h·
🔓Open Source Software
Flag this post
The most likely AI apocalypse
vox.com·5h
🔲Cellular Automata
Flag this post
Show HN: I gamified passwords to make them easier to remember
passwordgame.apps.benthayer.com·13h·
Discuss: Hacker News
🔓Password Cracking
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·4d
🔗Combinatory Logic
Flag this post
Generation at the Speed of Thought: Speculative Decoding
bittere.substack.com·2d·
Discuss: Substack
🚀SIMD Text Processing
Flag this post
3 Experiments That Reveal the Shocking Inner Life of AI Introduction: Is Anybody Home?
hackernoon.com·18h
🚀Indie Hacking
Flag this post
CompAgent: An Agentic Framework for Visual Compliance Verification
arxiv.org·11h
🤖Advanced OCR
Flag this post
LeMiCa: Lexicographic Minimax Path Caching for Efficient Diffusion-Based Video Generation
arxiv.org·11h
LZ4 Streaming
Flag this post
Deep Learning Approach to Anomaly Detection in Enterprise ETL Processes with Autoencoders
arxiv.org·11h
🧠Machine Learning
Flag this post
AI as Muse: Unlocking Mathematical Secrets Through Collaborative Discovery
dev.to·2d·
Discuss: DEV
📐Mathematical Art
Flag this post
Chain of Time: In-Context Physical Simulation with Image Generation Models
arxiv.org·11h
🔲Cellular Automata
Flag this post
Linear Differential Vision Transformer: Learning Visual Contrasts via Pairwise Differentials
arxiv.org·11h
📊Learned Metrics
Flag this post
Confounding Factors in Relating Model Performance to Morphology
arxiv.org·11h
📋Document Grammar
Flag this post
IL-PCSR: Legal Corpus for Prior Case and Statute Retrieval
arxiv.org·11h
🔍Information Retrieval
Flag this post
Efficient Curvature-aware Graph Network
arxiv.org·11h
🌀Riemannian Computing
Flag this post
BeetleFlow: An Integrative Deep Learning Pipeline for Beetle Image Processing
arxiv.org·11h
🌊Streaming Algorithms
Flag this post
Python Coding Challenges: FizzBuzz, String Equality, and Heterogram Checks for Beginners
dev.to·1d·
Discuss: DEV
🧪Binary Fuzzing
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
github.com·2d·
Discuss: Hacker News
📐Proof Assistants
Flag this post
Alpamayo-R1: Bridging Reasoning and Action Prediction for Generalizable Autonomous Driving in the Long Tail
arxiv.org·11h
⚖️Hoare Logic
Flag this post