⚡ Comptime Evaluation - abnv · Scour

Reduction for Structured Concurrent Programs

arxiv.org·1d

🔀Concurrency Models

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🧮Theorem Provers

Hint-Based SMT Proof Reconstruction

arxiv.org·4h

🧮Theorem Provers

Rust async combinators for elegant and secure concurrency

kerkour.com·1d·

Discuss: r/rust

🪆Embedded DSLs

Divide and Conquer: A Complete Guide with Practical Examples

dev.to·2h·

Discuss: DEV

🔗Unification

GNU C Language Manual

gnu.org·14h

🪄C Metaprogramming

Phase-space engineering and collective dynamics in memcomputing

link.aps.org·2h

🔗Memory Linearization

ES6 Generators Deliver Go Style Concurrency

swannodette.github.io·1d

⚙️Async State Machines

Kolmogorov Complexity

en.wikipedia.org·21h·

Discuss: Hacker News

λLambda Calculus

Scheme implementation as O’Reilly book via Claude Code

ezzeriesa.notion.site·1d·

Discuss: Hacker News

🔧Scheme Macros

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

github.com·3d

🧸Toy Compilers

Dealing with alternatives

jemarch.net·1d

🔢Binary Formats

Conversation: LLMs and the what/how loop

martinfowler.com·18h

🔀Control Structures

Designing Boring Software with Functional Programming

agentultra.com·1d

🪞Homoiconicity

Making an LSP for great good

thunderseethe.dev·1d·

Discuss: Lobsters, Hacker News

In Praise of APL (1977)

jsoftware.com·53m·

Discuss: Hacker News

🔬programming language theory

SHADOW: Simultaneous Multi-Threading Architecture with Asymmetric Threads

danglingpointers.substack.com·1d·

Discuss: Substack

🤝Cooperative Threading

Template Method Design Pattern

denvaar.dev·1d

Checked exceptions and lambdas

dev.to·36m·

Discuss: DEV

🛡️Error Handling

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...