💫 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·14h

🔍Static Analysis

abelianization of an additive category in nLab

ncatlab.org·13h

🔗Category Theory

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

dev.to·16h·

Discuss: DEV

The Embodied Impact Of Large Language Models

bix.blog·5h

🌊Gradual Effects

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

freederia.com·1d

✨Effect Inference

Making a Language

thunderseethe.dev·7h

🔬programming language theory

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

medium.com·13h·

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·18h

🗺️Region Inference

Box133: It Exists Because it Does

blog.tobiasrevell.com·21h

🎭Program Synthesis

Rust async combinators for elegant and secure concurrency

kerkour.com·23h·

Discuss: r/rust

🪆Embedded DSLs

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

arxiv.org·48m

⚖️Inference Rules

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·17h

🏗️Cranelift

Nonuniversality from conserved superoperators in unitary circuits

link.aps.org·21h

⚡Control Synthesis

Simplifying complex ideas in sketches

sketchplanations.com·18h

🌱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·3h

🎮Language Ergonomics

istmarc/tenseur: C++23 Tensor, neural networks and mathematical library

github.com·11h·

Discuss: r/cpp

🦀MIR Optimization

Loading more...