Mastodon Feed: Posts

Boosted by jsonstein@masto.deoan.org ("Jeff Sonstein"):
vicfroh ("Victator") wrote:

Happy #LaborDay to fellow #RadicalLeftLunatics

#Unions #weekends #minimumwage #childlabor #sickleave #strikes #workersrights

jsonstein@masto.deoan.org ("Jeff Sonstein") wrote:

RE: https://mastodon.social/@thejapantimes/117230028958229239

with an aging population, this may seem quit attractive to policymakers

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

now i'm sure one of you can point me at this in the literature because it's surely been done before me, it's so obvious i knocked it out in less than an hour without even really trying.

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

as you can see it's considerably simpler than a finger tree, having only two types. it's asymptotically terrible compared to the finger tree, because at each level it's only branching up to 8 ways. it's also much simpler - a uniform type with no tedium about depth. but i don't really care about the asymptotics for large lists, i want to skip over some items in a smallish list faster. and this scheme is simple enough i have a hope of doing a dependent version.

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

one flinger tree. yes, i did in fact complete it in ~3/4 hour, that's how much simpler than a fucking finger tree it is https://gist.github.com/jjl/45f5212a9c4edb7760fc3e7aae901461

Boosted by andrewnez ("Andrew Nesbitt"):
heyheymomo@socel.net wrote:

Made my “not now, I’m computering” shirt available as colored tees now too instead of just on white! Cool

https://heyheymomo.com/products/not-now-im-computering-t-shirt

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

(cause it flings things to the outside, geddit?)

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

hmm, what should i call my simplification of the finger tree concept designed for smallish sizes?

module Data.FlingerTree

I am so good at naming things

jsonstein@masto.deoan.org ("Jeff Sonstein") wrote:

In July, another federal judge found that the parties had never truly been in conflict and Trump’s $10bn lawsuit against the IRS had only ever been a pretense for setting up the fund.

“There was never adverseness between the parties; there was never a case or controversy; and there was never a question as to who would prevail,” the US district judge Kathleen Williams said in a ruling, adding that the lawsuit had been brought “for an improper purpose – to gain the imprimatur of judicial legitimacy for a ‘settlement’ that had no viable basis in law or fact”.

Guardian

jsonstein@masto.deoan.org ("Jeff Sonstein") wrote:

this sort of state-run barbarism makes me glad my daughter has moved far away from her former home in Nashville.

https://www.theguardian.com/us-news/ng-interactive/2026/sep/05/christa-pike-death-row-clemency-petition?CMP=Share%5FiOSApp%5FOther

Boosted by brib@bribstodon.xyz ("brib :neofox_floof:​ :Nonbinary:"):
mira@outerheaven.club ("Mira :neocat_flag_nb:") wrote:

@eevee

RE: https://mastodon.social/@eevee/117228034198821438

Boosted by fromjason ("fromjason.xyz ❤️ 💻 ✍️ 🥐 🇵🇷"):
jdp23@neuromatch.social ("Jon") wrote:

He most certainly did: Malcolm Kenyatta. But, "progressives" decided to support the guy who had used a shotgun to threaten a Black jogger, and Kenyatta finished third (with Conor Lamb, a centrist, in second).

@ohmu @fromjason

fromjason ("fromjason.xyz ❤️ 💻 ✍️ 🥐 🇵🇷") wrote:

Kyrsten Sinema is the result of Vote Blue No Matter Who. John Fetterman is the result of Vote Blue No Matter Who. Joe Manchin is the result of VBNMW.

Joe Lieberman, Jared Golden, Henry Cuellar, Susan Collins, Eric Adams, are the results of VBNMW.

VBNMW was never about the implication of its catchphrase. It was a way to push conservatives into Democrat-held seats so that nothing ever gets done.

Boosted by baldur@toot.cafe ("Baldur Bjarnason"):
davidgerard@circumstances.run ("David Gerard") wrote:

just did a Pivot interview with Valerie Veatch of the AI documentary Ghost In The Machine

https://notaidoc.com

if you're in the US (and Korea apparently) you can watch it on PBS on Monday 14 September! Next Monday!

In the UK and Europe they're selling a release for Octoberish?

And you can still rent it online, see link. I recommend it wholeheartedly, and not just cos i'm in it.

db@social.lol ("David Bushell 🪿") wrote:

are there any dumb TV brands that are just a panel and an HDMI port?

