The Lobste.rs RSS feed
@lobsters-feed.bsky.social
Technology-focused link-aggregation community. Using /newest.rss feed. Not affiliated with lobste.rs. Currently beta; by @mycroft.mkz.me
How to Find Bugs in Systems That Don't Exist https://lobste.rs/s/izdtd6 #video #practices #formalmethods
How to Find Bugs in Systems That Don't Exist - Hillel Wayne | SSW 2026
Abstract: Building correct distributed systems takes thinking outside the box, and the fastest way to do that is to think inside a different box. One differe...
youtube.com
Semantic field: one field for multimodal search in Elasticsearch https://lobste.rs/s/5dryxw #databases
Semantic field: one field for multimodal search in Elasticsearch
Semantic field generates multimodal embeddings for images, audio, video and PDFs. Run image search and cross-modal queries from one Elasticsearch field....
elastic.co
Nix Overrides That Expire Themselves https://lobste.rs/s/wnyesi #nix
Nix Overrides That Expire Themselves
Package overrides in a Nix flake tend to outlive the problem they were written to solve. A small trick with lib.warnIf makes an override announce when nixpkgs has caught up and the override can be deleted.
jezenthomas.com
"Five-Point Haskell": Unconditional Election via Parametricity https://lobste.rs/s/zyb2pm #haskell
"Five-Point Haskell": Unconditional Election (via Parametricity)
Welcome back to Five-Point Haskell! This is my attempt to codify principles of writing robust, maintainable, correct, clear, and effective code in Haskell and to dispel common bad practices (or, heresies) I have run into in my time. In the last post, we talked about Total Depravity, which is about treating any mentally tracked constraint or condition as inevitably leading to a catastrophe and denouncing the reliance on our flawed mental context windows. However, stopping here gives us an incomplete picture. Firstly, types aren’t just about preventing bad behaviors. They’re about designing good code. Secondly, there is only so much you can do by picking careful structures and making invalid states unrepresentable. These are still human tools with human flaws. The next point, to me, is about an aspect of the type system that I see little coverage of, but is a doctrine of design that I reach for in almost everything I write. It’s about leveraging the unyielding properties of math itself to take care of our fate, even when we are unable to structure our types well. So, when writing Haskell, remember Unconditional Election. Unconditional Election: The power of the forall to elect or reprobate instantiations and implementations through parametric polymorphism. These properties aren’t based on any conditional ad-hoc aspect of types, but are truly unconditional, predestined by universal quantification.Surrender your control to parametric polymorphism in all things. Embrace the “free”-dom of “Free Theorems” from one of Haskell’s greatest unexpected strengths: the type parameter.
blog.jle.im
The Story of Mac: A Just-So Story https://lobste.rs/s/rusrlh #lisp
The Story of Mac: A Just-So Story
gigamonkeys.com
Add html <details> element to allowed comment syntax https://lobste.rs/s/eoqrje #meta
Add html <details> element to allowed comment syntax
0 comments
lobste.rs
we finally learned to center a div, then browsers added sidebars https://lobste.rs/s/ikkudb #design #browsers #css
we finally learned to center a div, then browsers added sidebars
centering a page in the browser window instead of the webview.
seg6.space
Anti-fascist PieFed features https://lobste.rs/s/q7oa04 #web #culture
Anti-fascist PieFed features - PieFed
Some time ago some fascists took a copy of Mastodon and made Truth Social with it. Arguably the damage caused by Truth Social to the world is greater than the good Mastodon brought to a few of us. This is my greatest fear, for PieFed. I can’t stop fascists from using software I made but […]
join.piefed.social
Don't stop early: Case-folding source code at memory speed https://lobste.rs/s/qsgcgz #rust #performance
Don't stop early: Case-folding source code at memory speed
How a branch-free loop and byte-space arithmetic let GitHub case-fold every byte of code search at >45 GiB/s on a single core.
github.blog
An Honest Review of AI Programming https://lobste.rs/s/tuanw3 #rant #c++ #ai
An Honest Review of AI Programming
mropert.github.io
irken: A tiny hackable full-featured IRC client https://lobste.rs/s/12aef8 #programming
irken
A tiny hackable full-featured IRC client
codeberg.org
Born Against, or why hobby programming communities are aggressively against LLM usage https://lobste.rs/s/3d3wbr #ai
Born Against, or why hobby programming communities are aggressively against LLM usage
blog.fogus.me
Keyv and friends compromised in npm supply chain attack https://lobste.rs/s/krevdg #javascript #security
Keyv and friends compromised in npm supply chain attack
Mini Shai-Hulud malware was injected into keyv and eight related npm packages on August 4, 2026 after an attacker compromised the maintainer's GitHub account
aikido.dev
Safe Lock-free Primitives with iceoryx2's ByteAtomic https://lobste.rs/s/o8wjbb #rust
Safe Lock-free Primitives with iceoryx2's ByteAtomic
An introduction to iceoryx2's byte-wise atomic wrapper, which enables the implementation of safe, lock-free primitives.
ekxide.io
Security is Hard, Y’all https://lobste.rs/s/qoptbx #security
Web Security is Too Hard
It started innocently enough. I saw a tweet about a new product offering from one of my favorite companies, Cloudflare. Neat! I clicked through to the site and there it is: And huzzah!, my preferre…
textslashplain.com
Enabling the next iteration of the borrow checker on nightly https://lobste.rs/s/skft2i #rust
Enabling the next iteration of the borrow checker on nightly | Rust Blog
Empowering everyone to build reliable and efficient software.
blog.rust-lang.org
Taming the Steam arm64 client (on pmOS) https://lobste.rs/s/dpn8yn #linux #games
Taming the Steam arm64 client (on pmOS)
blog.drakulix.de
