Caleb Figgers 's Avatar

Caleb Figgers

@cfiggers

Jesus-follower | Husband, Father | Nerd

74
Followers
717
Following
204
Posts
23.08.2023
Joined
Posts Following

Latest posts by Caleb Figgers @cfiggers

In other words, assignment of the "is equal to" relation is subect- and context-dependent.

People typically resist this concept because they've been taught (often implicitly) that equality is a universal or absolute condition.

But five minutes of thought show that to be untrue.

03.01.2026 15:32 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Every assertion of equality or inequality, similarity or dissimilarity, implies (first order implication) a conceptual frame within which that assertion holds; the existence of which frame then implies (second order implication) a universe beyond itself where the assertion may fail.

02.01.2026 13:25 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

No wait this is better

#janet-lang

07.12.2025 21:17 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
A screenshot of computer code

A screenshot of computer code

Working on my graph data structure library for Janet

Inline ASCII commutative diagram, very satisfying

06.12.2025 18:12 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 1

"India" is too large and diverse to characterize either it or its people with simple, univocal statements.

Almost any single thing, asserted about "all India" or "all Indians," will fail to bear out across one and a half BILLION people.

30.12.2024 14:26 πŸ‘ 3 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
A screenshot of the Advent of Code website showing 16 stars in 2024, 16 stars in 2023, 8 stars in 2022, 6 stars in 2021, and 6 stars in 2020

A screenshot of the Advent of Code website showing 16 stars in 2024, 16 stars in 2023, 8 stars in 2022, 6 stars in 2021, and 6 stars in 2020

So counting as of the end of Christmas day, I did not *beat* my personal best, but I did *tie* my personal best so we're gonna call that a mostly win

26.12.2024 14:29 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Preview
tldraw computer A computer by tldraw.

@spiralganglion.com I'm sure you've already seen thisβ€”thoughts? computer.tldraw.com

20.12.2024 13:33 πŸ‘ 3 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Like I guess, find a shape

Is it a triangle

Survey says, PROBABLY YES

18.12.2024 01:01 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

I have this intuition that most shapes are triangles but I have no idea how one would even

18.12.2024 01:01 πŸ‘ 2 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

. . . . . . . . . wait.

I just straight up guessed a vim keybinding that I've never used before, and got it right on the first try.

15.12.2024 00:13 πŸ‘ 5 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Anyway, the whole process ended up being way, *way* smoother than I expected. Balena Etcher has a "clone drive" option, and it just... worked.

I plugged the freshly cloned SSD into the same port where I had the thumb drive. The Pi booted straight up and it's like it's the same device. Very pleased!

12.12.2024 00:02 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Well, the Pi has been acting weird latelyβ€”intermittently it starts complaining about the file system being read-only in the middle of use, which I expect means the USB drive is on its last leg and about to catastrophically fail.

So I decided to get around to the migration already, I guess πŸ™„

12.12.2024 00:00 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

So for a while now I've had a spare 256GB SSD sitting around from when I upgraded my laptop to 1TB. I've been meaning to set it up as the boot drive on my Raspberry Pi-based home NAS, which up until now has been booting off of a cheap 128GB USB thumb drive.

11.12.2024 23:58 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

I've attempted Advent of Code every year since 2020, but I've never finished

This year I'm aiming for a personal best, seventeen stars or more (I got 16 last year) πŸ’ͺ😎

01.12.2024 14:40 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

I suppose your frustration with this comes not from wanting elections to be any less trustworthy or secure than they could be, but from feeling like an existential clock is ticking re: climate change and other issues and so this will move the needle exactly none at all on issues that matter to you?

07.11.2024 16:27 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Narcissism of small differences - Wikipedia

This phenomenon has a name: Narcissism of Small Differences

A perfectly named phenomenon if ever there was one

07.11.2024 16:19 πŸ‘ 9 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Hey there πŸ‘‹ Friendly softball question from one of the 700: Would you say that dbt-core is awesome, and if so why?

07.11.2024 16:08 πŸ‘ 2 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Python is *so weird.*

28.10.2024 04:19 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

When a publication gets relevant information, it should feel intense legal pressure to disclose it RIGHT THEN and not later when it is expedient to some ulterior objective like trying to sway the outcome of an election. Is what I'm getting at.

24.10.2024 01:51 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

ESPECIALLY if the entity that sat on the information is even ostensibly in the business of informing the public

If it can be shown that a journal or newspaper learned of some detail six months before publishing it at a *critical juncture*, there should be swift and severe consequences

24.10.2024 01:47 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Purposefully and strategically waiting to bring forward scandalous information about a public figure until scandal is maximally politically damaging to the accused party should be prosecuted as libel even if the scandalous information turns out to be true and the scandal deserved

24.10.2024 01:44 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

CSV is a programming language?

23.10.2024 08:58 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

I would say we send Remote Procedure Calls to one another with it

21.10.2024 11:57 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

There's a sort of stigma around "having a short attention span" that has pushed me to try to finish every thing I start (book, movie, podcast episode, article, blog post)

But if the issue is that I'm not enjoying or learning from the thing, that's not my attention span's fault

21.10.2024 03:16 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

A recent revelation that's been making a difference: if some piece of media isn't doing it for you, you can just DNF it and move on

21.10.2024 03:14 πŸ‘ 0 πŸ” 0 πŸ’¬ 2 πŸ“Œ 0

(Just in case it wasn't clear, the "bit of an empath" line here is very tongue-in-cheek, I'm making fun of myself for being too easily wound up by movies with awkward social situations)

21.10.2024 02:38 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

One of the most charming aspects of the first movie is how interconnected the "inner" and "outer" worlds are. That dynamic is a little less clear in the second oneβ€”the inner characters encounter and overcome problems without always a clear cause/effect relationship in the outer world.

21.10.2024 01:07 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

I would say the screenplay needed another couple months at the ideation stageβ€”a number of concepts are under-explored, are referenced without follow-up, or aren't quite integrated into the themes of the story. Meanwhile, other themes dominate a little.

(Easy for an armchair quarterback to say.)

21.10.2024 00:52 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

I found it uncomfortably intense on the vicarious emotional scale at more than one point (bit of an empath over here, IYKYK)

So we had to split it across two evening sessions so I could decompress before continuing πŸ˜…

21.10.2024 00:48 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 1

Just finished Inside Out 2, a couple months late

Overall a decent movie. Pretty confident saying it's not as good as the first one. But still useful/valuable in similar ways (as illustration/conversation starter/learning aid)

21.10.2024 00:46 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0