🔤 Type Systems - lunar_mycroft · Scour

ERufian/ksharp: Vector calculator and language inspired on K 🔨Compilers

github.com·1d·Hacker News

Type-safe SDKs for 7 languages from an OpenAPI spec 🏛️Software Architecture

apimatic.io·6h·Hacker News

Understanding the Go runtime: the "select" statement ⚡Zig

internals-for-interns.com·22h·Lobsters, Hacker News, r/golang

Geblang – I built my own programming language ⚡Zig

davegebler.com·12h·Hacker News

LeetCode #1 (Easy) 💻programming

youtu.be·1d·DEV

Comparison and Benchmarking of Rust Decimal Crates 🌐WebAssembly

wubingzheng.github.io·4h·r/rust

Why Runtime Governance for LLM Agents Is Inevitable 🛡️AI Safety

dev.to·2d·DEV

machine review for the scientific record 🛡️AI Safety

pith.science·11h·Hacker News

Using algebra and LLMs to verify a flight-plan bug fix in Lean 🛡️AI Safety

jameshaydon.github.io·1h·Lobsters, Hacker News

Common Lisp names all sixteen binary logic gates 💻programming

cs.cmu.edu·19h·Hacker News

small, steady, independent. Written in C. ⚙️Odin

nordstjernen.org·45m·Hacker News

morganstanley/hobbes: A language and an embedded JIT compiler 🔨Compilers

github.com·1d·Hacker News

A shallow dive into formal verification 💻programming

vitalik.eth.limo·12h·Hacker News, Hacker News

Compute Optimal Tokenization: Scaling Laws for Data Compression in LLMs 🔨Compilers

co-tok.github.io·2h·Hacker News

Mojo: SIMD 🔨Compilers

mojolang.org·1d·Hacker News

Ethical Hyper-Velocity (EHV): A Provably Deterministic Governance-Aware JIT Compiler Architecture for Agentic Systems 🛡️AI Safety

arxiv.org·1h·Hacker News

Optimizing Code with AI 🌐WebAssembly

spectralcore.com·10h·Hacker News

I Built Rust-Style ADTs in 30 Lines of Python (Pattern Matching Works) 🦀Rust language programming

dev.to·6d·DEV

A BASIC Interpreter in Markdown, Running “Natively” in Claude Code 💻programming

dunkels.com·2d·Hacker News

Programming the Amiga and Atari ST in C: Hello World with VBCC 💻programming

retrogamecoders.com·18h·Hacker News

Log in to enable infinite scrolling