💻 Programming languages - emschwartz · Scour

Crash Course on Notation in Programming Language Theory 📏Linear Types

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

From Gherkin to Source Code Without Losing the Business Language 🪄Prompt Engineering

guara.readthedocs.io·2d·DEV

Why Senior Python Interviews Test the Wrong Things (And How to Actually Prepare) 🧩Types

docs.python.org·8h·DEV

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

lobste.rs·3h·Lobsters

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

youtube.com·1d·Lobsters, Hacker News

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

github.com·16h·Hacker News

The Complicated Nature of Programming Languages ⚙️Language Runtimes

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

How is the term "expression" defined in Zig? 🔄SQL Transpilation

ziggit.dev·10h

Blessed Syntax and Ergonomics 📏Linear Types

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

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

pocketcasts.com·2d·Hacker News

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

alexvear.com·3d·Hacker News

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

marvinh.dev·1d·r/coding

Two Compilers, One Moment ⚙️Language Runtimes

intertwingly.net·5d·Hacker News

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

codeberg.org·2d·r/Zig

From Coalgebraic Determinization to Belief Construction for Partial Observability 🧠LLM Inference

Rust’s Type System as a State Machine, Phantom Types and the Typestate Pattern ⚙Rust Compiler Internals

·3d

cornusandu-org/ErrorsAsValues: A TypeScript library designed for Errors As Values 📘Typescript

github.com·1d·DEV

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

·2d·DEV, r/programming

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

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

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

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

Log in to enable infinite scrolling