Show newer

That's fun. The garbage OS running in the tiny ARM in this MacBook Pro keeps crashing and bringing the entire system down. So I reset the SMC to get its stupid second OS into a hopefully better state.

Now MacOS Vista is asking me for permission to access files constantly. I guess it's the garbage coprocessor that keeps track of that.

I wish I just had a PC running Linux.

When someone leaves a bunch of garbage, including their username, in the RPATH of a production executable, it's reasonable time just email them directly, right?

Emacs has started ignoring my dead keys again. Can someone convince jwz to fork it, it's just been getting worse with time.

Maybe it is time to make providers responsible for the content they carry. Give some leeway time to mark content as inappropriate and moderate it (if necessary) but, if it isn't taken down, the provider gets fined.

Adding to something you can’t live without: stretchy parentheses! (and all other vertically stretchable glyphs)

Hello ,
Thanks to now has its own status page at where you can see if the main site has any problem and keep updated with the resolutions.

"I agree", an interesting project from 2018 by Dima Yarovinsky were he printed “terms of service” of the leading online services that we use on a daily basis on A4 to show how small and helpless we are against those.

Just got a link to one of the coolest comments about Functional programming in C++:

But if you’re a C++ programmer stuck in the land of boredom, don’t worry, there’s a way out. This book is your red pill.

Link to the review

well, by "2.0" I meant "2.0" as in "web 2.0" rather than Emacs's version.

Anyone interested in studying for a PhD? We have funded positions available in St Andrews for a September 2021 start. Details here:

Let me know if you're interested in doing something related to dependently typed functional programming.

This post was unexpectedly good at ferreting out a bunch of my followers who are sympathetic towards giant megacorps and not towards the average person. Looks like my block list is expanding a bit today.

Show thread
Show older
Functional Café

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!