Algebraic Effects, Delimited Continuations, Computational Effects, Control Abstraction

TapFlow: BJJ Timer and Drills
tapflowbjj.com·9h·
Discuss: Hacker News
📊Count-Min Sketch
Flag this post
How LLMs Cheat: Modifying Tests and Overloading Operators
enbao.me·1d·
Discuss: Hacker News
🔍Concolic Testing
Flag this post
The Collapse of Centralized AI Discovery
aivojournal.org·2d·
Discuss: Hacker News
🎯Threat Hunting
Flag this post
Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures
arxiv.org·1d
🎯Performance Proofs
Flag this post
Towards Reliable Pediatric Brain Tumor Segmentation: Task-Specific nnU-Net Enhancements
arxiv.org·1d
🗂️Vector Databases
Flag this post
Progressive Translation of H&E to IHC with Enhanced Structural Fidelity
arxiv.org·1d
🦋Format Metamorphosis
Flag this post
NASA releases robotic / flight app generation tool Ogma under Apache license
github.com·1d·
Discuss: Hacker News
🔓Open Source Software
Flag this post
HAGI++: Head-Assisted Gaze Imputation and Generation
arxiv.org·15h
📊Learned Metrics
Flag this post
EARS-UDE: Evaluating Auditory Response in Sensory Overload with Universal Differential Equations
arxiv.org·2d
🔲Cellular Automata
Flag this post
Deep Value Benchmark: Measuring Whether Models Generalize Deep values or Shallow Preferences
arxiv.org·15h
👤Search Personalization
Flag this post
Predictive Anomaly Detection in HVAC System Coil Performance Using Dynamic Bayesian Networks
dev.to·7h·
Discuss: DEV
📊Homelab Monitoring
Flag this post
Condition-Invariant fMRI Decoding of Speech Intelligibility with Deep State Space Model
arxiv.org·15h
🎧Learned Audio
Flag this post
Reflections on Trusting Trust (1984)
web.archive.org·3d·
Discuss: Hacker News
📜Proof Carrying Code
Flag this post
Finding Non-Redundant Simpson's Paradox from Multidimensional Data
arxiv.org·1d
📐Interval Trees
Flag this post
Building an AI-Powered Recipe Assistant with Agentic Postgres: A Deliciously Data-Driven Adventure 🍳🤖
dev.to·1d·
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
Algorithmic Assistance with Recommendation-Dependent Preferences
arxiv.org·1d
🔍Information Retrieval
Flag this post
Understanding LangChain and LangGraph: A Beginner’s Guide to AI Workflows
dev.to·2d·
Discuss: DEV
🎙️Whisper
Flag this post
📚Enterprise Design Patterns: Table Module with Python Example
dev.to·1h·
Discuss: DEV
🧩SQLite Extensions
Flag this post