mikebabcock, to linux
@mikebabcock@floss.social avatar

Once upon a time in 2005 I attended my first #Linux symposium in #Ottawa. It was interesting to be surrounded by so many fellow geeks, most of whom made me feel wholly inadequate but that's beside the point. It's a real shame the event eventually failed. If I were better with faces I would tag people but I'm just not that guy. #geeks #hackers #programmers

A group of people seated in a lecture hall

adamsdesk,
@adamsdesk@fosstodon.org avatar

@mikebabcock Sounds like good times.

paul, to devops
@paul@oldfriends.live avatar

There are several 'Help Wanted' requests from the Mastodon if you are a

*Use /search for search (/search?query=something)
*Move account secrets to a dedicated table (and encrypt it?)
*Add a way for the user to select which languages they understand
*Allow admins to configure instance favicon and logo
*Allow searching for hashtags in admin UI
*Convert Redux state to Typescript .

https://github.com/mastodon/mastodon/labels/help%20welcome

downey,
@downey@floss.social avatar

@paul @liaizon Hey cool, only took 6 years! 😆

paul,
@paul@oldfriends.live avatar
AmenZwa, to random
@AmenZwa@mathstodon.xyz avatar

Almost every practising horologist, luthier, or craftsman takes delight in his work. He takes pride in mastering the tools and techniques of the field. He makes it a point to study the history and background of the field, the tools, the techniques, and the thought leaders.

As , it behooves us to follow suit. We must know the languages, the algorithms, and the exponents of our field.

membook, to Meme Polish
@membook@rigcz.club avatar
AmenZwa, to IT
@AmenZwa@mathstodon.xyz avatar

Most have never heard of Curry-Howard isomorphism between type theory and proof theory (type (\equiv) proposition, programme (\equiv) proof), which in and have exploited for decades.

Knowing the techniques is well and good, but understanding the theories matters, at least as much.

dougmerritt,
@dougmerritt@mathstodon.xyz avatar

@AmenZwa
Plain old coders don't know any theory, let alone advanced theory. CS degrees exist for a reason.

You and I may self-teach theory, but you already know that almost no one does that, percentage-wise.

AmenZwa,
@AmenZwa@mathstodon.xyz avatar

@dougmerritt Depressing, isn't it....

davidbisset, to random
@davidbisset@phpc.social avatar

Hey and who love to deal with time zones... don't forget about the in future coding.

https://www.reuters.com/science/white-house-directs-nasa-create-time-standard-moon-2024-04-02/

heiglandreas,
@heiglandreas@phpc.social avatar

@davidbisset Just use a decent lib. They'll take care of it!

heiglandreas,
@heiglandreas@phpc.social avatar

@davidbisset BTW: We already have timezones on Mars. 🤷

cs, to random
@cs@mastodon.sdf.org avatar

Potential niche in YouTube or other educational sites for who like to teach:

Refresher courses designed for people who have basics of computer languages behind them and also people who already know the language but forgot it through disuse.

Basically, doesn't start off with explaining variables and loops and stuff, but assumes you know what those are and just spends a few minutes explaining gotchas and syntax for that language. It introduces you to conventions, and libraries & 1/2

cs,
@cs@mastodon.sdf.org avatar

And if I skip to "intermediate" courses, it skips everything entirely.

"Today, we're going to learn Intermediate Python. We will write a script to solve Fermat's Last Theorem. You should already know everything about Python. If not, take my 92-part, 60-hour course, 'Python from Novice to Ninja."

cs,
@cs@mastodon.sdf.org avatar

...no offense to novices or ninjas.

Crell, to php
@Crell@phpc.social avatar

Constructive vs Predicative data: https://www.hillelwayne.com/post/constructive/

A good read for all , but especially my friends.

Lorry, to windows
@Lorry@mstdn.social avatar

I just had to give my 11 machine a page file. It has 64GB of DDR5 RAM and for some reason, it's all being grabbed by plugins, Explorer, and tools like in 1GB chunks.

