A self-rewriting AI from KAUST revives Jürgen Schmidhuber’s vision of a Gödel Machine
the-decoder.com·1d
🎭Program Synthesis
Flag this post
Hacking the Color BASIC PRINT command – part 7
subethasoftware.com·12h
💻Terminal Control
Flag this post
How to Use Multimodal AI Models With Docker Model Runner
docker.com·1d
Gleam
Flag this post
Using eBPF to attribute packet drops to netfilter rules
developers.redhat.com·1d
🪤Trap Handlers
Flag this post
Sorting by Strip Swaps is NP-Hard
arxiv.org·1d
⏭️Skip Lists
Flag this post
AI Uses Functions to Fetch Real Data (Not Just Chat)
farukalpay.substack.com·17h·
Discuss: Substack
🔗Lexical Scoping
Flag this post
How Transformer Models Detect Anomalies in System Logs
hackernoon.com·1d
📊Log Parsers
Flag this post
Honest take: I tested 12+ AI vibe coding tools, but this one actually surprised me
vibe.forem.com·18h·
Discuss: DEV
🎭Program Synthesis
Flag this post
I Use AI
ben.stolovitz.com·16h·
Discuss: Hacker News
💬Interactive REPLs
Flag this post
Context Engineering: Why AI Agents Need More Than Prompts
reddit.com·13h·
Discuss: r/LLM
🎭Program Synthesis
Flag this post
Writing Your First Compiler - Part 3: Lexical Analysis
dev.to·1d·
Discuss: DEV
📝Lexer Generators
Flag this post
Medical Report Generation: A Hierarchical Task Structure-Based Cross-Modal Causal Intervention Framework
arxiv.org·2h
📈Earley Parsing
Flag this post
Matrix Sensing with Kernel Optimal Loss: Robustness and Optimization Landscape
arxiv.org·2h
🔍ML Language
Flag this post
Leaving Open Philanthropy, going to Anthropic
lesswrong.com·1d
💫Effect Systems
Flag this post
Geometric Data Valuation via Leverage Scores
arxiv.org·2h
🔢Algebraic Datatypes
Flag this post
Reversal Invariance in Autoregressive Language Models
arxiv.org·1d
📋Backus-Naur Form
Flag this post
Show HN: Extrai – An open-source tool to fight LLM randomness in data extraction
github.com·1d·
Discuss: Hacker News
📋Tablegen
Flag this post
Causal Graph Neural Networks for Healthcare
arxiv.org·2h
Effect Inference
Flag this post