wbadart

6 ms·

1.
by wbadart 19d 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!)
2.
by wbadart 19d 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/struc
3.
by wbadart 24d 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 li
4.
by wbadart 2mo 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 la
5.
by wbadart 2mo 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-
6.
by wbadart 3mo 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 sysa
7.
by wbadart 4mo 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; sti
8.
by wbadart 4mo 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 learn
9.
by wbadart 9mo 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="c
10.
by wbadart 9mo 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
11.
by wbadart 10mo ago
I think that's what Silence was (for SMS): https://f-droid.org/packages/org.smssecure.smssecure/
12.
by wbadart 11mo 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.moz
13.
We rewrote OpenFGA in pure Postgres(getrover.substack.com)
52 points by wbadart 11mo ago|13 comments
14.
by wbadart 2y ago
Software bill of materials https://www.cisa.gov/sbom
15.
by wbadart 2y 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 convent
16.
by wbadart 2y ago
You might like ZeroTier[0]. Similar solution to Tailscale but supports email registration. [0]: https://www.zerotier.com/
17.
by wbadart 2y ago
+1 While I don't think this approach meets OP's requirements (they seem to be looking for something a little more turn-key), I hope other readers of this thread will fall down this rabbit hole. I'm now in my 5th year of track
18.
by wbadart 2y ago
As I understand it, Erlang inherited its arity notation from Prolog (which early versions of Erlang were implemented in). https://en.m.wikipedia.org/wiki/Erlang_(programming_language...
19.
by wbadart 2y ago
I thought this was a cool idea, so I looked around for existing implementations and found https://github.com/barre/privaxy Been a while since the last commit, so I'm not sure if it's maintained, but I might t
20.
by wbadart 3y ago
My favorite part of the (extensive) Haskell API is `Hledger.Cli.Script` [0]. It re-exports all the most commonly used functions and data types, meaning you're just one import away from everything you need to get started. [0]: https:&#
21.
by wbadart 3y ago
I knew of Don Norman from reading The Design of Everyday Things a few years ago; funny to see his name pop up here! Searching around to make sure it's the same Norman, I came to find out that he wrote an article, The truth about Unix:
22.
by wbadart 4y ago
I think that 500 figure isn't the total number of submissions, but rather the number of _people_ who Clarkesworld banned for plagiarism/ submitting AI-generated content.
23.
by wbadart 4y ago
In Haskell, if all the functions in the pipeline are pure, I'd probably write that as wood & measure 12 & cut 40 WZ & sand 220 & paint Red See https://hackage.haskell.org/package
24.
by wbadart 6y ago
Re #1, I haven't used it before but there is https://github.com/tiangolo/full-stack-fastapi-postgresql Looks like it includes the kind of admin dashboard you'd get with Django.