💻 programming languages - ausean

⚡Zig Code

github.com··Hacker News

Syntax-driven Incremental Program Verification of Matching Logic Properties

🔍Symbolic Execution Academic

arxiv.org·

Tetsuwan Scientific | Software Engineer | San Francisco (SoMa) | ONSITE | Full-t...

✓TLA+ Discussion

news.ycombinator.com··Hacker News

Zcash Developers Weigh New Shielded Pool After Orchard Bug

🎯Exploit Development

cointelegraph.com·

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 ...

📐Type Systems

lmika.org·

SQLite improving performance with pre-sort

🔀Binary Diffing

andersmurphy.com··Hacker News, r/coding, r/programming

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

🔨Compilers

neural.it·

DotFox/transit.c: A data interchange format and set of libraries for conveying values between applications written in different programming languages.

⚙️Microarchitecture Code

github.com··Lobsters

New comment by seanwilson in "Ask HN: Who wants to be hired? (June 2026)"

🔄SSA Discussion

news.ycombinator.com··Hacker News

From Classroom to Community: SEED Transforms Learning Into Service

🦀Rust Academic

usu.edu·

CQRS and Event Sourcing in TypeScript: A Production Walkthrough

📊Dataflow Analysis

spin.atomicobject.com·

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study

🦀Rust Academic

arxiv.org·

AI and the Redmonk Language Rankings

🔨Compilers

briandouglas.ie··Hacker News

Security experts warn advanced AI is about to spark a hacking crisis for both crypto and banks

🦀Rust News

coindesk.com·

Editors of semantics journal resign, launch new journal after publisher ‘ultimatum’

🔗Parser Combinators

retractionwatch.com·

Pasteur, a zero-knowledge pastebin as an unikernel in OCaml

🔨Build Systems Code

github.com··Hacker News

The perils of UUID primary keys in SQLite

🎯Pointer Analysis

andersmurphy.com··Lobsters, Hacker News, r/programming

.plan-26-23: Earth Embeddings, Emails Everywhere, and ERRNOOOs

🏗️RISC-V

anil.recoil.org·

Formal verification of the S-two AIR

🔨Compilers Academic

arxiv.org·

Configure Calva Result Display

PEZ/languages-visualizations: A Languages visualization experiment

Syntax-driven Incremental Program Verification of Matching Logic Properties

Tetsuwan Scientific | Software Engineer | San Francisco (SoMa) | ONSITE | Full-t...

Zcash Developers Weigh New Shielded Pool After Orchard Bug

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 ...

SQLite improving performance with pre-sort

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

DotFox/transit.c: A data interchange format and set of libraries for conveying values between applications written in different programming languages.

New comment by seanwilson in "Ask HN: Who wants to be hired? (June 2026)"

From Classroom to Community: SEED Transforms Learning Into Service

CQRS and Event Sourcing in TypeScript: A Production Walkthrough

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study

AI and the Redmonk Language Rankings

Security experts warn advanced AI is about to spark a hacking crisis for both crypto and banks

Editors of semantics journal resign, launch new journal after publisher ‘ultimatum’

Pasteur, a zero-knowledge pastebin as an unikernel in OCaml

The perils of UUID primary keys in SQLite

.plan-26-23: Earth Embeddings, Emails Everywhere, and ERRNOOOs

Formal verification of the S-two AIR