Algebraic Effects, Delimited Continuations, Computational Effects, Control Abstraction

ELISA seminar recap : Introduction to Requirements Engineering – Pete Brink, UL Solutions
elisa.tech·14h
📋Formal Verification
Flag this post
Friday 7 November, 2025
memex.naughtons.org·10h
🧲Magnetic Philosophy
Flag this post
Paradox of rotating turbulence finally tamed with 'hurricane-in-a-lab'
phys.org·1d
🔗Tailscale
Flag this post
My fan worked fine, so I gave it WiFi
ellis.codes·1d·
Discuss: Hacker News
🔌Single Board PC
Flag this post
A new paradigm for programming: graph oriented programming
kmx.io·10h·
Discuss: Hacker News
🔩Systems Programming
Flag this post
BlazingMQ: Introduction
andy-pearce.com·2h·
Discuss: Hacker News
🌊Apache Kafka
Flag this post
We're Counting Birbs Today
counting-stuff.com·1d·
Discuss: Hacker News
📻Homebrew Protocols
Flag this post
Sounds modify visual perception: New links between hearing and vision in the rodent brain
phys.org·14h
👂Psychoacoustics
Flag this post
Optimizing filtered vector queries from tens of seconds to single-digit milliseconds in PostgreSQL
clarvo.ai·2d·
Discuss: Hacker News
🧠Query Planners
Flag this post
GEN-0: SoTA 10B+ Foundation Model for Robotics with Harmonic Reasoning
generalistai.com·2d·
Discuss: Hacker News
📊Learned Metrics
Flag this post
Absurd Workflows: Durable Execution With Just Postgres
lucumr.pocoo.org·4d·
🌊Streaming Databases
Flag this post
AI's capabilities may be exaggerated by flawed tests, according to new study
nbcnews.com·19h·
Discuss: Hacker News
🧠Intelligence Compression
Flag this post
Author Correction: TNF-mediated inflammatory skin disease in mice with epidermis-specific deletion of IKK2
nature.com·15h
🧬Copy Number Variants
Flag this post
Conservation and alteration of mammalian striatal interneurons
nature.com·1d
🧠Learned Codecs
Flag this post
How to get started with the Gemini 3 Pro Preview
dev.to·18h·
Discuss: DEV
🌀Brotli Internals
Flag this post
Exploratory Analysis of Cyberattack Patterns on E-Commerce Platforms Using Statistical Methods
arxiv.org·1d
🎯Threat Hunting
Flag this post
Online Learning to Rank under Corruption: A Robust Cascading Bandits Approach
arxiv.org·1d
🧠Machine Learning
Flag this post
Beyond Citations: Measuring Idea-level Knowledge Diffusion from Research to Journalism and Policy-making
arxiv.org·1d
📊Citation Graphs
Flag this post
From Uniform to Adaptive: General Skip-Block Mechanisms for Efficient PDE Neural Operators
arxiv.org·3d
🧠Neural Codecs
Flag this post