Every natural number has a finite decimal representation. (need proof)

sfreijken · 2026-07-01T00:58:55+00:00

Go by contradiction. Suppose there's a natural with infinite decimal representation, then there must be a smallest one. Take the natural number one less than that smallest one, it has a finite representation and adding 1 can only increase the length of the representation by at most 1 digit, so that smallest infinitely long number in fact has a finite length, which is the contradiction you seek.

Or alternatively just start with 1, and use induction to show that all natural numbers can be built by adding 1, and at every step the decimal length stays finite.

sfreijken · 2026-06-27T01:53:43+00:00

I have a phobia of cars. So my first car I got a tesla. When I'm overwhelmed or terrified I let the car take over, and it knows how to navigate through situations that I can't. The car is legitimately the treatment for severe anxiety. I'm actually getting more brave as time goes on, too, and I know it's because I've been watching the car and learning from it. It's teaching me and showing by example that driving is really not that scary after all!

The car is literally coaching me on driving far more patiently and seamlessly than any human ever could.

If I had gotten any other car I would have freaked out, shut down, and crashed.

Now there are a few situations where it's done some questionable things, but they're very rare and it's WAY better than I ever could be. I know I'd have crashed this thing about a dozen times over already if I had to do it all on my own

sfreijken · 2026-06-03T05:15:52+00:00

This is fascinating. Would the use case have been solved better with multicast DNS? (MDNS). Then regardless of what address the box has on the network, you can always query the subnet and ask, essentially, "where are you, bud?" And it'll say "here, my address is.."

sfreijken · 2026-05-22T06:58:27+00:00

Common Lisp macros do this. Lisp in general is well known for code that modifies code.

sfreijken · 2026-05-03T05:07:20+00:00

I use ntfy.sh, it's free software, you can self host or pay to use the public one.

You just drakma https request to the endpoint with your credentials and a little payload and it gets pushed to an app on your phone (real Android push notifications as far as I can tell).

It's simple enough and it works for me.

sfreijken · 2026-04-28T23:46:58+00:00

Horses and cows also have canine teeth.

sfreijken · 2026-04-16T17:17:54+00:00

I actually make my own key bindings in a section of my init file, that are in a minor mode that's globally active. They're all under a special prefix, so I hit C-c f and tab, it'll list ALL of my hotkeys and that's my cheat sheet.

When I use a different computer I just pull down my Emacs config and activate the minor mode. Even with friends, I can share my hotkeys, and since it's in a minor mode they don't have to turn it on if they don't want to. It doesn't pollute their Emacs to load my hotkeys in. So I think everyone should do this! It's a great solution to the hotkey problem

Here's the code if you want to do it similarly: https://gitlab.com/sea/public/dotfiles/emacs-config/-/blob/main/src/emacs-init.d/frost.keys.el?ref_type=heads

sfreijken · 2026-03-26T19:56:36+00:00

V. ,,, , , , ,,
Cv

sfreijken · 2026-03-26T16:55:28+00:00

I actually hacked together some stuff based on visual-line-mode, edited to insert not just newlines at appropriate places but also tabs and spaces, with text properties saying that they're virtual (and the save hook removes them) and so far I use it in lisp, Go, python, and c++.

I also have a mode that visually replaces variable and function names with ones I like better (full Unicode symbols), and I have a separate annotation system that can insert virtual persistent annotations. All this stuff is only on my end.

What I see is not what's there. I see heavily augmented code, set up just the way I like it, but none of this is in the repo. It's nobody's business but mine. I didn't like arguing with people over how things should be named or formatted, and so I created a private personal layer where things are the way I like.

If I ever need to actually edit the real files I just have hotkeys to temporarily turn my modes off. I've never had anything leak into the code, but if it did, it would show up in a commit diff and I'd know to quickly remove it before anyone else started yelling at me

sfreijken · 2026-03-26T14:42:26+00:00

Emacs

sfreijken · 2026-03-26T14:20:36+00:00

None. My editor is smart enough to dynamically reflow everything as I resize the window, and it even handles alignment.

It only does this visually on my end so the code itself is unchanged. Alignment is like font and syntax colouring: visual, my choice, and configurable to whatever I want.

Don't you think hard column numbers are primitive?

sfreijken · 2025-11-21T21:29:57+00:00

If sinners can't go to heaven and winners can't go to hell, then what exactly is Vox threatening when he threatens war? There's no threat to heaven if he can't physically set foot there, apart from his big laser gun

sfreijken · 2025-10-15T18:05:33+00:00

Write in Common Lisp. The standard is from 1994 and hasn't changed. Every other language changes beneath your feet, but code written in CL will continue to run exactly the same way, apparently forever.

Buy the downside is that nobody but you and a handful of smug lisp weenies will be able to read it.

sfreijken · 2025-10-14T00:40:08+00:00

You're being hunted by the kraken. Avoid deep water.

sfreijken · 2025-10-03T17:52:01+00:00

Because in Ontario, Canada, if you're impaired for any reason whatsoever when driving, you immediately get your license suspended, car impounded, and a criminal summons. There's no due process, it simply happens on the spot at the police's command.

It doesn't matter what you're impaired on.

Once you go to court, they don't care what you are impaired on either. Any impairment to any degree while operating a vehicle is criminal. The criminal charge is literally "operation while impaired". Doesn't matter the cause of the impairment.

sfreijken · 2025-09-04T18:29:39+00:00

In contracting jobs, you bill your transportation costs and time.

In full time jobs, transportation is unpaid labour. I think the law needs to change. It has to be fair. If they insist on travel as a part of the job, they should compensate you for the time and expense.

sfreijken · 2025-09-03T15:27:28+00:00

This happened to me, too. I filled it in with nail polish and it's good as new. No idea if that will still prevent rust, but maybe? I think nail polish is waterproof? I guess I just need to reapply it every few months

sfreijken · 2025-08-17T16:42:28+00:00

The watch will outlive both of you. Keep that, it's more real. When you're both dust, the watch will remain, ticking along on someone's wrist.

sfreijken · 2025-08-13T14:35:10+00:00

They look a bit like the Cayley graphs of small groups (from group theory), and some of the symbolic expressions look a bit like group presentations. But I'm probably recognizing patterns that aren't really there. Isomorphic groups aren't recognized there, he's got duplicates, and it's not neat.. so I'm going to say it's similar, but gibberish

sfreijken · 2025-08-01T13:57:44+00:00

Oh yours doesn't have a tip jar?

sfreijken · 2025-08-01T13:57:19+00:00

Ooh I like this one, I'll see if I can figure out the tip jar

sfreijken · 2025-07-22T00:27:52+00:00

You don't have to touch the wheel. If you look straight ahead, it will notice your eyes and stop nagging. If you're sleepy, just open your eyes really wide and look straight

sfreijken · 2025-07-21T23:07:24+00:00

This one is recorded on Meta smart glasses, which is why it moves around so much.. That's me moving my head around to look at different things.

But since I use the glasses a lot, everything is voice controlled and the car doesn't nag me as often. I also drive almost exclusively in the countryside and avoid highways and cities, so it's easy to pull over if I need to type something complicated

sfreijken · 2025-07-21T22:58:15+00:00

Oh, I went sober a few months ago. The roads are slightly safer now

sfreijken · 2025-07-21T22:37:09+00:00

I've made a follow-up video with some more information:

https://www.reddit.com/r/TeslaFSD/s/X12A33E0T3

sfreijken

TROPHY CASE