~lobsters | Bookmarks (1922)

GitHub - lewis-carson/PFPCaml: A port of PFP from Haskell to OCaml

github.com

haskell ml
1
Milestoner | Alchemists

alchemists.io

devops vcs
1
Type Theory Forall

typetheoryforall.com

ml plt
1
Lessons From Red Teaming 100 Generative AI Products

arxiv.org

ai security
1
GitHub - gittuf/gittuf: A security layer for Git repositories

github.com

security vcs
1
The Cursed Art of Streaming HTML

rinici.de

Home > posts > streaming-htmlOr, how I wrote a live chat without JavaScriptWhen I talk about...
Home > posts > streaming-htmlOr, how I wrote a live chat without JavaScriptWhen I talk about streaming HTML, I am not talking about incrementally requesting HTML to hydrate a page, or whatever the fancy thing is web frameworks do nowadays—no, I am talking about streaming an actual HTML response, creating live update...

web
1
A versioning scheme for end-user software

aksimsek.tr

The title is wrong. It should be more like "versioning scheme for software that suffers from...
The title is wrong. It should be more like "versioning scheme for software that suffers from the spacebar heating problem, i.e. software for which a “breaking change” cannot reasonably be distinguished from a non-breaking one. Background (feel free to skip) I was planning on publishing the first ever alpha release o...

practices
1
Pre-SIP: A Syntax for Collection Literals

scala-lang.org

Scala is lacking so far a concise way to specify collection literals. This makes it an...
Scala is lacking so far a concise way to specify collection literals. This makes it an outlier compared to many other popular languages. We propose to change this by introducing a special syntax for such literals. The syntax is quite conventional: A sequence is written as a comma-separated list of elements enclosed ...

plt scala
1
OpenFlexure Microscope

openflexure.org

A guide to printing and assembling an OpenFlexure Microscope. Buy a microscope or kit from a...
A guide to printing and assembling an OpenFlexure Microscope. Buy a microscope or kit from a vendor near you. Download and install software to control your microscope. Get started using your microscope. The OpenFlexure Microscope is a customisable, open-source optical microscope, using either very cheap webcam optic...

science
1
How Unix Spell Ran in 64kB RAM

codingconfessions.com

How do you fit a 250kB dictionary in 64kB of RAM and still perform fast lookups?...
How do you fit a 250kB dictionary in 64kB of RAM and still perform fast lookups? For reference, even with modern compression techniques like gzip -9, you can't compress this file below 85kB.In the 1970s, Douglas McIlroy faced this exact challenge while implementing the spell checker for Unix at AT&T. The constraints...

math unix
2
Cheatsheet for jj's builtin diff editor

pauladamsmith.com

I grepped the scm-record repo for command names I was familiar with, and, finding the ui.rs...
I grepped the scm-record repo for command names I was familiar with, and, finding the ui.rs source that maps key strokes and mouse clicks to commands, I extracted them into a cheatsheet-style layout suitable for quick reference while learning and using jj's built-in diff editor. Click here for the cheatsheet If you'...

vcs
1
Oracle won't relinquish JavaScript trademark, so the JS community prepares for court battle

techspot.com

In a nutshell: JavaScript is about to become a matter of legal proceedings between competing parties....
In a nutshell: JavaScript is about to become a matter of legal proceedings between competing parties. Oracle claims ownership of the trademark, but the company will now have to defend its questionable position in court as the community argues it needs to be genericized. The initial attempt to cancel Oracle's ownersh...

javascript open source oracle trademarks uspto
1
Advanced Python Development Workflow in Emacs

serghei.pl

Emacs is not just an editor — it’s an extensible platform for crafting highly personalized development...
Emacs is not just an editor — it’s an extensible platform for crafting highly personalized development environments. With tools like company, yasnippet, lsp-mode and dap-mode, Emacs transforms into a feature-rich Python IDE capable of competing with PyCharm or VS Code. This guide explores how to evolve Emacs into a ...

