@gnomon@mastodon.social avatar

gnomon

@gnomon@mastodon.social

Robertson screwdriver owner, believer in the value of personal-scale computing and skeptic of the value of computing scales any larger than that

(previously https://twitter.com/gnomon ; account de-funked)

This profile is from a federated server and may be incomplete. Browse more on the original instance.

juliank, to random
@juliank@mastodon.social avatar

DPLL has a "Pure literal elimination" phase that makes it a good sat solver. If a literal exists only in a single polarity in your formular, you can just assign it that value.

This does not work for dependency solvers however. To translate this to a dependency solver:

It would install every package that has no conflicts

Anyway thinking about literals and CNF formular is much harder than thinking about the whole thing in terms of dependencies.

gnomon,
@gnomon@mastodon.social avatar

@juliank in the context of apt you have to admit that would be pretty funny

sundogplanets, (edited ) to random
@sundogplanets@mastodon.social avatar

Hello Toronto - I'm giving a public talk there in 8 days. Want to hear me yell about satellites for an hour? Come say hi!

EDITED to add: Oops I didn't give image credit! The image in the poster was taken by Joshua Rozells, see APOD link: https://apod.nasa.gov/apod/ap220614.html

gnomon,
@gnomon@mastodon.social avatar

@sundogplanets oh hey, that's like 18 minutes from my front door! Right, see you there. Want me to bring you anything? Fisherman's Friend, air horn, pastries?

gnomon, to random
@gnomon@mastodon.social avatar

Blurgh, in the last 25-30 minutes the back of my throat has developed that worrying little ache that usually precedes a cold or a flu. Haven't felt that in a long time, at least a couple of years. Maybe I'm just being paranoid, but I'm skipping Katie's and my dance lesson tonight. :-\ Means missing something I was looking forward to, but better to not take risks with other folks's health. (I hope it's not actually an illness coming on but rather, like, a bad pollen day or something.)

gnomon,
@gnomon@mastodon.social avatar

@ottaross thank you, me too. Took a couple of snootfuls of Betadine, now I'm just crossing my fingers and keeping my distance from humans. Probably use a rapid antigen test later tonight just in case. 🤞😬🤞 🚫🦠

mbonsma, to random
@mbonsma@mastodon.social avatar

Cars parking in the bike lane radicalized me 13 years ago, and these days my willingness to "just go around" has hit rock bottom. It feels more important than ever to make it safe for ALL of us to walk and bike.

gnomon,
@gnomon@mastodon.social avatar

@WTL @mbonsma for dealing with exactly the issue of motorists not hearing my bell, I have been using a bike light with a momentary-maximum button on the handlebar. (A Fenix BC30 light.) It's less useful for signaling to pedestrians or fellow cyclists - my bell works better with them - but for motorists the high-beam flash works very well.

