honestly machine learning is really cool for some purposes (mostly non-critical art-adjacent things) and its really interesting what you can do if you understand how it works, i just wish it wasnt one of those things so badly consumed by capitalism that its treated as "magical computer consciousness" because it is very much not that and treating it as a magical black box of stuff, assuming that it can make conscious decisions and applying it to critical processes is harmful in so many ways

i love boosting posts its like i dont have to even write a good post myself because somebody else wrote one

i read a thing recently that blew my mind a little.
went something like:

people can imagine time travel to the past and one little act making massive differences in the timeline

but in their present they think even the greatest effort they can put in will not make any difference to the future

I'm going to assume this is in the context of mathematics

Mathematical Platonism is the form of realism that suggests that mathematical entities are abstract, have no spatiotemporal or causal properties, and are eternal and unchanging.

I find that's the mindset of a lot of people who like to think of mathematics as this Pure and Beautiful and Immutable thing

Show thread

If you need to write HTML for a login or account management site, I got a little tip for you.

The input's "autocomplete" attribute can be more than just "on" or "off"!

You can actually set autocomplete to "username" or "current-password", to help a password manager find the right fields.

In the case of changing passwords, you can set autocomplete to "current-password" or "new-password" to avoid password managers trying to autofill your current password into the new password field.

say it with me now:

The Spritely Project is developing the next generation of Fediverse standards, including distributed programming and virtual worlds. You can follow the project at:

➡️ @spritelyproject

The lead developer is one of the authors of the ActivityPub standard upon which the current Fediverse is built:

➡️ @cwebber

You can find out more about Spritely on its website at spritelyproject.org

#Spritely #Fediverse #ActivityPub #Computing #FOSS #FLOSS #Libre #FreeSoftware #OpenSource #Programming

one of my problems with the term "systems programming" is not just that its vague, but also ive commonly seen the vagueness exploited in comversations about it in order to endlessly move the goalposts around

Abortion Rights, Privacy, Freedom, Autonomy, Choice! The right of a person to choose whether to have an abortion ties together with other rights, including the right to privacy, bodily autonomy, and personal freedom.

He's making that face / radiating an intense heat / a sound that is felt rather than heard / that's just what it does / "the mean free path of a solar neutrino in solid lead is about one light year"

echo "Is this real life?" | cowsay -n | cowsay -n | cowsay -n | cowsay -n

for example, a lot of languages leave unspecified the result of reference-equality between strings. this is because there are a lot of cases where the compiler is free to make two strings identical but may not. particularly if i have two identical string literals many compilers may make them the same exact string in memory but some do not. so the reference equality check is unspecified.

in JS the "reference equality" operator will do value equality on strings. this makes it so these compiler optimizations are non observable and removes unspecified behavior from the language

Show thread

A map of some time zones, showing negative UTC offsets on the left, positive UTC offsets on the right, Northern Hemisphere DST on the top, and Southern Hemisphere DST on the bottom.

For those curious, this is how I modified the music staff in LilyPond:
\override Staff.StaffSymbol.line-positions = #'(-11 -8 -5 -2 0 3)
\override Staff.StaffSymbol.ledger-positions = #'(-9 -6 -3 2 5 7 9)

Show thread

I wrote out my thoughts about where Racket might go with Rhombus, and where I hope it doesn't github.com/racket/rhombus-prot

“Why isn’t the new year on the winter solstice?”

The answer, honestly, is that the Romans had no fucking idea how to run a calendar.

Like, seriously, people notice "OCTOber" and "DECEMber" and say, "hey, those mean 'eight' and 'ten', but they're the 10th and 12th months, what's up with that?".

If you've got a little more history, you'll know that July and August are named after Julius and Augustus Caesar, and think, "oh, they added those two months and bumped the rest of the months back."

Nope. The Romans were way, way worse at calendars than that.


Show older

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.