Monads are just monoids in the category of endofunctors

Can someone please explain what this means in 10 words or less? I don't have much time.

a math boi monoid obfuscatory mabble

category = fancy word for a directed graph
monoid = function returning 1 or 0
endofunctor = function taking object O of type T and mapping it to object P, also of type T.

>>3
although in math categories are used to represent type hierarchies, and not just arbitrary graphs, like say neural networks or your video game map.

Think C/C++ class hierarchies, together with all the functions transitioning objects between said classes.

You can use the concept to reason about your video game world, but it is not that good for it, due to the dynamic nature of game objects, and their change during lifetime.

>>3

monoid = function returning 1 or 0

And it takes two arbitrary objects.

So x86 bitwise logical operations are monoids.

>>3
endofactor :: forall a. a -> a
or
endofactor :: int -> int
?

>>5
Of the same type?

why bother man? learn java, write shit code, get 1000 0000 dollars american per year, no longer need to shit on the street (but still will out of respect)

>>6

Of the same type?

Yes.

>>4
there are no classes in C


how does *said boy* like them apples?

>>4
donkey.com motherfucker

Typed languages are fine if you need to write thousands of lines with other people. Normal programs don't need that level of bullshit.

>>11
All languages are typed.
You probably meant compile time type checking.
It has nothing to do with the number of people.
More like with the code correctness.
But it follows from the Godel incompleteness theorem,
and as well as halting problem, that to prove the
correctness of a program you need system as large as the program.
Basically you're trying to solve the halting problem.

>>12
Assembly doesn't care what your bits are. HDML is state machine ins and outs.

>>12
Also, I am not "trying to solve the halting problem." That would be stupid.

Not sure where you even got that from.

You're all overlooking the fact that I am the champion here.

>>15
How can I overlook anything when I've scooped out my eyeballs with a grapefruit spoon?

NVIDIA Security Team: "What if we just stopped using C?"
by Fabien Chouteau – Nov 07, 2022

Today I want to share a great story about why many NVIDIA products are now running formally verified SPARK code. This blog post is in part a teaser for the case study that NVIDIA and AdaCore published today.

Our journey begins with the NVIDIA Security Team. Like many other security-oriented teams in our industry today, they were looking for a measurable answer to the increasingly hostile cybersecurity environment and started questioning their software development and verification strategies.

“Testing security is pretty much impossible. It’s hard to know if you’re ever done,” said Daniel Rohrer, VP of Software Security at NVIDIA.

https://blog.adacore.com/nvidia-security-team-what-if-we-just-stopped-using-c

Mizzter_perro 185 points 1 day ago

It would be "NVIDIA Se urity team", then.

pcjftw 5 points 15 hours ago

I C what you did there..

[b]Ashnworp/b] 4 points 19 hours ago

Shut up and take my upvote

badillustrationsp 1 point 5 hours ago

Or the "NVIDIA Seurity teamm"

https://old.reddit.com/r/programming/comments/yoisjn/nvidia_security_team_what_if_we_just_stopped