Source feed
Lobsters
1976 items
A computing-focused community centered around link aggregation and discussion.
Lobsters
Using algebra and LLMs to verify a flight-plan bug fix in Lean
My experience using coding agents to help formally verify the UK ATC meltdown solution in Lean.
Topics: Programming
Entities: Programming
Lobsters
Introducing Casuarina Linux: A glibc-Based Chimera Linux Derivative - Casuarina Linux
Casuarina Linux is an experimental, in-development Linux distribution derived from Chimera Linux. It uses glibc instead of musl as libc. The motivation for this is to preserve much of the Chimera experience while remaining binary compatible with the wider...
Topics: Infrastructure
Entities: Infrastructure
Lobsters
Comprehensive Response to Bambu's AGPLv3 Violations
The Software Freedom Conservancy provides a non-profit home and services to Free, Libre and Open Source Software (FLOSS) projects.
Lobsters
+ 1 source (Lobsters and Google News Cybersecurity Engineering)
CISA Admin Leaked AWS GovCloud Keys on Github – Krebs on Security
Until this past weekend, a contractor for the Cybersecurity & Infrastructure Security Agency (CISA) maintained a public GitHub repository that exposed credentials to several highly privileged AWS GovCloud accounts and a large number of internal CISA...
Topics: SecurityInfrastructure
Entities: Infrastructure
Lobsters
The just-say-no engineer was a ZIRP phenomenon
The engineer who says no all the time is a real archetype among senior and staff engineers. Their role is to slow things down, to block the development of features that add complexity, and to ensure that as little code gets written as possible (since code...
Lobsters
The Fil-C Optimized Calling Convention
Fil-C achieves memory safety even for programs that behave adversarially. That includes casting function pointers to the wrong signature and then calling them, exporting a function with one signature in one module and then importing it with a different...
Lobsters
cargo-crap: Finding Untested Complexity in AI-Generated Rust Code
cargo-crap finds complex, poorly tested Rust functions and turns untested complexity into a measurable guardrail for AI-assisted development.
Lobsters
Running ‘Doom’ on E. coli cells… very, very slowly
It would take nearly 600 years to finish playing this MIT student's iteration of the classic video game.