💻 Programming languages

🦀Rust Discussion

discuss.ocaml.org··Lobsters, Hacker News

React Native, Hermes bytecode, and the Kindle homepage

🐹Golang

sighery.com··Hacker News

Introducing Soteria: A New Generation of Static Analysis for Rust

🧩Constraint Solving Blog

soteria-tools.com··Hacker News

Create Your Own Programming Language with Rust

🦀Rust

createlang.rs··Hacker News

Revo, the Programming Language

🛡️Odin

if-not-nil.github.io··Hacker News

Lua.ex: Sandboxed Lua 5.3 on the Beam, Built for AI Agents

🏢Engineering Culture

deflua.com··Hacker News

Performance Improvements in JDK 26

📊Performance Profiling

inside.java··Hacker News, r/java

Pythagora-io/gpt-pilot Compromised on GitHub - Shai-Hulud Credential Stealer Blocked by Python Linter

🛠️Developer Experience Blog

stepsecurity.io··Hacker News

ArturR0k3r/AkiraOS: AkiraOS is a modular, security-focused embedded platform for resource-constrained devices. Built on Zephyr RTOS with WebAssembly (WASM) runtime support and OCRE container technology

📐Architecture Diagrams Code

github.com··Hacker News

Zeroserve: A zero-config web server you can script with eBPF

🔐Security Patterns

su3.io··Hacker News

The Road to Component Model 1.0

🛠️Developer Experience

bytecodealliance.org··Hacker News

Why We Built SQL Tran: Automated Oracle to PostgreSQL Migration in Seconds

🌊Stream Processing Blog

spectralcore.com··Hacker News

[VM] New VM Release

🛠️Developer Experience

pharo.org··Hacker News

Move Fast, Surveil Things

📊Grafana

eff.org··Hacker News

𝜇⁢𝜆⁢ϵ⁢𝛿-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities

📏Linear Types Academic

arxiv.org··Lobsters

Show HN: Typedframes – Pandas/polars column name checking at lint time

🛠️Developer Experience Code

github.com··Hacker News

Devs know AI code is riddled with holes, but ship it anyway

🛡️Odin News

theregister.com··Hacker News

Getting agents to code less slop

🔀CQRS Blog

thempatel.com··Hacker News

Omnifs: APIs and data sources as files you can ls, cat, grep, and pipe

📮Message Queues

omnifs.dev··Hacker News

ChibiRuby is a pure C# implementation of the mruby virtual machine

A line-by-line translation of the OCaml runtime from C to Rust

React Native, Hermes bytecode, and the Kindle homepage

Introducing Soteria: A New Generation of Static Analysis for Rust

Create Your Own Programming Language with Rust

Revo, the Programming Language

Lua.ex: Sandboxed Lua 5.3 on the Beam, Built for AI Agents

Performance Improvements in JDK 26

Pythagora-io/gpt-pilot Compromised on GitHub - Shai-Hulud Credential Stealer Blocked by Python Linter

ArturR0k3r/AkiraOS: AkiraOS is a modular, security-focused embedded platform for resource-constrained devices. Built on Zephyr RTOS with WebAssembly (WASM) runtime support and OCRE container technology

Zeroserve: A zero-config web server you can script with eBPF

The Road to Component Model 1.0

Why We Built SQL Tran: Automated Oracle to PostgreSQL Migration in Seconds

[VM] New VM Release

Move Fast, Surveil Things

𝜇⁢𝜆⁢ϵ⁢𝛿-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities

Show HN: Typedframes – Pandas/polars column name checking at lint time

Devs know AI code is riddled with holes, but ship it anyway

Getting agents to code less slop

Omnifs: APIs and data sources as files you can ls, cat, grep, and pipe