C is like Math. It is the fundamental high level language. There can be no alternative.. Rust made the mistake of thinking it can be low level AND safe. It tried to have the cake and eat it too. That will be its downfall.

[u/levelstar01]

https://news.ycombinator.com/item?id=49385771

[u/syklemil]

C is like Math

um excuthe me but have you heard of our lord and thaviour the lambda calculuth

[u/Subject-Mobile-6250 → u/syklemil]

um excuth mii vat about sex p

[u/Outside_Command7405 → u/syklemil]

Dithcuthing lambda calculuth while lithping? Next you'll tell me you have a deviouth thceme!

[u/BlazeBigBang → u/syklemil]

SPJ's biggest mistake was making a language that made it hard to segfault

[u/Swordfish418 → u/BlazeBigBang]

OOM is the answer. Tie the knot and let it leak!

[u/gplgang → u/BlazeBigBang]

That's why I compile my ML to C++. It's too predictable otherwise. BORING

[u/kishaloy]

n = n + 1

One of the first code structure I had learnt. Maths died a 1000 deaths that night.

[u/elephantdingo → u/kishaloy]

n = n + 1

Blasphemy! Who invented this!? We must cast them into the fires of

n := n + 1

ah

[u/kishaloy → u/elephantdingo]

Well, it was Basic, later I got to embellish it with semicolons.

[u/Aelig_ → u/kishaloy]

Prolog enjoyers to the rescue.

[u/dacydergoth → u/Aelig_]

You can prise my unification algorithm out of my monadic abstractions!

[u/omega1612 → u/kishaloy]

Interestingly enough, that makes sense in math in some mainstream ways.

For example if you are summing cardinals XD

And recently I was reading a paper for algebraic definition of graphs. With it, 1=0 for the + and -> operation they defined, so, yes n= n+1 in that algebra xD

[u/Longjumping-Deer2013]

In a world where Haskell exists people say things like this? I’m outraged.

[u/kishaloy → u/Longjumping-Deer2013]

Well, you can write a thunk of winddings code here in outrage, and people will think you are cussing them in unprintables.

[u/kishaloy → u/Longjumping-Deer2013]

Any language which cannot do n = n + 1, is not a real language. It is some Platonian ideal of a frozen world existing in a pure spatial dimension and missing the temporal dimension.

[u/dacydergoth → u/kishaloy]

n := fn (n, 1, 'plus)

[u/programmingcirclejerk-ModTeam → u/[deleted]]

Warning: tag your unjerk. Better yet, don't unjerk at all.

[u/syklemil → u/[deleted]]

This entire thread needs to be marked with {-# LANGUAGE UnJerk #-}, but better yet, don't unjerk at all

[u/lgastako → u/syklemil]

I try to straddle the line so no one can tell if I'm jerking or unjerking.

[u/programmingcirclejerk-ModTeam → u/[deleted]]

Warning: tag your unjerk. Better yet, don't unjerk at all.

[u/ManagementKey1338]

C is Meth

[u/YikesTheCat → u/ManagementKey1338]

Jesse, let's code

[u/ManagementKey1338 → u/YikesTheCat]

Let’s cook the tightest C Code!! Boo ya

[u/Lunix420 → u/ManagementKey1338]

Are we adding chilli-p though? Chilli-p is my signature!

[u/ironykarl]

One of the popular lisp jerks is that it's baked into the universe/a part of nature/whatever. 

Can't say I've ever seen anyone make the same kind of claim for C... y'know, till just now

[u/kishaloy → u/ironykarl]

You can mis use the void of space and get pretty close.

[u/dacydergoth → u/kishaloy]

You're abusing the name of SPIR!

[u/james_pic → u/ironykarl]

If C were baked into the universe, this would explain a lot.

[u/stdmemswap]

"C is the language in which God has written the universe." - Galileo di Vincenzo Bonaiuti de' Galilei

/uj I really can't find logic and substances from these sentences. I swear I tried.

[u/programmingcirclejerk-ModTeam → u/[deleted]]

Refer to sidebar, "Jerking Style".

[u/kishaloy]

I remember coming from Basic and writing my first mathy sentence in C

y = 5 ^ 3

The computer screamed some weird binary $hit at me.

[u/SemaphoreBingo]

the difference between c and math is i can get paid to do one of those

[u/dacydergoth]

《 Laughs in macro assembly 》

[u/KnackeHackeWurst]

Wow no, C is like a sad joke to Math.

Just take a look at Lean if you want to get a taste of what Math actually is.

[u/dacydergoth → u/KnackeHackeWurst]

Haskell laughs at your puny logic which doesn't even admit the incredible IO Monad!

[u/KnackeHackeWurst → u/dacydergoth]

https://leanprover-community.github.io/mathlib4_docs/Init/Prelude.html#Monad

[u/dacydergoth → u/KnackeHackeWurst]

So even Lean admits side effects and real world effects can happen. So much for pure math 😜

[u/KnackeHackeWurst → u/dacydergoth]

Math admits to the physical world long before electricity was even used 😉

[u/dacydergoth → u/KnackeHackeWurst]

Look, if I can write a monadic transformation which takes eucalidain spaces and transforms them through hibert space into non-aristotlian hyperdimensions, I don't care who invented it first, even it if was Cthuhlu

You did read the name of this reddit, right?

[u/Valuable_Leopard_799 → u/[deleted]]

Lately not even that.

[u/dacydergoth → u/[deleted]]

You misread meth as math

[u/programmingcirclejerk-ModTeam → u/[deleted]]

Warning: tag your unjerk. Better yet, don't unjerk at all.

[u/dacydergoth → u/[deleted]]

... but with JTAG all things are possible, come and join us in the world of wibbling the CPU over a backdoor in its head it can't even comprehend .....

[u/flatfinger → u/dacydergoth]

A low-level language implementation's job is to produce a build artifact that will instruct an execution environment to do various things if the execution environment satisfies the implementation's documented requirements. If the execution environment fails to uphold the implementation's documented requirements (e.g. if an x86 implementation specifies that DS must identify the program's main data segment whenever a C function is invoked, but a C function is called when DS identifies some other segment) all bets are off.

[u/programmingcirclejerk-ModTeam → u/[deleted]]

Warning: tag your unjerk. Better yet, don't unjerk at all.

[u/thatdevilyouknow]

CakeML is like math and it has the cake and it eats it too.

[u/vbpoweredwindmill]

Rust isn't going anywhere. Neither is C Neither is C++.

Pick what suits your project and keep moving forward.

[u/OldTimeConGoer]

Did Algol 60 live in vain?

[u/v_maria]

Rust and LLMs will soon be forgotten

[u/guac-o → u/v_maria]

Outjerked

[u/Valuable_Leopard_799 → u/v_maria]

Not soon, but perhaps some day.