overview for einsteinx2

Monad (functional programming) - Wikipedia in c/functional_programming@programming.dev

[–] einsteinx2@programming.dev 5 points 1 year ago

A monad is just a monoid in the category of endofunctors, what's the problem?

Monad (functional programming) - Wikipedia in c/functional_programming@programming.dev

[–] einsteinx2@programming.dev 2 points 1 year ago

FWIW due to Lemmy’s size, I think it’s actually more common to scroll Local or All rather than Subscriptions, so you’re probably getting votes from lots of random people rather than subscribers to this community specifically.

Can We Nixify Lemmy's Dev Environment? in c/nix@programming.dev

[–] einsteinx2@programming.dev 2 points 1 year ago

Heads up with modern git you can now just use git clone --recursive and it will clone all sub modules automatically.

Uh...oh... in c/programmer_humor@programming.dev

[–] einsteinx2@programming.dev 6 points 1 year ago (2 children)

https://html-lang.org/

I mean, technically it’s the other 2 out of 10 that are wrong…🙃

HTML, the programming language, is a practical, turing-complete[1], stack-based programming language based on HTML, the markup language. It uses elements defined in HTML, the markup language, in order to do computations.

Tinder to ban web developers who use 'engineer' in their bio in c/programmer_humor@programming.dev

[–] einsteinx2@programming.dev 1 points 1 year ago

Have you heard about our lord and savior Rust? 🙏

White House: Future Software Should Be Memory Safe in c/programming@programming.dev

[–] einsteinx2@programming.dev 5 points 1 year ago (1 children)

Godot is written in C++ not Rust…

Falsehoods Junior Developers believe about becoming Senior in c/programming@programming.dev

[–] einsteinx2@programming.dev 1 points 1 year ago

Unfortunately all of those dark patterns actually do work statistically speaking, that’s why they’re so prevalent. It really sucks because it means they’ll never stop.

I had to design a simple general purpose language for university, so I tried creating "ZoomerScript" with Jetbrains MPS in c/programmer_humor@programming.dev

[–] einsteinx2@programming.dev 4 points 1 year ago* (last edited 1 year ago)

Reading this comment and then looking up and seeing that your username ends with PDP11 was *chef’s kiss*

W4 Games Announces Pricing Model for Console Ports in c/godot@programming.dev

[–] einsteinx2@programming.dev 8 points 2 years ago

These prices look very reasonable. I started a project in Godot 4 that I want to eventually get on the Switch (and other consoles), so this is exactly what I was looking for!

Waveterm in c/programming@programming.dev

[–] einsteinx2@programming.dev 3 points 2 years ago

Vscode even has a terminal built in haha

HTML, the Programming Language in c/programming@programming.dev

[–] einsteinx2@programming.dev 2 points 2 years ago

This is amazing, going to recommend this to my team as a JavaScript replacement on Monday!

Beware in c/linux_memes@programming.dev

[–] einsteinx2@programming.dev 0 points 2 years ago* (last edited 2 years ago) (1 children)

Wherever all the VR headset makers buy theirs from I imagine.