✨ Effect Handlers

Algebraic Effects, Delimited Continuations, Computational Effects, Control Abstraction

A profile in courage
denovo.substack.com·6h·
Discuss: Substack
🔲Cellular Automata
Anthropic reduced model output quality from Aug 5
status.anthropic.com·7h·
Discuss: Hacker News, r/programming
🎙️Whisper
The Vector Bottleneck: Limitations of Embedding-Based Retrieval
shaped.ai·1d·
Discuss: Hacker News
🗂️Vector Databases
Nontransitive comparison functions lead to out-of-bounds read and write in glibc
qualys.com·1d·
Discuss: Hacker News
🧠Separation Logic
I'm Using Perplexity
fldr.zip·15h·
Discuss: Hacker News
🔍BitFunnel
Show HN: Modular, LLM-optimized OpenAPI docs – deterministic URLs
news.ycombinator.com·4h·
Discuss: Hacker News
🧩WASM Modules
FIRST-Tech-Challenge/FtcRobotController
github.com·1d
🔓Open Source Software
Systematic Integration of Attention Modules into CNNs for Accurate and Generalizable Medical Image Diagnosis
arxiv.org·5h
🧠Machine Learning
Exploring approaches to computational representation and classification of user-generated meal logs
arxiv.org·5h
🎛️Feed Filtering
An Approach to Grounding AI Model Evaluations in Human-derived Criteria
arxiv.org·1d
🤖AI Curation
Breaking Changes: Why Your API Monitoring is Failing You (And How We Fixed It)
dev.to·2d·
Discuss: DEV
👁️Observatory Systems
AI Solves the Unsolvable: Automating Optimization with LLMs by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
💻Local LLMs
Towards Personalized Explanations for Health Simulations: A Mixed-Methods Framework for Stakeholder-Centric Summarization
arxiv.org·1d
🌍Cultural Algorithms
Proof-Carrying Numbers (PCN): A Protocol for Trustworthy Numeric Answers from LLMs via Claim Verification
arxiv.org·5h
🛡️Proof-Carrying Data
Experimenting with Local LLMs on macOS
dev.to·6h·
Discuss: DEV
💻Local LLMs
GPT-5 Thinking in ChatGPT (a.k.a. Research Goblin) is good at search
dev.to·19h·
Discuss: DEV
⚡Proof Automation
Code's Hidden Structure: How Graph AI is Revolutionizing Software Development by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🔗Topological Sorting
FlashAttention by hand
dev.to·2d·
Discuss: DEV
⚡SIMD Vectorization
Zero-Freeness is All You Need: A Weitz-Type FPTAS for the Entire Lee-Yang Zero-Free Region
arxiv.org·5h
💎Information Crystallography
**Go System Call Optimization: Reducing Kernel Transitions for High-Performance Applications**
dev.to·1d·
Discuss: DEV
🌊Stream Processing