shadowfox

6 ms·

1.
by shadowfox 1y ago
While that is an excellent book, I would say that it focuses on type theory from a somewhat more theoretical perspective than (say) TAPL which is more on type _systems_ from a programming languages perspective. Both are great reads though.
2.
by shadowfox 1y ago
> By forcing you to make a decision without context. Not the OP, but what would be the point to that? In any practical scenario there is always context, isnt it? I guess I don't quite get what we are trying to measure here.
3.
by shadowfox 1y ago
What exactly is an "evangelical atheist" ?
4.
by shadowfox 2y ago
I don't think the OP is talking about usefulness at all, that is on a completely different dimension I would say.
5.
by shadowfox 3y ago
> Not everybody has a body of beliefs that guides him. Not the OP, but this got me curious. How does one reason about things if you have no axioms (i.e. "body of beliefs")? Are you using some non-axiomatic systems of reasoning
6.
by shadowfox 3y ago
I think I am confused by your comment in the context of Larry Sanger: are you suggesting that rationalwiki is incorrect and that Larry did not say any of the things quoted?
7.
by shadowfox 3y ago
That seems like a very interesting collection :) Do you have any recommendations for unusual or particularly interesting ones?
8.
by shadowfox 3y ago
Given that the "First Amendment" is purely a US thing, and applies only to the Government curbing speech, I am not sure how much of this really applies anywhere else and in any other context?
9.
by shadowfox 3y ago
Not altogether sure what this has to do with the article and/or the raid?
10.
by shadowfox 3y ago
I vaguely remember doing similar things with Matlab, but it has been a while and I don't recollect fully.
11.
by shadowfox 3y ago
> At least in the US we (try) and make donations public. The places where it’s “banned” are black holes. That is definitely an interesting take. So, is your ideal society one where anybody is allowed to give and take bribes as long as it
12.
by shadowfox 3y ago
Do you have any pointers to these research papers?
13.
by shadowfox 3y ago
From what I can tell, at least for academic wet labs, robots seem fairly unavailable/unaffordable.
14.
by shadowfox 3y ago
> This is a distinctly Western perspective: that intent matters I am kind of curious about the perspective here. Is the argument that "eastern" (I assume, as opposed to "western") perspectives do not consider intent i
15.
by shadowfox 3y ago
> because it is the only document/philosophy in history that has determined the limits the people place on government rather than government determining the limits on the people Really? The only document in history?
16.
by shadowfox 3y ago
Curious, what about that triggers your wish for mass extinction events?
17.
by shadowfox 3y ago
Very curious what bytecode manipulation libraries you would recommend. I am aware of ASM [1], which was pleasant, but written in Java itself, I was wondering about something in (say) C, so that it can be used from other languages more easil
18.
by shadowfox 3y ago
Yes indeed! There are so many disturbing bits in that article, but somehow in these comments it is getting conflated with a sort of character-building-by-hard-work and pulling-oneself-up-by-the-bootstrap narrative, which is mostly orthogona
19.
by shadowfox 3y ago
> In most subjects I have found ChatGPT to be fairly reliable. Not the OP, but I am very curious what subjects you have experimented with and whether you used any special prompt techniques. My experience has been quite on the contrary: o
20.
by shadowfox 4y ago
What are some entry points for (say) a motivated programmer to the topic of formal verification?
21.
by shadowfox 4y ago
In contrast, Java also did that and I doubt if most people think of Java as interpreted. So, using a byte-code interpreter may not be the criteria most people are using to decide on this. Truthfully, I think it is all a bit arbitrary.
22.
by shadowfox 4y ago
I am curious as to your take on what the paper posits, if you have the time to explain.
23.
by shadowfox 4y ago
This assumes that everyone you are working with is in the same office and conveniently clustered together. This is highly unlikely to be the case with a massive company like Amazon. Teams have been pretty distributed across buildings/o
24.
by shadowfox 4y ago
> India is much more robust democratically. Out of curiosity, why do you think that is the case?
25.
by shadowfox 4y ago
Given his usual proclamations, (e.g. level-5 self driving) I think it is fair to assume that he is not very high on evidence.
26.
by shadowfox 4y ago
> I think we'd do better to encourage eating responsibly overall than insisting on avoiding processed foods altogether. And it's possible to be very healthy while eating a significant amount of processed foods Interesting. I am
27.
by shadowfox 4y ago
I generally agree with what you are saying. But: > certainly pushed our tech boundaries into near science fiction That bit seems a bit of an exaggeration to me.
28.
by shadowfox 4y ago
> dislocating my eyeballs because of how hard they were rolling. Should definitely get that checked.
29.
by shadowfox 4y ago
It is not like the first time they tried a Unix. Xenix was a thing in the past.
30.
by shadowfox 4y ago
> MWI may not be right, but collapse is wrong. Such confidence ... I envy that.

More ›