I’ve just swept and mopped. Once the floor dries, I could easily go sweep again and turn up more dust and dirt. If I were to mop again, I’m almost certain the water in my bucket would be filthy. It feels like it’s never actually clean....
I didn’t include it in my original comment because it’s kind of tangential, but carpets also trap rusty staples and – very strangely – rusty finish nails. Over six years, my feet have found dozens of these staples and nails twisted within my house’s carpet, each of a shape which I have never owned.
I honestly don’t know what the previous owners of this place did, but I recently had every shred of carpet ripped out and replaced with wood-look tile. I bought myself some indoor slippers for winter and haven’t looked back since.
That is a 50 year old hack in #C that we have not managed to escape yet; it's even inconsistent. (Unix error codes are the other way around.) It's high time we moved on.
I feel like the people who get their panties in a bunch about #AI being incorrect are the same people who insist that everyone use #typed#programming languages.
I was rather active back on Google+ back in the day (and I am a bit miffed that Google ended it one week before I started my Patreon campaign).
And the one feature I truly miss are the "Collections". Basically, you could assign each of your posts to a single Collection you've defined. For example, I created the following Collections (among others):
"RPG" (tabletop role-playing games)
"Politics"
"Deutsch" (German-language posts)
"Science"
and so forth. And those who followed me could choose whether to follow my entire stream, or only specific collections. Someone who wasn't interested in Politics could unsubscribe to these posts. Someone who could not read German could thus not have my German-language posts show up in their stream - and so forth.
This was an amazing feature for keeping the signlal-to-noise ratio high in people's streams. And I would love it if someone implemented a #Fediverse -based approach for this - but I am not sure if #ActivityPub would even support such a subdivision.
EDIT: @sl007 pointed out that this feature IS, in fact, part of the ActivityPub standard and thus could be implemented on the Fediverse - but apparently, no one has done so yet. Read the following for the details:
Probably the biggest problem with ATS2 is the very steep learning curve associated with it. Very few programmers were able to ever overcome it to reach the point where they could truly start enjoying the tremendous power of (advanced) type-checking and (embeddable) templates.
When DML (the predecessor of ATS) was designed nearly 20 years ago, a two-layered approach to type-checking was taken: ML-like type-checking first and dependent type-checking second. This approach was later abandoned in the design of ATS. Instead, there is only dependent type-checking in ATS1 and ATS2. In ATS3, DML's two-layered approach is to be adopted. In particular, a program in ATS3 that passes ML-like type-checking can be compiled and executed. So one can skip dependent type-checking in ATS3 if one so chooses. In this way, the learning curve is expected to be greatly leveled. But there is much more than just leveling the learning curve.
ML-like types are algebraic (involving no explicit quantifiers). Such types are so much friendlier than dependent types (which often involve explicit quantifiers) for supporting type-based meta-programming. It seems that a chance has finally arrived to properly address the problem of template instance resolution that causes so much annoyance in ATS2 (due to the very use of dependent types for template selection).
In short, ATS3 adds an extra layer to ATS2 for supporting ML-like algebraic type-checking. Type-based meta-programming in ATS3 solely uses algebraic types (while ATS2 uses dependent types)."
Browse this cool 1992 book of gorgeous wooden ornamented types, "twenty-three alphabets from the foundry of Louis John Pouchee) from the Letterform Archive
If you are into programming languages, learning Ocaml (or other ML dialect like StandardML) makes a lot of sense, it's helpful for reading papers, watching conference talks, understanding basics of type theory, going through PL courses and all other fancy stuff.
Here is a good introductionary course on OCaml and functional programming:
At first, I didn’t like type hints in #Python, but we decided to give it a go since our codebase really exploded in the last couple of years. All I can say now is we should have done it earlier. I still find it unbealivable that we discovered so many small bugs that went unnoticed all these years.
Static type #checkers do help find #bugs - even ones that would be nasty to try to debug after hitting them in use.
But you can also use them to enforce #contracts, if you prefer that to duck typing (not built-in). A lot of Pythonistas will hold their nose at that, but it can be useful to "die loudly and early" when someone else passes the wrong #types to your #function.
"TypeScript sucked out much of the joy I had writing JavaScript. I’m forever grateful that @yukihiro_matz didn’t succumb to the pressure of adding similar type hints to Ruby. May we forever enjoy this beloved language without 🙏"
@woodsbythesea As a web dev I still use both, js for simple stuff on generally static sites. But, I absolutely use TS for anything web-app-ish. I would never want to refactor a web app in JS, that's like "break stuff and move slow".
Not using TS because it's occasionally unwieldly is the same as not using AI because it occasionally makes a mistake. #typescript#types#javascript
"The focus of my research is applying #fp, in particular #chez#scheme, to low-level problems — the type of situations that usually call for #rust or #c"
— highly recommended talk on programming with serialized data from @vollmerm @ #ELSconf
@theruran@vollmerm
heavy wager:
"While I'm a long time #schemer, most of my research deals with using #types to improve performance... I promise I'll convince everyone here that types are good by the end of this talk"
"Something I'm curious about working on is an imperative dependently typed programming language that uses linear types and #TypeTheory to keep the mutation in line. Something I have to admit is that I'm not actually interested in #FunctionalProgramming. I'm simply interested in #types."
5 Different Types of Writing Assignments – A Comprehensive Guide for College Students (thealmostdone.com)
How do you keep your homes clean?
I’ve just swept and mopped. Once the floor dries, I could easily go sweep again and turn up more dust and dirt. If I were to mop again, I’m almost certain the water in my bucket would be filthy. It feels like it’s never actually clean....
OC 109 Best Types of Purple Flowers to Grow in Garden (balconygardenweb.com)
Purple Flowers not only look royal, but also add a touch of spirituality and creativity to the garden. Explore this list of the best ones!