🎯 Gradual Typing - matmat · Scour

Pascal-J/type-system-j: adds an optional type system to J language

github.com·19h·

Discuss: Lobsters

💧Liquid Types

The ‘weird’ things that happened when Clickhouse replaced C++ with Rust

thenewstack.io·49m

🦀Rust Borrowing

"I May Not Have Articulated Myself Clearly": Diagnosing Dynamic Instability in LLM Reasoning at Inference Time

arxiv.org·11h

🧮Prolog Parsing

Mad Rust: The JVM Developer's Journey. Kotlin/Java Developer's Road to Valhalla

sobolev.substack.com·19h·

Discuss: Substack

🦀Rust Borrowing

Show HN: NanoClaw – “Clawdbot” in 500 lines of TS with Apple container isolation

dev.to·2d·

Discuss: DEV

🦀Rust Macros

Logic for Programmers New Release and Next Steps

buttondown.com·2h

⚙️Proof Engineering

Improve your typing accuracy with our new typing modes

typequicker.com·16h·

Discuss: Hacker News

⌨️Mechanical Keyboards

Untangling Literate Programming

quotenil.com·2d

🔗Concatenative Programming

How I Program with LLMs

blog.wesleyabbey.io·2h·

Discuss: Hacker News

⚔️Lean Tactics

Taming the Flat AST: Ergonomics in the Age of Zero Allocations

modern-c.blogspot.com·20h·

Discuss: Lobsters, Hacker News, r/golang

📝Compiler Design

CodeSOD: A Percise Parser

thedailywtf.com·1d

🌳Incremental Parsing

Bjarne’s Last Stand: How the Father of C++ Is Fighting a Losing War Against Rust

lucisqr.substack.com

·1d·

Discuss: Substack

🦀Rust Borrowing

Show HN: TypeSync – Generate TypeScript type guards from your database schema

typesync-db-to-ts-type-guard.vercel.app·2d·

Discuss: Hacker News

🔬Refinement Types

"Five-Point Haskell": Total Depravity (and Defensive Typing)

blog.jle.im·2d·

Discuss: Lobsters, Hacker News, r/programming

💧Liquid Types

The Engineer's Guide to Elastic Detections as Code

elastic.co·16h

✅Archive Validation

Two steps forward…QT4CG progress

blog.saxonica.com·4h

📏Code Metrics

How LSP Works: Building a Grammar Checker LSP from Scratch in Rust

aroy.sh·1d·

Discuss: Hacker News

💻Programming languages

iczelia/kamilalisp: a functional, flexible and concise lisp.

github.com·1d

How to Build Safe Natural Language-Driven APIs

techcommunity.microsoft.com·1d·

Discuss: Hacker News

🌀Brotli Internals

Common Sense Refactoring of a Messy React Component

alexkondov.com·3h·

Discuss: Hacker News

🧩WASM Components

Loading more...