~lobsters | Bookmarks (2137)

FramePack

lllyasviel.github.io

ai
2
</> htmx ~ Vendoring

htmx.org

Carson Gross January 27, 2025 “Vendoring” software is a technique where you copy the source of...
Carson Gross January 27, 2025 “Vendoring” software is a technique where you copy the source of another project directly into your own project. It is an old technique that has been used for time immemorial in software development, but the term “vendoring” to describe it appears to have originated in the ruby communit...

practices programming
1
falsify: Hypothesis-inspired shrinking for Haskell

well-typed.com

haskell python testing
2
Frankenstein’s `__init__`

ohadravid.github.io

Inspired by a recent post about the woes of __init__ methods in Python, I thought I’d...
Inspired by a recent post about the woes of __init__ methods in Python, I thought I’d share the untold story of the absolute craziest __init__ I’ve come across in a production codebase.It all started when I tried to add a failing test to a Python service.The test was indeed failing, but every now and then it would f...

blog python rust tech thoughts
3
2025 - easters.dev

easters.dev

event games programming show
1
Deus Lex Machina - Validark's Blog

validark.dev

Today, I am excited to announce the alpha release of a brand new compacting Zig tokenizer!...
Today, I am excited to announce the alpha release of a brand new compacting Zig tokenizer! You may find it in the following repository:Waiting for api.github.com...Give it a star and come back!Please note it is not ready for prime-time just yet, since there are still more optimizations to be had, as well as support ...

performance zig
1
Sinon's Blog

vortan.dev

E-Matching is a pattern matching technique that considers syntactic structures and established equalities. Suppose you’re trying...
E-Matching is a pattern matching technique that considers syntactic structures and established equalities. Suppose you’re trying to apply the axiom:The solver must find terms in its database that match f(x). These need to match syntactically, and up to equality. The “E” in E-matching refers to equality reasoning, us...

math performance zig
2
Buried Toggles Begging to be Brought to Light

venam.net

blog deliberate linux philosophy psychology
1
Open Core and .NET Foundation: Time for Some Introspection? | Lobsters

lobste.rs

As an open-source foundation, the projects you endorse reflect directly on your values, brand, and public...
As an open-source foundation, the projects you endorse reflect directly on your values, brand, and public trust. Foundations like Apache have set high standards by being selective about projects they host, especially discouraging those that drift into monetization models that reduce openness — such as paywalling core components or shifting key features behind paid licenses. A current .NET Foundation project, Avalonia, appears to be...

dotnet windows
1
System Design of a Cellular APL Computer

ieee.org

apl hardware
2
15,000 lines of verified cryptography now in Python

protzenko.fr

In November 2022, I opened issue 99108 on Python’s GitHub repository, arguing that after a recent...
In November 2022, I opened issue 99108 on Python’s GitHub repository, arguing that after a recent CVE in its implementation of SHA3, Python should embrace verified code for all of its hash-related infrastructure. As of last week, this issue is now closed, and every single hash and HMAC algorithm exposed by default i...

cryptography python
1
Revisiting an early critique of formal verification

lawrencecpaulson.github.io

formalmethods historical
1
Neovim users: what AI tools are you using? | Lobsters

lobste.rs

There are a ton of llm/AI tools for nvim now, but what’s everyone here using? I...
There are a ton of llm/AI tools for nvim now, but what’s everyone here using? I know of: codecompanion.nvim https://github.com/olimorris/codecompanion.nvim ChatGPT.nvim https://github.com/jackMort/ChatGPT.nvim llm.nvim https://github.com/Kurama622/llm.nvim … and several others - but I’m curious what y’all are using. I’m especially interested in any that incorporate multiple models - e.g., llama4 for simple autocompletes, o4 for design, etc.

ai ask editors vim
1
Antithesis driven testing

sqlsync.dev

distributed testing
1
Common shell script mistakes

pixelbeat.org

I've written a few shell scripts in my time and have read many more, and I...
I've written a few shell scripts in my time and have read many more, and I see the same issues cropping up again and again (unfortunately even in my own scripts sometimes). While there are lots of shell programming pitfalls, at least the interpreter will tell you immediately about them. The mistakes I describe below...

programming
1
Easter hack: terraform-provider-openwrt

linderud.dev

Easter hack: terraform-provider-openwrt April is usualy tax season for most people in Norway, and as I...
Easter hack: terraform-provider-openwrt April is usualy tax season for most people in Norway, and as I got some “money back on the skætt” I wound up purchasing an OpenWrt One to replace my 13-14 year old Asus router. I’ve been meaning to learn a bit more about networking in general and getting an OpenWrt router seem...

devops english linux openwrt
1
Image segmentation using Gemini 2.5

simonwillison.net

18th April 2025 Max Woolf pointed out this new feature of the Gemini 2.5 series (here’s...
18th April 2025 Max Woolf pointed out this new feature of the Gemini 2.5 series (here’s my coverage of 2.5 Pro and 2.5 Flash) in a comment on Hacker News: One hidden note from Gemini 2.5 Flash when diving deep into the documentation: for image inputs, not only can the model be instructed to generated 2D bounding box...

ai
1
Microsecond transforms: Building a fast sandbox for user code

sequinstream.com

Often, platforms let users supply code to customize behavior. But sandboxing user code for safe execution...
Often, platforms let users supply code to customize behavior. But sandboxing user code for safe execution is a complex challenge.At Sequin, we needed a solution for our new transforms feature. This feature allows users to write functions that transform and route messages streaming from their database. This feature r...

api elixir lua virtualization wasm
1
What are you doing this weekend? | Lobsters

lobste.rs

Feel free to tell what you plan on doing this weekend and even ask for help...
Feel free to tell what you plan on doing this weekend and even ask for help or feedback. Please keep in mind it’s more than OK to do nothing at all too!

ask programming
1
GitHub - hellas-ai/awesome-consensus: A bibliography for protocol design

github.com

distributed
1
Vibing code quality

jml.io

A lot of folk are trying out generative AI and sharing their experiences. It’s undeniably a...
A lot of folk are trying out generative AI and sharing their experiences. It’s undeniably a cool technology that makes users feel awesome by granting them a superpower. Here’s a story about a time that happened to me.Set up #A few days ago, one of the people at work privately pointed out an error in a doc I wrote ab...

ai javascript
1
@j-g00da's webpage

jslazak.com

Ratatui gave us beautiful TUIs. Ratzilla expanded it to the web. But why shall we stop...
Ratatui gave us beautiful TUIs. Ratzilla expanded it to the web. But why shall we stop there? Why shall we stop anywhere? This series is meant to document and promote the joint effort of making ratatui truly portable. I've started the discussion on making ratatui-core crate no_std just two weeks ago, when I realized...

rust show
1
Why I Cannot Be Technical

fightforthehuman.com

culture
2
GitHub - tsoding/olive.c: Simple 2D Graphics Library for C

github.com

graphics
1