Sign in

Andrew

@raindev.io
23 followers 161 following 86 posts

systems

PostsRepliesMedia
Andrew @raindev.io · 14/08/2026
A good life is a constant process of rediscovering oneself.
000
Andrew @raindev.io · 09/03/2026
Writing can happen from the position of expertise, but much of what is written has started from a decision to write, with research, gathering knowledge and building experience following.
010
Andrew @raindev.io · 05/03/2026
Solving hard problems is very often about breaking them down into even smaller pieces, rather than about jumping multiple steps ahead.
010
Andrew @raindev.io · 16/07/2025
There’re drawbacks to staying on top of things. Namely you don’t go deep.
000
Andrew @raindev.io · 16/06/2025
> Prove X. Me: To prove X we need to demonstrate A and B. A is trivially true. B is true by construction. Hence we’ve proven X.
000
Andrew @raindev.io · 12/06/2025
According to the 2024 Stack Overflow Developer Survey[1], C is still more widely used than Go and Rust, despite being less appreciated. The lead of C for learning to program is even more significant, which is encouraging. 1. survey.stackoverflow.co/2024/technol...
100
Andrew @raindev.io · 12/06/2025
It's surprisingly convenient to be able to lookup the standard library function and header documentation via man pages. Now I want it for other languages.
200
Andrew @raindev.io · 12/06/2025
Reading The C Programming Language by Kernighan and Ritchie from 1988, it's fascinating that all code examples still work in 2025 - 37 years later - with just -ansi compiler flag (-std=c90).
110
Reposted by Andrew
Emile `iMIl' Heitor @imil.net · 27/05/2025
Best rust troll to date github.com/jedisct1/yes...
7308
Reposted by Andrew
Paul Byrne @theplanetaryguy.com · 06/06/2025
If you need a breather from all this bullshit, here's a photo of Earth. From Saturn. We're that slightly brighter star at centre right.
415160322635
Andrew @raindev.io · 04/06/2025
Another treasure trove of a talk by Bryan Cantrill on various aspects of software engineering from debugging data corruption to building successful engineering organizations. www.youtube.com/watch?v=bJ0y...
youtube.com
Tech Leader Speaker Series ft. Bryan Cantrill, Chief Technology Officer at Oxide
YouTube video by Rokt
000
Andrew @raindev.io · 04/06/2025
tilvids.com/w/4MTECvQsBh... A short but sweet overview of the research of @grimalkina.bsky.social focusing on the environment conducive to (developer) success, but also highlighting important distinctions between performance and growth, and drawbacks of performance culture.
tilvids.com
Cat Hicks - Developer Thriving & The Psychology of Innovation
How could we build an environment where developers, teams, and organizations that support them can thrive individually and collectively? Community discussion led by Cat Hicks at Bridges Summit base...
010
Andrew @raindev.io · 03/06/2025
“Cloud” could have been instead called “server rental”. It’s common to see independent ideas such as SaaS and managed software to be conflated with the cloud.
100
Andrew @raindev.io · 02/06/2025
I don’t want AGI. I want us to solve hunger, poverty, and cancer. I want renewable energy, fusion power, sustainable zero carbon economy which distributes value fairly, and supersonic travel. Thinking we can cheat and delegate these things to an AGI without putting in the effort is an illusion.
120
Andrew @raindev.io · 01/06/2025
The Bear blogging platform looks really neat. I'm still too stubborn to give up a Git based workflow (Bear has no API for now). bearblog.dev
bearblog.dev
ʕ•ᴥ•ʔ Bear Blog
Free, no-nonsense, super-fast blogging
220
Andrew @raindev.io · 01/06/2025
My recommendation for those at the start of their careers is to throw oneself in at the deep end. Ideally get into rocket science if you can. Alternatively, consider the options in the thread below. Dip your toes into all of them and pick a couple to go deep into.
100
Andrew @raindev.io · 01/06/2025
I wonder if there's a way to side-step the design/accessibility trade-off on the web by allowing the user to opt in into certain accessibility features. A browser would then enrich/change/override how page elements are presented, at cost of some design inconsistency.
110
Andrew @raindev.io · 22/05/2025
New arrivals for the home library 📚
The Linux Programming Interface by Michael Kerrisk and Structure and Interpretation of Computer Programs by Harold Abelson, Gerald Jay Sussman with Julie Sussman
010
Reposted by Andrew
The Savage Garden @thesavagegarden.bsky.social · 18/05/2025
02510
Andrew @raindev.io · 06/05/2025
It’s such a joy to flip through the pages of a printed magazine.
000
Andrew @raindev.io · 02/05/2025
All share their successes, the better share their learnings, the best share their failures. And the pathetic share their shower thoughts passed off as high wisdom.
020
Reposted by Andrew
Gunnar Morling @gunnarmorling.dev · 24/04/2025
📝 Blogged: "What If We Could Rebuild Kafka From Scratch?" I did a little thought experiment: which characteristics and traits would be desirable if we were to start all over and develop a durable cloud-native event log from scratch? 👉 www.morling.dev/blog/what-if...
4262
Andrew @raindev.io · 24/04/2025
Working with Python on occasion always felt like a fight with the tooling. uv on the other hand just works as it's supposed to, and when it doesn't, it's usually my fault for not reading the docs more carefully.
000
Reposted by Andrew
John Walton @thatjohn.bsky.social · 22/04/2025
So here in France we have a 5G-enabled electricity meter called Linky, which naturally here in the land where people who live in heaven think they live in hell there were all kinds of protests — Linky gives you cancer, makes your kids autistic, kills your dog, sets your house on fire, and so on.
15555119
Andrew @raindev.io · 23/04/2025
Focusing solely on a career is like trying to squeeze as much juice as possible out of a lemon you have. Focusing on learning is like growing a lemon tree.
010
Reposted by Andrew
Sebastian Röhl @roehl.dev · 19/04/2025
Wow, that's an insanely cool website: animejs.com/
animejs.com
Anime.js | JavaScript Animation Engine
A fast and versatile JavaScript animation library
14612
Andrew @raindev.io · 13/04/2025
The Dark Side Of Usability usabilitypost.com/2011/01/10/d... Some food for thought. The post is almost a decade and a half old but more relevant than ever.
usabilitypost.com
The Dark Side Of Usability
000
Andrew @raindev.io · 08/04/2025
After spending some time tweaking, I finally feel quite happy with macOS window management. btw, if you switch Caps Lock with Control, everything becomes instantly better in life, including the shortcuts below in the thread.
macOS System Settings on Modifier Keys screen with Caps Lock and Control swapped
100
Andrew @raindev.io · 08/04/2025
Good article with personal observations on the long term effects of using AI tools for programming. Some quotes in the thread. lucianonooijen.com/blog/why-i-s...
lucianonooijen.com
Why I stopped using AI code editors · Luciano Nooijen
In the past I used AI code editors for all of my programming, but I stopped using it and recommend others to consider this as well
100
Andrew @raindev.io · 04/04/2025
Humans of the Data Sphere by Jack Vanlightly (@vanlightly.bsky.social) is an excellent way to stay up to date with the field of distributed data systems and discover interesting people to follow. www.hotds.dev
hotds.dev
Humans of the Data Sphere | Jack Vanlightly | Substack
Compiling wisdom, opinions and content from humans across the data sphere. Click to read Humans of the Data Sphere, by Jack Vanlightly, a Substack publication with hundreds of subscribers.
010
Andrew @raindev.io · 15/03/2025
Please include the year in your next paper. Thank you.
000
Andrew @raindev.io · 13/03/2025
Ghostty is a joy to use! My favorite features so far are the window centered on start-up and the zero configuration philosophy. These 4 lines replace almost all of my WezTerm config, except for dynamically patching tmux config to update the theme on system appearance changes. #ghostty
Ghostty macOS window with Neovim open inside of tmux with two panes, Ghostty config and WezTerm config
200
Andrew @raindev.io · 13/03/2025
Usually you bring the data to the code or the code to the data. With @duckdb.org you bring 𝑡ℎ𝑒 𝑑𝑎𝑡𝑎𝑏𝑎𝑠𝑒 to the code.
100
Andrew @raindev.io · 13/03/2025
The visualizations are amazing!
010
Andrew @raindev.io · 13/03/2025
One of the revelations since starting to use writing as a learning tool was how many concepts I thought I understood but actually didn't. Writing things down is a great way to crystallize ideas.
100
Andrew @raindev.io · 11/03/2025
Writing about distributed systems one can observe that there’s at least one term for each fundamental concept :)
000
Andrew @raindev.io · 11/03/2025
materializedview.io/p/cloud-stor... I wonder if the cloud storage triad speaks to some fundamental properties of a data system built on top of object storage or is rather shaped by the widespread cloud pricing model.
materializedview.io
The Cloud Storage Triad: Latency, Cost, Durability
A new theorem for primary persistence on object stores.
100
Andrew @raindev.io · 10/03/2025
Realized I’ve kept buying books in recent years, but neglected my reading habit. As the first step to fix that, all the books I intend to read mid-term are now collected in one place to serve as a reminder and make it easier to pick up the next book.
100
Reposted by Andrew
Thomas Pelletier @pelletier.dev · 27/11/2024
New favorite Claude prompt: "generate a ragebait article about poor kubernetes decisions with mostly bullet points. make it look like a review/lessons learned. no paragraphs"
1102
Reposted by Andrew
HYTRADBOI @hytradboi.bsky.social · 01/03/2025
All the videos are up at www.hytradboi.com/2025#program now.
hytradboi.com
HYTRADBOI 2025
HYTRADBOI is a fun online conference about databases, programming languages, and everything in between.
03716
Reposted by Andrew
Bryan Cantrill @bcantrill.bsky.social · 02/03/2025
It's never too late.
Excerpt from "Slingshot" by Hector Ruiz describing Jerry Sanders being told by a venture capitalist in 1969 that it was "too late" (!!!) to get into semiconductors.
3514
Andrew @raindev.io · 01/03/2025
DuckDuckGo browser handles cookie pop-ups for you out of the box. I haven't been this excited about a feature in a while.
100
Andrew @raindev.io · 16/02/2025
It's very useful to have an environment where the content of a live OLTP database could be queried safely without any interference with the production operations. Give it a try - take a snapshot and poke around - you'll certainly run into many curiosities and might find some skeletons in the closet.
000
Andrew @raindev.io · 16/02/2025
Reading about virtual memory management now, it makes me smile to remember how I tried in vain to write a C program that would iterate through pointer addresses to see what's in RAM almost 15 years ago.
000
Reposted by Andrew
Fly.io @fly.io · 27/01/2025
me explaining what i do to friends and family
0121
Andrew @raindev.io · 04/02/2025
Bruce Momjian’s talk “Databases in the AI Trenches” might just be enough to get me interested in exploring what’s under the hood of the hype. momjian.us/main/presentations/exten…
000
Andrew @raindev.io · 03/02/2025
It's reassuring to see that delightful user experience is still a thing in the age of AI. After using Claude for a few days, I've been positively surprised, not just by the UI but by a well-tuned LLM as well, which produces balanced responses in terms of level of detail and tone.
000
Andrew @raindev.io · 02/02/2025
A few points I find interesting: - in 2022 a decision was made to abolish leap seconds by 2035, by allowing UTC to drift from the time as defined by Earth's rotation (UT1) - negative leap seconds, while established, were never actually used www.nature.com/articles/d41586-024-…
nature.com
Melting ice solves leap-second problem — for now
Two perspectives on how climate change is affecting timekeeping.
100
Reposted by Andrew
HYTRADBOI @hytradboi.bsky.social · 01/02/2025
The program is up and tickets are live at www.hytradboi.com/2025/#program. I'll keep updating this thread as the last 10 talks hit camera-ready.
Program

0900-1000: Compilers

    Database query compilation: our journey
    Viktor Leis & Thomas Neumann
    A YJIT interview
    Maxime Chevalier-Boisvert
    Can we democratize JIT compilers?
    Haoran Xu
    Safe and productive performance with user-schedulable languages
    Jonathan Ragan-Kelley

1000-1100: Understanding programs

    How debuggers work
    Sy Brand
    Debugging compiler-optimized code: how it works and doesn't
    Stephen Kell
    Side-Eye: ask your programs anything
    Andrei Matei
    Let’s run a million benchmarks
    Yao Yue
    Rocket science of simulation testing!
    Aleksey Kladov

1100-1200: Wild ideas

    Back to modularity
    Daniel Jackson
    DB usability: as if
    Jonathan Edwards
    Twizzler and far out memory sharing: precise abstractions
    Daniel Bittman
    Programming without pointers
    Andrew Kelley
    Throwing it all away - how extreme rewriting changed the way I build databases
    Tyler Neely

1200-1230: Programmers are people

    A case for feminism in programming language design
    Felienne Hermans
    Malloy, mic drop, peace!
    Michael Toy

1230-1300: Lightning talk buffet

1300-1400: Query languages

    ???
    Jeff Shute
    ???
    Tobias Brandt
    ???
    Yury Selivanov
    AquaLang: a dataflow programming language
    Klas Segeljakt
    A polymorphic data model for SQL using algebraic types
    Steve McCanne

1400-1430: Databases

    Use of time in distributed databases —don’t fall behind the times
    Murat Demirbas
    ???
    Thomas Ballinger
    Thank goodness we're not building a database
    Peter van Hardenburg

1430-1500: Wasm

    Thinking in wit
    Dan Gohman
    Bringing the WebAssembly standard up to speed with SpecTec
    Dongjun Youn
15227
Andrew @raindev.io · 27/01/2025
There are many ideas in software engineering that sound very promising when considered in abstract that fail to deliver given real world complexity and scale: functional programming, event-driven architecture, async/await, microservices, monorepos, etc.
000