🎭 Staged Interpreters - abnv · Scour

Reduction for Structured Concurrent Programs

arxiv.org·1d

🔀Concurrency Models

Show HN: BackBuild – A framework for sequencing complex software delivery

arcaned.co·18h·

Discuss: Hacker News

🔄Incremental Compilation

Template Interpreters

zackoverflow.dev·2d

📜Bytecode Interpreters

Parameter-Efficient Multi-Task Fine-Tuning in Code-Related Tasks

arxiv.org·1h

🚀Code Motion

Conversation: LLMs and the what/how loop

martinfowler.com·15h

🔀Control Structures

How I Automate Parts of My Software Development Lifecycle with AI Agents

dev.to·15h·

Discuss: DEV

🎭Program Synthesis

Making a Language

thunderseethe.dev·8h

🔬programming language theory

Designing a Programming Language for the Desert

futhark-lang.org·14h·

Discuss: Hacker News

🔄Bootstrapping

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

On the way to step functions: the two worlds

blog.julik.nl·2d

🔄CPS Transforms

OpenCode vs Claude Code

builder.io·11h

Type-safe eval in Grace

haskellforall.com·1d·

Discuss: Lobsters, Hacker News

🌊Gradual Effects

How to Perform Large Code Refactors in Cursor

towardsdatascience.com·1d

🚚Code Migration

Production-Ready ML Projects: Why Structure Matters More Than Your Model

pub.towardsai.net

·2h

🌳Tree Shaking

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🧮Theorem Provers

Rust async combinators for elegant and secure concurrency

kerkour.com·1d·

Discuss: r/rust

🪆Embedded DSLs

Python Code Optimization Tips

denvaar.dev·1d

⚡Interpreter Optimization

jameysharp/live-long-and-prospero: A small compiler for the Prospero Challenge in Constructive Solid Geometry

github.com·3d

🧸Toy Compilers

Evolution of LLMs use by a programmer

asfaload.com·13h·

Discuss: Hacker News

🎮Language Ergonomics

Using Haskell in Production

agentultra.com·1d

Loading more...