Yikes: https://www.youtube.com/watch?v=6IFVTcM28KA

Boosted by firepoet@tech.lgbt ("Stephen 🌈 (he/him)"):
thirstybear@agilodon.social ("Chris Pitts") wrote:

I am looking to retire n the foreseeable event horizon, so help me out with my dotage here 😁 - looking for paying clients who 1. want to improve and 2. who want to engage my skills on a fractional basis. 2-4 days/week.

Anyone?

https://www.theguardian.com/lifeandstyle/2026/sep/07/dr-norman-swan-new-book-science-of-ageing-cognitive-decline

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

The most damning thing about "AI" is how much the chud-in-chief uses it to delude himself he's popular and beloved

Boosted by pixxl:
timnitGebru@dair-community.social ("Timnit Gebru (she/her).") wrote:

"So in summary: using AI for coding led to depression, apathy, existential dread, and worse software. Not good. Add on top of that the negative environmental, community, and economic impacts of AI, and it became extremely apparent to me that something's gotta change."

https://brettcodes.com/im-done-using-ai/

Boosted by pixxl:
nest@infosec.exchange wrote:

it's fascinating how good AI is at solving problems in domains i don't understand. it's almost as if it was somehow linked to my inability to verify the output.

Boosted by pixxl:
patigallardo.bsky.social@bsky.brid.gy ("Patricia Aas 🐢🏳️‍🌈") wrote:

I understand that I might be in the minority here, but I actually love programming.

If I didn’t, I would’ve quit a long time ago.

Discrimination and sexual harassment really isn’t as fun as some techbros seem to think it is.

Boosted by pixxl:
patigallardo.bsky.social@bsky.brid.gy ("Patricia Aas 🐢🏳️‍🌈") wrote:

A few months ago I started wondering if not using LLMs for coding right now would be a detriment to me as a programmer, but I concluded that the idea is nonsensical.

I could start Not Writing My Own Code at any moment, and having stopped programming 2 years ago wouldn’t make me a better programmer.

Boosted by andrewnez ("Andrew Nesbitt"):
ThePSF@fosstodon.org ("Python Software Foundation") wrote:

Voting is open for the Python Packaging Council until Tuesday, September 15th, 2:00PM UTC! To all affirmed voters, make sure you check out the candidates and make some time to vote before then 🗳️ #Python https://www.python.org/nominations/elections/2026-python-packaging-council/nominees/

brib@bribstodon.xyz ("brib :neofox_floof:​ :Nonbinary:") wrote:

Also being on the receiving end of admin gives me, ahem, perspective on how software gets developed.

I spent my software career doing software but the rest of my life having software done to me

Boosted by brib@bribstodon.xyz ("brib :neofox_floof:​ :Nonbinary:"):
brianbilston@mastodon.online ("Brian Bilston") wrote:

Today’s poem is called ‘The Grammar Police’.

brib@bribstodon.xyz ("brib :neofox_floof:​ :Nonbinary:") wrote:

In order to get help for the disability that makes it hard to do admin I have to do an unholy amount of admin

Boosted by pixxl:
maxsnew@types.pl ("Max S. New ⚜️") wrote:

I used to find separation logic confusing.

Then one day I went to Reading Terminal Market in Philadelphia. One of the grocers had a sign that said they sold "raw and pasteurized cheeses" and I suddenly understood the difference between the cartesian /\ and separating * conjunctions.

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

for those who are wondering what i'm babbling about, case split generates a match over an expression for you based on the type and leaves holes (the equivalent of todo!() or so) in each case.

if that seems awesome, well yes it really is, i wish i had it for every language.

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

you know, i'm not sure i've ever mentioned this, but most of my idris is written by the case split key binding in emacs. since a massive part of idris is just pattern matching, case split just generates a massive part of your code for you on command.

what's more, it's better at it than i am, it will update depended-upon matches for you correctly, which you'd otherwise get a separate error about and then be puzzled until you worked out what it was telling you.

so when you run into a coverage checker bug or similar, you often have to write idris yourself.

i know that sounds silly, but if you actually write idris, you're making your life harder than it needs to be because of all the things that case split accounts for. and losing the ability to generate it makes the process somewhat more tedious.

none of this requires an LLM of course. and i don't think case split really qualifies as the same sort of thing.

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

(the coverage checker insists my case block is not covering. adding the extra cases tells me each of them is impossible)

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

wields the assert_total hammer