emacs lsp python
1
Lazy self-installing Python scripts with uv

treyhunner.com

I frequently find myself writing my own short command-line scripts in Python that help me with...
I frequently find myself writing my own short command-line scripts in Python that help me with day-to-day tasks. It’s so easy to throw together a single-file Python command-line script and throw it in my ~/bin directory! Well… it’s easy, unless the script requires anything outside of the Python standard library. Rec...

python
2
Hands-on graphics without X11

substack.com

Look at these two consoles:Side-by-side comparison of the NetBSD console right after boot vs. the EndBASIC...
Look at these two consoles:Side-by-side comparison of the NetBSD console right after boot vs. the EndBASIC console.Same font, same colors, same… everything? Other than for the actual text they display, they look identical, don’t they? But the one on the right can do things that the one on the left cannot. Witness th...

netbsd
2
Learn Yjs by Jamsocket

yjs.dev

Welcome to Learn Yjs — an interactive tutorial series on building realtime collaborative applications using the...
Welcome to Learn Yjs — an interactive tutorial series on building realtime collaborative applications using the Yjs CRDT library. This very page is an example of a realtime collaborative application. Every other cursor in the garden above is a real live person reading the page right now. Click one of the plants to c...

distributed web
1
Project MINI RACK - a Homelab Revolution!

youtube.com

hardware networking science & technology video
1
Private Keys in the Fortigate Leak - Hanno's blog

hboeck.de

A few days ago, a download link for a leak of configuration files for Fortigate/Fortinet devices...
A few days ago, a download link for a leak of configuration files for Fortigate/Fortinet devices was posted on an Internet forum. It appears that the data was collected in 2022 due to a security vulnerability known as CVE-2022-40684. According to a blog post by Fortinet in 2022, they were already aware of active exp...

cryptography security
1
Logical replication in Postgres: Basics

enterprisedb.com

In this post we'll explore the basics of logical replication between two Postgres databases as both...
In this post we'll explore the basics of logical replication between two Postgres databases as both a user and a developer.BackgroundPostgres first implemented physical replication where it shipped bytes on disk from one database A to another database B. Database B would write those bytes right back to disk. But thi...

databases
1
FOSDEM 2025 - Statement on planned protests during the upcoming FOSDEM 2025

fosdem.org

culture event
2
Prototyping in Rust | corrode Rust Consulting

corrode.dev

Programming is an iterative process - as much as we would like to come up with...
Programming is an iterative process - as much as we would like to come up with the perfect solution from the start, it rarely works that way. Good programs often start as quick prototypes. The bad ones stay prototypes, but the best ones evolve into production code. Whether you’re writing games, CLI tools, or designi...

rust
1
Linux KMS testing improvements · Maxime Ripard's Blog

mripard.dev

Graphics support in Linux has gone a long way. When the Direct Rendering Manager (DRM) framework...
Graphics support in Linux has gone a long way. When the Direct Rendering Manager (DRM) framework was first introduced, its main point was to allow concurrent submission of rendering jobs to a GPU. Since then, it gained: A display API and framework, Kernel Mode-Setting (KMS); Memory management capabilities through Tr...

linux testing
1
Deploy code faster: with CI/CD and Kubernetes | Google Kubernetes Engine (GKE) | Google Cloud

google.com

Stay organized with collections Save and categorize content based on your preferences. SCENE 2: Jason on...
Stay organized with collections Save and categorize content based on your preferences. SCENE 2: Jason on a beach, dressed in ancient greek armor. Sword in hand, he battles skeletal warriors and a flying harpy. NARRATOR: In ancient times, he battled gods and monsters with his mighty band of argonauts... SCENE 3: Jaso...

devops linux
2
What are you doing this weekend? | Lobsters

lobste.rs

Feel free to tell what you plan on doing this weekend and even ask for help...
Feel free to tell what you plan on doing this weekend and even ask for help or feedback. Please keep in mind it’s more than OK to do nothing at all too!

ask programming
1