Skip to main content



math shitpost
I hereby resign my membership in the universal set (just to cause headaches for set theorists).
in reply to Jonathan Lamothe

math shitpost

Sensitive content



in reply to Boyd Stephen Smith Jr.

@Boyd Stephen Smith Jr. Intellectually, I understand this.

I think that computers just trick us into believing them to be deterministic.

in reply to Jonathan Lamothe

They aren't quite as deterministic as we might like them to be these days. I think some CPUs have a quantum randomness source, and task-scheduling across multiple computation units often _feels_ non-deterministic to me.

Plus, I do believe the term "Heisenbug" can be applied to bugs that go away when you turn on debugging/profiling/tracing or any other type of monitoring system that might be useful to diagnosis, even if everything is perfectly deterministic.

DFTBA



Just received an emergency tornado alert recommending to take shelter in a basement.

I live in an apartment. We don't have a basement.

in reply to Jonathan Lamothe

I mean, there is a basement floor and there is a hallway we could use down there in a worst-case scenario. Fortunately, the storm seems to be letting up.
Unknown parent

Jonathan Lamothe
@erin (she/her) You know, it's funny (in a not funny way). We've had a number of tornado warnings in recent years. In my childhood, I can only ever remember that happening once.



I hate it when I make an official release of a program with an ugly snippet of code that I can't figure out how to write more cleanly, only to come up with a solution 10 minutes after pushing the release. I just make the change in the dev branch so it gets incorporated into the next version.

In my defense, the thing I was overlooking was that #Haskell's Maybe type is an instance of Foldable. It's not the kind of data type that exactly screams Foldable, is it?

Side note: I should use Hoogle's search by type signature feature more frequently. I needed a function that looked like this: Monad m => (a -> m ()) -> Maybe a -> m (), which is literally just mapM_.

in reply to Jonathan Lamothe

I don't use emacs, but it works well in Neovim and VS Codium. I've heard it's better in emacs than in vim, but haven't verified that.


FFS.

There's a notice posted on the front door of the building. Apparently the landlord is bringing in an exterminator tomorrow and we have ~24h to empty out all the cabinets, pull appliances away from the walls, etc. in preparation for their arrival.

Welp, I did have other plans for today, but I guess not any more. ΰ² _ΰ² 

reshared this

in reply to Jonathan Lamothe

Fun development: ours is not one of the apartments being treated. On the plus side, had we not gone through the exercise of emptying out all the cabinets, I wouldn't have noticed the leak under our bathroom sink. Gonna have to get that fixed. :/
in reply to Jonathan Lamothe

I think this comes under the concept of, a silver lining. But still, it would have been nice if you could have been told this before you stressed and did all the work.


So, my partner who's "not into anime" and insistent that she dislikes the fantasy genre may or may not have spent the past three days binging on Frieren.

Now she wants more anime recommendations.

reshared this



Weather report for today said no chance of rain.

I should not have left the car windows rolled down...



We're having intermittent connectivity issues this morning. Seems to be an upstream issue.








Marketing spin is just wild sometimes. I literally just heard this one: "the only EV that's a Mustang", which is just another way of saying "the only EV we make". (Yes, I know Ford makes other EVs.)


I love when I'm writing software and I end up re-implementing functionality that already exists in a library I was already using because I didn't know it was there. πŸ™ƒ
in reply to Jonathan Lamothe

But now you understand the functionality much better than you used to. I implemented a really short and to me fun algorith for generating / calculating corporate dates like Week X Period Y Day z of Quarter and then I found out that someone just made a table with all the dates from 2000-2999 and was using that lol


@Eniko | Kitsune Tails out now! I noticed on the official trailer for Kitsune Tails that it's coming for the Nintendo Switch. I have two questions:

1) Is there a planned release date for this? (I couldn't find it in the Nintendo store)

2) Does Nintendo take a less drastic cut than Steam does?





Sometimes I'm very greatful for the "ignore thread" button. I should probably use it more often.


I have a stainless steel travel mug that I have my coffee in (almost) every day. It's supposedly dishwasher safe, but I still usually hand wash it.

A few months after I got it, the paint started peeling. Within a year, it had all completely peeled off... except for the logo, which is painted over top of the said peeling paint and still in pristine condition.

I feel there's a lesson in this story somewhere.



In a shocking turn of events, our car insurance rate is going down next month.
in reply to Celeste Ryder 🐾 πŸ€πŸ³οΈβ€πŸŒˆ

@Celeste Ryder 🐾 πŸ€πŸ³οΈβ€πŸŒˆ Apparently, it's because we've gotten a "loyalty discount" for being with them so long.

We actually had this discount with them before, but lost it because they dropped us briefly, and forced us to go with another company.

I love insurance.

in reply to Jonathan Lamothe

a few years ago I moved somewhere with a significantly lower crime rate than the place I was leaving, with the result that my car insurance became more expensive.
This entry was edited (4 months ago)
in reply to Jeremy List

@jeremy_list Insurance, maaaan! πŸ€·β€β™€οΈ

I live in an area where I can safely leave while leaving the door wide open and nothing happening(1), no thefts, no fires, no flooding (top of the mountain, no public works), no tornadoes, no nothing, but seeing the rates go up every year, you’d never know that!

(1) Literally did that once, unknowingly

in reply to Jonathan Lamothe

I never got a discount after 20+ years!

I did switch this year because by doing so and getting both cars and the house on the same one (previous best deal had them separated), I ended up saving some $1,000 a year…

… I was like, wut? Yes please! And took it before they changed their mind πŸ˜…






high demand groups, specifically Mormonism, but generally applicable

