~lobsters | Bookmarks (1976)

We Need to Talk About the State of Calendar Software on Desktop

nadim.computer

2024-04-18 Smartphones are fine. There are no problems today with finding good calendar software for any...
2024-04-18 Smartphones are fine. There are no problems today with finding good calendar software for any smartphone out there. But when it comes to desktops (or laptops), there are exactly two cases in which using calendars in 2024 isn’t a complete disaster: You’re using your calendar provider’s web application, You...

linux rant windows
2
CVE-2024-20356: Jailbreaking a Cisco appliance to run DOOM - LRQA Nettitude Labs

nettitude.com

The Cisco C195 is a Cisco Email Security Appliance device. Its role is to act as...
The Cisco C195 is a Cisco Email Security Appliance device. Its role is to act as an SMTP gateway on your network perimeter. This device (and the full range of appliance devices) is heavily locked down and prevents unauthorised code from running. Source: https://www.melbourneglobal.com.au/cisco-esa-c195-k9-esa-c195-e...

hardware security
1
🦌 Gazelle v0.2

tincans.ai

ai audio
2
Why you need a "WTF Notebook"

simplermachines.com

practices season 1 software
2
Zest: syntax

scattered-thoughts.net

plt
1
SQLite on Rails | Fractaled Mind

fractaledmind.github.io

databases ruby
1
The History of Novell

abortretry.fail

historical networking
2
Proofcraft News - 2024

proofcraft.systems

News from other years: 2023 2022 2021 Proofcraft is 3 years old and we’re still having...
News from other years: 2023 2022 2021 Proofcraft is 3 years old and we’re still having fun while building a more verified future! Amongst other things, our third year has seen us deliver the functional correctness proof of sel4 on AArch64, progress on the verification of MCS seL4, receive the ACM Software System Awa...

formalmethods
1
Natural Language Processing in Bash

massimo-nazaria.github.io

Let’s implement a Bash toolchain to generate random prose that resembles the text corpus by using...
Let’s implement a Bash toolchain to generate random prose that resembles the text corpus by using the n-gram language model! A Glimpse at the Toolchain Basically, NLP aims at teaching computers to understand and work with human language by using different techniques. In what follows, we’re going to have a glimpse at...

ai unix
1
pair of pared pears | Memory management in mpmetrics

trends.tf

The first thing we need need is a bulk source of shared memory. Unfortunately, we cannot...
The first thing we need need is a bulk source of shared memory. Unfortunately, we cannot use multiprocessing.shared_memory because we can’t expand its memory later. Metrics can be created at any point in the application’s lifetime, and we don’t necessarily know how many we will need when we have to create the first ...

openmetrics python
1
Wayland, where are we in 2024? Any good for being the default?

dedoimedo.com

Wayland, where are we in 2024? Any good for being the default? Updated: April 17, 2024...
Wayland, where are we in 2024? Any good for being the default? Updated: April 17, 2024 Functionality, first and foremost. My motto. A tool that doesn't do what it's supposed to do is a broken tool. A useless tool. Unfortunately, in the software world, in the past decade or so, there's been a trend of offering half-b...

linux
1
oss-security - Make your own backdoor: CFLAGS code injection, Makefile injection, pkg-config

openwall.com

security unix
1
Formal Methods: Just Good Engineering Practice? - Marc's Blog

brooker.co.za

Earlier this week, I did the keynote at TLA+ conf 2024. My message in the keynote...
Earlier this week, I did the keynote at TLA+ conf 2024. My message in the keynote was something I have believed to be true for a long time: formal methods are an important part of good software engineering practice. If you’re a software engineer, especially one working on large-scale systems, distributed systems, or...

practices
1
The Rust Calling Convention We Deserve · mcyoung

mcyoung.xyz

I will often say that the so-called “C ABI” is a very bad one, and a...
I will often say that the so-called “C ABI” is a very bad one, and a relatively unimaginative one when it comes to passing complicated types effectively. A lot of people ask me “ok, what would you use instead”, and I just point them to the Go register ABI, but it seems most people have trouble filling in the gaps of...

assembly rust
1
A deep dive into Single Pair Ethernet - Electric UI

electricui.com

competition diving ethernet hardware networking
1
Systems Distributed '24

systemsdistributed.com

compilers databases distributed event zig
1
libnix mingw status

lastlog.de

nix
1
Full-text search of the OpenBSD manual pages

ifconfig.se

openbsd
1
Types of estimates

turnerhallow.co.uk

practices
1
Palo Alto Networks zero-day exploited since March to backdoor firewalls

bleepingcomputer.com

Suspected state-sponsored hackers have been exploiting a zero-day vulnerability in Palo Alto Networks firewalls tracked as...
Suspected state-sponsored hackers have been exploiting a zero-day vulnerability in Palo Alto Networks firewalls tracked as CVE-2024-3400 since March 26, using the compromised devices to breach internal networks, steal data and credentials. Palo Alto Networks warned yesterday that hackers were actively exploiting an ...

backdoor firewall palo alto networks pan-os security
1
Expanding Trusted Publisher Support - The Python Package Index Blog

pypi.org

python security
1
AM phasor has no setting for 'stun' | Jeff Geerling

jeffgeerling.com

Today on Geerling Engineering, my Dad and I toured the tower site for WSDZ-AM, located in...
Today on Geerling Engineering, my Dad and I toured the tower site for WSDZ-AM, located in Belleville, IL. It's a 20kW AM radio station broadcasting with an array of eight individual towers: How does one get a single coherent signal out of an eight-tower array? Enter the phasor: That's phasor with an o, not phaser wi...

hardware
1
5 ideas for user research when you can't talk to users - Pixel Fridge

pixelfridge.digital

At times, getting direct access to your users can be tricky. In this article we discuss...
At times, getting direct access to your users can be tricky. In this article we discuss 5 ways to conduct audience research, even when you can’t talk to people.Let’s start by making it clear. The best design work requires user research, whatever the circumstances.Without research, we’re just guessing. Sure, these mi...

practices
1
Tauri vs Iced vs egui: Rust GUI framework performance comparison (including startup time, input lag, resize tests) · Lukasʼ Blog

lukaskalbertodt.github.io

rust
1