Sign in

Ben Schofield

@benjscho.bsky.social
92 followers 115 following 59 posts

Software dev at AWS, working on DSQL Learning more about distributed systems, formal methods, living well. Trying to write software that doesn’t get me paged

PostsRepliesMedia
Ben Schofield @benjscho.bsky.social · 21/07/2026
So is taking a newborn to see the odyssey in IMAX recommended or not? I need a stars & strollers Nolan edition in Seattle
000
Ben Schofield @benjscho.bsky.social · 18/07/2026
I’m on Pat leave until August, so in between nappies and naps I’m going to keep myself entertained with some OSS! For a start, I published a first version of eulogy, a user space library for async drop: crates.io/crates/eulogy
crates.io
crates.io: Rust Package Registry
crates.io serves as a central registry for sharing crates, which are packages or libraries written in Rust that you can use to enhance your projects
1101
Ben Schofield @benjscho.bsky.social · 18/07/2026
This is so real, I got a cheap thinkpad recently and since windows is so user hostile now, I went for Linux. It’s insanely nice to say “figure out why my monitors not connecting” or “connect to my Bluetooth speaker” and have the right commands conjured up without 15 minutes of googling
0230
Reposted by Ben Schofield
Vale @vale.rocks · 19/06/2026
There are only two file formats: disguised zips and renamed text files. JSON? Text. EPUB? Zip. CSV? Text. EXE? Zip. SVG? Text. DOCX? Zip. ICS? Text. APK? Zip.
451064264
Ben Schofield @benjscho.bsky.social · 05/06/2026
New LLM writing tic noticed: unnecessarily saying “skips X entirely”
000
Reposted by Ben Schofield
rain 🌦️ @sunshowers.io · 02/06/2026
iddqd, or the hardest kind of unsafe Rust. My first post for the @oxide.computer blog! Goes deep into the pitfalls of unsafe Rust and how to reason about it. A lot of labor went into the post -- please have a read! oxide.computer/blog/iddqd-u...
oxide.computer
iddqd, or the hardest kind of unsafe Rust | Oxide Computer Company
How our Rust collections library defends against adversarial trait implementations.
722339
Ben Schofield @benjscho.bsky.social · 06/05/2026
I have learned jujutsu and I get all the love now. Can see it flat out replacing git in my work going forward Thanks for another great dev tutorial @steveklabnik.com!
220
Ben Schofield @benjscho.bsky.social · 24/04/2026
GitHub is doing an interesting job of speed running losing trust
000
Reposted by Ben Schofield
James Munns @jamesmunns.com · 23/04/2026
media.tenor.com
a man wearing a blonde wig and a mustache is standing in front of a green forest .
Alt: a man wearing a blonde wig and a mustache is standing in front of a green forest
1273
Ben Schofield @benjscho.bsky.social · 22/04/2026
Onto #tokioconf lightning talks I’m super excited by the visibility from dial9. The tracing spans and visualisation of Tokio is awesome. We’ve been bitten by slow polling tasks before, this will make it so easy to see
010
Ben Schofield @benjscho.bsky.social · 21/04/2026
Enjoying the first day of talks at #tokioconf! Lots of databases so far, feeling at home
110
Reposted by Ben Schofield
Carl Lerche @carllerche.com · 31/03/2026
We are 3 weeks out from the first @tokioconf.com. Spoiler: This is the t-shirt! I just saw the design and had to share it. It is so exciting to see it all come together. You still have time to get tickets, but not much time! tokioconf.com.
TokioConf T-Shirt
273
Reposted by Ben Schofield
Carl Lerche @carllerche.com · 31/03/2026
I finally published Toasty (async Rust ORM) crates! I’ll be writing about it soon (and why it took so long). github.com/tokio-rs/toa...
github.com
GitHub - tokio-rs/toasty: An async ORM for Rust (incubating)
An async ORM for Rust (incubating). Contribute to tokio-rs/toasty development by creating an account on GitHub.
2608
Reposted by Ben Schofield
TokioConf @handle.invalid · 12/03/2026
We're setting aside 20 free TokioConf tickets for contributors and open source maintainers. If you've submitted a PR to any tokio-rs, hyperium, or tower-rs repo, that's you. Know someone who qualifies? Send them our way! tokio.rs/blog/2026-03...
tokio.rs
Free TokioConf tickets for contributors and open source maintainers | Tokio - An asynchronous Rust runtime
Tokio is a runtime for writing reliable asynchronous applications with Rust. It provides async I/O, networking, scheduling, timers, and more.
0205
Ben Schofield @benjscho.bsky.social · 19/03/2026
Great blog from Russell Cohen on dial9. I saw a demo of this recently and it is very cool. Exactly the visibility that’s been missing for Tokio tokio.rs/blog/2026-03...
tokio.rs
Introducing dial9: a flight recorder for Tokio | Tokio - An asynchronous Rust runtime
Tokio is a runtime for writing reliable asynchronous applications with Rust. It provides async I/O, networking, scheduling, timers, and more.
100
Ben Schofield @benjscho.bsky.social · 13/02/2026
DSQL just launched support for SEQUENCES and IDENTITY columns. It’s exciting seeing the team launch new features the same week we became available in four new regions. I wrote a short blog about how we make sure they scale here: blog.benjscho.dev/technical/20...
blog.benjscho.dev
How DSQL Makes Sequences Scale
Sequences are one of those Postgres features that you don’t think much about. You can ask for the next number in the sequence, and you get it. That works pretty well when you have one machine asking f...
010
Reposted by Ben Schofield
Marc Brooker @marcbrooker.bsky.social · 07/02/2026
The cost of turning written business logic into code has dropped to zero. At best, near-zero. The cost of integrating services and libraries, the plumbing of the code world, has dropped to zero. At best, near-zero. What does that mean for the future? New blog post: brooker.co.za/blog/2026/02...
brooker.co.za
You Are Here - Marc's Blog
14211
Ben Schofield @benjscho.bsky.social · 31/01/2026
Blaring ads on gas pumps are the peak of American culture
010
Reposted by Ben Schofield
Murat (Distributolog) @muratdemirbas.bsky.social · 19/12/2025
We introduce LeaseGuard: a Raft-specific lease protocol with a precise spec and fast recovery after crashes. Paper + Implementation linked in our joint (w Jesse @emptysqua.re) blog post below. muratbuffalo.blogspot.com/2025/12/leas...
muratbuffalo.blogspot.com
LeaseGuard: Raft Leases Done Right!
Many distributed systems have a leader-based consensus protocol at their heart. The protocol elects one server as the "leader" who receives ...
0123
Ben Schofield @benjscho.bsky.social · 13/12/2025
The Bf-tree paper from VLDB ‘24 looks neat, it’s a shame the implementation hasn’t been released yet. Maybe a chance for someone Christmas tinkering vldb.org/pvldb/vol17/...
vldb.org
100
Ben Schofield @benjscho.bsky.social · 01/12/2025
Tackling advent of code in Zig this year, my day one solution is up: github.com/Benjscho/aoc...
github.com
GitHub - Benjscho/aoc-25: Advent of code
Advent of code . Contribute to Benjscho/aoc-25 development by creating an account on GitHub.
110
Reposted by Ben Schofield
Darryl Ruggles @darryl-ruggles.cloud · 18/11/2025
darryl-ruggles.cloud/dsql-kabob-s... 🆕 Here is my latest blog introducing a Serverless Multi-Region E-Commerce Platform based on an Amazon Aurora DSQL database. For a database platform I have almost always used DynamoDB due to it being truly serverless and pay as you go. (1️⃣/4️⃣) 🧵
darryl-ruggles.cloud
Aurora DSQL: Serverless E-Commerce Platform
Discover how to build a serverless multi-region e-commerce platform using Aurora DSQL and AWS services in this comprehensive guide
163
Ben Schofield @benjscho.bsky.social · 09/09/2025
My demo from the Amazon Aurora livestream is now up as a VOD on YouTube, you can catch it here: youtu.be/5iFA_7lo9aI?...
youtu.be
Enable AI-powered agents with Aurora DSQL using Strands Agents and MCP
YouTube video by AWS Events
010
Ben Schofield @benjscho.bsky.social · 04/09/2025
What are the best languages for multiprocessor programming right now? Thinking ones that provide strong, safe primitives and good performance. I know Rust works well for this thanks to ownership & releasing of locks on drop. Are there any others that are worth trying?
000
Ben Schofield @benjscho.bsky.social · 03/09/2025
I’ve been blowing through Octavia Butler’s Patternists series over the past few weeks. Love how each of them threads together while standing completely on its own.
000
Reposted by Ben Schofield
nikomatsakis @nikomatsakis.com · 27/05/2025
People always ask me “so is AWS using Rust?” Happy to be part of this article shining some light on how Rust is changing the way services are built in AWS.
0195
Reposted by Ben Schofield
Werner @wernervogels.bsky.social · 27/05/2025
In a new guest post from #AWS Sr. Principal Engineers @nikomatsakis.com and Mark Bowes take us inside Aurora DSQL's development from scaling write operations without two-phase commit, to overcoming garbage collection hurdles, and embracing Rust. www.allthingsdistributed.com/2025/05/just...
allthingsdistributed.com
Just make it scale: An Aurora DSQL story
AWS Senior Principal Engineers, Niko Matsakis and Marc Bowes, take us inside Aurora DSQL's development: scaling write operations without two-phase commit, overcoming garbage collection hurdles, and em...
0208
Ben Schofield @benjscho.bsky.social · 04/02/2025
Very glad Steve didn’t follow this advice and that the Rust book exists, it’s an incredible resource Writing about something you don’t know is often the best way to _start knowing_
030
Ben Schofield @benjscho.bsky.social · 28/01/2025
I love this paper! It’s a clear way to communicate that both application and infra developers are responsible for how to make things scalable, while splitting those responsibilities neatly
020
Ben Schofield @benjscho.bsky.social · 12/01/2025
Wrote a short bit about Rust being a “Safe for X” language: blog.benjscho.dev/technical/20... I’ve basically had this article from lwn in my head for a while and it’s a major reason why I love working in Rust, especially on a big project with a lot of other engineers
blog.benjscho.dev
Rust is Safe for X
I love this article from lwn and this conclusion especially: this ability to take a property that the language does not know about and “teach” it to Rust, so that now it is enforced at compile time, i...
100
Reposted by Ben Schofield
Zach Weinersmith @zachweinersmith.bsky.social · 09/01/2025
Not sure how popular it'll be but I thought this one was pretty good. smbc-comics.com/comic/precise
4481891
Reposted by Ben Schofield
eliza🌻 @elizas.website · 03/01/2025
why Rust is the greatest programming language of all time, in one screenshot
error: avoid using labels containing only the digits `0` and `1` in inline assembly
   --> hal-x86_64/src/segment.rs:243:14
    |
