← Back to news
L

Lobsters

Using candyfloss to do neural net inference

L

A Scheme Shell (1994)

L

Every app you've built is an ETL pipeline (you just didn't call it that)

L

Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4

L

Resurrecting _why's Dream

L

Concrete syntax matters, actually

L

AI makes you boring

L

The Missing Semester of Your CS Education

L

ClawShell, Process-Level Isolation for OpenClaw Credentials

L

Netbase a port of the netbsd utilities for linux

L

Choosing a Language Based on its Syntax?

L

The Perils of ISBN

L

Using the Browser’s for Data Compression

L

Linux CVE assignment process

L

Clinejection — Compromising Cline's Production Releases just by Prompting an Issue Triager

L

Salt: Systems programming, mathematically verified

L

Fairstream

L

Lilush: A static LuaJIT runtime with batteries

L

Don’t Trust Packet Captures on Firewalls

L

Paged Out! #8

L

pg-here: Run a local PostgreSQL instance in your project folder with one command

L

State of Clojure 2025 Results

L

Permissive, then restrictive: concrete solutions and examples in Haskell (2020)

L

An update on upki

L

Tuple Spaces

L

Monitoring Data-Dependent Temporal Patterns

L

C++26: std::is_within_lifetime

L

how openai, the US government, and persona built an identity surveillance machine that files reports on you to the feds

L

Ditching Discord

L

CEL by Example

L

Self-hosting my websites using bootable containers

L