⚙️ Zig Comptime - abnv · Scour

CPU-less parallel execution of lambda calculus in digital logic

arxiv.org·1d

📏Linear Scanning

Trying Zig by Implementing CHIP-8

agentultra.com·1d

Making a Language

thunderseethe.dev·10h

🔬programming language theory

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🧮Theorem Provers

HELIOS: Hierarchical Graph Abstraction for Structure-Aware LLM Decompilation

arxiv.org·3h

📊Graph Compilers

Models of generics and metaprogramming: Golang, Rust, Swift, D, and more

thume.ca·2d·

Discuss: Hacker News

🗂️Type Indexing

Designing a Programming Language for the Desert

futhark-lang.org·17h·

Discuss: Hacker News

🔄Bootstrapping

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

github.com·3d

🧸Toy Compilers

Rust async combinators for elegant and secure concurrency

kerkour.com·1d·

Discuss: r/rust

🪆Embedded DSLs

From logical reasoning to code in C and PHP

dev.to·21h·

Discuss: DEV

Kolmogorov Complexity

en.wikipedia.org·20h·

Discuss: Hacker News

λLambda Calculus

GNU C Language Manual

gnu.org·13h

🪄C Metaprogramming

Making an LSP for great good

thunderseethe.dev·1d·

Discuss: Lobsters, Hacker News

In Praise of APL (1977)

jsoftware.com·14m·

Discuss: Hacker News

🔬programming language theory

I Made Zig Compute 33 Million Satellite Positions in 3 Seconds. No GPU Required.

atempleton.dev·1d·

Discuss: Hacker News

🔀SIMD Programming

Linking Zig from Haskell

agentultra.com·1d

🪆Embedded DSLs

Template Method Design Pattern

denvaar.dev·1d

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·20h

🏗️Cranelift

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

🧪Compiler Testing

Taking the axe to AI

newelectronics.co.uk·21h

🗺️Region Inference

Loading more...