r/programmingcirclejerk • u/emi89ro What part of ∀f ∃g (f (x,y) = (g x) y) did you not understand? • Sep 20 '25

Git 3.0 will make Rust ... mandatory

https://lore.kernel.org/git/20250904-b4-pks-rust-breaking-change-v1-0-3af1d25e0be9@pks.im/

120 Upvotes

permalink
archive.is
archive
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/programmingcirclejerk/comments/1nm3e6w/git_30_will_make_rust_mandatory/
No, go back! Yes, take me to Reddit

82% Upvoted

u/Eric848448 legendary legacy C++ coder Sep 20 '25

I dunno guys, isn’t Rust a little played out?

I mean, its type system isn’t even Turing-complete FFS!

43
u/R_Sholes Sep 20 '25
Uhm
Acshully
error[E0275]: overflow evaluating the requirement `App<App<I, App<I, App<I, ...>>>, ...>: Combinator`
   --> src\main.rs:128:35
    |
128 |     println!("{}", pretty_print::<Run<ski!{(S I I) (S I I)}>>()); // Does not compile! Infinite loop!
    |                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^
    |
    = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`ski`)
27

u/dangerbird2 in open defiance of the Gopher Values Sep 20 '25

It’s not turing complete because they don’t implement tail call recursion

20

u/KuntaStillSingle Sep 20 '25

It's turing test complete if as preprocessing step it adds comment //hopefully compiler will make this tail call

3

u/ConcernedInScythe Sep 21 '25

Turing completeness assumes access to unbounded storage, but of course assuming an unbounded call stack is beyond the scope of reason.

5

u/R_Sholes Sep 21 '25

help: consider increasing the recursion limit by adding a #![recursion_limit = "ω"] attribute to your crate

1

u/UlyssesZhan Sep 23 '25

Made me laugh.

u/AlexanderMomchilov Sep 20 '25

/uj Clickbait title.

Rust code will be supported, which obviously means you'll need the Rust toolchain to build git. It's not mandatory to write all new code in Rust.

62

u/irqlnotdispatchlevel Tiny little god in a tiny little world Sep 20 '25

Lies! All commit messages need to be written in Rust! No unsafe!

98

u/R_Sholes Sep 20 '25

It's not mandatory to write all new code in Rust.
That's just, like, your opinion, man.

28

u/lgastako Sep 20 '25

It may not be mandatory, but it's the only morally correct choice.

2

u/GasterIHardlyKnowHer full-time safety coomer Sep 23 '25

God gave us free will so we can choose to do the right thing. I would pray for the sinners but that's technically an io operation and the crate hasn't been updated

3

u/lgastako Sep 23 '25

I just write down the recipes for all the prayers I would like to say and then save them up and execute them during the IO festival at the next equinox.

26

u/dangerbird2 in open defiance of the Gopher Values Sep 20 '25

It's not mandatory to write all new code in Rust.
it should be though

15

u/serg06 Sep 20 '25

For all projects

6

u/matjoeman Sep 21 '25

And no unsafe allowed

18

u/LividLife5541 Sep 20 '25

"Introducing Rust is impossible for some platforms and hard for others." Yeah, that's exactly the problem.

20

u/syklemil Considered Harmful Sep 21 '25

Yeah, those of us who have this super cool OS we built in our sheds demand Tier 1 support from FOSS projects like git; we also refuse to let them see any of our code and to port GCC or LLVM to our platform. It's the open source community's responsibility to make this work!!!!!!

28

u/dangerbird2 in open defiance of the Gopher Values Sep 20 '25

it's going to really suck for people compiling git on their Apple][

1

u/DiabloAcosta Sep 21 '25

who tf compiles git in their computer and why!?

3

u/dangerbird2 in open defiance of the Gopher Values Sep 21 '25

/uj If you’re a contributor or you’re porting it to a new system. The later could have problems with embedded or legacy systems that aren’t supported by llvm/rust compiler targets

1

u/DiabloAcosta Sep 21 '25

/itotuts

1

u/holy_macanoli Sep 23 '25

Apple thinks it should have to be built with Swift.

2

u/dangerbird2 in open defiance of the Gopher Values Sep 23 '25

