April

There's a fun story I learned about VRRP vs CARP which are two different protocols that do the same thing to share an IP between two computers. I learned because they use the same port number and I got curious. Initially VRRP was the only way and it was patented even though they got the port reserved. Then the OpenBSD developers countered this by slapping on authentication to the protocol to say theirs is new and different so the patent doesn't apply. So now FreeBSD carries on the BSD legacy and uses CARP for redundant routers.

@petrillic@hachyderm.io turn it into your home router too it's great that's what I did

@petrillic@hachyderm.io same, gotta have the emotional support cores. Mine is 56 cores single socket Xeon.

@licho@kolektiva.social this is one of my all time favorite coding talks. Right up there with data oriented design https://youtu.be/rX0ItVEVjHc and maybe more on theme Preventing The Collapse of Civilization https://youtu.be/ZSRHeXYDLko

@nota this one looked like CG line art at first before I opened it up bigger and saw the textures and shadows

In fact when I graduated I had kind of a hard time realizing that you can't really do math alone. Math has this air of perfect logic independent of even the universe and yet without a community of human mathematicians to check your work and agree with your logic and learn together it doesn't really mean anything and there's no way of knowing if you're correct or subtly wrong. When I had this thought it was about how when you write a proof it's not in full detail and humans have to fill in the blanks as they read to see if they agree with the proof. So the situation changes somewhat when you involve mechanical proof checkers. However I think it's ultimately the same thing again at a different level. It's critical to write the theorem statement exactly correctly and subtle variations can make the proof uninteresting and not what the community wanted to learn. So you can't really write a theorem statement to work on a proof for without contact with the community. Even the existence of the proof checker program is predicated on the human community that built it and decided that it correctly represents the logic they care about.

Mathematics is thousands of years old. It's not going anywhere.

Also relevant is this 1994 article "On proof and progress in mathematics" by William P. Thurston https://arxiv.org/abs/math/9404236

@ZachWeinersmith@mastodon.social maybe you'd like to see my reply to your post about AI math on bsky (since sometimes you're back on mastodon)

It's all the same software used on the actual steam os. I looked into what's on my steam deck and through several similar guides and did a lot of trial and error to get to something I liked.

I worked really hard on getting the steam boot animation to play without being cut off at all and getting the desktop switching smooth. I also got the performance overlay working with 4k scaling which was tricky. It uses a ton of hard to find command line flags and runs steam inside gamescope with kde not even running in game mode. It's pretty cool to have a custom mutable steamos and just use pacman. I've had this running on a strix halo mini PC hooked up to my TV for a while now.

@globalmuseum wow the craine is the only other moving origami design I've seen

@mcc @natashenka I found a voice message transcription option in the settings. Apparently it's a local on device model if that makes any difference to you.

I do actually use AI kind of a lot but I rarely have it generate code. I use AI to increase my understanding not to abdicate it.

I also noticed my zfs on arch linux kernel update script was accidentally private until now https://gist.github.com/fsmv/37fd0a934abb879ef7c9a32a89e7a3d2

@briankrebs@infosec.exchange it's all AI bug reports

@larsmb@mastodon.online LLMs are not equipped to answer questions about letters. To them letters don't exist because everything is run through the tokenizer before being passed to the LLM. So strawberry is probably 2 integers to the LLM. LLMs also cannot easily learn general math functions like addition. They mostly just memorize the answers you can find online.

@gloriouscow@oldbytes.space wow amazing. How much time did all this take?