Tootfinder

Opt-in global Mastodon full text search. Join the index!

@samueljohn@mastodon.world
2026-04-28 08:47:45

Attention, terminal #nerd topic ahead: If you want to use the #broot tool[1] in macOS Terminal.app, you have to set "Use Option as Meta key" in Terminals settings as shown here

@smurthys@hachyderm.io
2026-03-22 17:42:30

Been pondering a new app for a week now (since listening to a certain lecture) and just this morning spontaneously came up with "Every day a concert" as a phrase for the app.
BTW I've zero bandwidth any time in the near future to develop the app, but you know how that goes. 🤓
#technology #nerd #urge

@jamesthebard@social.linux.pizza
2026-02-23 21:35:56

Nerd sniped myself this time: after getting sniped yesterday with showing that for primes `p >= 5` that `24 | p^2 - 1`, I decided to look at primes `p, q` where `p, q >= 5` and see if `24 | p^2 - q^2`.
#math #nerdsnipe

Given primes p and q where both p and q are greater-than-or-equal-to 5, prove that 24 divides p squared - q squared.
@jamesthebard@social.linux.pizza
2026-04-14 21:27:58

Relaxing at home and got nerd sniped again via YouTube. Looked interesting enough to give it a shot though the thumbnail was more than a bit misleading as they used `n` instead of `x` which has certain connotations associated with it.
#nerdsnipe #math

A screenshot of the problem "negative seven to the x-th power equals 7, solve for x."
@jamesthebard@social.linux.pizza
2026-02-05 18:30:20

Yay, got nerd sniped with another math problem. I made it a smidge more difficult than it should've been, but I'm happy that I got the correct answer eventually.
The problem: Given `1 / tan(x) = tan(1 / x)`, solve for `x`.
#math #nerdsnipe

A screenshot of the text "Problem: Given `1 / tan(x) = tan(1/x)`, solve for `x`.