https://www.youtube.com/watch?v=c4M92jnauNU
I don't know if documenting 4 AM big brain thoughts and uploading those on youtube is stupid or smart.
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
Better GitFlow or Why We No Longer Squash (all the) Commits.
@mariilasa aaa, nu tā izskatās, ka tev BookWyrm nav vajadzīgs. :D Izcila organizācija!
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.
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."
@mariilasa Es dzirdēju, ka viņš ir šausmīgs seksists. Vai tas bija acīmredzams no grāmatas?
Starp citu, bookwyrm.social ir integrācija ar Fediverse!
Es tur mēģināju ievietot un īsi apskatot visus grāmatas kurus es lasu. Diemžēl tikai angļu valodā :c
Ja vēlies savus apskatus strukturēt un līdz šim brīdim par šo vietni nezināji, apskaties, varbūt tev būs interesanti.
Mr. putin, like that old deranged university professor, is putting world politicians to a test. The exam has just one question. 'Did you learn anything from the world wars of the XXth century?'
High-ranking officials seldom answer that with actions. They rarely even speak precisely about their stance.
But today we, the civilians, finally hear unambiguous voices warning of impending war. One from #Sweden, another from the #Netherlands a week earlier.
When events like these happen, a spark of hope flickers within me. Maybe Europe will be prepared?.. Yet, each time, it quickly fades, leaving a trail of disappointment.
#Ukraine 🇺🇦 #SlavaUkraini
#СлаваУкраїні! #StandWithUkraine #RussiaIsATerroristState
Went 3-2 in a league, the deck feels decent and my understanding of it is at least average if not above. Tomorrow I'm committed to analyse the replays of the games I played. I also went 2-3 with Esper Midrange in an Arena league, which is OK-ish, but whatever. Ramp feels like a very hard matchups when your opponents are playing well.
Went 3-0 in #modern testing, feels really good.
I won't reveal which deck I'm practicing with for #Ghent just yet, and I don't think it's a particularly good meta call, but if I dodge bad matchups, it could be a nice #LCQ for me!
Didn't do much for the past couple of days because I was focusing on work, but I have watched some Andrea Mengucci content to get a grasp on the metagame.
Well, if nothing else, I learned how to do some more useful things in Rust.
There is still some time to come till the war in #Europe goes full swing, so, while regularly donating to #UAF, I figured I can have just a little bit of fun this year. Not real fun though. More like workout for brain. So my yearly thing this year is highly competitive, as opposed to the previous year, which was highly creative.
Last year I was doing #dungeon23 to my best ability and made quite some cool content, but this year I want to apply deliberate practice to get actually good at #MagicTheGathering. It'll surely not be free, but I'll try to my best to match my MTG expenses with donations to #Ukraine.
I'll be posting about my progress.
#magic24
@nitinganatra is being rewarded that rewarding, really?
cc @dahukanna
That https://doma.dev guy
#lean #elixir #typescript #react #nix
In my non-existent free time I design and run #TTRPG
If you use tools made by genocide-apologists, you are a genocide-apologist.
#lemmy users aren't welcome here.