243 |             "1:",
    |              ^ use a different label that doesn't start with `0` or `1`
    |
    = help: start numbering with `2` instead
    = note: an LLVM bug makes these labels ambiguous with a binary literal number on x86
    = note: see <https://github.com/llvm/llvm-project/issues/99547> for more information
    = note: `#[deny(binary_asm_labels)]` on by default
532436
Ben Schofield @benjscho.bsky.social · 23/12/2024
I’ve been messing around with using Neorg for notes instead of markdown with Obsidian, so I wrote a small converter for all of my existing notes: github.com/Benjscho/md2...
github.com
GitHub - Benjscho/md2norg: markdown to neorg quick converter
markdown to neorg quick converter. Contribute to Benjscho/md2norg development by creating an account on GitHub.
110
Ben Schofield @benjscho.bsky.social · 20/12/2024
In goals for 2025 I’ve got: - write a public blog post every month - learn Lean
110
Ben Schofield @benjscho.bsky.social · 15/12/2024
This is a very neat paper, it’s interesting to think about the interfaces for languages needing to be adapted to make machine interaction easier
100
Ben Schofield @benjscho.bsky.social · 06/12/2024
One thing that’s a little frustrating with OCaml after Rust is the lack of easy debug printing. I’m using ppx_derive to pretty print custom types but it is frustrating to not have a nice standard `Debug` that absolutely everything implements
261
Ben Schofield @benjscho.bsky.social · 05/12/2024
Getting to write Rust for my work has been a lot of fun, and it’s saved us a huge amount of time.
010
Ben Schofield @benjscho.bsky.social · 05/12/2024
It’s crazy how prompting for code can just feel like a conversation where you have to be super specific with another person about what you want, but then they’re incredibly fast
110
Reposted by Ben Schofield
Marc Brooker @marcbrooker.bsky.social · 04/12/2024
My second blog post on Aurora DSQL, with a deep dive on how reads work: brooker.co.za/blog/2024/12...
brooker.co.za
DSQL Vignette: Reads and Compute - Marc's Blog
510029
Reposted by Ben Schofield
Kelsey Hightower @kelseyhightower.com · 03/12/2024
The first step in my career was learning how to do things, but it took understanding why I was doing them for my career to take off. I went from completing tasks to asking why, then understanding the impact of my work, and eventually gained the ability to find the most impactful things to work on.
1148466
Reposted by Ben Schofield
Marc Brooker @marcbrooker.bsky.social · 03/12/2024
New blog post, with my personal take on our launch of Amazon Aurora DSQL: brooker.co.za/blog/2024/12...
brooker.co.za
DSQL Vignette: Aurora DSQL, and A Personal Story - Marc's Blog
310537
Ben Schofield @benjscho.bsky.social · 03/12/2024
Super excited that Amazon Aurora DSQL has been announced now! I’ve been working with this team for the past year, they’ve been so incredible to work with and learn from. More info about it here: aws.amazon.com/blogs/databa...
aws.amazon.com
Introducing Amazon Aurora DSQL | Amazon Web Services
Today, we introduce Amazon Aurora DSQL, the fastest serverless distributed SQL database for always available applications. It offers virtually unlimited scale, highest availability, and zero infrastru...
020
Ben Schofield @benjscho.bsky.social · 03/12/2024
Announcement in reinvent on automated reasoning for Bedrock is super neat
110