wbadart
Joined 5 years ago
Karma
80
Submissions
24
Member since
Feb 1
Recent submissions
Comment · 2 months ago
Cool! That's both unsurprising, given the apparent similarities, but also a little surprising, since Alloy is built on relational algebra, which you're very careful to distinguish from TAR in your paper. (Great read, btw!)
Comment · 2 months ago
The core relation composition operator reminds me of Alloy's dot-join operator [1]. Wondering if anyone can comment on the differences, theoretical or practical?
[1]: https://practicalalloy.github.io/chapters/structural-topics/...
Comment · 2 months ago
Slightly off-topic, but I found it interesting to learn that, in spite of the rulung against Toyota, the issue likely wasn't an engineering fault at the end of the day. Here's Malcolm Gladwell's coverage from his podcast a little while ago:
https://www.pushkin.fm/podcasts/revisionist-history/blame-ga...
Comment · 3 months ago
My favorite recent read on the topic was from Brett Devereaux: https://acoup.blog/2025/08/22/collections-life-work-death-an...
TL;DR: whether farming takes all your waking hours depends on the size of your lands and household
Comment · 3 months ago
Seems like most popular harnesses, including codex and Claude code, support Agent Skills (an open spec for skill formatting/ organization): https://agentskills.io/clients
Which is to say, this isn't really a lock-in/ stickiness vector (unless maybe the wording itself of a skill is hyper-optimized for a specific model)
Comment · 4 months ago
I never pass up an opportunity to recommend the Cyber Plumber's Handbook: https://github.com/opsdisk/the_cyber_plumbers_handbook
Goes over similar content as TFA, in perhaps a little more depth. Indispensable sysadmin knowledge.
Comment · 5 months ago
I'm stuck with macOS at work and these have also been the most painful parts of the experience for me. Luckily, I recently found Rectangle[0] and InstantSpaceSwitcher[1]. The former gives keyboard based arranging (though not focus; still just use cmd+tab for that) while the latter gives instant transitions between virtual desktops (including shortcuts for navigating directly to a target, rather than sliding over sequentially).
[0]: https://github.com/rxhanson/Rectangle
[1]: https://github.com/jurplel/InstantSpaceSwitcher
Recent discussion on the latter: https://news.ycombinator.com/item?id=47708818
Comment · 5 months ago
Great writeup!
Lately I've been enjoying Open Props[0]. It's a library of CSS props/ variables that helps structure a design system. I like it because it's CSS-first, so like OP experienced moving off TW, I've learned more CSS, and it works with the browser not against it. It also provides some sane defaults for anyone less interested in fiddling with precise cosmetics.
Comment · 10 months ago
https://www.goatcounter.com/help/logfile
> - There will be more bot requests.
> - Some data won’t be available: screen sizes, page titles.
> - It won’t disambiguate to canonical paths from <link rel="canonical">; i.e. /page and /page?x=y will show up as two different paths.
Comment · 10 months ago
Great write up!
Wanted to highlight MDN's HTTP caching guide[0] that OP links in the conclusion. It's written at a higher level than the underlying reference material and has been a great resource I've turned to several times in the last few years.
[0]: https://developer.mozilla.org/en-US/docs/Web/HTTP/Guides/Cac...
Comment · 11 months ago
I think that's what Silence was (for SMS): https://f-droid.org/packages/org.smssecure.smssecure/
Comment · 1 year ago
OP, love the idea, and cool to see a useful PWA!
One note: I noticed when opening the installed PWA in airplane mode, styles didn't load. You might be interested in this article on PWA caching from MDN:
https://developer.mozilla.org/en-US/docs/Web/Progressive_web...
Comment · 1 year ago
Software bill of materials
Comment · 1 year ago
I've faced this as well. One of the big sources of "mess" for me in a years-long ledger is inconsistencies in account naming. I get around this with a big block of alias that rename accounts to use my newer, preferred conventions (without having to comb through possibly hundreds of postings to update by hand).
I also went through a couple file organization schemes and have (tentatively) settled on file-per-month since that leads to a nice cadence where setting up the new monthly file coincides with paying bills and is a good time to do any necessary account reconciliation.