(And there are other options further up the scale of force if you're feeling aggressive, https://mastodon.social/@gnomon/111230137100068919 )

gnomon,
@gnomon@mastodon.social avatar

@johnefrancis @WTL @mbonsma I can only imagine that they measured the beam angle by standing the bike up on a trail, triggering the boost button, then checking which trees had all their leaves burned off

gnomon,
@gnomon@mastodon.social avatar

@WTL @johnefrancis @mbonsma there are indeed, and they are shockingly less expensive than you might expect

https://www.sanwulasers.com/category/striker

(You can also find "laser 303" / "JBL4107" lasers with similar power output levels for about 1/10 the price of the Sanwus, but what you're trading off isn't total power output, it's quality control of the specific spectrum range produced by the emitter. That matters because it's how you buy the goggles that ensure you burn only paint and not your retinas)

gnomon,
@gnomon@mastodon.social avatar

@johnefrancis I have been advised to express my sincere belief that these devices are generally safe as advertised and that any information to the contrary would come as a great surprise.

geerlingguy, to random
@geerlingguy@mastodon.social avatar

4-way NVMe RAID comes to Raspberry Pi 5 https://www.jeffgeerling.com/blog/2024/4-way-nvme-raid-comes-raspberry-pi-5

gnomon,
@gnomon@mastodon.social avatar

@geerlingguy how would you feel about running a performance and perf/price comparison between the Geekworm X1011, the CM3588, and something like the i3-N305 CWWK fanless boxes with one of their 4× NVMe breakout widgets¹ that Patrick over at STH reviewed last year²? They're bring-your-own-RAM but also mighty keen...

(I know you have one of those neato little Minisforum machines, but I don't know of a 1→4 NVMe breakout board for those.)

¹: https://cwwk.net/collections/frontpage/products/intel-12th-generation-n-series-8-core-new-member-n95-n100-n200-n305-fanless-mini-host-soft-router?variant=44913464901864

²: https://www.servethehome.com/almost-a-decade-in-the-making-our-fanless-intel-i3-n305-2-5gbe-firewall-review/

gnomon, to random
@gnomon@mastodon.social avatar

Keeping a little brief log of bicycle maintenance activities with automatically added timestamps has turned out to be a really useful little tool now that I have a few years of data in it.

I started it in 2017 as a project tracker for my ridiculous frankenBrompton. Now I can predict with decent accuracy when I'll need wear part replacements like new chains, brake pads, tire reinflations, battery recharges, a new helmet... super useful!

And NO ADS

juliank, to random
@juliank@mastodon.social avatar

So what I don't understand: If you can't drink cappuccino past 11am what do people who work night shifts do?

gnomon,
@gnomon@mastodon.social avatar

@juliank drink cappuccinos and feel guilty, but awake

mcc, to random
@mcc@mastodon.social avatar

For the last two years I've been semi-daily posting "What I'm Listening to Today" links here. Mastodon has some problems with threads containing hundreds of posts, so I re-create the thread once a year.

If you'd like to see, here's my "year two" thread: https://mastodon.social/@mcc/110266770603341546

Or, alternately, every song from year two in the least practical format possible: A 301-song, 38-hour YouTube playlist (note: video #1 contains flashing):

https://www.youtube.com/playlist?list=PLLIjft6ja7DM_kacOW8zo2vtr-aWpTNX6

And here's the thread for "year three":

gnomon,
@gnomon@mastodon.social avatar

@mcc dang it, this track is also giving me good reason to attend to two FIXME's in my bandcamp downloader script, thank slash curse you for that encouragement

sundogplanets, to random
@sundogplanets@mastodon.social avatar

My university email is switching to Outlook in like 3 days. I'm looking forward to not getting any work emails for a few days while I try to get microsoft to play nice with my linux research laptop...

gnomon,
@gnomon@mastodon.social avatar

@sundogplanets ah, heck. Sorry to hear about this.

If you do end up going down the path of discovering how davmail¹ works, I'm at your service if you run into snags. (I hope you don't have to, and that a smoother solution exists in your situation!)

¹: https://davmail.sourceforge.net

gnomon, to random
@gnomon@mastodon.social avatar

Some kind of heavy hydraulic machinery starting howling literally right outside my office window at 9:01 sharp, about 55 minutes ago, and I cannot hear a n y t h i n g. Going to be a challenging day for concentration I think.

gnomon,
@gnomon@mastodon.social avatar

UPDATE: o blessèd silence

gnomon,
@gnomon@mastodon.social avatar

Uhhhhh rumour has it that the fire service is here and at least one person was evacuated from our building..? Today could be getting unpleasantly exciting.

Currently trying to figure out if I should be evacuating too

gnomon,
@gnomon@mastodon.social avatar

Oh it's all of us, we're all evacuating

gnomon,
@gnomon@mastodon.social avatar

Lol one of the dudes in the gas company huddle is smoking a cigarette, it can't be that bad

NEVERTHELESS

gnomon,
@gnomon@mastodon.social avatar

Whoah hmm one of his co-workers removed it from his mouth, perhaps it is that bad. Or maybe they just don't get along.

(I'm waiting for the bus so I can properly put some distance between the natural gas and my lungs.)

gnomon,
@gnomon@mastodon.social avatar

@WTL the building I evacuated is my home

gnomon,
@gnomon@mastodon.social avatar

@WTL good call

gnomon, to random
@gnomon@mastodon.social avatar

This makes twice now that The Collective™ has picked films I already own and to be honest it feels a bit judgey

edit: proof

gnomon,
@gnomon@mastodon.social avatar

Get your timed mute buttons ready, folks, kicks off in two minutes!

gnomon,
@gnomon@mastodon.social avatar

GO GO GO GO GO

gnomon,
@gnomon@mastodon.social avatar

I am not entirely positive I'll be able to work my way through two hours of synth soundtrack like this.

(The people being renewed during this carousel sequence are going to the Heaviside layers like in Cats (2019), right?)

gnomon,
@gnomon@mastodon.social avatar

@bk1e boy howdy, you really called this one

  • All
  • Subscribed
  • Moderated
  • Favorites
  • •
  • anitta
  • InstantRegret
  • mdbf
  • ngwrru68w68
  • magazineikmin
  • thenastyranch
  • rosin
  • khanakhh
  • osvaldo12
  • Youngstown
  • slotface
  • Durango
  • kavyap
  • DreamBathrooms
  • JUstTest
  • tacticalgear
  • ethstaker
  • provamag3
  • cisconetworking
  • tester
  • GTA5RPClips
  • cubers
  • everett
  • modclub
  • megavids
  • normalnudes
  • Leos
  • lostlight
  • All magazines
    •