Viewing profile — bitdiddle

I think the general program of categorical logic, the work of Lambek and Scott, and J. Bell on topos theory and local set theory really make clear the relationship between category…

There's a new feature, rooms[0], that allows members to replicate with one another and stores nothing. [0]: https://github.com/ssb-ngi-pointer/rooms2

> Of course a problem was that in 1984 the modern importance of free software wasn't really apparent. Perhaps it wasn't apparent widely, but it was certainly clear to MSFT and IBM.…

Dan Weinreb had a different take on the symbolics era and the MIT lab. [1]: https://danluu.com/symbolics-lisp-machines/

https://scuttlebuttbrewing.com/

According to Bloomberg, margin requirements are going to be quite high in order to keep bitcoin trading from creating issues. If you can trade bitcoin futures in Chicago, to me tha…

#2. Exactly, seems to me an academic kind of thing, he helped them a lot, a little attribution would not have hurt, and the lawyers could have easily been told to pipe down. #3. It…

yes, revocable and irrevocable trusts, combined with solid powers of attorney, living wills, etc.. Trusts essentially keep estates out of probate. Since it's the money these crimin…

estate planning

It's all down hill from here. Pretty soon there will be a 2K word minimum and we'll all be making up stuff, like those fifth grade book reports.

gotta love this line: "We aim to be a drop-in replacement with bug-for-bug compatibility."

"30. In programming, everything we do is a special case of something more general -- and often we know it too quickly."

my thought exactly, memo to marketing :)

One of the best papers I've read on cartesian duality was by Vaughan Pratt[1] on Chu spaces. It's a little bit of a slog for those not conversant in foundations, but it does help g…

Nice to see how efficient this non-profit is (8% overhead).

You might have a look at section 1.39 in "Categories, Allegories", by Freyd and Scedrov. They introduce a language of diagrams and show how common definitions can be represented th…

Symbolics workstation