lingo.lol is one of the many independent Mastodon servers you can use to participate in the fediverse.
A place for linguists, philologists, and other lovers of languages.

Server stats:

70
active users

#programmers

3 posts3 participants0 posts today

I shrugged, dismissively, when the Reason #programming language was announced as the new syntactic veneer atop OCaml. OCaml in C/C++/Java/JavaScript syntax—why?

But I, too, had been ensnared by that same comfortable vice grip of "apparent innovation". On many occasions, I had dreamt of new, modernised syntax for Fortran, C, Standard ML, Scheme, and the like. In my dreams, that so-called "new" syntax inexplicably resembles the "old" syntax of Hope/Miranda/Haskell/Agda.

#Programmers....🤷‍♂️

amenzwa.github.io/stem/PL/Fort

amenzwa.github.ioA Forlorn Hope of Fortran Modernisation · Amen Zwa, Esq.

Yes, it is true! 😏
🎙️💻 It's Webinar Time!

... and we’re back with another ITSPmagazine Thought Leadership Webinar — because impactful conversations and meaningful perspective exchanges are what we’re all about.

🚀 After the success of our debut session “AI In Healthcare: Who Benefits, Who Pays, And Who’s At Risk?” (missed it? Watch it on demand 👉 crowdcast.io/c/ai-in-healthcar) —we’re diving back in with a brand-new conversation focused on the heart of what drives our work: cybersecurity, technology, and society.

💡 Secure Coding = Developer Power: How To Convince Your Boss To Invest In You An ITSPmagazine Webinar With Manicode Security 🗓️ April 16, 2025

We’re honored to welcome two brilliant minds joining Sean Martin, CISSP — yes, of course, he’s pretty sharp too 😬 — for this one:

🎙️💥 Jim Manico, Founder and Secure Coding Educator at Manicode Security
🎙️💥 Jimmy Mesta 🤙, Course Instructor for Manicode and CTO at RAD Security

Why does #securecoding still feel like an afterthought? This session tackles that question head-on—covering why most companies don’t invest in secure coding training, how developers can advocate for themselves, and how this skillset can seriously boost your career. We’ll even get into some live code reviews and automation demos you won’t want to miss.

🔐💥 Secure Coding = Developer Power: How To Convince Your Boss To Invest In You
🗓️💥 LIVE: April 16, 2025
📍💥 REGISTER HERE: crowdcast.io/c/secure-coding-e

Be sure to share this with your fellow #developers, coworkers, and anyone who cares about building safer software and smarter teams. This is your chance to invest in yourself—and help your company do the same.

LET'S go, we can do this!!! 🤘😬✨

#webinar, #securecoding, #developerlife, #cybersecurity, #infosec, #softwaresecurity, #devsecops, #itspmagazine #infosecurity #tech #technology #software #programmers

“Beginning #programmers are often so eager to accomplish the first part of that definition—writing a #program to perform a certain #task—that they fail on the second part of the definition, meeting the stated #constraints.

I call a program like that, one that appears to produce correct results but breaks one or more of the stated rules, a #KobayashiMaru.”🖖🏻#VAntonSpraul

#NoStarch <nostarch.com/thinklikeaprogram>

nostarch.com · Think Like a ProgrammerIn this one-of-a-kind text, author V. Anton Spraul breaks down the ways that programmers solve problems and teaches readers what other introductory books often ignore: how to Think Like a Programmer.
"Remember that there is a distinction between a programming language and a graphical user interface. Don't confuse snazzy graphics (generated using someone else's libraries and tools) with good programming."
~ Bjarne Stroustrup (C++ Inventor)

@infostorm@a.gup.pe @hacking@a.gup.pe @c@a.gup.pe @programming@a.gup.pe @dev@a.gup.pe @quotes@a.gup.pe

#BjarneStroustrup #C #cplusplus #Hacking #Hackers #Programming #Programmers #Dev #Developers #Code #Coding #quotes #quotations

I turned off #Apple #Intelligence because not only did it write things resembling "My grandfather fell out of one of those things and died when he was a baby," they made it so that if you press the space bar twice (which used to insert a period) now will insert that frequently used phrase or sentence ending instead. If you're typing and not reading what you're typing, chances are you're gonna say some very strange things.

I could probably go up on a rant on this, but when did people decide that #writing ought to be dumbed down to what everybody else is saying, rather than using your brain to come up with something eloquent to move your audience? Are we really that lazy?

