GitHub - catppuccin/ultrakill: 🩸 Soothing pastel theme for ULTRAKILL 🩸 Soothing pastel theme for ULTRAKILL. Contribute to catppuccin/ultrakill development by creating an account on GitHub.

"if only i could have custom themes in my ultrakill"

the humble catppuccin: github.com/catppuccin/u...

Finally sharing out the type checker and LSP I made for nix

johns.codes/blog/making-...

Its really good! give it a shot

Cooking something sick... post soon

Hegel is an open source property-based testing library for every language, based on, and brought to you by @drmaciver.bsky.social some of the other folks behind Hypothesis.

Hegel-rust is on github today, more coming soon.

tom scott superimposed over yazi in /nix/store showing a few nix store paths in the background

i am here in the nix store

DC Systems 014 · Luma https://dcsystems.xyz/ DC Systems is an independent tech talk series focused on systems programming here in DC and the broader DMV area. We're focused on high…

DC Systems 14 will be Tuesday, March 10th!

Peter Tong will talk about Optimal Real-Time Locking

John Kastner will talk about Clang’s experimental bounds safety extension.

As always: pizza and beer will be provided.

Please come hear some great talks: luma.com/90ss30d2

Type-safe, type-unsafe, single-thread, multi-thread, getting Rust and C++ to work together on this project was like using crabs as gears. Michael Gibson and Shuxian Wang brought down the house at #RustUnconf this year with this story, and here it is on our blog. Link below.

Incredibly excited to talk at Software Should Work!

Isaac has gathered an amazing group of speakers. It should be a great conference!

Buy your tickets! softwareshould.work

#rustlang hot take: We should rename .unwrap() to .or_panic(). (And .expect() to .or_panic_with().) "Unwrap" is a terrible name for the panicking function, especially since we also have things like .unwrap_or() and .unwrap_or_default() which never panic.

8bitdo GameCube adapter thing on Amazon, looks like a vape

Takin a rip from this and blowing the fattest clouds

Developer Voices by @krisajenkins.bsky.social is one of our favorite podcasts at AntithesisHQ and he's just given our office metal band a name.

While you wait for their first album to drop, perhaps you'd like to watch his interview with Will Wilson? Links below.

From Unit Tests to Whole Universe Tests (with Will Wilson) YouTube video by Developer Voices

How do you test software, if you want to be *really* thorough about it? To answer that question this week we're going as far back as the 8-Bit Nintendo, as far down as the CPU, and nearly as far up and away as Mars. Will Wilson joins me to explore how far you can push testing…

youtu.be/_xJ4maWhSNU

i constantly think about this post

A Threads post by jlangd reading “Straight up, let's get this out right now: Taylor's not changing her name. Do NOT call her Taylor Kelce Do NOT call her Mrs. Kelce. DO NOT call her Mrs. Travis Kelce. She. Is. TAYLOR. SWIFT. She has worked her ASS off to make HER name in show business. Do not belittle her.” with a reply from dril reading “she is changing her name to "jared folgel". it was on the news”

Snort laughed at work

Remember how our platform plays #Nintendo games in its spare time?

That's our #fuzzer learning to bomb-jump in #Metroid. Will wrote the story in a real labor of love. Link in first comment.

Happy Friday!

antithesis.com/blog/2025/me...

If there were a single lesson I'd drill into new software engineers it'd be this:

You can be technically right and politically and systemically dead wrong.

One of my favorite uses of llms so far has been migrating config.

I wanted to play around with hyprland after using i3 for a long time. I pointed the LLM at my nixos config for i3 and it migrated everything without issue

It’s 2050 and a teen girl is torrenting a .tar.gz file of all the consciousnesses of all the tech bros who uploaded themselves into the cloud in a bid for immortality and modding them into The Sims 4

Welcome to Antithesis: a Gold sponsor of #rustconf25! Support from sponsors like Antithesis helps the Rust Foundation put on an amazing event for the #rustlang community.

Learn more about Antithesis @ antithesis.com/industries/d... & get ready to see them at #rustconf 🎉

Sure, sex is cool, but, have you ever refactored your NixOS config?

The BugBash Podcast Technology Podcast · Updated Semiweekly · The BugBash podcast is a lively look at all aspects of software reliability, by enthusiasts, for everyone. Each episode brings leading engineers and research...

Today, FoundationDB is critical infra at Snowflake, Deepseek, Apple, and many other companies. But it started with some guys in a garage, building a demo with plywood and light bulbs...

Hear the full story, told by the FDB founders, on the first episode of Antithesis's new BugBash podcast.

#databs

this summer, before you drink a glass of water, ask yourself: does claude need it more?

KNOWING COMPUTER SHIT:
pros: being able to figure out some silly bullshit issue and cobble a fix together

cons: [crying, screaming, throwing up, etc]

screenshot of dril tweet: “i put years of hard work into getting my torture degree at torture college & now everyones like “oh tortures bad”,”its ineffective” fuck off”

this is how i feel about unsafe Rust code that takes a reference to the deref of a raw pointer

🚀 Had some fun hacking together a new TUI (with @ratatui_rs) to dig into the #FoundationDB #simulation framework!

It visualizes nemesis workloads like:
⚡ Attrition
🌐 Network Splits
⏳ Induced Latencies

Check it out here 👉 github.com/PierreZ/fdb-...

So, You Want to Learn More About Deterministic Simulation Testing? A curated collection of resources about deterministic simulation testing for distributed systems.

New blogpost published! "So, You Want to Learn More About Deterministic Simulation Testing?"

me: *running brew update*

7yr old watching over my shoulder: what's an 'update'? wait, i know! it's when you make something better!

me: ....... not necessarily.

A Descent Into the Vᴏ̈ʀᴛᴇx | TigerBeetle Blog Insights, updates, and technical deep dives on building a high-performance financial transactions database.

tigerbeetle.com/blog/2025-02...

On our introduction of generative end-to-end testing of the TigerBeetle database.