Elektrine
Log in Register
Paige Chat Timeline Gallery Friends Email Drive DNS Private DNS Domains VPN Kairo Nerve
Remote

Predrag Gruevski

@predrag@hachyderm.io
mastodon 4.7.3
  • Open on hachyderm.io

Author of cargo-semver-checks & Trustfall // https://github.com/obi1kenobi // https://predr.ag/blog // ex Principal Eng @Kensho // MIT alum // not from around here // he-him

0 Followers
0 Following
6 Posts
Joined November 22, 2022
Blog:
https://predr.ag/blog/
Query Playground:
https://play.predr.ag/
GitHub:
https://github.com/obi1kenobi/
Open post
Predrag Gruevski @predrag@hachyderm.io
· 6mo ago

One Friday night a few months ago, my family sat down to enjoy a TV show. We were surprised to see "Start your free trial." instead of "Continue watching."

Things escalated from there! Enjoy this 100% true story, part of April Cools — an annual tradition where we post genuine stories on unexpected topics.

https://predr.ag/blog/the-self-cancelling-subscription/

#aprilcools

predr.ag
9
0
8
1
Open post
Predrag Gruevski @predrag@hachyderm.io
· 7mo ago
Replying to
I also fixed the rustdoc bug upstream! https://github.com/rust-lang/rust/pull/153465/ #rust #rustlang #semver
github.com
5
0
0
0
Open post
Predrag Gruevski @predrag@hachyderm.io
· 6mo ago
Replying to
@goingforbrooke @Mara seriously, yes. Best food I've ever had at a conference and it's not close. I just had dinner and yet I'm salivating at the thought of those chocolate croissants.
1
0
0
0
Open post
Predrag Gruevski @predrag@hachyderm.io
· 11mo ago
Replying to

@adotinthevoid and eventually, after performing a check on the normalized form, cargo-semver-checks may re-denormalize in order to point out the specific clause that was broken — which may be in a where clause or in the generic definition itself.

Feels like a severe case of path-dependence. In the abstract, we might have wanted a "clause source" flag plus a normalized representation. But perhaps it's too late now, or maybe not!

1
1
0
0
Open post
Predrag Gruevski @predrag@hachyderm.io
· 42mo ago
@spacepod awesome, congrats!!
0
0
0
0
Back
313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

I2P eepsite

j6b6cyk6gjmepjih7jjadxgxvvf3lzzujljuu2v4biemzpg3naya.b32.i2p

Platform

  • Email
  • Chat
  • Timeline
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ
  • Lite (no JS)

Legal

  • Terms of Service
  • Privacy Policy
  • Transparency Report
  • Report Abuse
  • Warrant Canary
  • VPN Policy

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 12:50:23 UTC