🔧 Nickel - abnv · Scour

Using Haskell in Production

agentultra.com·22h

Designing a Programming Language for the Desert

futhark-lang.org·9h·

Discuss: Hacker News

🔄Bootstrapping

Type-Safe Routing Without the Build Step

werkbank.dev·6h·

Discuss: Hacker News

⚙️TOML Parsers

Template Method Design Pattern

denvaar.dev·22h

Universal Commerce Protocol (UCP) in Java: A Practical Travel Booking Implementation with Agent Integration

dev.to·1h·

Discuss: DEV

⚡Interpreter Optimization

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·13h

🛡️Taint Analysis

CPU-less parallel execution of lambda calculus in digital logic

arxiv.org·20h

📏Linear Scanning

OpenCode vs Claude Code

builder.io·6h

Designing Boring Software with Functional Programming

agentultra.com·22h

🪞Homoiconicity

PlummersSoftwareLLC/Primes: Prime number projects in 100+ programming languages, to compare their speed - and their programmer's cleverness

github.com·1d·

Discuss: Hacker News

🏁Language Benchmarks

Introducing Names: practical namespaces for Emacs-Lisp

endlessparentheses.com·11h

🔧Scheme Macros

Making a Language

thunderseethe.dev·2h

🔬programming language theory

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🧮Theorem Provers

Building funsize-engineer

dev.to·1d·

Discuss: DEV

🎭Program Synthesis

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

reddit.com·15h·

Discuss: r/golang

📊Call Graphs

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

thume.ca·2d·

Discuss: Hacker News

🗂️Type Indexing

ES6 Generators Deliver Go Style Concurrency

swannodette.github.io·23h

⚙️Async State Machines

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

medium.com·8h·

Discuss: Hacker News

🪢Rope Data Structures

Elysia.js: Type-Safe APIs Without the Mess

spin.atomicobject.com·1d

Evolution of LLMs use by a programmer

asfaload.com·8h·

Discuss: Hacker News

🎮Language Ergonomics

Loading more...