💻 Programming languages - emschwartz · Scour

Crash Course on Notation in Programming Language Theory 📏Linear Types

siek.blogspot.com·3d·r/programming

Blessed Syntax and Ergonomics 📏Linear Types

gingerbill.org·1d·Lobsters, Hacker News, r/programming

jessealama/thales: TypeScript compiler and JavaScript engine in Lean 📘Typescript

github.com·14h·Hacker News

Functional Programmers need to take a look at Zig ⚡Comptime Programming

lobste.rs·1h·Lobsters

Coloring Code: How Compilers Use Graph Theory ⚙Rust Compiler Internals

youtube.com·1d·Lobsters, Hacker News

ProcFunc: Function-Oriented Abstractions for Procedural 3D Generation in Python 🕯️Candle

The Complicated Nature of Programming Languages ⚙️Language Runtimes

functiondispatch.substack.com·6d·r/programming

Great Paper: The Calculated Typer – Iowa Type Theory Commute Podcast S7 E6 🧩Types

pocketcasts.com·2d·Hacker News

Speeding up the JavaScript ecosystem - Rust and JavaScript Plugins 🦀Rust

marvinh.dev·1d·r/coding

On Lisp: A review of Paul Graham's 1993 book 🪄Prompt Engineering

alexvear.com·3d·Hacker News

remove `@TypeOf` and `anytype`; introduce `|T|` syntax 🔄Serde

codeberg.org·2d·r/Zig

parse_dont_validate_rs/README.md at main · andrewbanchich/parse_dont_validate_rs 🔄Serde

github.com·10h

Barbara Liskov, Turing Award'08: Data Abstraction, Dijkstra, Distributed Systems 🪄Prompt Engineering

developing.dev·3d·Hacker News, r/programming

Programming Isn’t About Syntax: It’s About Understanding the Basics ⚙Rust Compiler Internals

·2d·DEV, r/programming

ES|QL query builder for JavaScript and TypeScript: Fluent, type-safe query construction 📘Typescript

Two Compilers, One Moment ⚙️Language Runtimes

intertwingly.net·5d·Hacker News

Vector, the Journal of the British APL Association 🌳B+ Trees

web.archive.org·1d·Hacker News

"Parse, don't Validate" through the years with C++ 🦀Rust

derekrodriguez.dev·4d·Hacker News, r/programming

Functional Programmers need to take a look at Zig. ⚡Comptime Programming

pure-systems.org·1d·Lobsters, Hacker News, Hacker News, r/functionalprogramming

Where Optimizations Come From ⚙Rust Compiler Internals

NULL BITMAP by Justin Jaffray via buttondown.com·3d·Hacker News

Log in to enable infinite scrolling