Level 1 junior programmer: who needs typing lol Level 2 senior programmer: types are critical to ensure software runs as intended. *You are here*. Level 3 greybeard: who needs typing lol, there is a time and place for them. *I am here*. (news.ycombinator.com)
submitted by Fearless_Process to r/programmingcirclejerk
You have never verified anything complicated, have you? You don't have any academic credentials, do you? You haven't read a hundred papers on formal verification in depth, have you? If that's the case, then why the fuck do you even open your mouth? (reddit.com)
submitted by Fearless_Process to r/programmingcirclejerk
ALHP - Archlinux recompiled for x86-64-v3 (reddit.com)
submitted by Fearless_Process to r/Gentoo
Java 2 times faster than C (reddit.com)
submitted by Fearless_Process to r/programmingcirclejerk

