⚡ 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·4h

🧩Constraint Solvers

Use of Assertions

blog.regehr.org·18h

🔍Static Analysis

Making a Language

thunderseethe.dev·11h

🔬programming language theory

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

reddit.com·1d·

Discuss: r/golang

📊Call Graphs

Stop Overusing Interfaces (2017)

blog.hovland.xyz·19h·

Discuss: Hacker News

🌉Cross-Platform FFI

Checked exceptions and lambdas

dev.to·54m·

Discuss: DEV

🛡️Error Handling

Conversation: LLMs and the what/how loop

martinfowler.com·19h

🔀Control Structures

Nonuniversality from conserved superoperators in unitary circuits

link.aps.org·1d

⚡Control Synthesis

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·21h

🏗️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

Template Method Design Pattern

denvaar.dev·1d

GNU C Language Manual

gnu.org·14h

🪄C Metaprogramming

Pavis: A Dumb Proxy for Boring Reloads

fabian4.site·18h·

Discuss: Hacker News

🦀MIR Optimization

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

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·3d

✨Effect Inference

Streamlining CUB with a Single-Call API

developer.nvidia.com·12h

⏲️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·5h

🧪Compiler Testing

Loading more...