~lobsters | Bookmarks (1972)

Reading the Generalized Isolation Level Definitions paper with Alloy

surfingcomplexity.blog

My last few blog posts have been about how I used TLA+ to gain a better...
My last few blog posts have been about how I used TLA+ to gain a better understanding of database transaction consistency models. This post will be in the same spirit, but I’ll be using a different modeling tool: Alloy. Like TLA+, Alloy is a modeling language based on first-order logic. However, Alloy’s syntax is qu...

databases formalmethods
1
Hyrum's Law in Golang / Abenezer Belachew

abenezer.org

I recently stumbled upon an intriguing comment while exploring the Go codebase. "Due to Hyrum's law,...
I recently stumbled upon an intriguing comment while exploring the Go codebase. "Due to Hyrum's law, this text cannot be changed." func (e *MaxBytesError) Error() string { return "http: request body too large" } Prior to this, I had never heard of Hyrum's law. A quick search revealed that it is a principle named aft...

api go practices
3
On "Safe" C++

izzys.casa

c++rust
1
Display/KMS Meeting at XDC 2024: Detailed Report | Wen.onweb

melissawen.github.io

amd blog display driver gpu drivers graphics
2
Understanding the BM25 full text search algorithm

emschwartz.me

compsci databases math
2
Testing with Go and PostgreSQL: ephemeral DBs

stapelberg.ch

Table of contents Let’s say you created a Go program that stores data in PostgreSQL —...
Table of contents Let’s say you created a Go program that stores data in PostgreSQL — you installed PostgreSQL, wrote the Go code, and everything works; great! But after writing a test for your code, you wonder: how do you best provide PostgreSQL to your automated tests? Do you start a separate PostgreSQL in a Docke...

databases go testing
1
What to expect from CHICKEN 6 | More magic

more-magic.net

NOTE: This is a guest post by Felix Winkelmann, the founder and one of the current...
NOTE: This is a guest post by Felix Winkelmann, the founder and one of the current maintainers of CHICKEN Scheme. This article is about the changes in the next major version of CHICKEN Scheme. The current version is 5.4.0. The next major version, 6.0.0, is mostly implemented. Currently we are adding final touches be...

compilers lisp
1
The Prequel to SQL is SEQUEL

buttondown.com

November 18, 2024 Meta note: follow me on Bluesky if you are so inclined. I've been...
November 18, 2024 Meta note: follow me on Bluesky if you are so inclined. I've been going through some historical stuff lately. Been on a history kick. We went to see the Robert Caro Power Broker exhibit at The New York Historical and it really got me in a mood to be digging through some old musty documents. The pap...

databases historical
1
Running Web Browsers in FreeBSD Jail

tumfatig.net

freebsd
1
An Unreachable Hidden XKCD Easter Egg inside CPython

codingconfessions.com

Are you an xkcd fan? I certainly am, and it looks like the CPython developers are...
Are you an xkcd fan? I certainly am, and it looks like the CPython developers are huge fans too, which is why the CPython code base has not one but two hidden Easter eggs related to xkcd comics.One of the Easter eggs is not that hidden; it’s the famous import antigravity comic. However, I stumbled upon another Easte...

python
1
Harmful Practices Considered Best | Zakhary's Home

zakhary.dev

practices
1
How a BBC navigation bar component broke depending on which external monitor it was on - Josh Tumath

joshtumath.uk

browsers debugging web
4
raylib v5.5 · raysan5/raylib · Discussion #4503

github.com

games release
1
How Many Values Does a Boolean Have?

danilafe.com

A friend of mine recently had an interview for a software engineering position. They later recounted...
A friend of mine recently had an interview for a software engineering position. They later recounted to me the content of the technical questions that they had been asked. Some had been pretty standard: “What’s the difference between concurrency and parallelism?” – a reasonable question given that Go was the company...

plt
1
Adding Apple’s Globe key to a QMK-powered keyboard

skip.house

I don’t remember when Apple quasi-promoted the Globe 🌐︎ key to act as a modifier that...
I don’t remember when Apple quasi-promoted the Globe 🌐︎ key to act as a modifier that can be used much like Control, Option, and Command, but it’s becoming increasingly useful to have it handy nowadays. With macOS Sequoia reaching GA back in September, a treasure trove of sorely overdue windowing commands have been ...

mac
1
Build your own SQLite in Rust, Part 3: SQL parsing 101

sylver.dev

After discovering the SQLite file format and implementing the .tables command in part 1 and part...
After discovering the SQLite file format and implementing the .tables command in part 1 and part 2 of this series, we're ready to tackle the next big challenge: writing our own SQL parser from scratch. As the SQL dialect supported by SQLite is quite large and complex, we'll initially limit ourselves to a subset that...

rust
1
What if Kubernetes Was a Compiler Target? - David Morrison & Tim Goodwin

youtube.com

compilers distributed science & technology video
1
A joke in approximating numbers raised to irrational powers

andreinc.net

math
2
Security means securing people where they are

yossarian.net

python security
1
Optimization adventures: making a parallel Rust workload 10x faster with (or without) Rayon | Blog | Guillaume Endignoux

gendignoux.com

performance rust
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
Importing a frontend Javascript library without a build system

jvns.ca

javascript
3
It’s Time to Replace TCP in the Datacenter (2023)

arxiv.org

networking pdf
1
The fat lady hasn't started singing just yet...

retroports.blogspot.com

I thought I'd give a brief run-down of the process that Knight Lore uses to render...
I thought I'd give a brief run-down of the process that Knight Lore uses to render each frame. I won't go into any of the algorithms, but just give an overview of the steps involved. As I've mentioned previously, Knight Lore builds and maintains a table of objects in the current room. The objects comprise absolutely...

games retrocomputing reversing
1