~lobsters | Bookmarks (2117)

Compiling C to Safe Rust, Formalized

arxiv.org

compilers rust
2
Turing Machines

samwho.dev

compsci historical retrocomputing
2
The jank programming language

compiler-research.org

Hi everyone! I’m Jeaye Wilkerson, creator of the jank programming language. jank is a dialect of...
Hi everyone! I’m Jeaye Wilkerson, creator of the jank programming language. jank is a dialect of Clojure which I’ve been working on for around eight years now. To start with, jank was an exploration of what my ideal programming language would be. Coming from a background of systems programming and game development, ...

clojure compilers plt
1
CandyFab | A DIY 3D Sugar Printer

candyfab.org

Inspiration / 3D printing in 2006 In the spring of 2006, we attended the very first...
Inspiration / 3D printing in 2006 In the spring of 2006, we attended the very first Maker Faire, which was held in San Mateo California. We exhibited our very own Interactive LED Dining Table project there, and got hooked on all things Maker Faire. Amongst the things that we saw there were incredible 3D printed meta...

art hardware
1
GitHub - rivet-gg/rivet: 🔩 Run and scale realtime applications with Rivet Actors

github.com

Hello! I’ve been a lurker here for a good while, I think it’s due time I...
Hello! I’ve been a lurker here for a good while, I think it’s due time I share what my team and I have been working on in hopes that other crustaceans find it interesting. Rivet is open-source actor infrastructure similar to Cloudflare’s Durable Objects. Rivet itself already serves millions of MAU in production using our current container runtime – primarily for multiplayer games –...

javascript rust
2
The long and winding road to safe browser-based cryptography

securedrop.org

browsers security
1
The CD Pipeline Manifesto

getglu.dev

We're a small team of engineers behind Flipt, passionate about creating better tools for software teams....
We're a small team of engineers behind Flipt, passionate about creating better tools for software teams. With experience working at companies like GitHub, InfluxData, and Cloudbees, we've witnessed firsthand how broken CD pipelines can be—and we're committed to fixing them.▸Why Do You Think You Have the Solution?

devops practices
2
Poetry(-core), or the ultimate footgun

gentoo.org

I’ve been complaining about the Poetry project a lot, in particular about its use (or more...
I’ve been complaining about the Poetry project a lot, in particular about its use (or more precisely, the use of poetry-core) as a build system. In fact, it pretty much became a synonym of a footgun for me — and whenever I’m about to package some project using poetry-core, or switching to it, I’ve learned to expect ...

python rant
1
A Zephyr-based camera trap for seagrass monitoring [LWN.net]

lwn.net

Benefits for LWN subscribers The primary benefit from subscribing to LWN is helping to keep us...
Benefits for LWN subscribers The primary benefit from subscribing to LWN is helping to keep us publishing, but, beyond that, subscribers get immediate access to all site content and access to a number of extra site features. Please sign up today! In a session at Open Source Summit Europe (OSSEU) back in September, A...

networking science
1
From net/rpc to gRPC in Go Applications

victoriametrics.com

This article kicks off a series on communication protocols. To start things off, we’re keeping it...
This article kicks off a series on communication protocols. To start things off, we’re keeping it simple: cover the basics of gRPC and Protobuf, and then build an RPC setup (not gRPC yet, gRPC is just typical way to implement RPC). We’ll use Go’s built-in net/rpc package to get a feel for how it all works under the ...

go golang grpc rpc
1
Optimize your shell experience

thoughtbot.com

As developers we spend a fair amount of time in the shell. I believe we should...
As developers we spend a fair amount of time in the shell. I believe we should master our tools as that’ll make work easier. Instead of just telling you exactly what to do, I’ll show you my process so you can optimize your shell for yourself, your work and your own enjoyment. The workflow I recommend checking what a...

programming
1
Thibaut Rousseau's Blog

thibaut-rousseau.com

Published on 2024-12-19Reading time estimated to 8 minutes Go 1.23, amongst other features, brought Iterators to...
Published on 2024-12-19Reading time estimated to 8 minutes Go 1.23, amongst other features, brought Iterators to the standard library. Iterators are basically a way to make the range operator work on functions implementing a specific interface. This lets you write code like this: for value := range myIterator() { //...

go
2
Enum of Arrays

tigerbeetle.com

A popular data-oriented design pattern is a Struct of Arrays. Is an Array of Enums also...
A popular data-oriented design pattern is a Struct of Arrays. Is an Array of Enums also useful? Yes! But let’s do a refresher on struct of arrays (SoA) first: If you have a Thing, const Thing = struct { checksum: u128, number: u32, flag: u8, }; and an array of Things, // Array of Structs. const AoS = []Thing; it's p...

performance zig
2
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 - bitfield/cargo-testdox: Turns your Rust tests into docs

github.com

release rust testing
1
We Have Google Drive at Home: Musings on Merkle-Tree Based File Sharing

dolthub.com

Suppose you have a directory of files that you want to sync with your friends. When...
Suppose you have a directory of files that you want to sync with your friends. When the files change, you want your friends to be able to download just the changes without needing to re-download the entire directory again. And you want this to scale, no matter how many or how large the files are. What's the best way...

merkle-trees
1
Pragmatic Category Theory | Part 3: Associativity

chshersh.com

ml
1
Lisp expression replacements with query-regexp-replace

breatheoutbreathe.in

emacs
1
How to mirror worg to a hyperdrive

breatheoutbreathe.in

emacs networking
1
OCaml 5 performance problems - Thomas Leonard's blog

roscidus.com

Linux and OCaml provide a huge range of tools for investigating performance problems. In this post...
Linux and OCaml provide a huge range of tools for investigating performance problems. In this post I try using some of them to understand a network performance problem. In part 2, I'll investigate a problem in a CPU-intensive multicore program. Table of Contents The problem While porting capnp-rpc from Lwt to Eio, t...

ml performance
1
Visitor Pattern Considered Pointless - Use Pattern Switches Instead // nipafx

nipafx.dev

java
1
Elixir v1.18 released: type checking of calls, LSP listeners, built-in JSON, and more

elixir-lang.org

Elixir v1.18 is an impressive release with improvements across the two main efforts happening within the...
Elixir v1.18 is an impressive release with improvements across the two main efforts happening within the Elixir ecosystem right now: set-theoretic types and language servers. It also comes with built-in JSON support and adds new capabilities to its unit testing library. Let’s go over each of those in detail. Type in...

elixir release
1
The Intel 80376 – a Legacy-Free i386 (with a Twist!) – pagetable.com

pagetable.com

25 years after the introduction of the 32 bit Intel i386 CPU, all Intel compatibles still...
25 years after the introduction of the 32 bit Intel i386 CPU, all Intel compatibles still start up (and wake up!) in 16 bit stone-age mode, and they have to be switched into 32/64 bit mode to be usable. Wouldn’t it be nice if a modern i386/x86_64 CPU started at least in 32 bit protected mode? Can’t they make a legac...

hardware historical
1
Understanding Basic Graal Graphs

chrisseaton.com

compilers java
1