⚡ Algebraic Effects - abnv · 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

Optimising Cylindrical Algebraic Coverings for use in SMT by Solving a Set Covering Problem with Reasons

arxiv.org·1h

🧩Constraint Solvers

Use of Assertions

blog.regehr.org·15h

🔍Static Analysis

Making a Language

thunderseethe.dev·8h

🔬programming language theory

Stop Overusing Interfaces (2017)

blog.hovland.xyz·15h·

Discuss: Hacker News

🌉Cross-Platform FFI

Graph-based refactor analysis for Go projects , Arbor v1.4

reddit.com·21h·

Discuss: r/golang

📊Call Graphs

Conversation: LLMs and the what/how loop

martinfowler.com·15h

🔀Control Structures

Nonuniversality from conserved superoperators in unitary circuits

link.aps.org·22h

⚡Control Synthesis

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·18h

🏗️Cranelift

Type-safe eval in Grace

haskellforall.com·1d·

Discuss: Lobsters, Hacker News

🌊Gradual Effects

Reduction for Structured Concurrent Programs

arxiv.org·1d

🔀Concurrency Models

Building a Fault-Tolerant Web Data Ingestion Pipeline with Effect-TS

dev.to·1d·

Discuss: DEV

🛡️Error Handling

Template Method Design Pattern

denvaar.dev·1d

Pavis: A Dumb Proxy for Boring Reloads

fabian4.site·14h·

Discuss: Hacker News

🦀MIR Optimization

GNU C Language Manual

gnu.org·11h

🪄C Metaprogramming

Dependency Inversion Principle: The Architect’s Superpower

ihoka.me·2d·

Discuss: Hacker News

🔶Lattice Theory

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

medium.com·14h·

Discuss: Hacker News

🪢Rope Data Structures

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

freederia.com·2d

✨Effect Inference

Streamlining CUB with a Single-Call API

developer.nvidia.com·9h

⏲️Embedded GC

One part of me wonders whether this would’ve been caught earlier if I spent some more time analizing the possible approaches for this refactor. Honestl...

lmika.org·2h

🧪Compiler Testing

Loading more...