I find it's easier to think about Haskell and Purescript as each composed of two languages, one for programming the computer, and one for programming the type checker.

alex boosted
absolutely amazing illusion. Watch the video and think about the words "green needles", you'll hear that. Watch a second time thinking about "brainstorm", you'll hear that.
green needles - brainstorm.webm…
alex boosted
alex boosted

it frustrates me that I believe that the way we're handling identity and social relationships on the current iteration of the fediverse is Very Wrong, but it's just a lot of talk from me until I can demo with real code I guess

I hope we don't get locked into dangerous antipatterns before it's too late to shift the direction of the network

The Redis source code is really nice and clean. Great fun to read through.

alex boosted

A man is at a friend's funeral. After the proceedings, he approaches the widow and asks if she minds if he says a word. "No, of course not," she replies. So he grabs a glass and taps a spoon against it to get everyone's attention, and when the muttering dies down, he clears his throat and speaks: "Plethora." He puts the glass back down and everyone continues their conversations. The widow turns to him, with a tear in her eye. "Thank you," she says. Show more

alex boosted

If we want to have computing freedom, we're going to need computers that are safe and don't lock us out. Having actually well designed architectures (x86 sure ain't it) would be nice too. RISC-V is a beam of hope: riscv.org/

- India is making progress on fabb'ing their own RISC-V chips fossbytes.com/linux-on-shakti-
- FOSDEM video on RISC-V fosdem.org/2018/schedule/event

Got other interesting RISC-V links?

alex boosted

'...Mark Zuckerberg lost $119 Billion dollars on the stock market today (7/26/18). This is the largest loss of wealth in a single day in modern stock history.

This will literally not change his lifestyle or effect his livelihood at all. He is still a multi-billionaire...'

#Facebook #Capitalism
source: kropotkhristian.tumblr.com/pos

Okay Ensime makes writing Scala in NeoVim as good as an IDE as far as I'm concerned. Which is good because I've yet to find an IDE which doesn't make my skin crawl.

"serverless computing" is a stupid term. It's like calling Uber "carless driving".

Just because you don't control the infrastructure doesn't meant it's not there or that it doesn't affect the way you build your application.

alex boosted
I notice there's a banana pi router which could be a router/server combo, but really I'm more interested in librerouter as an open hardware low cost router with possibilities for using non-wifi frequencies.

alex boosted

Federated podcasts, maybe @funkwhale could support this?

I would listen to an ActivityPub Podcast, get the latest news on new projects and maybe they could interview developers/users. #activitypub

alex boosted
alex boosted
Any ideas how well the fediverse does with screen readers? What's the blind user experience like?
alex boosted
alex boosted

Wanna chat about Calendar.social development? Come join the Matrix room at matrix.to/#/#calendar-social:p (IRC bridge coming soon)

Today I felt like I needed to change things up in my life a bit. Time to get out of the rut I'm in.

I've changed my terminal color scheme from solarized light to solarized dark.

w3c-ccg.github.io/did-spec/ looks like a pretty comprehensive solution to identity in a federated , decentralized world. But I think we're probably a ways away from implementations and integrations.

Show more

memoryandthought.me is one server in the network