~lobsters | Bookmarks (2192)

Artiflakery, an easy way to distribute static Nix flake artifacts

luj.fr

Estimated reading time: 2mn As a PhD student, I often do presentations. A lot of presentations....
Estimated reading time: 2mn As a PhD student, I often do presentations. A lot of presentations. In 2024 alone, I gave about 15 talks in different public venues, with a different slideset at each of those occurrences. As often as I can, I try to make those slides available to the audience if they need to re-read them...

haskell nix web
1
Introducing Roto: A Compiled Scripting Language for Rust

nlnetlabs.nl

dev routing rust
2
Erlang/OTP 28.0 - Erlang/OTP

erlang.org

Erlang/OTP 28 is a new major release with new features, improvements as well as a few...
Erlang/OTP 28 is a new major release with new features, improvements as well as a few incompatibilities. Some of the new features are highlighted below. Many thanks to all contributors! Starting with this release, a source Software Bill of Materials (SBOM) will describe the release on the Github Releases page. We we...

erlang
1
Reading code is still the most effective method to debug multi-thread bug | Nan Xiao's Blog

nanxiao.me

debugging
1
Building a fast website with the MASH stack in Rust

emschwartz.me

rust web
1
Litestream: Revamped

fly.io

cdn databases docker elixir fly
2
Devlog ⚡ Zig Programming Language

ziglang.org

May 20, 2025 Author: Alex Rønne PetersenPull requests #23835 and #23913 have now been merged. This...
May 20, 2025 Author: Alex Rønne PetersenPull requests #23835 and #23913 have now been merged. This means that, using zig cc or zig build, you can now build binaries targeting FreeBSD 14.0.0+ and NetBSD 10.1+ from any machine, just as you’ve been able to for Linux, macOS, and Windows for a long time now.This builds o...

freebsd netbsd zig
1
KrebsOnSecurity Hit With Near-Record 6.3 Tbps DDoS – Krebs on Security

krebsonsecurity.com

KrebsOnSecurity last week was hit by a near record distributed denial-of-service (DDoS) attack that clocked in...
KrebsOnSecurity last week was hit by a near record distributed denial-of-service (DDoS) attack that clocked in at more than 6.3 terabits of data per second (a terabit is one trillion bits of data). The brief attack appears to have been a test run for a massive new Internet of Things (IoT) botnet capable of launching...

security
1
Optional Rust-In-FreeBSD Support May 2025 Status Report | HardenedBSD

hardenedbsd.org

Introduction As I mentioned in the April 2025 HardenedBSD Status Report, I had attended a small...
Introduction As I mentioned in the April 2025 HardenedBSD Status Report, I had attended a small hackathon with a few FreeBSD developers. This hackathon was focused on providing basic support for optional userland components written in Rust. This is a status report for that work. For those following along, we now hav...

freebsd rust
1
Finding hard 24 puzzles with planner programming

buttondown.com

May 20, 2025 Planner programming is a programming technique where you solve problems by providing a...
May 20, 2025 Planner programming is a programming technique where you solve problems by providing a goal and actions, and letting the planner find actions that reach the goal. In a previous edition of Logic for Programmers, I demonstrated how this worked by solving the 24 puzzle with planning. For reasons discussed ...

games plt
1
Interview: Chief maintainer of Qt project on language independence, KDE, and the pain of Qt 5 to Qt 6 • DEVCLASS

devclass.com

Volker Hilsheimer, chief maintainer of the Qt project, says he has learned lessons from the painful...
Volker Hilsheimer, chief maintainer of the Qt project, says he has learned lessons from the painful Qt 5 to Qt 6 transition, the importance of Qt Bridges for using Qt from any language, and the significance of the relationship with the Linux KDE desktop. Hilsheimer goes back a long way with Qt. “I started using Qt i...

c++release
1
Friendly Forge Format (F3) — F3 v3.0 documentation

forgefriends.org

programming
1
Open Source Can't Coordinate

matklad.github.io

linux
1
Interview with Donald Knuth | Interview with Donald Knuth | InformIT

archive.org

Andrew Binstock and Donald Knuth converse on the success of open source, the problem with multicore...
Andrew Binstock and Donald Knuth converse on the success of open source, the problem with multicore architecture, the disappointing lack of interest in literate programming, the menace of reusable code, and that urban legend about winning a programming contest with a single compilation. Like this article? We recomme...

historical practices
1
Lerp smoothing is broken

youtube.com

games graphics math science & technology video
1
Reports of Deno's Demise Have Been Greatly Exaggerated | Deno

deno.com

deno denoland development javascript typescript
2
Kicking the Tires on CedarDB's SQL

buttondown.com

May 19, 2025 Last week it was my birthday and I had a bunch of stuff...
May 19, 2025 Last week it was my birthday and I had a bunch of stuff going on over the weekend so a short and simple post this week! If you are a database sicko (and I can only assume you are if you are reading NULL BITMAP), you are likely familiar with the Technical University of Munich (TUM) as the premier source ...

databases
1
Enlightenmentware

mmapped.blog

personal programming
1
Building a personal archive of the web, the slow way

alexwlchan.net

web
1
Steve Langasek, One of Ubuntu Linux's Leading Lights, Has Died

thenewstack.io

person
1
A Python frozenset interpretation of Dependent Type Theory

philipzucker.com

TLDR. Types are basically sets. Why not python sets? I enjoy mixing the sacred and the...
TLDR. Types are basically sets. Why not python sets? I enjoy mixing the sacred and the profane. Making a python model clarifies complex topics for me and gives me something to do. The core intuition often comes from finitary computable examples. As in any sound-ish model, anything you can prove in dependent type the...

formalmethods plt
1
New flag options for “misleading” and “clickbait”? | Lobsters

lobste.rs

I’ve seen this come up in a few different threads and there doesn’t seem to be...
I’ve seen this come up in a few different threads and there doesn’t seem to be a consistent way of handling it. “Misleading”: the story is relevant to Lobste.rs but it is misleading (particularly its title) about the truth of the situation. This is not an applicable flag for subjective/opinion pieces. “Clickbait”: the title of the story, while matching the original title of the...

meta
1
Justification Filler Phrases

serce.me

By Sergey Tselovalnikov on 19 May 2025As a software engineer, I’ve had to read a large...
By Sergey Tselovalnikov on 19 May 2025As a software engineer, I’ve had to read a large number of various documents that go by many different names – RFCs, design documents, proposals, etc. Many of them include reasons describing why a piece of software should be built, a policy enacted, or a decision made. Sometimes...

programming
1
What are you doing this week? | Lobsters

lobste.rs

What are you doing this week? Feel free to share! Keep in mind it’s OK to...
What are you doing this week? Feel free to share! Keep in mind it’s OK to do nothing at all, too.

ask programming
1