Algebraic Effects, Delimited Continuations, Computational Effects, Control Abstraction

Practical Steps Towards Vibe Writing with AI Positron
blog.oxygenxml.com·2d
🔄Language Evolution
Flag this post
The Constrained Application Protocol (CoAP)
datatracker.ietf.org·1d·
Discuss: Hacker News
🌐NetworkProtocols
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
This Month in Ladybird – October 2025
ladybird.org·8h·
Discuss: Hacker News
🎬WebCodecs
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·15h
🌀Riemannian Computing
Flag this post
ROVER: Benchmarking Reciprocal Cross-Modal Reasoning for Omnimodal Generation
arxiv.org·15h
📊Learned Metrics
Flag this post
DynBERG: Dynamic BERT-based Graph neural network for financial fraud detection
arxiv.org·15h
🕸️Graph Embeddings
Flag this post
Scaling Coding-Agent RL to 32x H100s. 160% Improvement on Stanford's TBench
github.com·1d·
⚔️Lean Tactics
Flag this post
Building an AI-Powered Recipe Assistant with Agentic Postgres: A Deliciously Data-Driven Adventure 🍳🤖
dev.to·6h·
Discuss: DEV
🧮Algorithmic Cooking
Flag this post
Building a Message-to-SQL AI Agent with Mastra and Telex.im
dev.to·2d·
Discuss: DEV
Proof Automation
Flag this post
Schaltwerk – The IDE Without Editor
github.com·14h·
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·15h
📊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
Optimizing Native Sparse Attention with Latent Attention and Local Global Alternating Strategies
arxiv.org·15h
🧮Vector Embeddings
Flag this post