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.
A new bill from #SanFrancisco Assembly Member #MattHaney would clearly outline when companies can communicate w/their #employees during off hrs, following other countries that have passed “right to disconnect” #laws.
…#unionized industries like health care & airlines would likely be the least affected, since their working hrs are hashed out at the bargaining table in many cases. #AB2751 specifically allows #CollectiveBargaining agreements to take precedence over #RightToDisconnect protections.
Other industries w/less #union penetration, such as #tech, would likely see clearer rules ahead of time e.g. like when #coders would be required to pull all-nighters to ship the latest update.
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!
Jeg hang vist mest ud på diverse demoscene kanaler på IRCnet, f.eks #dk-scene, #pixel og #coders. Tror også jeg var relativt aktiv på FIDOnet og usenet, men det er lidt mere diffust.
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?
Velkommentråd (kbin.dk) Danish
Sig gerne hej herinde. Kan du huske, hvor du mest spøgte i gamle dage (hvis du vil være ved det?)....