WebNest of Tomas Jakl

Reshared https://www.youtube.com/watch?

Android will become a locked-down platform in September 2026.

Loved this A Day in the Life of an Ensh*ttificator video by the Norwegian Consumer Council!

Reshared https://calnewport.com/on-charlie-kirk-and-saving-civil-society/ Fully agree with Cal Newport's message.

So according to the recent talk Reflections on Haskell@Meta by Simon Marlow, Haskell is no longer used in Meta (Facebook, Instagram, ...) as the main language to specify automated moderation tools.

Some years ago Tom Leinster wrote a wonderful explanation of what makes a (mathematical) definition 'natural': It’s a matter of aesthetics, and obviously there’s no precise answer, but here’s my stab at it.

Follow-up to my previous post, the Haskell GHC compiler on top of the Foreign Function Interface now also supports the REPL and Template Haskell in its WASM/JavaScript backend!

I just realised how unusual British politics is.

Just had a blast listening to this podcast with Donald Knuth by Numberphile2.

Previously I wrote about how amazing DerivingVia could be in Haskell.

Alexis King gave a killer presentation about Demand and Suspension in Haskell (aka the strictness analysis/optimisation).

Since January 2019 I'm on Mastodon and since early 2020 I'm using Matrix and IndieWeb standards.

I like this blog post by Alexis King about types in Haskell.

Massive news for #Haskell, its main compiler #GHC will soon have the option to compile to #JavaScript!

And now Pocket tells me I'm one of their top 1% readers!

My Deezer 2022 statistics surprised me.

The shocking thing about getting a laptop in 2022 is that its suspend works worse than what I was used to, in a laptop from 2015!

Reshared https://getblogging.org/ Get blogging!

To whoever says that Microsoft loves open source I have three words: Microsoft Exchange Online!

The repairability score of Braun 5516 is 0.

What?

The new online #EU legislation, the DMA, is a very good reason to be proud of the EU this time around.

Reshared https://infrequently.org/2022/06/apple-is-not-defending-browser-engine-choice/ Well-written explanation of what Apple's policies do to the internet ecosystem.

Okay, so I've added also vim-startify to my NeoVim set-up and started playing with lazygit and fzf.

Up until a week ago, the only Vim plugins that I was using were goyo.vim and lightline.

Why have I not used #Vim snippets earlier?

I admire when somebody perfects their set-up of something they do regularly.

Just learned about F*.

Reshared https://medium.com/matter/the-web-we-have-to-save-2eb1fe15a426 A nice summary by an Iranian who was jailed for his blogging in the first decade of the 2000s.

Microsoft has changed in recent years, however, still not enough: Windows 11 blocks Edge browser competitors from opening links #microsoft

I've just ordered a new smartphone, with a 10-year warranty.

Just found out that "Learnability (in machine learning) can be undecidable, that is, independent of set theory".

I wish I read Jean Goubault-Larrecq's Quotients, colimits of dcpos, and related matters in the first year of my PhD studies.

Attending my first fully hybrid conference!

Dana Scott on category theory: "The author himself does not always like or enjoy the discipline of category theory, which seems ofttimes to carry along very, very heavy machinery and odd terminology, but he long ago came to the conclusion that it is quite…

I just found out about a new Haskell extension called DerivingVia.

Reshared https://toot.cafe/@slightlyoff/106157965738867345 Something I've been noticing for some time, nicely summarised by Alex Russell.

Reshared https://toot.cafe/@tomayac/106059856136232109 Why some developers are avoiding app store headaches by going Web-only: https://www.fastcompany.com/90623905/ios-web-apps #html, #Apple

With FLoC being deployed to Google Chrome automatically, browser fingerprinting (and therefore tracking users across the internet) becomes even more powerful than it was before.

The people working in Univalent Type Theory (also known as Homotopy Type Theory) will tell you that its advantage is that you can work with equivalent objects as thought they were equal.

A great video by TechAltar on what has the GDPR achieved in the 3 years of its existence https://www.youtube.com/watch?

Reshared https://mastodon.social/@yogthos/105642496226654898 Google banning Element.io from their Play Store because of suspicious content on Matrix network.

Reshared https://write.as/matt/social-suburbia There's a growing case being made with each passing year that if there's hope for the social web, it's in small communities.

Big news: My friend William DeMeo has announced that he's formalised Birkhoff HSP Theorem in Martin-Löf type theory using Agda.

A lot of people are switching from #WhatsApp to #Signal these days.

Just received a YubiKey from CZ.NIC (in exchange for writing about it with #overenomojeid).

While being stuck in England because my flights were cancelled, I watched a Moshe Vardi's talk that aptly argues against Cyber Libertarianism, why we can't reach (economic) equilibria and more.

Reshared https://mastodon.matrix.org/@matrix/105340035186014554 IT'S OFFICIAL: @gitchat@twitter.com now natively speaks Matrix!!

I'm just incredibly tired of having to deal with the cookie pop-ups everywhere.

Reshared https://social.weho.st/@Fairphone/105282820298324363 "Parliament wants to boost #sustainability by promoting #reuse and #repairs and by tackling practices that shorten the lifespan of products."