High demand groups must always have an enemy. This enemy must constitute an existential threat to the group (real or imagined). It's what enables the group to make the demands it does of its members. The ends need to seem to justify the means, though actually achieving those ends are unnecessary. In fact it's not even desirable, because once they do, they need to manufacture a new enemy.

This understanding gives interesting context to the Mormon obsession with the quote "there needs be opposition in all things." There literally does.

Jeremy List reshared this.

in reply to Jonathan Lamothe

high demand groups, specifically Mormonism, but generally applicable
The cruel irony here is that it causes these groups to actually become existential threats to others.


I miss the days when a simple TUI application could easily fit on a 1.44MB floppy disk. Just compiled a simple program I've been working on and it's over 8 freaking megs! That's absurd!
in reply to Jonathan Lamothe

I remember when a full featured application was a kilobyte to 60 kilobytes and was extremely fast getting work done. And the user interface was quite good and thoughtful


Whoops!

Accidentally left my #sourdough starter unattended for just shy of 48 hours. I had intended to refrigerate it.

It got a bit runny and had a bit of a vinegar-ey smell to it but no mould, so I think it's salvagable. Just fed it and we'll see how it fares.

in reply to Jonathan Lamothe

It’ll be fine, I leave mine weeks without feeding sometimes.

Treat it mean, keep it keen.



I've been slowly migrating my media collection over to a newly created Jellyfin server. It turns out that virtually none of my anime collection is from this century.
in reply to Jonathan Lamothe

@Spacegoat Actually I had some stuff on Nextcloud when I wanted to watch it on the actual TV (via an Amazon Fire Stick), but it was a very non-ideal solution and kept locking up and crashing the browser.
in reply to Jonathan Lamothe

aye. I've been a long time Plex user, have a lifetime Plex pass I bought forever ago. I've been thinking about switching my setup over to something else, like jellyfin, for years now because of the direction and decisions Plex keeps going and making. But it all really works quite well and has mobile TV interfaces, so I just keep sticking with Plex. Plex is really the only media server I've really used. Always curious to hear about others experience making the move.


intellectual property law trolling/shitpost

Pi is an irrational number. This means that its digits continue indefinitely without ever repeating. Every possible finite combination of digits is therefore contained therein. This would technically include a digital representation of every possible copyrighted work.

Does this constitute prior art?

in reply to Jonathan Lamothe

If you can find them, yes. This idea was used by Carl Sagan in his novel Contact.
in reply to Jonathan Lamothe

I'll bite, but not about the IP part.

Just because an irrational number's digits continue indefinitely without ever repeating, does that necessarily mean that it contains every arbitrary finite sequence of digits?

#Mathstodon

1/

in reply to Bob Jonkman

Is there at least one finite sequence of digits that isn't represented in pi? If so, there are probably an infinite set of finite sequences of arbitrary numbers not represented in pi.

*something something* Cantor's infinite set of infinite sets...

#Mathstodon

2/

in reply to Bob Jonkman

OTOH, if every finite sequence of arbitrary digits is represented in pi, then we should be able to find in pi a representation of, say, Euler's number to any given precision...

#Mathstodon

3/3 Enough for now. I don't have the math-fu to know if I'm being rational.

#BaDumTiss

in reply to Bob Jonkman

@Bob Jonkman So I've been told. I also took it as a given that the numbers never repeat. I have a mathematical proof for at least the non-repeating part now at least.
in reply to Bob Jonkman

@bobjonkman No. Consider 1.0100100010000100001..... This is irrational but it doesn't contain any sequence of digits containing digits other than one or zero.

As for the irrational number pi, I think maybe it is unknown whether it contains all sequences of digits, but I don't know where to quickly check that.

Bob Jonkman reshared this.

in reply to Jonathan Lamothe

@soaproot ...though could it not then be argued that this number contains a binary encoding of all possible sequences?

Edit: actually, not necessarily.

Edit 2: Okay, I see the pattern now. Definitely not.

Bob Jonkman reshared this.



So, I've learned that the couple who own the building I live in are moving in to the unit directly beneath us.

While I definitely have mixed feelings about this, at least I guess they're less likely to sell to a REIT.



TIL:
data Foo = Bar { val :: Int } | Baz { val :: Int }

is valid #Haskell. I wouldn't have thought you could define val twice like that.



I have a messenger bag that I typically carry around with me. Sometimes things go in there and I forget about them.

Katy was looking for something and discovered that for some reason I had put our marriage certificate in there. The last time I needed the physical certificate was years ago, so it must've been sitting in there and I've just been carrying it around with me unknowingly for quite some time.

I imagine I should probably find a better place for it.

I should probably also go through it to see what else I've put in there and forgotten about.



Me: I like math because its answers are unambiguous and not up for debate. Two plus two is always four.

Finite fields: Oh really?



In what may be the first time in the history of the world that anyone has done this, I just managed to use super glue without getting any on my fingers.




meta: on CWs

I've stated before that I'm not the CW police and I'm not going to dictate how others should use them, but if you're looking for a general guideline on when you might consider using them, this seems a reasonable guide:


Time to trot out this old thing:


GHCup: Because #Haskell apparently needs a package manager for its various package management systems.


I'm an idiot.

I was trying to install #Haskell on a machine and thought the installer was taking a really long time. In my defense, the last line of text was:

Installation may take a while.

It sat at this stage for over an hour while I did other stuff, because I hadn't bothered to read the previous line:
Press ENTER to proceed or ctrl-c to abort.
in reply to Jonathan Lamothe

It's not you, it's bad design. The prompt should always be the final line of output.

This website uses cookies. If you continue browsing this website, you agree to the usage of cookies.

⇧