💫 Effect Systems - abnv · Scour

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

github.com·2d

⚡Algebraic Effects

Functional Logic Program Transformations

arxiv.org·1d

🏭Functional Compilers

Use of Assertions

blog.regehr.org·15h

🔍Static Analysis

abelianization of an additive category in nLab

ncatlab.org·14h

🔗Category Theory

Building a mini PyTorch in C++ from scratch as a high school student...

dev.to·17h·

Discuss: DEV

🔬 Research-Grade Context Engineering This material represents high-performance prompt research results designed based on Advanced Logical Architectures. 📜 Ma...

freederia.com·1d

✨Effect Inference

The Embodied Impact Of Large Language Models

bix.blog·6h

🌊Gradual Effects

Making a Language

thunderseethe.dev·8h

🔬programming language theory

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·14h·

Discuss: Hacker News

🪢Rope Data Structures

Conversation: LLMs and the what/how loop

martinfowler.com·15h

🔀Control Structures

Taking the axe to AI

newelectronics.co.uk·19h

🗺️Region Inference

Box133: It Exists Because it Does

blog.tobiasrevell.com·22h

🎭Program Synthesis

Rust async combinators for elegant and secure concurrency

kerkour.com·1d·

Discuss: r/rust

🪆Embedded DSLs

An XAI View on Explainable ASP: Methods, Systems, and Perspectives

arxiv.org·1h

⚖️Inference Rules

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·18h

🏗️Cranelift

Nonuniversality from conserved superoperators in unitary circuits

link.aps.org·22h

⚡Control Synthesis

Simplifying complex ideas in sketches

sketchplanations.com·19h

🌱Minimal Schemes

Alexis King’s Blog

lexi-lambda.github.io·2d

🗂️Type Indexing

Vibe coding is a moving target (so don’t marry the tool)

nothingeasyaboutthis.com·4h

🎮Language Ergonomics

Dealing with alternatives

jemarch.net·1d

🔢Binary Formats

Loading more...