🏗️ Language Design - Jullang

Still wishing for enums in Go. And now, after looking at a piece of code feating optional pointer types, I wished Go had unions too. In fact, Go should just ...

λFunctional Programming

lmika.org·

ColumbusLabs/DebtLens: Static analysis for maintainability debt in AI-assisted TypeScript, React, React Native, and Next.js codebases.

🔢Linear Types Code

github.com··r/vibecoding

Awesome List Updated on Jun 10, 2026

🧹Memory Management

trackawesomelist.com·

Daniel Temkin – FORTY-FOUR ESOLANGS, The Art of Esoteric Code

λFunctional Programming

neural.it·

Rust goal: cargo script (like uv does for Python)

🦀Rust

rust-lang.github.io··Hacker News

Reverse Engineering the Anticheat on a Private MMO Server

🎮ECS Blog

blog.cristianrz.eu.org··Hacker News

a topos-oriented language with a content-addressed lattice heap

🔗Dependent Types

yon-lang.org··Hacker News

AI Wrote the Code. Now It Broke. Who's Responsible?

⚖️Invariants

stickyminds.com·

The ‘Miasma’ worm source code briefly leaked on GitHub

⚙️CompTime News

bleepingcomputer.com·

The fastest JVM is the C++26 compiler

💨Zero-Cost Abstractions

wrocpp.github.io··r/cpp

Proof System Timelines

🔗Dependent Types Blog

klatz.co·

Event-Driven TypeScript: An Interview on Nimbus - EventSourcingDB

🎮ECS Blog Reference

docs.eventsourcingdb.io··Hacker News

CodeQL 2.25.6 adds Swift 6.3.2 support and improves C# coverage - GitHub Changelog

🔍Static Analysis Blog Tutorial

github.blog·

VICTORY: Meta Strips Facial Recognition Code From Smart Glasses App After Public Outcry

🎲Property Testing

eff.org··Hacker News

Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs

I Tried Using Rust for Real Work… and It Rewired How I Build Software

Rust in 2026: What Senior Engineers Are Quietly Unlearning

MPC-Patch-Bench: Security-Aware LLM Code Patch for Multi-Party Computation

Arm’s Metis Is the AI Security Agent That Actually Finds Vulnerabilities — Here’s How It Works

Introducing Soteria: A New Generation of Static Analysis for Rust

Still wishing for enums in Go. And now, after looking at a piece of code feating optional pointer types, I wished Go had unions too. In fact, Go should just ...

ColumbusLabs/DebtLens: Static analysis for maintainability debt in AI-assisted TypeScript, React, React Native, and Next.js codebases.

Awesome List Updated on Jun 10, 2026

Daniel Temkin – FORTY-FOUR ESOLANGS, The Art of Esoteric Code

Rust goal: cargo script (like uv does for Python)

Reverse Engineering the Anticheat on a Private MMO Server

a topos-oriented language with a content-addressed lattice heap

AI Wrote the Code. Now It Broke. Who's Responsible?

The ‘Miasma’ worm source code briefly leaked on GitHub

The fastest JVM is the C++26 compiler

Proof System Timelines

Event-Driven TypeScript: An Interview on Nimbus - EventSourcingDB

CodeQL 2.25.6 adds Swift 6.3.2 support and improves C# coverage - GitHub Changelog

VICTORY: Meta Strips Facial Recognition Code From Smart Glasses App After Public Outcry