~lobsters | Bookmarks (1979)

Bookmark Keywords

paper.wf

browsers
1
The Structure of a Programming Language Revolution (2012)

dreamsongs.com

historical pdf plt
1
Embeddings are underrated

technicalwriting.dev

Here’s an overview of how you use embeddings and how they work. It’s geared towards technical...
Here’s an overview of how you use embeddings and how they work. It’s geared towards technical writers who are learning about embeddings for the first time. Someone asks you to “make some embeddings”. What do you input? You input text.1 You don’t need to provide the same amount of text every time. E.g. sometimes your...

ai practices science
2
Building a better and scalable system for data migrations

yorickpeterse.com

databases scaling
2
A Practitioner's Guide to Wide Events | Jeremy Morrell

jeremymorrell.dev

distributed
1
A Compiler for 3D Machine Knitting

amazonaws.com

The authors of another paper mentioned the connection between knitting and programming languages which reminded me...
The authors of another paper mentioned the connection between knitting and programming languages which reminded me that compilers for knitting machines are a thing, which blew my mind when I first learned about it. Here’s the first paper I could find on the topic from a quick search. Abstract: Industrial knitting machines can produce finely detailed, seamless, 3D surfaces quickly and without human intervention....

compilers pdf
1
Several Russian developers lose kernel maintainership status [LWN.net]

lwn.net

Also see: Getting called “Paid Actor” by Linus Torvalds linux: Goodbye from a Linux community volunteer...
Also see: Getting called “Paid Actor” by Linus Torvalds linux: Goodbye from a Linux community volunteer - lore.kernel.org Comments

culture law
5
Paper: Feminism in Programming Language Design

felienne.com

Next week I will visit SPLASH to present a paper titles “A case for feminism in...
Next week I will visit SPLASH to present a paper titles “A case for feminism in programming language design”, co-authored with Ari Schlesinger. A preprint of the paper can be found at the end of this post, if you want to check it out, or in the ACM digital library. I fully understand that this paper title will creat...

plt practices
3
React on the server is not PHP

artmann.co

Today, I wanted to talk about a topic that's been buzzing around Twitter and dev circles...
Today, I wanted to talk about a topic that's been buzzing around Twitter and dev circles lately. You've probably heard people say, "Now that we're server-side rendering JavaScript, it's just PHP all over again!" 🤔 Well, buckle up, because I'm about to explain why that's not quite the case – and why it's actually, it...

javascript nodejs web
2
Our container platform is in production. It has GPUs. Here’s an early look

cloudflare.com

Interesting deep dive into Cloudflare’s plans to provide a new container platform, and how they manage...
Interesting deep dive into Cloudflare’s plans to provide a new container platform, and how they manage it globally. They describe how they manage access to GPUs, with loads of helpful diagrams., about how they use AnyCast. Unlike Fly, it looks like they still use HashiCorp Nomad internally for scheduling containers, and they’ve effectively built a faster implementation of docker pull, using zstd and their...

agile developer services ai developer platform developers distributed
2
Smarter than 'Ctrl+F': Linking Directly to Web Page Content

alfy.blog

web
3
Announcing Toasty, an async ORM for Rust | Tokio - An asynchronous Rust runtime

tokio.rs

databases rust
2
SERVFAIL: the first 100 days

sdomi.pl

Co-Authored-By: famfo Our little project has turned 100 days old today! For the unaware: SERVFAIL is...
Co-Authored-By: famfo Our little project has turned 100 days old today! For the unaware: SERVFAIL is our (sdomi, famfo, Merlin, TheresNoTime) authoritative nameserver project: we host nameservers and provide a web interface for managing zones (adding/modifying/deleting records, etc). Users can then delegate their do...

authoritative distributed dns dns server servfail
1
Request-reply in Postgres

sequinstream.com

We're Sequin, an open source message stream like Kafka, but built on Postgres. Like any Postgres...
We're Sequin, an open source message stream like Kafka, but built on Postgres. Like any Postgres maxi, we tend to find ourselves down a Postgres rabbit hole a couple times per month. This is one of those times :) Who doesn't like to go a little overboard with Postgres? Extensions like pgsql-http push what we think i...

databases
2
Rust Prism

thorstenball.com

Here, take a look at this snippet of Rust code that’s been stuck in my head...
Here, take a look at this snippet of Rust code that’s been stuck in my head for weeks now:async fn send_request( url: &str, metrics: &mut Metrics ) -> Result<String> { let mut finish = defer(|| metrics.requests += 1); let request = reqwest::get(url); tokio::select! { response = request => { let response = response?;...

rust
1
Halloween Problem - Wikipedia

wikipedia.org

Phenomenon with database updates where a row is updated more than once In computing, the Halloween...
Phenomenon with database updates where a row is updated more than once In computing, the Halloween Problem refers to a phenomenon in databases in which an update operation causes a change in the physical location of a row, potentially allowing the row to be visited again later in the same update operation. This coul...

databases
1
The Global Surveillance Free-for-All in Mobile Ad Data – Krebs on Security

krebsonsecurity.com

privacy
2
Using Nix to Fuzz Test a PDF Parser (Part One)

mtlynch.io

Fuzz testing is a technique for automatically uncovering bugs in software. The problem is that it’s...
Fuzz testing is a technique for automatically uncovering bugs in software. The problem is that it’s a pain to set up. Read any fuzz testing tutorial, and the first task is an hour of building tools from source and chasing down dependencies upon dependencies.I recently found that Nix eliminates a lot of the gruntwork...

nix security
1
Async Rust in Three Parts

jacko.io

rust
2
rust-blog/posts/rust-in-non-rust-servers.md at master · pretzelhammer/rust-blog

github.com

javascript performance rust wasm
2
Rustls Outperforms OpenSSL and BoringSSL

memorysafety.org

ISRG has been investing heavily in the Rustls TLS library over the past few years. Our...
ISRG has been investing heavily in the Rustls TLS library over the past few years. Our goal is to create a library that is both memory safe and a leader in performance.Back in January of this year we published a post about the start of our performance journey. We've come a long way since then and we're excited to sh...

performance rust security
2
TLA from first principles

buttondown.com

October 22, 2024 I'll be speaking at USENIX SRECon! I'm working on v0.5 of Logic for...
October 22, 2024 I'll be speaking at USENIX SRECon! I'm working on v0.5 of Logic for Programmers. In the process of revising the "System Modeling" chapter, I stumbled on a great way to explain the temporal logic of actions that TLA+ is based on. I'm reproducing that bit here with some changes to fit the newsletter f...

formalmethods math
4
Representing Knowledge and Querying Data using Double-Functorial Semantics

arxiv.org

databases math
1
recipe-book

codeberg.org

: 🍂 🎉 🎉 > 🍂💕 ; : 🌻 > 🍂 ; : 🍂 > ❄️...
: 🍂 🎉 🎉 > 🍂💕 ; : 🌻 > 🍂 ; : 🍂 > ❄️ ; : ❄️ > 🌱 🎉 ; : 🌱 > 🌻 ; 🍂 Recipe Book is a small multiset rewriting system written in Lua. It's hopefully small enough to be easy to modify, learn from, and expand upon. It's worth noting that it's not the most robust engine....

foss free git lua non-profit
1