ā† Back to news
L

Lobsters

leanin: A Tokio-inspired concurrency library for Lean 4, with machine-checked proofs

L

Upcoming Critical PHP Security Release

L

Why Iā€™m no longer updating this repository

L

thebroken Episode 1 (2003)

L

Why do we need ud2 when int 6 is right there?

L

EDG is open source

L

Sign language to text

L

Do minor curl vulnerabilities in the open

L

How I got over 300 Tor exit nodes removed

L

Declarative WASM GC Types

L

Genera for the Initiated: Inside Symbolics Lisp Machines

L

Mastodon 5.0: A closer look

L

Lectura.info - A simple RSS reader

L

Making a VGA Driver in SystemVerilog

L

Airflow AI Provider 1.0: Agents, Sandboxes, Human Approval and Smarter Retries

L

Clerkenwell: A handwritten Clojure notebook

L

CVE-2026-106173: FortiSIEM gRPC Path Traversal to RCE

L

NixOS is making me less afraid

L

Agentic Monitoring

L

Jepsen: Orkes Conductor 5.3.2

L

Compromised eMudhra Intermediate Certificates

L

Protecting Firefox users following the compromise of eMudhra intermediate certificates

L

DeepSeek open sources the inference engine for their models

L

How abliterated models can get you pwned

L

Sumi.css - classless-first CSS framework

L

How Much of a Harness Does a Strong Agent Need for Autonomous ML Engineering?

L

Setting up SSH keys on macOS with Touch ID

L

The Annotated VT100 Firmware (2022)

L

A Very Fast IPv4 Parser, in Swift

L

Go will reject certificate chains containing eight distrusted SPKIs

L

OpenBSD 8.0: released

L

OpenBSD 8.0

L

Do web components have a future if nobody is writing them?

L

Rendering untrusted HTML email, safely (2021)

L