~lobsters | Bookmarks (1962)

eBPF: Unlocking the Kernel [OFFICIAL DOCUMENTARY]

youtube.com

linux networking science & technology video
1
Bemyak's blog - Am I Secure?

bemyak.net

📅 2024-10-22⏳ 7 min readI often see how people make security decisions based on pure intuition....
📅 2024-10-22⏳ 7 min readI often see how people make security decisions based on pure intuition. Can I store TOTP in my password manager? Should I use a local password manager or is a remote one OK? Is it OK to configure multiple second factors?Since I have a degree in Information Security 🤓, I think I’ll try to clar...

security
1
Specifying serializability in TLA+

surfingcomplexity.blog

Concurrency is really, really difficult for humans to reason about. TLA+ itself was borne out of...
Concurrency is really, really difficult for humans to reason about. TLA+ itself was borne out of Leslie Lamport’s frustration with the difficulty of write error-free concurrent algorithms: When I first learned about the mutual exclusion problem, it seemed easy and the published algorithms seemed needlessly complicat...

formalmethods
1
Operate Android Device on FreeBSD

wordpress.com

I really like communicators (or communication channels) that offer a web based interface – let it...
I really like communicators (or communication channels) that offer a web based interface – let it be WhatsApp or Telegram for example. Unfortunately many does not – like Signal for example – and while the FreeBSD based Signal package usually works – its good to have some alternative or fallback. There are also some ...

android freebsd
1
Working with stacked branches in Git is easier with --update-refs

andrewlock.net

git vcs
1
We're forking Flutter. This is why.

flutterfoundation.dev

mobile
2
Elixir clustering on a Kamal+Hetzner deployment

samrat.me

devops elixir til
1
Does Open Source AI really exist?

tante.cc

The Open Source Initiative (OSI) released the RC1 (“Release Candidate 1” meaning: This thing is basically...
The Open Source Initiative (OSI) released the RC1 (“Release Candidate 1” meaning: This thing is basically done and will be released as such unless something catastrophic happens) of the “Open Source AI Definition“. Some people might wonder why that matters. Some people come up with a bit of writing on AI, what else ...

ai
1
RTP

paper.wf

One protocol to rule them all: refining the ideas behind HTTP, BitTorrent, Gemini, and 9p. Goals...
One protocol to rule them all: refining the ideas behind HTTP, BitTorrent, Gemini, and 9p. Goals as simple as possible without sacrificing our other goals (less complex than http) performs well under poor network conditions, even when payloads are large (unlike gemini) performs well under high latency (unlike 9p) go...

networking
2
Don’t Implement Unification by Recursion

philipzucker.com

Unification is formal methods speak for solving equations. The most common form of unification discussed is...
Unification is formal methods speak for solving equations. The most common form of unification discussed is first order syntactic unification. When it succeeds, it solves a pile of equations no matter what the actual functions represent. [exists ?X ?Y] foo(bar(?X)) = foo(?Y) has a solution [forall ?Y ?X] ?Y = bar(?X...

plt
2
The Open Source AI Definition – 1.0

opensource.org

ai
1
The Supergraph Manifesto

supergraph.io

api
1
Using a CSS cursor to show the external link's favicon

shkspr.mobi

How do you know where this link goes to? If you're on a desktop, you might...
How do you know where this link goes to? If you're on a desktop, you might notice that hovering your mouse over it displays the destination somewhere on your screen. If you're a geek, you could view the source-code of a page. Can we improve the experience for users? Here's an attempt. Try hovering your cursor over t...

web
1
GitHub - freetonik/textpod: Extremely simple note-taking app inspired by "One Big Text File"

github.com

I really like the idea of “One Big Text File” (old Lobste.rs discussion) as a simple...
I really like the idea of “One Big Text File” (old Lobste.rs discussion) as a simple productivity tool. So I made a very simple UI on top of a single notes.md file with a few features: Notes are rendered on a HTML page, served via a local web-server Markdown support add + in front of a link, and a copy of the webpage will...

rust show
1
For Sale: Used Domain (**Clean Title**)

jim-nielsen.com

Bryan Braun has an interesting post about his experience with what he calls a “haunted domain”:...
Bryan Braun has an interesting post about his experience with what he calls a “haunted domain”: He buys a domain that seems fine on the surface. When he begins using it, he notices some things aren’t right (organic search traffic, for example, is dead). After some investigation, he learns the domain was previously u...

networking web
1
The parallel test bundle, a convention for Go testing — brandur.org

brandur.org

A year ago we went through of process of getting every test case in our project...
A year ago we went through of process of getting every test case in our project tagged with t.Parallel and ratcheted with paralleltest. I was initially skeptical about this being worth the effort because testing across Go packages was already happening in parallel, but it turned out to be a major boon for running la...

go testing
1
Jia Tanning Go code

arp242.net

go security
3
PEP 750 – Template Strings | peps.python.org

readthedocs.build

python
1
GitHub - melontini/bootloader-unlock-wall-of-shame: Keeping track of companies that "care about your data 🥺"

github.com

android
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
GitHub - pranil-augur/mantis: Mantis is a unified infrastructure as code framework that replaces Terraform and Helm

github.com

A fork of OpenTofu that uses CUE (a superset of JSON) to replace HCL we use...
A fork of OpenTofu that uses CUE (a superset of JSON) to replace HCL we use in Terraform, Helmfiles, and policies (e.g., OPA and Rego). Comments

devops
1
How we built object notifications in Tigris | Tigris Object Storage

tigrisdata.com

Autumn trees on a dusty road in Magoebaskloof, South Africa. Photo by Garren Smith, iPhone 13...
Autumn trees on a dusty road in Magoebaskloof, South Africa. Photo by Garren Smith, iPhone 13 Pro. Tigris now supports object notifications! Object notifications are how you receive events every time something changes in a bucket. Think of it as your bucket's way of saying "Hey, something happened! Come check it out...

ai blob storage databases distributed event streaming
1
Database Remote-Copy Tool For SQLite

sqlite.org

databases
2
OpenZFS deduplication is good now and you shouldn't use it

despairlabs.com

freebsd linux
2