bitdiddle

10 ms·

1.
by bitdiddle 5y ago
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 theory and logic, as well as lambda calculus. A topos is es
2.
by bitdiddle 5y ago
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
3.
by bitdiddle 7y ago
> 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. IBM lawyers at the time refused to allow RMS t
4.
by bitdiddle 7y ago
Dan Weinreb had a different take on the symbolics era and the MIT lab. [1]: https://danluu.com/symbolics-lisp-machines/
5.
by bitdiddle 8y ago
https://scuttlebuttbrewing.com/
6.
by bitdiddle 9y ago
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 that says regulation is coming, and even central bank involveme
7.
Bitcoin Futures Will Be Allowed to Start Trading(bloomberg.com)
3 points by bitdiddle 9y ago|5 comments
8.
IBM – Laying the Groundwork for Blockchain Domination(seekingalpha.com)
1 points by bitdiddle 9y ago|0 comments
9.
Why Ageism Never Gets Old – The New Yorker(newyorker.com)
2 points by bitdiddle 9y ago|0 comments
10.
by bitdiddle 9y ago
#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 does offer the maximum freedom to some potential users, b
11.
[TYPES] Passing of Corrado Böhm – RIP(lists.seas.upenn.edu)
2 points by bitdiddle 9y ago|0 comments
12.
by bitdiddle 9y ago
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 criminals are after they work well towards that goal.
13.
by bitdiddle 9y ago
estate planning
14.
by bitdiddle 9y ago
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.
15.
by bitdiddle 9y ago
gotta love this line: "We aim to be a drop-in replacement with bug-for-bug compatibility."
16.
by bitdiddle 9y ago
"30. In programming, everything we do is a special case of something more general -- and often we know it too quickly."
17.
by bitdiddle 9y ago
my thought exactly, memo to marketing :)
18.
by bitdiddle 9y ago
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 ground the conversation in terms that are more rigo
19.
The RedMonk Programming Language Rankings: January 2017 – Tecosystems(redmonk.com)
11 points by bitdiddle 10y ago|0 comments
20.
Silicon Valley Takes a Right Turn(nytimes.com)
1 points by bitdiddle 10y ago|0 comments
21.
by bitdiddle 10y ago
Nice to see how efficient this non-profit is (8% overhead).
22.
Software Should Be Free: The FSF's First Annual Report(u.fsf.org)
3 points by bitdiddle 10y ago|2 comments
23.
by bitdiddle 10y ago
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 this way. Not a particularly easy read.
24.
by bitdiddle 10y ago
Symbolics workstation
25.
by bitdiddle 11y ago
I believe for many of the same reasons that Lisp was used with great success in the past. OCaml is descended from the ML family of languages and grounded in solid mathematics, like Haskell. In the hands of the right person it's a formi
26.
by bitdiddle 11y ago
Buy some of the stock, you'll feel better :)
27.
by bitdiddle 11y ago
Agreed, this is much like the situation in the 80s, and generally a good thing. The only question I would have is what happened to export controls of capital? Is all this money legit? Cash is king I guess.
28.
by bitdiddle 11y ago
I would include Guile in this list of lisps :)
29.
by bitdiddle 11y ago
+1
30.
by bitdiddle 11y ago
I couldn't agree more. My first boss gave me the HP-12C as a year end gift back in 1985. I still use it once a week or so or anytime I need to do a bond calculation. I'm still on the original battery, kid you not! I love the feel

More ›