~lobsters | Bookmarks (2110)

The platform engineering toolkit for Kubernetes | Koreo

koreo.dev

devops iac infrastructure as code kubernetes platform engineering
1
GitHub - rochus-keller/Micron: A compiler for the Micron programming language - the Oberon with the power of C

github.com

programming
1
GitHub - BarrelfishOS/barrelfish: Mirror of the official Barrelfish OS repository.

github.com

The core conceit was making an OS which self deploys onto new machinesz measuring the hardware...
The core conceit was making an OS which self deploys onto new machinesz measuring the hardware etc. and figuring out how to optimize itself - expecting a future with many machine types, where it’d be too costly to actually port OSs to them. Comments

osdev
1
An LLM Query Understanding Service

softwaredoug.com

ai show
2
Man pages are great, man readers are the problem

whynothugo.nl

unix
2
Maintenance Notice - Whisky Documentation

getwhisky.app

games mac
2
Neighbourhoodie - How to Sync Anything

neighbourhood.ie

In this article I’ll discuss a common naive solution to replication, why it doesn’t work, and...
In this article I’ll discuss a common naive solution to replication, why it doesn’t work, and what the building blocks of a good solution look like. Having established this theoretical framework, my next article will look at how CouchDB provides many of those building blocks such that replicating from it into any ot...

couchdb distributed offline first open source pouchdb
1
GitHub - facet-rs/facet: Rust reflection, serialization, deserialization — know the shape of your types

github.com

plt rust
1
Hardening the Firefox Frontend with Content Security Policies

attackanddefense.dev

browsers security
2
Is not writing tests unprofessional? — Matthias Noback - Blog

matthiasnoback.nl

Triggered by Marco Pivetta who apparently said during his talk at Symfony Live Berlin: "If you...
Triggered by Marco Pivetta who apparently said during his talk at Symfony Live Berlin: "If you still don't have tests, this is unprofessional", I thought I'd tweet about that too: "It's good for someone to point this out from time to time". I don't like it when a blog post is about tweets, just as I don't like it wh...

practices
1
oss-security - Announce: OpenSSH 10.0 released

openwall.com

networking security
1
Decomposing factorial of 300K as the product of 300K factors larger than 100K

gus-massa.blogspot.com

lisp math
2
A surprising enum size optimization in the Rust compiler · post by James Fennell

jpfennell.com

Enums are one of the most popular features in Rust. An enum is type whose value...
Enums are one of the most popular features in Rust. An enum is type whose value is one of a specified set of variants. /// Foo is either a 32-bit integer or character. enum Foo { Int(u32), Char(char), } Values of type Foo are either integers (e.g. the variant Foo::Int(3) with a payload of 3) or characters (e.g. the ...

compilers rust
2
C to Assembly

xta0.me

The compiler does a lot of stuff to translate C code to assembly Choose assembly instructions...
The compiler does a lot of stuff to translate C code to assembly Choose assembly instructions to implement C oeprations Implement C conditionals and loops using jumps and branches Choose registers and memory locations to store data Move data among the registers and memory to satifisy dependecies Coordinate function ...

assembly compilers
1
Hardened File Backup Routine

wrongthink.link

One overlooked aspect of data security is availability. If one cannot guarantee the ability to access...
One overlooked aspect of data security is availability. If one cannot guarantee the ability to access information, particularly following data damage or loss, one does not have security. I’ve arrived at the conclusion that another major component of a good backup system is simplicity. There are hundreds of programs ...

security unix
1
The Barium Experiment

sig7.se

graphics lisp
2
GitHub - hanickadot/shorty

github.com

Disclosure: the author is a friend of mine Comments

c++
2
GitHub - netbirdio/netbird: Connect your devices into a secure WireGuard®-based overlay network with SSO, MFA and granular access controls.

github.com

networking security
1
Cyc – Yuxi on the Wired

yuxi-liu-wired.github.io

Obituary for the greatest monument to logical AGI. After 40 years, 30 million rules, 200 million...
Obituary for the greatest monument to logical AGI. After 40 years, 30 million rules, 200 million dollars, 2000 person-years, and many promises, Cyc has failed to reach intellectual maturity, and may never will. Exacerbated by the secrecy and insularity of Cycorp, there remains no evidence of its general intelligence. https://github.com/yuxi-liu-wired/cyc-archive/tree/main Comments

ai historical programming
2
Bare | Fast, Lightweight Runtime for Modular JavaScript Apps

pears.com

bare desktop fast apps high-performance javascript
3
A feel for the data | Briefer

briefer.cloud

When I was writing my first book, my publisher taught me that "books with plenty of...
When I was writing my first book, my publisher taught me that "books with plenty of diagrams sell better". People flip through, see the visuals, and feel like they'll understand it. They don't read a word. They just know, and they buy your book. Same way you'll scroll through this post and think, “yeah, I'll get thi...

science visualization
1
GitHub - drecklypkg/dreckly: pkgsrc fork focused on quality and portability to all UNIX-like platforms

github.com

dragonflybsd freebsd linux netbsd openbsd
1
Better typography with text-wrap pretty

webkit.org

css design
3
“Verified” “Compilation” of “Python” with Knuckledragger, GCC, and Ghidra

philipzucker.com

assembly compilers formalmethods python reversing
1