Show more

Let alone the fact that we, regular people, help those who lost homes due to war just as we would hope people would help us. So it's absolutely safe to come to the West as a refugee, no matter the age. But I gave up on explaining this to russians.

Show thread

meduza.io/feature/2023/04/17/z

They don't understand that in the Western countries there is a way to actually get refugee support. So strange. A nation of slav•s.

The final prerelease of Functional Programming in Lean is out! If you have time, I'd really appreciate any feedback you can provide on the final chapter before my deadline at the end of the month. But even more, I hope that you find it valuable and enjoyable :-)

leanprover.github.io/functiona

Reading , has a chunky reference to and mentions @ntcoding and his book.

It still feels quite surreal to have found about DDD while looking up my own hunch that building software is a complex, adaptive sociotechnical system building another complex, adaptive sociotechnical system.

I'm glad that this is a developed school of thought already.

I had a dig around in the 2.67TB of training data released by the RedPajama project (without actually downloading more than a few hundred MBs of it) - here's what I've found out so far
simonwillison.net/2023/Apr/17/

The UK is not ready for the next global pandemic because public services are being dismantled and key research is being defunded, experts have claimed.

More than three years after the global outbreak of coronavirus, top scientists have warned that the UK is no better prepared for a pandemic than it was in 2020.

#Pandemic #NHS #UKPolitics #Healthcare

independent.co.uk/news/health/

85 years ago.

In April 1938, Guy Callendar published his seminal paper showing that Earth’s land areas had warmed over the previous 50 years.

He also suggested that man-made CO₂ emissions had caused around half of the observed warming.

85 years ago.

rmets.onlinelibrary.wiley.com/

QT: social.doma.dev/@jonn/11021090

My favorite evergreen issue of is actually pretty recent. It's issue #267, which is called "Backups".

Amazing survey of tools I knew of but didn't know how to use and tools that I didn't even know existed like syncthing.net/.

Going beyond in backups sure feels great. Grab your own digital copy here: sparkhaus-shop.com/uk/catalog/

@google has to be sued for failing to deliver E-Mail of legitimate businesses.

Just now I had to manually mark "not spam" emails from "Sparkhaus Media GmbH", the European company that prints @linuxmagazine and @adminmagazine. Just because they host their own SMTP server.

Seriously, fuck that cartel bullshit. I have no idea where is @EU_Commission looking...

If is so good, why is there so many people struggling to learn it? (Just kidding, just jaded that I couldn't buy the issue haha).

Toot at me your favorite evergreen @linuxmagazine issues!

With "evergreen", I mean ones that contain methodology reviews, breakthrough technology reviews, fundamental (rather than the flavour of the week) howtos, etc.

I've finally learned how to buy them in the , so I'll buy the one I'm most interested in in digital and paper and some other ones in paper for home decor and retro feeling when I used to be jealous of my neighbour for having stacks of magazine.

This is the latest in my series of posts on running Large Language Models on personal devices simonwillison.net/series/llms-

Show thread
Show more
Doma Social

Mastodon server of https://doma.dev.