Jons Mostovojs @jonn@social.doma.dev

I WRITE JOKES IN CAPITALS.
THIS ONE WAS WRITTEN IN OSLO.

@jonn @luckytran I totally understand the frustration of local shops ditching good options and not entirely trusting Amazon due to counterfeit concerns.
Fortunately, the UK has an excellent online resource:
https://thefacemaskstore.co.uk

They even stock my top pick respirator - the Dräger 1920 FFP2/1950 N95:
https://thefacemaskstore.co.uk/drager-x-plore-1920-ffp2-unvalved-respirator-mask-medium-large/
(Unfortunately, the Small is out of stock.)

Of course they also have the ever popular 3M Aura:
https://thefacemaskstore.co.uk/3M-9320
(Plus several other varieties of Aura.)

Hello pocket friends, do you know anyone who would be interested in subscribing to my YouTube channel focusing on tips on software development with #rustlang? https://youtube.com/@timClicks?si=cYpmBM4wX0TiA_SG

I am irritatingly close to 7.5k subscribers. I don't know why this is bugging me. But it is. And sharing the channel with anyone who might be interested would be a huge boost. Thank you!

This is old internet good https://english.stackexchange.com/questions/395382/which-word-begins-with-y-and-looks-like-an-axe-in-this-picture

“Your periodic reminder that less ice at the Arctic is consistent with a weaker jet stream that allows cold air to drift down into the Great Plains.

The frigid temps you're experiencing happen BECAUSE of a warming planet, not in spite of it.” Via Dr Steve Campbell from the other place

He later references https://www.climate.gov/news-features/understanding-climate/understanding-arctic-polar-vortex

https://twitter.com/historian_steve/status/1745920780624711886?s=46&t=4TnCHrl_NkgPDLmdROH8hA

Ukraine's National Agency for the Prevention of Corruption has added the fast food chain Subway to the list of companies that support the war.

More than 500 Subway restaurants in russia continue to operate and pay taxes to russia, advertising themselves through russian social networks and using Yandex services.

Boycott #Subway, show them that staying in russia will hurt them much more than leaving ever would.

Read more here🔗 https://sanctions.nazk.gov.ua/en/boycott/1032/

#Ukraine 🇺🇦 #SlavaUkraini

"Lithuania, Latvia, Estonia, Moldova may be next. And it is certain if we do not withstand. We have heard recently that they have started talking about Finland, they have started talking about the independence of Uzbekistan, and so on. He [Putin] will not finish this until we collectively finish him." - President Zelenskyy
#AureFreePress #Ukraine #Zelensky

A historic petition has been launched, potentially leading to the deprivation of Hungarian Prime Minister Viktor Orbán's voting rights in the Council of the European Union.

Article 7 allows for the suspension of certain rights, including voting rights in the Council, for a member state found in violation of the European Union's values, encompassing human dignity, freedom, democracy, equality, and the rule of law.
#AureFreePress #EU

For very simple inputs, like a function that takes three booleans, Quickcheck can exhaust the entire input space easily. For more complicated inputs, like a function that renders some unicode text, your tests are much less likely to hit the rare edge cases, unless you are very strategic about how you generate your random examples.

One trick here is to use smaller types when possible. For example, say you have a function that searches for cycles in a directed graph, say a Map>. Normally your graphs are indexed by strings. If you generate a graph by picking out random elements of your Map>, you’ll spend most of your randomness on generating uninteresting graphs with lots of nodes pointing at nothing.
#crdt #quickcheck
https://www.benwr.net/2020/09/01/property-testing-tricks.html

Computer solvers in 1989 vs. 2024

> Combining the computer hardware speed increase of 4,000 times with the solver software performance improvement of 5 million times, the total improvement from 1989 to 2024 is a factor of 20 billion times faster!

https://www.solvermax.com/blog/solver-performance-1989-vs-2024