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

🔍Static Analysis

abelianization of an additive category in nLab

ncatlab.org·15h

🔗Category Theory

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

dev.to·18h·

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

Making a Language

thunderseethe.dev·9h

🔬programming language theory

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

medium.com·15h·

Discuss: Hacker News

🪢Rope Data Structures

The Embodied Impact Of Large Language Models

bix.blog·8h

🌊Gradual Effects

Conversation: LLMs and the what/how loop

martinfowler.com·17h

🔀Control Structures

Taking the axe to AI

newelectronics.co.uk·20h

🗺️Region Inference

Box133: It Exists Because it Does

blog.tobiasrevell.com·1d

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

⚖️Inference Rules

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·20h

🏗️Cranelift

Simplifying complex ideas in sketches

sketchplanations.com·20h

🌱Minimal Schemes

Nonuniversality from conserved superoperators in unitary circuits

link.aps.org·1d

⚡Control Synthesis

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

nothingeasyaboutthis.com·5h

🎮Language Ergonomics

Alexis King’s Blog

lexi-lambda.github.io·2d

🗂️Type Indexing

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

github.com·13h·

Discuss: r/cpp

🦀MIR Optimization

Loading more...