Show more
Jons Mostovojs  

youtube.com/watch?v=c4M92jnauN

I don't know if documenting 4 AM big brain thoughts and uploading those on youtube is stupid or smart.

0
Jons Mostovojs boosted
brokenix  

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
benwr.net/2020/09/01/property-

0
Jons Mostovojs boosted
Tim McNamara  

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!

solvermax.com/blog/solver-perf

1
Jons Mostovojs  
0
Jons Mostovojs  

Better GitFlow or Why We No Longer Squash (all the) Commits.

memorici.de/posts/better-gitfl

0
Jons Mostovojs boosted
marruciic  

"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 /

0
Jons Mostovojs  

@mariilasa aaa, nu tā izskatās, ka tev BookWyrm nav vajadzīgs. :D Izcila organizācija!

1
Jons Mostovojs boosted
Mairita :verified_paw:  

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

Protams, arī tops ir.

#grāmata

1
Jons Mostovojs boosted
Jo :v_enby: :blobhaj_default:​ :neocat: :neobun:  

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

0
Jons Mostovojs boosted
marruciic  

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
osmand.net/map?pin=56.93973,24 ]

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

0
Jons Mostovojs boosted
marruciic  

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."

0
Jons Mostovojs  

@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.

1
Jons Mostovojs  

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 , another from the 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.

🇺🇦
!

0
Jons Mostovojs  

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.

0
Jons Mostovojs  

Went 3-0 in testing, feels really good.

I won't reveal which deck I'm practicing with for 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 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.

0
Jons Mostovojs boosted
Luis Villa  

@frameworkcomputer

0
Jons Mostovojs boosted
revolūcijas un iesnas  

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

github.com/virtulis/bluecolor

Show thread
0
Jons Mostovojs  

Can travel again!

0
Jons Mostovojs  

There is still some time to come till the war in goes full swing, so, while regularly donating to , 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 to my best ability and made quite some cool content, but this year I want to apply deliberate practice to get actually good at . It'll surely not be free, but I'll try to my best to match my MTG expenses with donations to .

I'll be posting about my progress.

0
Jons Mostovojs  

@nitinganatra is being rewarded that rewarding, really?

cc @dahukanna

0
Show more

doauth

53
Doma Social

Mastodon server of https://doma.dev.

Trending now

Resources

Developers

What is Mastodon?

social.doma.dev

More…