Algebraic Effects, Delimited Continuations, Computational Effects, Control Abstraction

Skills for the Future
bastian.rieck.me·4h
🧠Intelligence Compression
Flag this post
Practical Steps Towards Vibe Writing with AI Positron
blog.oxygenxml.com·2d
🔄Language Evolution
Flag this post
The Cantor Experiment: Forcing a GPT-5-Class AI to Forget a Century of Math
romainpeter.substack.com·1d·
Discuss: Substack
⚔️Lean Theorem
Flag this post
What does OSWorld tell us about AI's ability to use computers?
epoch.ai·2h·
Discuss: Hacker News
🔌Operating system internals
Flag this post
The Death of Traditional QA (Or: "AI Everywhere " Reaches SQA)
functionize.com·6h·
Discuss: Hacker News
🔍Concolic Testing
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.com·1d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
The Curvature Rate {\lambda}: A Scalar Measure of Input-Space Sharpness in Neural Networks
arxiv.org·19h
🌀Riemannian Computing
Flag this post
DynBERG: Dynamic BERT-based Graph neural network for financial fraud detection
arxiv.org·19h
🕸️Graph Embeddings
Flag this post
Schaltwerk – The IDE Without Editor
github.com·18h·
Discuss: Hacker News
🐚Nordic Shell
Flag this post
Unlocking LLMs: The Self-Steering Revolution
dev.to·2d·
Discuss: DEV
💻Local LLMs
Flag this post
Enhancing Diffusion-based Restoration Models via Difficulty-Adaptive Reinforcement Learning with IQA Reward
arxiv.org·19h
📊Learned Metrics
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·4d
🧮Algebraic Archives
Flag this post
Thought Branches: Interpreting LLM Reasoning Requires Resampling
arxiv.org·1d
🧮Kolmogorov Complexity
Flag this post
How Verdent Deck Supercharged My Workflow - Building Apps with Multiple AI Agents in Parallel
dev.to·12h·
Discuss: DEV
🔍Concolic Testing
Flag this post
Optimizing Native Sparse Attention with Latent Attention and Local Global Alternating Strategies
arxiv.org·19h
🧮Vector Embeddings
Flag this post
ARC-GEN: A Mimetic Procedural Benchmark Generator for the Abstraction and Reasoning Corpus
arxiv.org·19h
📏Code Metrics
Flag this post
On the Structure of Floating-Point Noise in Batch-Invariant GPU Matrix Multiplication
arxiv.org·19h
📐Error Bounds
Flag this post