Most #IT#coders have never heard of Curry-Howard isomorphism between type theory and proof theory (type (\equiv) proposition, programme (\equiv) proof), which #programmers in #Maths and #CS have exploited for decades.
Knowing the techniques is well and good, but understanding the theories matters, at least as much.
Kudos to coders! 🧡
Entering March with our latest Developer Appreciation Day #DAD blog post.
Let's all take a moment to share gratitude for their ongoing passion and commitment to making #TYPO3 awesome.
Does anyone else backtick your own #perl scripts? That's what I meant back during #europython 23 when I was talking with some ppl about quick prototyping before rewriting standalone scripts into more robust things.
Also, don't mind me, i'm just slowly waking up from 20 yrs long coma. Ok, just hormone induced continuous stress disorder, but it kind of feels like I'm 12 again and full of curiosity. #hrtmagic
Je viens de filer ce texte à quelqu'un qui se reconnaîtra mais j'ai pas l'habitude de balancer les potes qui ont de grosses collections de vyniles...
C'est pas pour pour le fléau du code qu'il a en ce moment à tutorer en alternance et qui doit apprendre des choses !
Si tu connais pas, c'est un must read (EN) !
The Ten Commandments of Egoless Programming https://blog.codinghorror.com/the-ten-commandments-of-egoless-programming/
🎙️New Episode of Code and the Coding Coders who Code it! Episode 30 with @adarsh. I learned so much about the history of @rubycentral and how it's run today in this episode. I also got super pumped for @rubyconf next week! I hope to see you there!
My career goal as a #software#dev is to write code the way "#coders" do in the movies: eyes never leaving the screen(s), fingers never leaving the keyboard, no pause, no hesitation, no smashing the crap out of backspace ...
Can any #gamedev or #coders out there recommend a .csv editor that isn't Excel (as Excel LOVES to reformat all the things) but is still in rows and columns?
Normally I'd use Notepad++ but I can't deal with how it displays .csv I get sensory overload.
So I know there are tons of brilliant #coders on here & I have a question. One of my biggest challenges is #IDE ...
I've been using notepad for #JavaScript, #PHP & #html & #css which I know is really holding me back, but... I don't want an IDE that looks like the inside of a space shuttle cockpit.
Is there an IDE out there that is simple, elegant, & doesn't take up 30GB of disk space while also having essential features like:
Visually shows the relationship between code & output in real-time?