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·23h·
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·21h·
Discuss: Substack
⚔️Lean Theorem
Flag this post
This Month in Ladybird – October 2025
ladybird.org·5h·
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
NOMAD - Navigating Optimal Model Application to Datastreams
arxiv.org·12h
🎛️Feed Filtering
Flag this post
The Curvature Rate {\lambda}: A Scalar Measure of Input-Space Sharpness in Neural Networks
arxiv.org·12h
🌀Riemannian Computing
Flag this post
ROVER: Benchmarking Reciprocal Cross-Modal Reasoning for Omnimodal Generation
arxiv.org·12h
📊Learned Metrics
Flag this post
DynBERG: Dynamic BERT-based Graph neural network for financial fraud detection
arxiv.org·12h
🕸️Graph Embeddings
Flag this post
Building an AI-Powered Recipe Assistant with Agentic Postgres: A Deliciously Data-Driven Adventure 🍳🤖
dev.to·3h·
Discuss: DEV
🧮Algorithmic Cooking
Flag this post
Building a Message-to-SQL AI Agent with Mastra and Telex.im
dev.to·1d·
Discuss: DEV
Proof Automation
Flag this post
Schaltwerk – The IDE Without Editor
github.com·11h·
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·12h
📊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