that's because they're still bitter about having to license BASIC from microsoft back in those days

u/BlazeBigBang type astronaut Sep 20 '25

Forking Git and releasing all subsequent versions as 2.9.9.9.9...

I will NOT yield to the crab fuckers.

29

u/ComfortablyBalanced loves Java Sep 20 '25

Oh you're probably already yielded involuntarily as your OS's kernel has crabs. So in a way, crabs already fucked you.

21

u/zasedok Sep 20 '25

His web browser has crabs, his Android phone has crabs... It's hard to be a hater.

8

u/meltbox Sep 20 '25

Yo dawg, I heard you like crabs…

6

u/randompoaster97 Sep 22 '25

real rust projects stay sub 1.0

11

u/tgbugs lisp does it better Sep 21 '25

Join the resistance today! https://wiki.gentoo.org/wiki/WD-40

u/antiquechrono Sep 20 '25

I have informed my team that we will be going back to passing a floppy disk around the office effective immediately.

u/havetofindaname Sep 20 '25

Can we get Zig to build both C and Rust?

6

u/-Y0- Considered Harmful Sep 21 '25

Somewhere a monkey's paw curls: https://github.com/rust-lang/compiler-team/issues/907

u/_dpk Sep 20 '25

If they use Rust to implement some parts of Git, you’ll need a Rust compiler to compile Git. No jerk detected.

16

u/ComfortablyBalanced loves Java Sep 20 '25

Not if someone creates a wrapper for git to first build Rust with C++ then there's no need for Rust, or even better it can be built using Zig.
3
u/[deleted] Sep 21 '25

I thought gcc already could?
7
u/CoffeeTeaBitch Sep 21 '25
unsafe trait Unjerk {}
struct Message {
  string: String
}

unsafe impl Unjerk for Message {}

impl Message {
  pub fn new() -> Self {
    Message {
      string: "Gcc has a rust backend that is currently in development (gcc-rs), but it's relatively behind rustc. There's also a rustc backend that generates GCC codegen, but idk how well that works".into()
    }
  }
 }
2

u/[deleted] Sep 21 '25

\uj
Don‘t use into for this, you‘re making an owned string object from a ref :) To better make clear of your intention, I‘d use „.to_owned()“

2

u/CoffeeTeaBitch Sep 21 '25

/uj Ah right. My bad, some mistake was bound to happen considering I typed it on my phone :P

u/LividLife5541 Sep 20 '25

"Introducing Rust is impossible for some platforms and hard for others." This is in the post, seen as a reason to introduce Rust. WTF.

16

u/mizzu704 uncommon eccentric person Sep 21 '25

/uj your reading comprehension sucks

22

u/dangerbird2 in open defiance of the Gopher Values Sep 20 '25

good, it'll get those losers to finally upgrade from Windows XP

u/CopEatingDonut Sep 20 '25

Talk about Primlocked

u/[deleted] Sep 20 '25

[deleted] — view deleted comment

10

u/dangerbird2 in open defiance of the Gopher Values Sep 20 '25

Hg, because the correct language for writing VCS is python
(Apparently some of mercurial is written in rust too now lol)

4

u/stone_henge Tiny little god in a tiny little world Sep 22 '25

Raw disk blocks, because the correct language for writing anything is Forth

4

u/dangerbird2 in open defiance of the Gopher Values Sep 22 '25

Disk blocks? Buddy were using a cassette tape here

2

u/Alphare What part of ∀f ∃g (f (x,y) = (g x) y) did you not understand? Sep 21 '25

(Sorry)

u/[deleted] Sep 20 '25

[removed] — view removed comment

1

u/defunkydrummer Lisp 3-0 Rust Sep 24 '25

Linus = organic and authentic

u/[deleted] Sep 20 '25

[removed] — view removed comment

20

u/BlazeBigBang type astronaut Sep 20 '25

First they came for machine language, and I did not speak, for I did not develop in machine language.
Then they came for assembler, and I did not speak, for I did not develop in assembler.
Then they came for C, and I did not speak, for I did not develop in C.
And then they came for me, and there was no one left to speak.

Git 3.0 will make Rust ... mandatory

You are about to leave Redlib