🚀 Hindley-Milner+ - abnv · Scour

Revisiting Regular Types

abseil.io·1d

λLambda Calculus

How I Built My Project in Haskell

dev.to·1d·

Discuss: DEV

🌱Minimal Languages

hsutter/cppfront: A personal experimental C++ Syntax 2 -> Syntax 1 compiler

github.com·48m

🪄C Metaprogramming

On the Tension Between Object-Oriented and Generic Programming in C++

artima.com·1d

🗂️Type Indexing

Building Type-Safe Metrics API in Swift: Part II

sentry.engineering·1h

🦉Swift Generics

Allium is an LLM-native language for sharpening intent alongside implementation

juxt.github.io·56m·

Discuss: Hacker News

🎮Language Ergonomics

I made a Wordle variant. Is it fun though?

casju0.bearblog.dev·21h

🌱Tiny Languages

Scheme-JS: A Scheme Interpreter with Transparent JavaScript Interoperability

furious-ideas.blogspot.com·48m

🔧Scheme Macros

Naughty is Nice!

yamlscript.org·2d

🧼Lisp Hygiene

Grace Hopper's Revenge

thefuriousopposites.com·1d

🔍ML Language

Memory-Safe Jule language emerges as C/C++ alternative

thenewstack.io·1d

Differential Logic • 4

inquiryintoinquiry.com·22h

∫Mathematical DSLs

The Next Big Language (2007) by Steve Yegge

steve-yegge.blogspot.com·1d·

Discuss: Hacker News

🌱Minimal Languages

The Douglass-Truth Library Has How Unlikely a Name? A Little Simulation in Python

healthyalgorithms.com·34m

🪢Rope Data Structures

isledb: An embedded key-value engine built on object storage in Go

reddit.com·1d·

Discuss: r/golang

🐹Go Internals

An introduction to lockless algorithms [LWN.net]

lwn.net·3m

🎯Ring Buffers

Show HN: ShapeGuard – Shape Contracts for NumPy and Jax

news.ycombinator.com·7h·

Discuss: Hacker News

🎭Racket Modules

🚀 OLSRT v1.2: A Powerful Runtime for All Programming Languages!

dev.to·12h·

Discuss: DEV

The Adventures of a Pythonista in Schemeland/29

artima.com·1d

🧼Lisp Hygiene

A Language For Agents

lucumr.pocoo.org·11h·

Discuss: Hacker News

🎨Domain-Specific Languages

Loading more...