![](/static/253f0d9b/assets/icons/icon-96x96.png)
![](https://programming.dev/pictrs/image/170721ad-9010-470f-a4a4-ead95f51f13b.png)
This post made me go try something in clojure again and man I forgot just how fucking good the language is. Everything fits together so nicely.
This post made me go try something in clojure again and man I forgot just how fucking good the language is. Everything fits together so nicely.
Not gonna lie, I thought about your comment multiple times today trying to make sense of it, and only just now did I realize what you meant by it.
Yes, like Alan Turing. Ugh.
Ya “an historic”, when the h is clearly pronounced, strikes the wonderful double blow of being both pretentious and wrong as far as I’m concerned. Looking at you, NPR. Go run up an hill, why donchya?
I think cleanse and clean are not quite interchangeable. Cleanse has a gravitas that clean lacks. For example, growing up, I heard a lot of things like “be cleansed of your sins”. “Be cleaned of your sins” makes me vaguely uncomfortable.
Hard agree on business lingo, though.
Homogeneous, meaning having a uniform composition. Hoe-moe-jee-nee-us (or hoe-muh- and/or -jee-nyus; point is, there’s an ee sound before the last syllable). Saying homogenous (huh-mah-jeh-nus) in that sense is not only wrong but also means something else.
Mr. fancypants with a garage over there. Meanwhile, ain’t no public chargers for miles around here.
you mean let
.
and then letting Hindley-Milner do the rest
So many solver solutions that day, either Z3 or Gauss-Jordan lol. I got a little obsessed about doing it without solvers or (god forbid) manually solving the system and eventually found a relatively simple way to find the intersection with just lines and planes:
It’s a suboptimal solution in that it uses 4 hailstones instead of the theoretical minimum of 3, but was a lot easier to wrap my head around. Incidentally, it is not too hard to adapt the above algorithm to not need C (i.e., to use only 3 hailstones) by using line intersections. Such a solution is not much more complicated than what I gave and still has a simple geometric interpretation, but I’ll leave that as an exercise for the reader :)
Oh absolutely, I don’t blame KDE or arch repos lol. I did see that it was a KDE update but somehow didn’t clock the version number. I had it in my head that KDE6 was much farther off.
Didn’t realize this was happening and yay -Syu went brrr and it broke my shit. Probably doesn’t help that I’m running nvidia with linux (endeavouros). Wayland doesn’t work at all (black screen on login with only mouse ptr, wrong resolution), while Xorg is now much less smooth e.g. on the switching desktop animations. Moving windows around and in-window graphics are fine. Some graphical config stuff changed too; I’m still taking inventory.
I’m also currently playing with nvidia vs nvidia-dkms with different kernels to see if that solves anything.
EDIT: Looks like that my configuration was failing to set nvidia_drm modeset=1
correctly due to my unfamiliarity with dracut. Manually adding nvidia_drm.modeset=1
to my kernel cmdline makes Wayland work (and quite well at that), though Xorg is still laggy.
<esc> <esc> <esc> <esc> <esc> <esc> :wa! <cr>
Maybe a dumb question, but if all of the vehicle’s bells and whistles are meticulously recording my every move… how do those data get back to the auto manufacturer anyhow? I read the article and the “how that works” link, and sure it mentioned phone connectivity, but if I don’t connect my phone, then my car presumably has no way to communicate what it collects… or are there a bunch of extra radios that phone home (satellite, cellular…)?
They are basically shortcuts. For example, I can type “!w ibuprofen” into DuckDuckGo (or the address bar because I have it set as my default search engine) and be brought immediately to the wikipedia page for Ibuprofen. There’s also !yt for youtube search, !so for stack overflow search, and many more.
0 mg Mg don’t forget the space between the unit and the number.
DuckDuckGo from the browser, because 90% of the time I can get where I want with the appropriate ! bang from the address bar.
Homie dats a gas. Or supercritical fluid, which actually is indeed used for “washing” (SC CO2 is used to decaffeinate coffee). However, like others said, surface tension /= cleaning ability. Part of what soap does is increase the effective solubility of things that are not normally soluble.