~lobsters | Bookmarks (2048)

The Memory Safety Continuum

openssf.org

Much of the conversation around software memory safety has treated the concept as if it were...
Much of the conversation around software memory safety has treated the concept as if it were a binary where software is either memory safe or it is not. The truth, as is often the case, is more complex. In an ideal world, we would all write our software in memory safe by default languages, never needing to use an un...

plt security
1
GitHub - blacklight/nvim-http: An HTTP client for neovim inspired by vscode-restclient and the IntelliJ HTTP client

github.com

api programming vim
1
AI ambivalence

nolanlawson.com

I’ve avoided writing this post for a long time, partly because I try to avoid controversial...
I’ve avoided writing this post for a long time, partly because I try to avoid controversial topics these days, and partly because I was waiting to make my mind up about the current, all-consuming, conversation-dominating topic of generative AI. But Steve Yegge’s “Revenge of the junior developer” awakened something i...

ai practices
1
Test Sizes

googleblog.com

What do you call a test that tests your application through its UI? An end-to-end test?...
What do you call a test that tests your application through its UI? An end-to-end test? A functional test? A system test? A selenium test? I’ve heard all them, and more. I reckon you have too. Tests running against less of the stack? The same equally frustrating inconsistency. Just what, exactly, is an integration t...

testing
1
PyTorch and Python Free-Threading – Trent Nelson

trent.me

ai python
1
Fast Compilation or Fast Execution: Just Have Both!

cedardb.com

At CedarDB, we believe in high-performance computing. And one of the easiest tricks to high performance...
At CedarDB, we believe in high-performance computing. And one of the easiest tricks to high performance is to do only what you really need to do. So you want to reduce data movement or reduce unnecessary branches. But how can you be sure you are only doing what you need to do? Especially when you want to be flexible...

compilers databases
1
chawan: TUI Web Browser

sr.ht

Project page #What is this? A text-mode web browser. It displays websites in your terminal and...
Project page #What is this? A text-mode web browser. It displays websites in your terminal and allows you to navigate on them. It can also be used as a terminal pager. #Compiling Note: a POSIX-compliant operating system is required. Clone the Chawan repository: git clone https://git.sr.ht/~bptato/chawan && cd chawan...

browsers web
1
Django 5.2 released

djangoproject.com

django framework open-source python release
1
How crawlers impact the operations of the Wikimedia projects

wikimedia.org

Since the beginning of 2024, the demand for the content created by the Wikimedia volunteer community...
Since the beginning of 2024, the demand for the content created by the Wikimedia volunteer community – especially for the 144 million images, videos, and other files on Wikimedia Commons – has grown significantly. In this post, we’ll discuss the reasons for this trend and its impact. The Wikimedia projects are the l...

ai
1
Grepping logs remains terrible - Chronicae Novis Rebus

mad-scientist.club

devops practices unix
1
Coherent Systems : CoSy.com

cosy.com

This is APL written in Forth (i.e. extending Forth with Arrays). You can run it and...
This is APL written in Forth (i.e. extending Forth with Arrays). You can run it and read the tutorial here: https://cosyapl.storage.googleapis.com/cosy.html Comments

apl freedom philosophy plt temperature physics
1
GitHub - Lysxia/advent-of-coq-2021

github.com

formalmethods
1
GitHub - Octachron/roguetype: The first ever roguelike written in the OCaml type system

github.com

ml plt
1
GitHub - tim-janik/jj-fzf: Text UI for Jujutsu based on fzf, centering around the jj log with key bindings for common operations

github.com

vcs
1
new state of the art turing test: drawing a rubik's cube

github.com

new state of the art turing test: drawing a rubik's cube

ai
2
Streaming Postgres data: the architecture behind Sequin

sequinstream.com

Database replication is critical for modern applications. Teams build replication pipelines for data synchronization, building event-based...
Database replication is critical for modern applications. Teams build replication pipelines for data synchronization, building event-based workflows, or improving availability. At Sequin, we set out to build a very fast replication pipeline with strong delivery and ordering guarantees. After several iterations, we w...

databases distributed
1
GitHub - TecharoHQ/anubis: Weighs the soul of incoming HTTP requests using proof-of-work to stop AI crawlers

github.com

ai
1
Goodbye Offpunk, Welcome XKCDpunk!

ploum.net

browsers show
1
Intuiting TLS

kprotty.me

How do you speak privately in a public setting? Think about it. The internet’s age-old problem;...
How do you speak privately in a public setting? Think about it. The internet’s age-old problem; Anyone between you and the websites you visit can see (and even edit) all back-and-forth communication. Can you prevent the router at starbucks from seeing your login password? This is what stuff like Transport Layer Secu...

cryptography education
1
CSS System colors

anto.pt

antonio pitasi blockchain css distributed systems photography
1
Rockbox - Rockbox mail archive

rockbox.org

release
1
Python Polars: The Definitive Guide

polarsguide.com

Welcome to the official website of the book Python Polars: The Definitive Guide by Jeroen Janssens...
Welcome to the official website of the book Python Polars: The Definitive Guide by Jeroen Janssens and Thijs Nieuwdorp. The book is now available in both print and ebook formats at your favorite bookstore. To decide if this book is right for you (or while you’re waiting for your copy to arrive), you can: Get a sneak...

book python
1
Think I implemented a unique feature in my feed reader • AndreGarzia.com

andregarzia.com

I went through a burn out and spent the last three or so years without working...
I went through a burn out and spent the last three or so years without working on a development project of my own, then something clicked last month and I started enjoying it again. The result of that was a new add-on for Firefox called BlogCat that is a feed reader with some blog posting features as well. It is qui...

web
1
My new Emacs (and Ruby) based Static Site Generator

sapka.pl

emacs
2