🔗 Graph Rewriting - abnv · Scour

Functional Logic Program Transformations

arxiv.org·1d

🏭Functional Compilers

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

medium.com·14h·

Discuss: Hacker News

🪢Rope Data Structures

Simplex, a workflow specification language for autonomous agents

github.com·1d·

Discuss: Hacker News

🎭Program Synthesis

GNU C Language Manual

gnu.org·11h

🪄C Metaprogramming

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

arxiv.org·1h

🧩Constraint Solvers

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

Algebra Problems of the Day (Algebra Regents, August 2025 Part I)

mrburkemath.blogspot.com·16h·

Discuss: Blogger

📐Mathematical Computing

Making a Language

thunderseethe.dev·8h

🔬programming language theory

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🧮Theorem Provers

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

reddit.com·21h·

Discuss: r/golang

📊Call Graphs

Postmortem on TreeTracker Join: Simple, Optimal, Fast

zhu45.org·1d·

Discuss: Hacker News

🌳Tree Algorithms

abelianization of an additive category in nLab

ncatlab.org·14h

🔗Category Theory

Rust async combinators for elegant and secure concurrency

kerkour.com·1d·

Discuss: r/rust

🪆Embedded DSLs

Scheme implementation as O’Reilly book via Claude Code

ezzeriesa.notion.site·1d·

Discuss: Hacker News

🔧Scheme Macros

From logical reasoning to code in C and PHP

dev.to·19h·

Discuss: DEV

**Abstract:** This paper introduces a novel approach to automated bug patch generation leveraging semantic graph rewriting and context-aware fine-tuning with...

freederia.com·2d

🔄Incremental Compilation

Constraints Not Loops: Building Features in Reverse

coey.dev·1d

🔗Parser Combinators

On Learning Elixir

denvaar.dev·1d

🚂Error Propagation

Scientists design molecules 'backward' to speed up discovery

phys.org·12h

✨Effect Inference

Use of Assertions

blog.regehr.org·15h

🔍Static Analysis

Loading more...