Mastodon Feed: Posts

Boosted by glyph ("Glyph"):
shinmera@tymoon.eu ("Yukari Hafner :v_lesbian:") wrote:

Where's all my bird lovers at? I only ever see folks with dogs and cats, be that on youtube videos, dating apps, or other socials.

Boosted by glyph ("Glyph"):
jpaulgibson@mastodon.ie ("J Paul Gibson") wrote:

one good thing about students using #AI to write code is that they are learning about the importance of writing tests. unfortunately, many are also using #AI to write the tests. the positive side of this is that they are learning the importance of writing good specifications. unfortunately, many are also using #AI to write their specifications.. at this point they should be learning the importance of understanding user requirements… but the #AI cant help them, as it understands nothing.

Boosted by glyph ("Glyph"):
itamarst@hachyderm.io ("Itamar Turner-Trauring") wrote:

On Python, `loky.cpu_count()` will take cgroups settings, common in Docker and Kubernetes, into account when calculating number of available cores.

Are there any other Python APIs that support cgroups options? Standard library doesn't.

(On Rust you can use `num_cpus` crate, on R there's parallely::availableCores()).

#python

Boosted by glyph ("Glyph"):
evacide@hachyderm.io wrote:

Adulthood is just cycling between "If I don't say yes to every opportunity, no new opportunities will ever be offered to me" and "Oh no, I have said yes to too many things" over and over until you die.

Boosted by ChrisWere@toot.wales ("Chris Were ⁂🐧🌱☕"):
distinctdipole@tech.lgbt ("Ollie 🇪🇺🏳️‍🌈🏳️‍⚧️🇵🇸🇺🇦") wrote:

A quick guide to the main English parties in case you're not familiar:

• Reform UK Ltd: Blatant lies to your face to benefit Farage's mates
• Conservatives: Lies to your face because traditional
• Labour: Lies for votes
• Liberal Democrats: Probably not capable of lying so an unfortunate clownish mistake
• Green Party: Won't lie to you but you may not like the truth

#UKpol

soatok@furry.engineer ("Soatok Dreamseeker") wrote:

Some of y'all give up on your dreams too quickly

Boosted by cstanhope@social.coop ("Your weary 'net denizen"):
socketwench@masto.hackers.town (""Miss Movie Masochist"") wrote:

It's less that atom/RSS is "dead", and more that its "done".

The protocol is finished. It works well. It's stable and unremarkable as opposed to trendy.

And to capitalists, that's "dead".

Nothing to hype, no wealth to extract.

adele@social.pollux.casa ("Adële 🐁!") wrote:

#Pollux server is back online after a power outage!

• gemini://pollux.casa/
• https://pollux.casa/
• https://smolfedi.pollux.casa/

#smolweb #geminiprotocol #smolnet

Boosted by cstanhope@social.coop ("Your weary 'net denizen"):
researchfairy@scholar.social ("Unnamed TNG skant beefcake") wrote:

If your employer is really shitty to you

You can't say anything about it ever

If you do, that can prevent you from getting a new job

This is one reason why I hesitate to call it a job "market"

A market presupposes a certain information flow and an ability to reward or punish actors based on their performance

Boosted by cstanhope@social.coop ("Your weary 'net denizen"):
ahelwer@discuss.systems ("Andrew Helwer") wrote:

Lamport's new (and final) book A Science of Concurrent Programs is now officially published! The final draft PDF has long been available for free on Lamport's website, but now you can buy a hardcover from Cabridge press. Discussion on the TLA+ mailing list: https://discuss.tlapl.us/msg06762.html

#TLAPlus

Boosted by soatok@furry.engineer ("Soatok Dreamseeker"):
Firr wrote:

I'm like 80% sure bluesky is mostly bots (evil) and an island of furries actually using the platform.

Compared to Mastodon which is mostly inactive accounts and an island of furries actually using the platform.

Boosted by soatok@furry.engineer ("Soatok Dreamseeker"):
ko@gotosocial.art ("pocket expert 🔞") wrote:

i wish there were like, fursuit making workshops around the world where you can try and make a fursuit for yourself with a teacher of some sort

i mean obviously theres a reason why they arent a thing (at least i havent seen anything like that where i live), but it would be cool and would probably make the fandom/hobby more accessible for lower-income furries

Boosted by soatok@furry.engineer ("Soatok Dreamseeker"):
http_error_418@hachyderm.io ("Advanced Persistent Teapot") wrote:

When baristas ask my name for my coffee order I'm going to start saying "Spartacus" just to see the chaos when they announce it's ready

Boosted by glyph ("Glyph"):
jalefkowit@vmst.io ("Jason Lefkowitz") wrote:

Desperately asking Claude to give me the Glengarry leads

Boosted by denschub@schub.social ("Dennis Schubert"):
freddy@security.plumbing ("Frederik Braun �") wrote:

https://blog.mozilla.org/netpolicy/2026/05/05/mozilla-calls-on-uk-policymakers-to-address-the-roots-of-online-harm-not-undermine-the-open-web/

dysfun@treehouse.systems ("gaytabase") wrote:

i want you to just go, take a walk and don't come back.

dysfun@treehouse.systems ("gaytabase") wrote:

new (to me) conspiracy theory unlocked: antarctic pyramids.

Boosted by slightlyoff@toot.cafe ("Alex Russell"):
waldo.net@bsky.brid.gy ("Waldo Jaquith") wrote:

Democrats allocated $2 billion to overhaul the nation’s UI infrastructure to steel it for a repeat of 2020. Then, in 2023, Republicans clawed it all back, destroying DOL’s Office of UI Modernization. Our UI infrastructure remains underfunded and underpowered.

RE: https://bsky.app/profile/did:plc:a23wa52b3acjeswnv357suj5/post/3ml4fistlx22h

isagalaev ("Ivan Sagalaev :flag_wbw:") wrote:

Also, I think I'm giving up on pijul... A great #VCS but never got any traction. Git ate the world.

ChrisWere@toot.wales ("Chris Were ⁂🐧🌱☕") wrote:

In the newly returned Space Virgins: @hamishtpb, @uoou, and myself chat about this cool indie film called PG: Psycho Goreman.

https://video.thepolarbear.co.uk/w/aArLF8CzGZnWwbxBqEJnme

Only available on #PeerTube and https://freebooters.uk/spacevirgins

Boosted by cstanhope@social.coop ("Your weary 'net denizen"):
rai@cloudisland.nz ("Rai") wrote:

Putting some feelers out, as I am facing the potential of losing my job for an aversion to engaging with generative AI.

I am looking for work. I am in New Zealand.

I am very good at:
- Written communication
- Picking up new software and...
-- Writing help guides
-- Developing e-learning
-- Delivering training (in person or online)

I also have some experience with
- Digital design
- Interpreting legislation

My software-specific skills are unfortunately
- Microsoft SharePoint
- Microsoft Power Apps
- Microsoft Power Automate

I do no want to engage with generative AI in any way. This seems to be incompatible with my skillset, but I have to try I guess!

If you know someone hiring something like this, I'd love to hear about it.

#GetFediHired

neatnik@social.lol ("Neatnik") wrote:

🐦 The BirdUI themes (regular BirdUI and the Catppuccin Mocha version by @jcrabapple) are back on social.lol! I finally worked out how to set them up as vanilla flavour skins in glitch-soc. Sorry for the delay!

neatnik@social.lol ("Neatnik") wrote:

May is Mental Health Awareness Month. :prami_contented: It’s a time for broader awareness of the kinds of mental health challenges that different people face, but it’s also a really good time to check in with yourself.

It’s OK to not be OK. You’re never alone, even when it feels like you are. And there’s nothing wrong with asking for help. ❤️

jscalzi@threads.net ("John Scalzi") wrote:

The folks at Time Magazine asked me what tech innovation I think defins modern life today, and my answer is anchoring a list that includes contributions from Tim Cook, Tracy Chou, Gabrielle Zevin and Ray Kurtzweil, among others.

https://time.com/collection/our-america-250/2026/tech-innovations-that-define-america/

Boosted by isagalaev ("Ivan Sagalaev :flag_wbw:"):
MostlyHarmless@thecanadian.social wrote:

Attachments:

• video: 9d41f8500ab3b197.mp4

isagalaev ("Ivan Sagalaev :flag_wbw:") wrote:

A few more words about my weekend project adding config editing to my tool, nfp.

https://softwaremaniacs.org/blog/2026/05/05/nfp-e/en/

aredridel@kolektiva.social ("Mx. Aria Stewart") wrote:

RE: https://social.coop/@cwebber/116522460096356366

This. I hope the college resists well. Ideally to the point of being like "That's nice dear" to the feds and managing to ignoring them.

Boosted by dysfun@treehouse.systems ("gaytabase"):
amy@types.pl ("Amélia Liao") wrote:

We're announcing Mikan: a proof assistant for cubical type theory, forked from the Agda codebase.

Note: you can also read this announcement as a Gist.

The Agda developers have recently proposed codifying their official stance on LLM-generated contributions: they are "concerned about the negative effects of large language models (LLMs) on many individuals, our society, and our planet", but refuse to take any concrete action to address their own contribution to these. They have judged the hypothetical future usefulness of the slop generators as outweighing the present, very real harm being caused by the AI industry.

We understand that, over its 20 years of Git history, Agda's implementation has evolved to cater to subsets of its user-base with very diverse, and often conflicting, needs. However, the attempts to bridge these divides (e.g. --without-K vs. --cubical-compatible) present a significant maintainership cost, and are often resented by both camps, since they present one camp with substantial performance costs, while offering the other camp no clear benefit, since code across the divide is written with very different formalisation sensibilities.

Other extensions to the type theory are kept despite known inconsistencies (sized types), or being impossible to adopt without complete vertical buy-in (cumulativity, erased cubical), or simply for backwards compatibility (--guarded/@lock). In the best cases, these features are championed by a single maintainer, and keeping them well-tested against the continuous adoption of new features is a struggle when very little code uses them.

Our plan is to focus on exactly one variant of the language ("full --cubical"), and to drop support for all the language features which are explicitly deprecated, inconsistent, or simply ill-understood in conjunction with this fragment. This will give us a solid base from which we can work to improve the experience of working on the Mikan codebase, to attack the existing correctness and usability issues with features like termination and positivity checking, and to pursue breaking improvements to the core type theory and its user interface.

Signed:

• Amélia Liao (@amy)
• Naïm Favier (@ncf)
• Reed Mullanix (@totbwf)

Boosted by baldur@toot.cafe ("Baldur Bjarnason"):
MarkHoltom@mastodonapp.uk ("Mark Holtom (aka Kingbeard)") wrote:

pzmyers@freethought.online ("pzmyers 🕷") wrote:

Or maybe he's always been this way, and I've just been projecting an illusion of intelligence on him?