Profile avatar
predr.ag
Author of cargo-semver-checks & Trustfall // https://github.com/sponsors/obi1kenobi // https://predr.ag/blog // ex Principal Eng @Kensho // MIT alum // https://hachyderm.io/@predrag // not from around here 🇲🇰 // he-him
353 posts 1,504 followers 199 following
Regular Contributor
Active Commenter
Posts 21 Comments 29

Hey, look at that! Number go up, and it's a round number again!

submitted 19 hours ago • 1 comment

** Announcement ** Check out all the selected speakers for RustWeek 2025! See https://rustweek.org/speakers/ Also see the schedule for both conference days: Tue: https://rustweek.org/schedule/tuesday/ Wed: https://rustweek.org/schedule/wednesday/ #rustweek2025 #rust #rustlang

submitted 1 day ago • 1 comment

Jamie has some very good ideas for more interesting tech talks Talk about failures, talk about inability to replicate a famous assumption, talk about things we expect to work that are actually just broken, etc. www.scattered-thoughts.net/writing/othe...

submitted 1 day ago • 0 comments

Took some notes I had while building a new system at work, cleaned it up and wrote this piece on deterministic simulation testing building-systems.xyz/deterministi...

submitted 1 day ago • 1 comment

This is an excellent talk. I only got to read the slides, and I hope the video comes out too so I can share it again.

submitted 4 days ago • 0 comments

Next Rust in Paris conference speaker is Guillaume Boisseau, compiler team member and the one in charge of pattern matching in Rust! Guillaume will talk about "The Lesser-Known Rust Superpowers". See you there! To get your ticket: rustinparis.com.

submitted 4 days ago • 0 comments

(Boosts encouraged!) Hi! 👋 I’m Kat. I’ve been a professional dev for over 15 years. I maintained the NPM CLI for 5 of those. I sat in TC39. I work at Microsoft. I’m self taught w/a film degree and no formal CS edu. Are you new to tech? What do you wish you could ask some1 like me? Literally AMA

submitted 5 days ago • 29 comments

Next Rust in Paris conference speaker is Ed Page, member of the cargo team, maintainer of clap and winnow crates (among many other!). Ed will talk about RFCs so you can learn everything there is to know about. See you there! To get your ticket: rustinparis.com.

submitted 10 days ago • 0 comments

I can’t believe it - after years of advocacy, exclusionary zoning has ended in Cambridge. We just passed the single most comprehensive rezoning in the US—legalizing multifamily housing up to 6 stories citywide in a Paris style Here’s the details 🧵

submitted 15 days ago • 70 comments

If you treat people sufficiently badly, some of them may "explode" and do bad stuff out of frustration. If your main takeaway from such a situation is to tell them to never do the bad things again and don't focus on why this happened in the first place, you're doing it wrong and it will happen again

submitted 18 days ago • 0 comments

Can you query your source-code as if it was a database? Can you run a join between your github repos and a list of security leaks? We're querying all the things this week as we look at Trustfall - a universal query engine written in #Rust: youtu.be/7Ny25bObtK8

submitted 19 days ago • 0 comments

"Safety hygiene is the practice of denoting and documenting where memory safety obligations arise and where they are discharged."

submitted 20 days ago • 0 comments

NEW JWST IMAGE SHOWING A PROTOPLANETARY DISK AROUND A NEWLY FORMED STAR!!! 🤩

submitted 22 days ago • 30 comments

I updated my post that describes the way cargo-semver-checks decides if traits are sealed. It now includes the latest method I've found for sealing traits: using a const item whose type cannot be named! Check it out here: predr.ag/blog/is-this...

submitted 21 days ago • 1 comment

🦀 I wrote another "crates.io: development update" blog post: blog.rust-lang.org/2025/02/05/c... This covers our work over the past six months, including crate deletions, an OpenAPI description, publish notifications, and much more! 🚀 #rustlang

submitted 21 days ago • 0 comments

The first time I wrote a post about sealed traits in Rust, I was just summarizing what I had learned. It turned out to be incomplete. The next time I wrote about it, that turned out to be incomplete too. I'm about to start attempt #3. Regardless, each was a positive contribution in the field!

submitted 21 days ago • 0 comments

Rust trait sealing: the concept that keeps on providing new edge cases. I found *yet another* way to seal traits. Reminder: a trait is sealed if it cannot be implemented by a downstream crate. I wrote more about the concept here: predr.ag/blog/definit...

submitted 22 days ago • 1 comment

"When can a trait be implemented without touching `#[doc(hidden)]` items?" Simple question, extremely complex answer! Most intense 2000 lines I've written in a long time! Still needs cleanup & refactoring, but it's passing tests! github.com/obi1kenobi/t...

submitted 26 days ago • 1 comment

The Open Source Pledge is one of the most exciting initiatives for open source I've seen in years. Open source funding today is inherently broken. Do the right thing, support open source. @opensourcepledge.com

submitted 26 days ago • 1 comment

"When can a trait be implemented without touching `#[doc(hidden)]` items?" Simple question, extremely complex answer! Most intense 2000 lines I've written in a long time! Still needs cleanup & refactoring, but it's passing tests! github.com/obi1kenobi/t...

submitted 26 days ago • 1 comment

The Rust docs say: > Constants cannot refer to statics. doc.rust-lang.org/reference/it... And yet the following works fine: ```rust pub const A: i64 = 0; pub static B: i64 = A + 1; pub const C: i64 = B + 1; ```

submitted 28 days ago • 2 comments