It seems like these days are thinking "I'll just grab 1GB and commit it, doesn't matter if I don't use it...".

Programmers these days are mostly arseholes who did a 4-day online course though, so I am team on this one.

and

sarajw,
@sarajw@front-end.social avatar

@Lorry oh that's not cool. Especially in SSDs with limited writes (assuming that's still the case)...

Oh wait I think I've just learned that my habit of hibernating my laptop may be killing the SSD. Oops.

AmenZwa, to random
@AmenZwa@mathstodon.xyz avatar

#FORTRAN and #COBOL are dead.
Long live Fortran and Cobol.

Modern Fortran is indispensable for high-performance, scientific computing, like weather simulation on supercomputers. Modern Cobol is indispensable for high-throughput, business computing, like financial transaction processing on mainframes.

But Fortran and Cobol suffer from the image problem. Young #programmers will not devote their careers to these seemingly dead languages. As such, many Fortran and Cobol shops are desperately trying to "modernise" their codebases by translating into C++, Java, Python, etc.

This is a mistake. A weather forecast that takes a couple of hours for a Fortran implementation that runs on a 1000-CPU supercomputer will take months for a Python version that runs in an enterprise cloud. Analogous examples abound for Cobol. These niche systems are cloud-proof—they will not bend to the charms of cloud computing.

New language features and implementation techniques are continuously, albeit gradually, being integrated into Fortran and Cobol, and new supercomputers and mainframes are still being designed and manufactured. Yet, there is no injection of new programmers into these specialised domains.

A sensible approach, then, is this. Instead of converting pieces of code written in 60yo languages into those written in 30yo languages, design brand new languages—with dependent type system, algebraic types, type inferencing, memory safety, and other accoutrements of modernity—that target standardised Fortran and Cobol, much like TypeScript and ReScript target standardised JavaScript to "modernise" web development. And if these new languages become established, retarget them to binary.

davidbisset, to webdev
@davidbisset@phpc.social avatar
rattenhirn,
@rattenhirn@mastodon.gamedev.place avatar

@davidbisset I too have had an encounter with many of these misconceptions before, much to my chagrin. One more for you: During the 2000 summer olympic games, some regions in Australia decided to move their DST by a few weeks.

davidbisset,
@davidbisset@phpc.social avatar

@rattenhirn oooohhhh boy. Fun times.

AmenZwa, to ComputerScience
@AmenZwa@mathstodon.xyz avatar

Curry-Howard correspondence is a foundational principle of modern type theory and programme verification in .

Its evil twin is Hurry-Coward, which states that bold who hurry their type designs turn into cowards on go-live date.

davidbisset, to random
@davidbisset@phpc.social avatar

hhhmm... so if you've ever made software and get feedback or ratings from customers/clients, i'm sure you can relate to the recipe author when they read this.

CardboardRobot, to apple
@CardboardRobot@mstdn.social avatar

Just updated to current IOS and love that the swipe/delete in mail is now zippy, no longer laborious. Makes a big difference with daily spam. Thanks to programmer(s)/team and/or whoever made this unsexy tweak a priority!


DrewCommins,

@CardboardRobot Are you aware of the two-finger swipe down to select multiple messages?

AstraKernel, to golang
  • All
  • Subscribed
  • Moderated
  • Favorites
  • megavids
  • thenastyranch
  • rosin
  • GTA5RPClips
  • osvaldo12
  • love
  • Youngstown
  • slotface
  • khanakhh
  • everett
  • kavyap
  • mdbf
  • DreamBathrooms
  • ngwrru68w68
  • provamag3
  • magazineikmin
  • InstantRegret
  • normalnudes
  • tacticalgear
  • cubers
  • ethstaker
  • modclub
  • cisconetworking
  • Durango
  • anitta
  • Leos
  • tester
  • JUstTest
  • All magazines