After a long and winding waiting room… Cats Effect 3.7.0 has finally been tagged! https://github.com/typelevel/cats-effect/releases/tag/v3.7.0 This is a big one because it represents the culmination of all the planning and scheming and hard work to make truly native multithreaded execution […]
@dpiponi That’s pretty much correct. The ordering is really the distinguishing bit. Terminology is hard here though because other obvious terms like “ordered” or “monotonicity” aren’t strictly accurate. Additionally, autoregression describes the inference process, while (weak) ordering is a […]
New video! Featuring cats-mtl and its relatively recent additions of the allow/rescue mechanism, AKA scoped capabilities.
https://www.youtube.com/watch?v=cTKWpYMciV8
@bodil I didn't try cursor, but it's likely to be the same. Also didn't bother trying the other models since, more than likely, they just ignore the string.
@bodil When you put it into CLAUDE.md, or specifically into a prompt, or even in a file which you explicitly feed to Claude, the following is the result.
This doesn't seem to happen if you just put it in a file and ask about the whole codebase, but that makes […]
[Original post on fosstodon.org]
@dpiponi Interestingly, that image almost instantly makes me dizzy and forces me to avert my eyes. My left eye is actually still having trouble focusing on things after briefly glancing at it. Not sure what that says about me, but it's an interesting effect.
@dpiponi Even modern games have issues with this sometimes. Kratos in GoW Ragnarok is probably the best current example of getting this right (though Aloy is also incredibly well done). However, most Souls Likes have glacial animation locks and imprecise facing, pushing that sense of […]
@kubukoz Watch the dark sections of the sky in the opening. Note how it’s not actually a solid or even consistent color. Bad profile tuning.
I haven’t gotten yet to any spoken lines in Pluribus, but their transcode settings are already driving me nuts. Was all the mosquitoing possibly a stylistic choice?
Oh also I'm still tweaking a ton of stuff so expect to see this fluctuate and shift (mostly cosmetically).
There are a *lot* of things I wrote when I was younger which I don't agree with now, but I feel like the whole thing deserves to see the light of day regardless, and maybe some of it (like the monads tutorial or maybe the operational transformation stuff) remain somewhat useful.
After about a decade in PHP vulnerability purgatory, I have finally shaved the yak of extracting my blog contents from MySQL, converting them all to markdown, and building a Laika scaffold around the whole thing so I can host on GitHub Pages. I even managed to keep the old URLs (I hope). Styling […]
*opens editor instance on worktree untouched for six months*
*finds still-unsaved editor buffer with an entirely plausible looking implementation of a very interesting function*
*has absolutely no idea why said function would be required for the branch in question*
@ross How do you have reciprocity without virality though? Seems that would be an immediate transitive loophole.
@ross I’m curious: what’s the deficiency you see in ASL? Or if you want to be more assertive, GPLv2?
@dpiponi I assume the inscription above the door reads "thus also to airtags"
@dpiponi And I yours!
@dpiponi Part of me (the coping part of me, I think) wants to be optimistic about much of this. For many generations, democratic norms, well-functioning administration, and the economic and societal benefits of broadly-based immigration have been taken for granted as these very abstract things […]
@dpiponi The aspects of American Identity which I'm touching on here are incredibly deeply engrained. As someone who grew up abroad, you probably see this even more clearly than I do. I don't think any political movement, however strong, can really move the needle much on something that is […]
@dpiponi These things have been present from the founding moments of our country. They aren't *new*. So it follows then that all the good and even amazing things about America have always been part and parcel with the vile things. What we're seeing now is the quiet part being said out loud in a […]
@dpiponi Maybe this is just cope, but one of the things I've been thinking about a lot recently is the fact that the US has been paradoxical in these sorts of ways from the very beginning. We are, *by definition*, a country of immigrants. By that very same definition, we are a country built on […]
@dpiponi I'm legit jealous you somehow managed to get an airtag into the life stream. Eagerly anticipating each twist and turn!
@dpiponi Certainly though there's a very, very great deal of what you're describing. Loads of stuff is done the way it's done "because that's how it works" and you just cargo cult things around. Heck, even transformers themselves have a significant flavor of this. Your point about "we used […]
@dpiponi I've long had this feeling about machine learning as a field. My perception though (and maybe this is just because I've gotten a lot closer to it as time has gone on) is that things are getting a lot better here. I frequently have conversations with folks who reason about fundamental […]
@dpiponi Whatever happened to just having the detective sit in his living room making small talk with his good friend?
@benoit I'm old enough to remember that! There was a time where I capitalized it exactly like that. I hope whoever made that branding decision has been rehabilitated.
@lars The net-net of this is you kind of maintain a sort of surface level awareness of the general phonetics of most languages, or at least the Anglicized version thereof (or in the case of some American Indian languages, the Anglicized version of the Francophone version thereof, such as […]
@lars One thing that *is* kind of fun about English's "whatever, we gave up on rules" approach to spelling and phonetics is that you do get very used to picking up cultural context clues and biasing your guesswork accordingly. I know if I'm in the northeast and I see a weird place name it's […]
@lars Just think of all the debates you're missing with your prescriptivist, modernized, boring language! Spelling contests, debates over pronunciation, phonetics training that takes years and is mostly memorization.
Bonus follow up: the correct capitalization is NVidia (it stands for “next version” with a made up nonsense suffix), but obviously that looks dumb so everyone who isn’t their marketing team writes “Nvidia”, and the marketing folks use “NVIDIA”.
