Show newer

I've curated a timeline of hardware architectures for functional programming languages. From the foundations of Church and Curry, to modern programmable hardware 100 years later.

Best viewed on a desktop or laptop.

As part of the EPSRC HAFLANG project.

haflang.github.io/history.html

@cwebber@octodon.social the grinding industry

Behold, a $7700 230W Fibonacci¹ accelerator²

¹: And the other functional³ programs.
²: According to haflang.github.io/about.html
³: I.e. using graph reduction evaluation

uh were any of you people who signed up to #threads actually paying attention to the onboarding flow?

@amiloradovsky @joey fucking is only a part of relationship. But there are law-related issues everywhere, from finance and medicine, to representation in courts.

@SwiftOnSecurity have you tried running them through ChatGPT "eli5" prompt?

@ct_bergstrom apple had exactly the same vibe with their iPolygraph Pro thing.

> "120" spreadsheetn without the TV frame :ablobaww:

Ditto for Google. It's getting worse every year.

@utterfiction @cstross but they're specifically against inventing the torment nexus (that would be e/acc, and they're outside. And most of them wield no power whatsoever.
If you want to go slam billionaires, I'd wholeheartedly support the cause. You should not need to invent and force a new "them" meme for that.
It's not like believing fairy tales and/or donating to animal wellfare is anywhere close to nazi level of punching. I hope not.

@AstraKernel Classic, in Python:

```
(True, False) = (False, True) # Happy debugging! :ablobderpy:
```

@GrayGooGirl @Gargron Ethics or not, either a thing is resilient enough to live in a world with mutant zombie whales or it enshittified into oblivion.

If Fediverse is of the former, then naivette doesn't matter. Well, it doesn't matter too, if Fediverse is of the latter either.

@ablackcatstail @mhackling GNUnet appears to have solved exactly this with R5 DHT and CADET. The endpoint discovery and transport is completely oblivious to application-level content being sent around. Everyone is deaddropping for everyone else. And if you really, really, don't want to transfer somebody's dirty stuff you can stick to friend-to-friend network overlay and restrict peering to those you trust.

@cstross You seem to promote the keyword eagerly. I'm a huge fan of yours for exactly the carving up of ideologies and motivations, but I struggle to understand your point here.

Is it "short term is equally/more important than long term"? That may be a valid position on resource allocation. Is it "SciFi has a fiction core, not science"? Sure, okay... But that doesn't warrant the hatchet job^W campaign, does it?

The writing around it is so confused and riddled with self-conflicting narratives I don't even know what to make of it. I see a lot of "silicon valley right wing cryptobros death cult" meme being forced, in attempt to what?.. Deplatform Thiel, Musk et al. with guilt by association?

internet meta 

Sorry I keep meta posting today and this is kind of a repeat of what I posted a week or two ago about Twitter and Reddit:

It doesn't matter if you have another website to go to. These sites will die.

If you are on Twitter and don't like the alternatives? Twitter dies anyway.

If you are on Reddit and don't like the alternatives? Reddit dies anyway.

If you are on Cohost and don't like the alternatives? Cohost dies anyway.

This is about money, people. These are businesses. And they're businesses all in financial peril. You could have NO other website to go to, NO alternatives, and they'd still die.

So telling me "well I don't see you offering any better options!" doesn't matter! Sometimes there aren't even better options! It still dies whether you like that or not! You don't need another website you like to go to for Twitter to die because Elon is trying his damnedest to crash it into the ground. It dies no matter what. It dies whether you want it to die or not. How much you like it doesn't matter. How much you don't like being on other sites doesn't matter. It's a business. It dies when they pull the plug. And that's usually related to whether or not it's making money.

Fedi isn't immune to this either, if my admins say tomorrow "we're done paying for this, it costs too much, we're done", I can't say "well I don't see you providing me somewhere else to go!" Doesn't matter! They don't have to offer you a replacement to turn the switch off! But it's a much larger issue with social media run by companies, because companies can only pay employees if they can afford it.

This isn't the same as saying that you can't be upset about it. You can be upset that you don't have anywhere else to go. You can be upset that you liked the site you were on. But upset or not doesn't have any bearing on "will this site survive". I don't have to offer you a solution to where you go from Cohost or Twitter or Reddit to tell you that they won't survive. I am not responsible for fixing that problem, in fact I don't think anyone can fix that problem. I can't make them not run at a loss forever, I think it's not financially feasible in the first place and the only thing that can happen is they die. It's absurd to say I can't point this out because I'm not offering you a new website to use that makes you happy.

@joshuafoust @charliejane How did you measure the pressure difference?

I think the amount of effort poured into climate change dwarfs the whatever AInotkillingeveryoneism funding by a few orders of magnitude.

Show older
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.