I've been watching Dagger with great interest, although have not moved production workloads to it (nor, admittedly, even committed an afternoon to setting up any workflows/graphs).
Passive comment readers should be aware that ^shykes here cofounded Docker (my gratitude), so it's really worth a look.
Can anyone comment on the ergonomics of Dagger after using it for a while?
I was just looking at the docs earlier this week to consider a migration but got confused by the AI sections...
Yes, the whole thing. The only thing in the entire repo I wrote was the CLAUDE.md, which was the only file at the beginning.
I just fire up `claude` and say "Have fun!".
The only other nudge I've given it is once encouraging it to not be afraid to be ambitious, and that if it wanted me to distribute anything I would (and would provide it with user feedback if it remembers to ask me about it).
Interval trees or ordered segment sets are the "correct" answer but sometimes you can accept constraints in your domain that radically simplify– for example, with equipment availability and time slots, you may have a fixed window and allow for slots to only fall on 5 minute marks. With those 2 constraints in place, a simple bitmask becomes a viable way to represent a schedule. Each bit represents 5 minutes, and 1=avail 0=unavail
Hey congrats on launching–
Wanted to drop a note from someone who has been burned: avoid .xyz domains like the plague. They can revoke your control of the domain at any time if you end up on a spamhaus (etc.) list. This happened to me even though I was only using my .xyz for a non-prod env shared with a customer. One day control of the domain was just taken by the .xyz org and I had no recourse other than generic ticket submission.
Professor Philip Wadler has a fantastic talk titled "Propositions as Types" that introduces the Curry-Howard correspondence, some history behind it and ideas following it.
I use Calibre on desktop, sync’d to dropbox, and use the Marvin app on my phone. I like it a lot better than the iBooks app. It has features like search and tagging/collections. The only thing it doesn’t do that I wish it did was handle PDFs.
Whenever people compare Tether to fractional reserve banking it ignores important details.
Some important differences:
- Your bank tells you it's fractional reserve, Tether tells you they're full-reserve (deception for financial gain is fraud)
- Bank accounts are protected from bank insolvency by FDIC insurance
- Bank risk appetite is modulated by the rates they pay for that FDIC insurance
- The Fed acts as a lender of last resort, guaranteeing the liquidity of your deposits, in order to prevent a bank run
The Fed has the muscle to keep fractional reserve banking propped up. Tether may be lying about being full-reserve, and don't have the muscle to stop a tether run, which could get ugly.
That would be lucky, not smart. If a bank took my deposit to a casino and put it all on black, they'd go to jail whether they won or lost.
The risk of holding a tether should be reflected in its price. If the underlying asset is bitcoin, the risk profile of a tether would be the same as bitcoin, and thus the price should tightly correlate with (or be tethered to bitcoin, rather than USD).
If Tether tells people the token is backed by USD when in fact it's backed by bitcoin, that's fraud.
Some economists would argue that "zillions of IOUs" is basically the precursor to currency/money. Then you just need a consistent unit, and that ability to trade/transact (which is a solved problem).
> Graeber proposes that money as a unit of account was invented the moment when the unquantifiable obligation "I owe you one" transformed into the quantifiable notion of "I owe you one unit of something". In this view, money emerged first as credit and only later acquired the functions of a medium of exchange and a store of value. [1]
The difference between a cryptocurrency backed by something and a MySQL database is that in the former case, underlying value is indeed centralized, but in the latter, both underlying value and the exchange of stake in that value is centralized.
Like chips in a casino can be exchanged with the house for cash, but I don't need to tell the house that I'm giving some chips to my friend.