Yeah, I see the root causes: Greedy corporations wanting to jump onto the next big thing, Gullible #programmers racing to #code the killer feature and bonuses rather than judging the worthiness of the feature. It's a little bit like radium and watch dials, which I brought back for one of my stories with a twist. Madam Curie died because science didn't understand something essential about radioactivity, yet, and who knows how many cases of lung cancer resulted from the glow in the dark watches.

The problem with #AI and ethics is training, the source. A good writer takes training, and that includes willing teachers, reading, experience writing, and feedback. A good AI requires the same thing, they call the feedback "curation." That's "educating" it what is crap and what is gold. Moreover, the training ought be done on the writing of the person using the AI, or by willing and well paid teachers, and I really don't get why Apple didn't take this tack and create something truly useful to that writer.

My best guess why not? The psychology of their perceived user: The need for instant gratification. If we train each AI the way we train each human student, where's the ability to cut out the labor and mass produce writers?

I want the personally trained #AI that can fill in the missing word that's at the tip of my tongue, that can reliably flag my recurring grammar errors, that can complete my sentences with the accuracy of my spouse of decades. As an SF writer or as an essayist, it should recognize my idiosyncratic vocabulary and not autocorrect it, to the point of accepting new words or phrases. It astounds me that AI contribution isn't color-coded in a ADA safe way during composition to show where the writer might want to verify the generated contributions. That all auto correct auto complete doesn't do this is a serious set back to the technology.

Okay, I ranted.

A big thank you to @vextaur for the discussion I sourced this from.

#TechTuesday
This #Lemmy post programming.dev/post/22672085 links to the recording of the talk I gave earlier in the year, about how #dotNet #dotNetMAUI and other #programmers #developers can get the most out of #Mastodon and the #Fediverse in general. Show to people you want to come here, or watch yourself if you feel like you could learn more about it.

CC @andypiper @evanprodromou@evanp.me @evanprodromou@socialwebfoundation.org @Gargron @mapache @alvinashcraft @alvinashcraft.com @jamesmontemagno

