~lobsters | Bookmarks (1935)

Lustre tutorial

gleamtours.com

gleam web
1
Announcing Hotwire Spark: live reloading for Rails applications

37signals.com

Today, we are releasing Hotwire Spark, a live-reloading system for Rails Applications. Reloading the browser automatically...
Today, we are releasing Hotwire Spark, a live-reloading system for Rails Applications. Reloading the browser automatically on source changes is a problem that has been well-solved for a long time. Here, we wanted to put an accent on smoothness. If the reload operation is very noticeable, the feedback loop is similar...

release ruby
1
Formally modeling dreidel, the sequel

buttondown.com

formalmethods math
2
Universal Tools For AI | 🤖

mcp.run

TL;DRAnnouncing the extensible MCP Server: mcpx & mcp.run: its "app store" & registry for servlets. Search,...
TL;DRAnnouncing the extensible MCP Server: mcpx & mcp.run: its "app store" & registry for servlets. Search, install & manage secure & portable tools for AI, wherever it goes - desktop, mobile, edge, server, etc.Try it now → A few weeks ago, Anthropic announced the Model Context Protocol (MCP). They describe it as: [...

ai wasm
1
A history of the microcomputer industry in 300 adverts

nosher.net

historical
1
GitHub - abuseofnotation/static-feed-aggregator: An RSS aggregator that generates a simple embeddable static Markdown page

github.com

show unix web
1
Home Manager: dotfiles management • gvolpe's blog

gvolpe.com

Quoting the official description Home Manager: This project provides a basic system for managing a user...
Quoting the official description Home Manager: This project provides a basic system for managing a user environment using the Nix package manager together with the Nix libraries found in Nixpkgs. It allows declarative configuration of user specific (non-global) packages and dotfiles. Wait a minute! If you had been f...

nix
2
Tiny C Binaries

lunar.sh

Written on October 24, 2020 By default, following the linking stage, GCC generates ELF binaries that...
Written on October 24, 2020 By default, following the linking stage, GCC generates ELF binaries that contain redundant section data that increase executable size. The standard file format for executable object code on Linux is ELF (Executable and Linkable Format), it is the successor to the older COFF UNIX file form...

linux performance
1
Peter Bourgon · Remote development from Mac to Linux

bourgon.org

2011 04 27 I love using a Mac as my development machine, but when I’m writing...
2011 04 27 I love using a Mac as my development machine, but when I’m writing code for a Linux target the options are slim pickings. There are a lot of headaches involved with things like sshfs or NFS. It’s a little silly to run a virtualized Ubuntu install just to run “make”. You can’t always install a full X deskt...

practices unix
1
What are temporal and spatial memory safety?

yoshuawuyts.com

The lovely folks working on security over at Google have recently been writing about "temporal (memory)...
The lovely folks working on security over at Google have recently been writing about "temporal (memory) safety" and "spatial (memory) safety". When I first saw these terms it took me a minute to figure out what they meant, as searching for it online didn't yield immediate answers. So I figured it might be helpful to...

programming
1
AI and Internet Hygiene

late-review.com

I’m from a very specific generation, the first one in which learning how to use the...
I’m from a very specific generation, the first one in which learning how to use the open Internet was a skill taught in childhood. There’s not much that’s good about being from this generation (I will never own a house, be out of student loan debt, and the idea of having children takes on an air of fantasy) but at l...

ai
1
GitHub - ergochat/ergo: A modern IRC server (daemon/ircd) written in Go.

github.com

go networking
2
Wiki - SurveyOfSystemLanguages2024

alopex.li

In case you missed it, there’s a whole new generation of low-level programming languages being created...
In case you missed it, there’s a whole new generation of low-level programming languages being created right now. Rust demonstrated vividly in 2016 that there is a massive unmet need in this space, and it has spawned a bunch of successor languages, though none of them have really hit the relative big-time like Rust ...

plt
1
Optimizing Ruby’s JSON, Part 1

byroot.github.io

performance ruby
3
Introduce support for the Meson build system - git.git - The core git plumbing

kernel.org

programming vcs
1
My go-to C++ code for asynchronous work processing on a separate thread - Raymii.org

raymii.org

You probably recognise this situation. You're working on your code and realise that the thing you're...
You probably recognise this situation. You're working on your code and realise that the thing you're writing might take long, be blocking or is batch-wise. It might be resizing images, calling some API or processing hardware inputs or a stream of incoming messages. These tasks, if not handled efficiently, can halt y...

c++
1
Murder Mystery: GCC Builds Failing After sbuild Refactoring

linux.it

debugging linux testing
3
December 2024 Monthly Development Update

tlapl.us

Hello! You’re reading the inaugural edition of the TLA⁺ Foundation monthly development update. Here I’ll summarize...
Hello! You’re reading the inaugural edition of the TLA⁺ Foundation monthly development update. Here I’ll summarize the past month of development for the benefit of Foundation patrons and interested members of the community. These posts are authored by Andrew Helwer and while I’ll focus a fair bit on my own work (as ...

formalmethods
1
Moon – Bartosz Ciechanowski

ciechanow.ski

eclipse gravity impact moon phases
5
Hartwork Blog · Django security hardenings that are not happening

hartwork.org

2024-12-15 23:27 I was pointed to a vulnerable Django setup not too long ago, and had...
2024-12-15 23:27 I was pointed to a vulnerable Django setup not too long ago, and had a closer look. Their setup would have allowed potential arbitrary remote code execution through this combination of configurations, with emphasis on combination: They were using a Redis database that listens to the public internet ...

python security web
1
Effectful

haskell-effectful.github.io

haskell
1
Go's Weird Little Iterators · mcyoung

mcyoung.xyz

A second post on Go silliness (Miguel, aren’t you a C++ programmer?): in 1.23, Go finally...
A second post on Go silliness (Miguel, aren’t you a C++ programmer?): in 1.23, Go finally added custom iterators. Now, back when I was at Google and involved in the Go compiler as “the annoying Rust guy who gets lunch with us”, there were proposals suggesting adding something like this, implemented as either an inte...

go
1
Interactive diagrams for complex systems

medium.com

I’ve always been fascinated by modern distributed systems’ complexity, eager to understand how they work. However,...
I’ve always been fascinated by modern distributed systems’ complexity, eager to understand how they work. However, it’s often tricky, especially during emergencies when the only person who knows about some legacy system isn’t available, and the documentation is outdated. Diagrams give a quick look into complex syste...

design diagramming diagrams graphics interactive content
1
Pizarra

categulario.xyz

graphics
1