✨ Effect Handlers

Algebraic Effects, Delimited Continuations, Computational Effects, Control Abstraction

Human vs. AI in Logic Tasks: a Study
dailynous.com·1d
✓Automated Theorem Proving
On This Day in Math - September 10
pballew.blogspot.com·6h·
Discuss: www.blogger.com
🔲Cellular Automata
Pratt Parsers: Expression Parsing Made Easy
journal.stuffwithstuff.com·5d
🔗Monadic Parsing
Think Tasks Not Tools: Teaching AI Literacy in East Asian Art History
digitalorientalist.com·23h
🤖AI Paleography
Visualising Topology Inspired Computing Algorithms
antifold.com·15h·
Discuss: Hacker News
📐Mathematical Art
Orchestrate multiple AI agents with cagent by Docker to create coding assistant
tobiasfenster.io·1d·
Discuss: Hacker News
🔓Open Source Software
Row Equivalence in Linear Algebra with Python
dev.to·17h·
Discuss: DEV
📐Linear Algebra
🛡️ Understanding Prompt Injection Attacks in LLMs — with Real Scenarios and Code Examples
dev.to·1d·
Discuss: DEV
🛡️WASM Security
Learning Generalized Hamiltonian Dynamics with Stability from Noisy Trajectory Data
arxiv.org·7h
🌀Differential Geometry
Agent Diary: Sep 10, 2025 - The Great Zero-File Paradox: When Everything Changes but Nothing Does
dev.to·8h·
Discuss: DEV
🔄Language Evolution
Automated Model Predictive Control Tuning via Adaptive Gaussian Process Regression in Simulink
dev.to·1d·
Discuss: DEV
⚙️Tape Engineering
Automated Vulnerability Prioritization via Semantic Similarity & Code Attribution Graph Analysis
dev.to·20h·
Discuss: DEV
📏Code Metrics
XOCT: Enhancing OCT to OCTA Translation via Cross-Dimensional Supervised Multi-Scale Feature Learning
arxiv.org·7h
⟷Bidirectional Programming
The Ethical Compass of the Machine: Evaluating Large Language Models for Decision Support in Construction Project Management
arxiv.org·2d
🔗Constraint Handling
Sparse Sensor Allocation for Inverse Problems of Detecting Sparse Leaking Emission Sources
arxiv.org·1d
🧮Kolmogorov Bounds
A Study of Large Language Models for Patient Information Extraction: Model Architecture, Fine-Tuning Strategy, and Multi-task Instruction Tuning
arxiv.org·2d
💻Local LLMs
Can Multiple Responses from an LLM Reveal the Sources of Its Uncertainty?
arxiv.org·2d
💻Local LLMs
Small Open Models Achieve Near Parity with Large Models in Low Resource Literary Translation at a Fraction of the Cost
arxiv.org·7h
⚙️Compression Benchmarking
Interactive Physics Unleashed: Differentiable Simulations for the Real World
dev.to·1d·
Discuss: DEV
📟Terminal Physics
Adaptive Social Signal Decoding via Graph Neural Network Dynamics and Recurrent Bayesian Filtering
dev.to·8h·
Discuss: DEV
🎛️Feed Filtering