← Back to news
L

Lobsters

The End of Shouting: Prompts as Programs in GPT-5

L

On Programming Languages as Languages (2014)

L

When 'perfect' code fails

L

Index 1,600,000,000 Keys with Automata and Rust (2015)

L

Learning Regular Languages with RPNI Algorithm

L

Why Your social.org Files Can Have Millions of Lines Without Any Performance Issues

L

Simple Control Flow for Automatically Steering Agents

L

Distroless Containers for corporate use: Nix Flakes vs Fedora

L

Formal or not formal? That is the question in AI for theorem proving

L

Encryption using SSH Keys with age in Linux

L

You should feed the bots

L

the bug that taught me more about PyTorch than years of using it

L

Tag proposal: typesetting

L

You already have a git server

L

Let's Help NetBSD Cross the Finish Line Before 2025 Ends

L

We want to move Ruby forward

L

What are you reading this week?

L

Property-Based Testing in Practice

L

Sandbox Your Program Using FreeBSD's Capsicum

L

The FSF considers large language models

L

The Linux Boot Process: From Power Button to Kernel

L

The Journey Before main()

L

An Overview of Attestations in CI

L

KDE Linux deep dive: package management is amazing, which is why we don’t include it

L

WebDAV Isn't Dead Yet

L

Retrospective on weaknesses in fuzzing research

L