~lobsters | Bookmarks (2045)

oss-sec: Three bypasses of Ubuntu's unprivileged user namespace restrictions

seclists.org

devops security
2
Atom vs. RSS

nullprogram.com

browsers web
1
Things that go wrong with disk IO | notes.eatonphil.com

eatonphil.com

There are a few interesting scenarios to keep in mind when writing applications (not just databases!)...
There are a few interesting scenarios to keep in mind when writing applications (not just databases!) that read and write files, particularly in transactional contexts where you actually care about the integrity of the data and when you are editing data in place (versus copy-on-write for example). We'll go into a fe...

databases linux
2
GitHub - cloud-gouv/securix: Sécurix is a NixOS-based secure operating system tailored for small to medium-sized teams. It provides a minimal, hardened environment with strong isolation, reproducib...

github.com

nix
1
Ruby Central's OSS Changelog: March 2025

rubycentral.org

Hello! Welcome to the March newsletter—now known as Ruby Central’s OSS Changelog.As mentioned in our previous...
Hello! Welcome to the March newsletter—now known as Ruby Central’s OSS Changelog.As mentioned in our previous newsletters, we will now be sending out separate updates for the Open Source Program and general Ruby Central organization and community news.You can expect our general Ruby Central newsletter (the Ruby Cent...

release ruby
1
Pile of Eternal Rejections: The Cost of Garbage Collection for State Machine Replication – Aleksey Charapko

charap.co

I have a “pile” of papers that continuously get rejected from any conference. All these papers,...
I have a “pile” of papers that continuously get rejected from any conference. All these papers, according to the reviews, “lack novelty,” and therefore are deemed “not interesting” by the reviewing experts. There are some things in common in these papers — they are either observational or rely on old and proven tech...

performance plt
1
Tag Proposal: logicprogramming | Lobsters

lobste.rs

Logic/constraint programming like Prolog, Datalog comes up enough to not need further justification. Name: logicprogramming ;...
Logic/constraint programming like Prolog, Datalog comes up enough to not need further justification. Name: logicprogramming ; is there a shorter but still fitting term? “Declarative” has a nicer shape, but I think it’s too broad. “Rule-based” could work but it’s not common. Because there’s only a small space to work with, even logicprog seems tempting. Description: “Prolog, Datalog, Horn clauses, Answer Set Programming…” ;...

meta
1
Spade | Spade Hardware Description Language

spade-lang.org

Spade is a new hardware description language which makes hardware description easier and less error-prone. It...
Spade is a new hardware description language which makes hardware description easier and less error-prone. It does this by taking lessons from software programming languages, and adding language level support for common hardware constructs, all without compromising low level control over what hardware gets generated...

hardware plt
1
Why Great Engineering Orgs Thrive on "Normal" Engineers

ieee.org

A version of this post originally appeared in Refactoring, a Substack offering advice for software engineers....
A version of this post originally appeared in Refactoring, a Substack offering advice for software engineers. Most of us have encountered a few software engineers who seem practically magician-like, a class apart from the rest of us in their ability to reason about complex mental models, leap to nonobvious yet elega...

big tech engineering careers practices productivity software development
2
Piranesi’s Perspective Trick

medium.com

art drawing graphics perspective
2
Why Anthropic’s Claude still hasn’t beaten Pokémon

arstechnica.com

ai games
2
How to Write Blog Posts that Developers Read

refactoringenglish.com

practices
3
README.md

github.com

UNIX famously uses fork+exec to create processes, a simple API that is nevertheless quite tricky to...
UNIX famously uses fork+exec to create processes, a simple API that is nevertheless quite tricky to use correctly and that comes with a bunch of problems. The alternative, spawn, as used by VMS, Windows NT and recently POSIX, fixes many of these issues but it overly complex and makes it hard to add new features. prepare() is a proposed API to simplify process creation....

api show unix
1
War story: the hardest bug I ever debugged

clientserver.dev

debugging
3
RealtimeKit and CPU Scheduling

venam.net

Take a look at your process tree, it’s likely that you might notice a new service:...
Take a look at your process tree, it’s likely that you might notice a new service: rtkit-daemon, the RealtimeKit Daemon. It seems nobody on the internet is talking about it, so let’s explain what it’s about in this article. A Refresher on Multitasking First, let’s refresh our minds about multitasking OSes. In a mult...

blog deliberate linux philosophy psychology
1
Oracle customers confirm data stolen in alleged cloud breach is valid

bleepingcomputer.com

tl;dr: Though Oracle denies it, a hacker produced valid data from Oracle customers. Comments

data breach infosec ldap oracle oracle cloud
2
Tunneling corporate firewalls for developers

frost.kiwi

cyber security dev ops devops security web
1
EU OS: A Bold Step Toward Digital Sovereignty for Europe | Linux Journal

linuxjournal.com

linux
2
Exclusive: Google will develop the Android OS fully in private, and here's why

androidauthority.com

Mishaal Rahman / Android AuthorityTL;DR Google has confirmed to Android Authority that development of the Android...
Mishaal Rahman / Android AuthorityTL;DR Google has confirmed to Android Authority that development of the Android operating system will soon fully happen in private. Currently, Google shares some of the work it does on the public AOSP Gerrit, but moving forward, this work will all be done in private. The goal for th...

android
1
You just can’t be Googling ‘Select’ | Sophia Willows

sophiabits.com

3 January, 2025•3 minute readI’ve been extremely fortunate over the course of my career, and I’ve...
3 January, 2025•3 minute readI’ve been extremely fortunate over the course of my career, and I’ve been able to learn from some truly incredible people working in software. It truly does “take a village,” and some of the best general career advice I can give to anyone starting out is to find a really good mentor.And ...

practices programming
1
Ferrous Systems Donates Ferrocene Language Specification to Rust Project - The Rust Foundation

rustfoundation.org

Rust 1.0 was published in May 2015. As the language approaches its 10th anniversary, Rust has...
Rust 1.0 was published in May 2015. As the language approaches its 10th anniversary, Rust has become one of the fastest growing and most-loved languages [1] among developers, thanks to a combination of speed, safety and a vibrant community. Like any growing open source language, Rust has a considerable amount of doc...

rust
1
What's New in Neovim 0.11 | g.p. anders

gpanders.com

March 26, 2025 Neovim 0.11 was just released. As in previous installments in this series, let’s...
March 26, 2025 Neovim 0.11 was just released. As in previous installments in this series, let’s talk a bit about some of the big highlights! As always, the full list of changes can be found in the release notes (use :h news to read inside of Neovim). Table of Contents Breaking Changes We make a concerted effort to a...

release vim
1
PEG Parsing Series Overview

medium.com

parsing programming python
1
Redis creator (antirez) wants to make it open source, again

youtu.be

If you’d prefer reading to watching, here’s a link to the same section in the transcript:...
If you’d prefer reading to watching, here’s a link to the same section in the transcript: changelog.fm/631#transcript-36 Comments

databases science & technology video
1