programming.dev"Finding your way around the Fediverse" recording - programming.devEarlier this year I gave this talk which is about how programmers can get the most of the Fediverse, particularly for dotnet/MAUI developers - some of the killer features which are available and how to use them. The focus of the examples are with dotnet/MAUI, but these things would undoubtedly also be available for other languages/ecosystems, I was just using dotnet/MAUI to illustrate the underlying functionality available to us here. This recording would be good for anyone who isn’t familiar with these features (maybe anyone you want to convince to come here, or just if you feel you don’t know everything that is available). The first part of the recording is a different talk about MAUI, and the first link below will be where my talk starts, and then some more links for other key points, if you just want to see the parts you don’t already know about. Following these recording links will be links to resources that I talked about… 30:06 start/MAUI Lemmy community [https://youtu.be/hCzYawTqnT4?si=sDQXhygjxDBQPitL&t=1806] 31:31 overview of talk [https://youtu.be/hCzYawTqnT4?si=izcKF3v1mtdqu3FZ&t=1891] 33:20 what is the Fediverse? [https://youtu.be/hCzYawTqnT4?si=qkcwJq1LZ0IgdGbv&t=2000] 38:15 Lemmy [https://youtu.be/hCzYawTqnT4?si=cUdRxzt-zbtSZsCW&t=2295] 42:08 Mastodon [https://youtu.be/hCzYawTqnT4?si=02oTLWHQ9IsZSFAq&t=2528] 43:40 Mastodon dotnet.social [https://youtu.be/hCzYawTqnT4?si=alg3HYcUZNagjHac&t=2620] 46:33 Mastodon Local timeline [https://youtu.be/hCzYawTqnT4?si=WIpFq8h1Oh7ooYua&t=2793] 48:01 Mastodon Federated timeline [https://youtu.be/hCzYawTqnT4?si=9Gh1Dz8FYigBv3qR&t=2881] 60:11 Mastodon Lists [https://youtu.be/hCzYawTqnT4?si=zoIl6VtHiCEBZnDs&t=3011] 56:28 Mastodon hashtags [https://youtu.be/hCzYawTqnT4?si=njy2vmPxeTSm8YYC&t=3388] 56:25 Mastodon pinned posts [https://youtu.be/hCzYawTqnT4?si=3nAWOpnG95W8rQHZ&t=3566] 1:00:20 follow Twitter accounts from Mastodon [https://youtu.be/hCzYawTqnT4?si=23Dwa58JrSHNssm2&t=3620] 1:01:51 how to use Lemmy from Mastodon [https://youtu.be/hCzYawTqnT4?si=JxBjpdeoMasVhGpt&t=3711] 1:07:25 Mastodon’s killer feature for dev’s - github bots [https://youtu.be/hCzYawTqnT4?si=i3JsdK39Ffehx9ep&t=4045] 1:10:47 Guide to Mastodon for .NET and MAUI people [https://youtu.be/hCzYawTqnT4?si=VZps5Df6oljHcVBr&t=4247] 1:13:15 Pixelfed, UI comparison [https://youtu.be/hCzYawTqnT4?si=Q3_cba-A-cAdN_KM&t=4430] 1:15:41 Maho Pacheco’s repo (federate static website, etc.) [https://youtu.be/hCzYawTqnT4?si=lbmmpMTf7nESMjxo&t=4541] 1:17:52 Microsoft DevBlogs [https://youtu.be/hCzYawTqnT4?si=Y61LToQMQ_Utnas_&t=4672] Links to resources from this talk Creating MAUI UI’s in C# [https://dev.to/smartmanapps/creating-maui-uis-in-c-1adf] fediverse.party [https://fediverse.party/] .NET MAUI @ programming.dev [https://programming.dev/c/dotnetmaui] .NET MAUI Mastodon bot [https://dotnet.social/@dotnetmaui@programming.dev] .NET Mastodon bot [https://dotnet.social/@bot] @SmartmanApps@dotnet.social [https://dotnet.social/@SmartmanApps] Join dotnet.social [https://dotnet.social/invite/q8pzN9rL] Join dotnet.social and auto-follow @SmartmanApps@dotnet.social [https://dotnet.social/invite/JntHpwzG] How to follow multiple hashtags in a column [https://dotnet.social/@SmartmanApps/110858924945208556] @Microsoft@bird.makeup [https://bird.makeup/users/microsoft] Github bots by Carlos Sanchez of Microsoft [https://dotnet.social/@foo_fighter]… Dotnet github bot [https://dotnet.social/@dotnetbot] MAUI github bot [https://dotnet.social/@mauibot] MastodonGitHubBot repo [https://github.com/ChayoteJarocho/MastodonGitHubBot] Guide to Mastodon for dotNetMAUI and dotNet peeps [https://dotnet.social/@SmartmanApps/110648925352232498] Github repo [https://github.com/mahomedalid] of Maho Paheco of Microsoft [https://dotnet.social/@mapache@hachyderm.io] Maho’s guide to implement ActivityPub in a static site (or any website) [https://maho.dev/2024/02/a-guide-to-implement-activitypub-in-a-static-site-or-any-website/] Follow Maho’s blog [https://dotnet.social/@blog@maho.dev] from Mastodon (or almost any Fediverse service!) Follow Microsoft DevBlogs [https://dotnet.social/@msftdevblogs] (federated thanks to Maho)

Fellow #Programmers, #Coders (and possibly #Mathematicians) lend me your wisdom!

I’m learning from books and I “know” the best way to learn from them is to work through them. But what I don’t know is how I’m doing. I’m often frustrated at my pace, since I don’t know what normal is.

And I need to learn stuff, to land a job. (I’m old. I want to pivot into a remote job, ergo devops. Anyway, that’s enough about me.)

So here’s the question(s),

1. How long do you take to work through a new text / proof / new book on a new topic that you don't know?

2. How long did it take you (if you remember) when you were just starting out?
3. Were you doing this on your own?
4. Were there other people / things / places that aided you?

Please boost, to help a slow learner?! Thank you!

#Coding#Maths#Books

Prof. Dybvig's paper, "The Development of Chez Scheme" (2006), is a brief history of the #Chez Scheme compiler that he had been working on since 1985. Despite his quiet, understated tone, he manages to convey in this paper his heart-felt enthusiasm for, and decades-long dedication to, the Scheme language and its implementations. This is indeed an inspiration to all of us #geeks. Today, Chez Scheme is one of the fastest, most compact, and most advanced implementation of #R6RS.

citeseerx.ist.psu.edu/document

Dybvig was, in turn, a student of another pillar of the Scheme community, Prof. Friedman. I first came across Dybvig's work, when I read the 1ed of his famous book, "The Scheme Programming Language" (1987), the 4ed of which was published in 2009 and it covers R6RS.

amazon.com/Scheme-Programming-

The book "Chez Scheme Version 10.0.0 User’s Guide" (2024), published by Cisco, covers the inner workings of Chez Scheme v10, which is a superset of R6RS.

cisco.github.io/ChezScheme/csu

Chez Scheme and the whole of Dybvig's work are the guide posts for all #Lisp and #Scheme #programmers.

Question for the #programmers on here, how would you quickly determine uniqueness of a value, given storage containing a billion current values?

What storage would you use? Are there special methods for this task? I’ve considered a bloom filter but false positives aren’t good for this application.