🗣️ New Languages - jinkai_lau · Scour

Kernl - Programming Language for LLMs 🔧Compilers

github.com·3d·r/ClaudeAI

Zero – the new programming language for AI 🤖AI Engineering

thetechvillain.substack.com·2d·Substack

Why Rust is different, with Alice Ryhl 🦀Rust

newsletter.pragmaticengineer.com·11h

Rust Is Hard for the Engineers with the Most Experience 🦀Rust

deepengineering.substack.com·5h·r/rust

Geblang – I built my own programming language λFunctional Programming

davegebler.com·2d·Hacker News

Type Equality in LLVM 🔤Type Systems

lowlevelbits.org·14h

Tacit: A new experimental LLM-first programming language λFunctional Programming

hauntemplations.leaflet.pub·3d·r/ClaudeAI

Greg KH Calls For More Rust Linux Developers 🦀Rust

phoronix.com·15h·r/linux

Four Fascinating Programming Languages You've Probably Never Heard Of (bobkonf2026) λFunctional Programming

cdn.media.ccc.de·1d

What If Lock-In Doesn’t Matter So Much Anymore? 🔍Static Analysis

Erg Programming Language λFunctional Programming

erg-lang.org·4d

Zero a Language for Humans and Robots 🔤Type Systems

zero-lang.com·2d·Hacker News

Qt Bridges: Public Beta for the C# Bridge Is Out! ✅Formal Verification

qt.io·16h

Optimizing Optimizations, Declaratively: Optimizing the Higher-Order Functions in Mathematical Optimization with egglog ✅Formal Verification

hica in comparison to Rust 🦀Rust

cladam.github.io·5d·r/rust

Let's make a programming language λFunctional Programming

isocpp.org·18h

Type out the code> 🔍Static Analysis

haskellforall.com·2d·Lobsters, Hacker News, r/programming

Red Hat Enterprise Linux 10.2 and 9.8 are here: The intelligent evolution of enterprise Linux 🔬eBPF

redhat.com·14h·r/linux

Ask HN: Is Java the ideal language for LLM-assisted coding? λFunctional Programming

news.ycombinator.com·2d·Hacker News

Bob Belderbos: 10 Days of Rust for Python Developers: A Recap 🔍Static Analysis

belderbos.dev·5d

Log in to enable infinite scrolling