🧮 Algebraic Effects - hello · Scour

jhgarner/Theseus: An experimental and still heavily in progress Haskell effect system library supporting coroutines and higher order effects.

github.com·2d

💫Effect Systems

Partial Reductions for Kleene Algebra with Linear Hypotheses

arxiv.org·18h

🔍Type Inference

The AI Productivity Paradox Is a Feedback Problem

therealitydrift.substack.com·7h·

Discuss: Substack

Algebra Problems of the Day (Algebra Regents, August 2025 Part I)

mrburkemath.blogspot.com·9h·

Discuss: Blogger

📐Linear Algebra

Nonuniversality from conserved superoperators in unitary circuits

link.aps.org·15h

⚛️Quantum Computing

Conversation: LLMs and the what/how loop

martinfowler.com·9h

⚙️Systems Programming

Jackpoint: control Claude via Matrix DMs

piszek.com·7h

Use of Assertions

blog.regehr.org·8h

Simplifying complex ideas in sketches

sketchplanations.com·12h

💫Effect Systems

Stop Writing Prompts Like This: Better Claude Code Communication

logic-leap.co.uk·4h·

Discuss: DEV

💬Prompt Engineering

**Abstract:** This paper introduces a novel framework for automated discovery and verification of causal structures within complex dynamical systems, address...

freederia.com·2d

lesswrong.com·2d

💎Refinement Types

On the way to step functions: the two worlds

blog.julik.nl·1d

⏱️Temporal Workflow

Making a quiz program for CircuitPython & Circuit Playground questions

blog.adafruit.com·7h

🔢Reference Counting

Stop Overusing Interfaces (2017)

blog.hovland.xyz·9h·

Discuss: Hacker News

Calculus Made Easy

calculusmadeeasy.org·8h

📐Type Theory

abelianization of an additive category in nLab

ncatlab.org·7h

∘Category Theory

evjang.com·23h

Simplex, a workflow specification language for autonomous agents

github.com·1d·

Discuss: Hacker News

🎭Program Synthesis

value noise derivatives - 2008 - Inigo Quilez :: computer graphics, maths, shaders, fractals, demoscene

iquilezles.org·19h

Loading more...