Jons Mostovojs @jonn@social.doma.dev

@richlv 🌜 gribēja piedalīties #NAFO, bet tagad jāstav rindā priekš biłetem uz Kobzona koncertu.

@jasongorman @faassen oh, but meaningful tests, according to me, are invariant tests, e2e tests, performance tests, blah-blah-blah, stuff that wants implementation (often beyond the boundaries of the interface)!

In teams I manage, I suggest reframing unit tests as *the* tool to write most of regression tests, but not as a tool to increase the evidence of even correctness.

"You wouldn't test a theorem".

@mo8it @apublicimage ah yes, silly me. But it would be possible if they were even lazier (see Control.Foldl[1] in Haskell).

Actually! Is there some API which allows you to build computation over iterators and then run it, reducing (pun intended) the constant factor in O(n)?

[1]: https://hackage.haskell.org/package/foldl-1.4.18/docs/Control-Foldl.html

@jasongorman @faassen by doing what TDD tells me to do – writing them before the implementation! 😇

@faassen @jasongorman unironically, all I heard from TDD people is like...

Translate specs to tests, before you change behaviour, change tests. But the problem is that when you don't have implementation yet, to do most kinds of tests, you need to create replace stuff "behind the interface" with something.

I think with most people (me included), there is where the problematic aspect comes into play. I'm not convinced that in we'll typed languages TDD benefits is distinguishable from just writing tight types.

But, of course, I wouldn't spew hot takes like the one quoted 😂

@WindOfChange THIS IS HASKEEEEEEEEEEEEL

@apublicimage that's exactly the thing I learned! I kinda low key expected for take() to take Iterator<...> and return Option<Iterator<...>>

```
dbg!(vec![1,2,3].iter().take(5).fold(0, |acc, x| acc + x)); // 6
```

#TIL #Rust

Well, I guess I'm on ~~inst~~ #pixelfed now

https://pixelfed.social/manpages

@Raccoon oh yes, we are absolutely on the same page, but "stability of democracies" is a dynamic thing.

We saw a takeover of #Hungary some decade ago, saw a takeover of #Turkey (which somehow didn't bite us in the ass big time quite yet, but it may and it likely will). Now — #Slovakia and #USA.

Don't get me right, I'm all for having an alliance which stands for all that's good against all that's bad, but then we need an accreditation process which would renew memberships in it.

Finally, as you know, it's tricky for a #NATO country to enter a conflict on the foreign soil willy-nilly. Some countries managed to (like aforementioned #Turkey), but they had to work with partners on the diplomatic level for the allies to turn a blind eye. There also was that one war based on shit intel into which everyone was dragged, including my home country, #Latvia. So it's not like there are no problems with #NATO decision-making and strategy. My entire point is that getting the strongest #European army in should be a no-brainer because there are existing checks and balances!

So it's very difficult for me to see takes like this as anything but high-horse thinking. I hope I'm not too offensive 🙏 I don't mean to offend, just to share a perspective.

@kardinal691

Oh no, I'm out of HDD space on my masto instance again.

@april to avoid XY problem – what is the task you need to accomplish? If I had to write *about* someone making modem sound, I would describe the sound they made, fwiw.