Jons Mostovojs @jonn@social.doma.dev

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

"Nav vienas patriotisma definīcijas. Nav viena pareizā veida, kā pierādīt savu Tēvzemes mīlestību. Bet man svarīgi šķiet ne tikai runāt par patriotismu, bet to parādīt darbos. Mēs nevaram saviem bērniem teorētiski iemācīt, ka jāmīl Latvija. Mīlestība viņiem ir jāparāda."

/ Edgars Rinkevičs /

Uzrakstīju garāku atskatu uz 2023. gadu un 60 izlasītām grāmatām. https://gramatas.wordpress.com/2024/01/01/uz-2023-gadu-atskatoties/

Protams, arī tops ir.

#grāmata

Oh my fucking god

I just had the sudden realisation that the way fedi does handles, @username@domain.tld, is pretty much almost exactly the same that "first name" and "last name" was handled in ye olden times

Then and there it often was X of Y, with X the name, and Y the city or place. "Last names" we have these days have this built in as an artefact; of, from, de, d', van, von, of the, etc.

So fedi has inadvertently recreated this trend

Your instance domain really is your fedi lastname

Par ģimenes tradīciju kļūst 11/11 apmeklēt šo piemiņas vietu..

[📍Brīvības cīnītāju piemineklis
Mūkusalas iela (Torņakalns), Rīga
https://osmand.net/map?pin=56.93973,24.10003#18/56.93973/24.10003 ]

Šis piemineklis - par godu 🇱🇻 uzvarai pār Bermonta armiju 1919.gadā šovakar arī gaida sveces un ziedus!

Quoting @berlinbridge

"Russia wants to destroy Europe: our way of life, our economies and democracies. Their war on European freedom may have started in #Ukraine, but it won’t stop there unless we give the Ukrainian military & people everything they need to stop them. Now."

@frameworkcomputer

Well, if nothing else, I learned how to do some more useful things in Rust.

https://github.com/virtulis/bluecolor

Published a new blog post! ✍️

8 months of OCaml after 8 years of Haskell in production

In this blog post, I compare OCaml and Haskell across

🧪 Syntax
🧪 Features
🧪 Ecosystem
🧪 Tooling
🧪 Compiler messages
🧪 Standard library

I hope you enjoy it! 🤗
And let me know any feedback you have!

Please, repost to support my work!
Really appreciate that! 🙏

https://dev.to/chshersh/8-months-of-ocaml-after-8-years-of-haskell-in-production-h96