~lobsters | Bookmarks (2043)

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
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
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
My new Emacs (and Ruby) based Static Site Generator

sapka.pl

emacs
2
Who's Hiring? Q2 2025 | Lobsters

lobste.rs

Template: **Company:** XXXXXX **Company site:** XXXXX **Position(s):** XXXXXX **Location:** XXXXXX (please specify whether REMOTE, REMOTE(US) or...
Template: **Company:** XXXXXX **Company site:** XXXXX **Position(s):** XXXXXX **Location:** XXXXXX (please specify whether REMOTE, REMOTE(US) or ONSITE) **Description:** XXXXXX **Tech stack:** XXXXXX **Compensation:** Salary, equity, vacation, major benefits. **Contact:** XXXXXX

job
1
Programming with an AI copilot: My perspective as a senior dev

mlagerberg.com

AI/LLMs are great, but the surrounding hype and euphoria did not appeal to me as much....
AI/LLMs are great, but the surrounding hype and euphoria did not appeal to me as much. This article hit it close to home with regards to my own experience in the past year with github copilot and chatgpt. Edit: The linked articles are also great reads. Comments

ai programming
1
3110 Coq Tactics Cheatsheet

cornell.edu

formalmethods
1
Post #1425921 by @christian

taggr.link

security
1
Foundation Models and Unix

vagos.github.io

Here are examples of use of foundation models in a UNIX-like environment. A model is defined...
Here are examples of use of foundation models in a UNIX-like environment. A model is defined as foundational when it has been trained on a very large/diverse dataset, and can be immediately used or fine-tuned for many downstream tasks. Most examples involve using classic and more recent UNIX utilities to glue togeth...

ai linux
1
Ekapkgs, a poly-repo fork of Nixpkgs

nixcademy.com

nix
1
GNU Octave

octave.org

math programming
1
The Evolution of HTTPS Adoption in Firefox

attackanddefense.dev

We at Mozilla believe that people deserve privacy and one of the most important pieces of...
We at Mozilla believe that people deserve privacy and one of the most important pieces of web privacy is provided through ubiquitous encryption. Because of this, we shipped HTTPS-First by default as of Firefox 136 (March 4th). The mechanism upgrades all page loads to HTTPS and also includes an automated fallback to ...

browsers privacy security
1
Wayback Machine

archive.org

pdf plt
1