~lobsters | Bookmarks (1959)

GNU Screen - News [Savannah]

gnu.org

release unix
2
Can you convert a video to pure css?

dgerrells.com

web
3
Getting Started with Nix for Haskell

abhinavsarkar.net

haskell nix programming
1
Go sync.Pool and the Mechanics Behind It

victoriametrics.com

What is sync.Pool? and how to use it in GoLang. Comments

databases go pool sync
2
Firewall rules: not as secure as you think

haskellforall.com

networking
2
BinaryFormatter removed from .NET 9 - .NET Blog

microsoft.com

dotnet
1
Easy network performance wins with IRQ coalescing

kernel.org

All modern NICs implement IRQ coalescing (ethtool -c/-C), which delays RX/TX interrupts hoping more frames arrive...
All modern NICs implement IRQ coalescing (ethtool -c/-C), which delays RX/TX interrupts hoping more frames arrive in the meantime to allow for batch processing. IRQ coalescing trades off latency for system throughput. It’s commonly believed that the higher the packet rate, the more batching system needs to keep up. ...

linux networking
1
Chat Control: The EU's CSEM scanner proposal

patrick-breyer.de

law privacy
1
Objects Have Not Failed

dreamsongs.com

compsci design
1
Immutable Systems: NixOS + systemd-repart + systemd-sysupdate

x86.lol

When you build software for embedded devices (your Wi-Fi router or home automation setup on your...
When you build software for embedded devices (your Wi-Fi router or home automation setup on your Raspberry Pi), there is always the question how to build these images and how to update them. What I want is: A mostly immutable system with few moving parts. A disk image that can be written to disk without a complicate...

linux nix systemd
2
I just crossed $1 million on GitHub Sponsors. 💰🎉

calebporzio.com

practices
1
Introducing Alacrity to Federated Cryptography - Dhole Moments

soatok.blog

cryptography
2
GitHub - aya-prover/aya-dev: A proof assistant and a dependently-typed language

github.com

formalmethods plt
1
Development of an Experimental Devboard for a Frugal Smartphone at Inria / fossjobs.net

fossjobs.net

This job ad has been posted over 40 days ago! (*) Required Education Level: Master’s degree...
This job ad has been posted over 40 days ago! (*) Required Education Level: Master’s degree (or equivalent) in electronics or embedded software. Professional Experience: No prior professional experience required. Duration & Location: 24 months, at Rennes (France) Salary: Gross monthly salary starting from 2695 euros...

hardware job mobile
1
The Future of TLA+

lamport.azurewebsites.net

formalmethods pdf
2
"This Key is Useless Now. Discard?"

btxx.org

design games
1
The slow evaporation of the free/open source surplus – Baldur Bjarnason

baldurbjarnason.com

practices
2
better explanations through coupling

explaining.software

August 27, 2024 Previously, we explored how coupling and cohesion are not separable concepts. When our...
August 27, 2024 Previously, we explored how coupling and cohesion are not separable concepts. When our software is cohesive, everything fits. Each part is shaped by its relationships. Together, they comprise an undirected graph, which we will call a structure. Each structure is an amplifier; by explaining one vertex...

philosophy programming
1
Meredith Whittaker at Le Bourget

nadim.computer

2024-08-27 The fluorescent lights of Le Bourget airport’s private terminal flickered as Meredith Whittaker, President of...
2024-08-27 The fluorescent lights of Le Bourget airport’s private terminal flickered as Meredith Whittaker, President of Signal, made her way through the arrivals area. Her mind was still buzzing from the cybersecurity conference in Brussels, where she had engaged in numerous conversations about the future of digita...

privacy
1
Garnix Blog: Function Types in Nix

garnix.io

nix plt
1
What programming language is in this <code> block?

shkspr.mobi

I'm a little bit obsessed with the idea of Semantic markup. I want the words that...
I'm a little bit obsessed with the idea of Semantic markup. I want the words that I write to be understood my humans and machines. Imagine this piece of code: print( "Hello, world!" ) Is that code example written in Python? C++? Basic? Go? Perhaps you're familiar enough with every programming language to tell - but ...

practices web
1
Boolean Is Not Your Friend

youtube.com

programming science & technology video
1
The Monospace Web

owickstrom.github.io

web
5
Evaluating a process manager

tinkering.xyz

programming
1