shakedown.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A community for live music fans with roots in the jam scene. Shakedown Social is run by a team of volunteers (led by @clifff and @sethadam1) and funded by donations.

Administered by:

Server stats:

271
active users

#softwareengineering

5 posts5 participants1 post today

New to programming/software development?

Can I help?

I can walk us through using git, a popular source control tool. I can demo how use an IDE (integrated development environment) for debugging and writing code.

Live, now and for next 4 hours from this post. DM me.

Over 20 years experience here and wanting to give back. Free, just wanting to lessen the ick in the world.

Replied in thread

@profoundlynerdy just because something has types doesn’t make it Haskell-like. Haskell’s type system is in the family of Lambda Calculii (the “Lambda Cube”) which is called “System-F”.

I don’t know much about Raku, but it seems to me to me to be a bit more similar to TypeScript. And what differentiates TypeScript from other languages: it takes a horrible programming language like JavaScript and makes it less bad by giving it a type system, likewise Raku makes Perl less bad in the exact same way. (Sorry, I’m not trying to be impolite, but JavaScript and Perl are objectively, truly awful, horrible programming languages.)

So I see both Raku and TypeScript only being useful to a company buried in the technical debt of a hugely profitable production application that was very unwisely written in a dynamically typed language (Perl or JavaScript), which then unfortunately grew to millions of lines of code, and now it can’t be maintained by anyone, and it could never possibly be rewritten from the ground-up in a good programming language like Haskell for any reasonable sum of money. So Raku and TypeScript both offer a half-measure solution to that problem: make the maintenance of horrible computer code a bit easier with a type system.

Haskell was never intended as a fix for horrible code, it took a really good experimental programming language called Miranda and turned it into something that you can use to do real, practical software engineering, and it does it better than any other language ever invented. You write a system in Haskell because you know up front that you want it to be stable and maintained in a cost-effective manner for decades.

Zig is not similar to Raku or Haskell. It is more analogous to what Scala does for Java. Java is already statically typed, but Scala’s type system is better, and it’s runtime is fully compatible with Java. Likewise, Zig is fully compatible with the C language runtime, but provides a slightly different, slightly better static type checking system than the C type system. Zig also solves a bunch of other problems that C has by providing it with modern features like namespaces and modules, which makes it much easier to use than C. Zig is the perfect way to replace old C code with something more modern, but only if you don’t need it to be as rigorously correct as Rust. I think Zig would be a nice language to use to replace non-safety-critical front-end libraries like Gtk, or maybe for things like game engines.

I just discovered I got blocked by somebody whose opinion and posts I highly value.

Since can't imagine (or remember) which interaction might have triggered this course of action, I tried to reconstruct our last interaction(s) from web searches, and discovered the following:

(a) This is practically impossible to find past interaction with specific accounts.

(b) A couple of other accounts *I* have been following formerly which now block me without me remembering any untowards interaction with them.

This all makes me unexpectedly sad.

I think I'll put in another Mastodon moratorium for an indeterminate length of time.

Looking back, Mastodon did not really work for me, with what I'd term "meaningful" connections. This is very likely the way my mind works.

If anybody can recommend communities related to #lisp, #agile, #softwareengineering or #infosec, I'd appreciate if you could reply or DM. I am still missing connection there (after 2.5 years of Fedi, which should tell me something).

🚨 One last nudge—PyCon UK 2025's CfP closes in two days! 🚨⌛

Still thinking about submitting a talk, workshop, or Young Coders' session? NOW is your moment 🚀

You can find information on why and how to submit a proposal here 👉 2025.pyconuk.org/call-for-prop

Your insights, experiences and creativity could be just what our community needs! 💡🐍

🗓️ CfP close: 23:59 (Europe/London) Sunday 11th May

2025.pyconuk.orgCall for Proposals – PyCon UK 2025PyCon UK Friday 19th September to Monday 22nd September 2025, CONTACT Manchester

Is your subconscious mind sabotaging you?

Your subconscious mind holds onto beliefs that could be unhelpful.

They might reflect another time in your life or a completely different context than the one you’re in now…

Causing you to doubt your skills and accomplishments unnecessarily…

Affecting your confidence and contributing to imposter syndrome…
#developers #coding #softwaredevelopment #softwareengineering #wellbeing #mindset #mentalhealth

🚨 Calling all master procrastinators! 🚨

There’s less than ONE WEEK left to submit your PyCon UK 2025 proposal ⌛🐍

Talk, workshop, Young Coders' event? If you've got knowledge and experience our community would benefit from hearing, don't keep it to yourself!

Find all the info on why and how to submit a proposal here 👉 2025.pyconuk.org/call-for-prop

We’re looking forward to hearing your ideas 💡🌟

2025.pyconuk.orgCall for Proposals – PyCon UK 2025PyCon UK Friday 19th September to Monday 22nd September 2025, CONTACT Manchester