Frank Wagner

@fwbrasil Lean 4

During the past days, I’ve been considering what to do next as a hobby. It’s definitely not easy to leave a significant work like Kyo behind but, given the follow ups since my withdraw, it’s looking more and more like there isn’t a space for me in Scala. What are good languages I could try? Rust isn’t a good option for me, I enjoy building more high-level and accessible solutions. Same with Unison because of the Haskell syntax. TS is nice but no macros and only structural types is too limiting. What else is there? I’m not following new languages for some time now Or should I build a new language? An effect system or a new language was the main decision when I started Kyo. Perhaps I chose the wrong path

It's been over 24 hours since #AdventOfCode 2024 ended! This AoC season: - 273,313 users collected at least one star - 3,654,949 stars were collected Since 2015: - 779 users have all 500 stars - 1,077,226 users collected at least one star - 23,170,305 were collected

Man: "I made you an apple pie! Here." <hands you a bowl of ice cream> You: "..." If you tell them that ice cream is not an apple pie, you know they will call you a gate-keeping pie purist, and others will gang up to shout you down.

This was my tenth(!) year building 25 days of puzzles for #AdventOfCode. You can solve them all for free and in whatever programming language you like. I hope they help people become better programmers. 🌟 The first puzzle comes out in two hours: adventofcode.com

Et on fait aussi la GDCR chez @ArollaFr ! meetu.ps/e/NxNn9/6yXB6/i

this is good :)

@alexbunardzic Unison?

You'd expect by now that AI would free us from the shackles of files and present the code the way it makes sense to us, not the way the code is stored.

@cdenhartigh Not a game, indeed. The purpose of a game is to have fun. The purpose of programming is to solve a problem. Having fun in doing so is the luxury if our profession.

@cdenhartigh No. Programming languages are precise, and unforgiving of errors. They allow for perfect communication, and free creativity from ambiguity.

@TotherAlistair You will need to define the term anyway, why not go with a made up word, like "actaptor" or "adactor"?

and there you see why I need a word for actor-or-adapter (adapter-or-actor) the optional adapter is not the driving or driven actor. and not all actors need adapters. is tooo much of a mouthful. Need a word all incoming lines are open to receive suggestions :)

Rules? Life has "rules"? Now you tell me. This would have been so much simpler with "rules". Er… maybe not. This is complicated. Aaaarg. Enjoy the discovery of "life" with only 4 rules, in November.

OH: "Is it Agile or agile?" "Agile" is the formal name for any process that conforms to the values and principles of the Agile Manifesto (tweaked to encompass the things we've learned in the past 20 years, ofc). Lowercase "agile" is a word in the English language. They used to be synonyms. Nowadays, virtually no company that claims to be Agile is. They aren't agile either. The term has become meaningless. I don't use it anymore if I can avoid it.

Even if metrics show that tests have executed every branching logic in the code and ran every statement in the repo, it still means nothing. Because, what are those tests asserting? Do we know? Only mutation testing can tell us what’s going on.

Microservices Retrospective – What We Learned (and Didn’t Learn) From Netflix bit.ly/3YipXxG by @adrianco

#throwbackthursdays Before #MobProgramming: - Bug Fixing Often - Deployments often occurred after months/year After #MobProgramming: - No bugs for a year and a half - Deployments often occurred every day/week @DexterBaga @ChristophLucian @WoodyZuill youtu.be/kYeYdU4ZRg4

Masterclass Agile Avancée (en français) : proche de Nice. Juin 12-13. Profites de cet emplacement ! Places limitées... scrum.fr/masterclass-ag… .

🚨 Salut ! ⏰ Time is running out to grab your Early Bird tickets for @RivieraDEV 2023 before price goes up. Our program is finally LIVE, crafting it was tough, now looking forward to those ~80 talks. See you July 10-12 & don't forget your sunscreen! 🌴☀️ rivieradev.fr/program

This is a nice article by @jefgodesky. Why Scrum Fails @jason.godesky/why-scrum-fails-ac92cab05c6a" target="_blank" rel="nofollow noopener">medium.com/@jason.godesky…

I wish folks would think about the tradeoffs & incentives of team coding workflows instead of arguing about who to copy. tidyfirst.substack.com/p/thinking-abo… (P.S. Not a fan of being used for argument from authority. I know too much to trust me.)