User23

20 ms·

241.
by User23 2y ago
My first thought was “is it parasitic?” And then I click and of course it is. Parasitic wasps are gross, but fascinating. If I recall correctly there is a parasitic wasp that parasitizes a parasitic wasp that parasitizes a parasitic wasp th
242.
by User23 2y ago
> The data shows that violent crimes are lower today than they've been in decades. Ever recorded, technically in the US. Homicides are indeed lower than they were in the height of the cocaine boom of the 70s and 80s and crack wars o
243.
by User23 2y ago
That's certainly part of it. But part of it is we're not really terribly good at talking about the universe even with classical intuition. That said, model-theoretic semantics go back to, at least, William of Ockham, who developed
244.
by User23 2y ago
Or as Newton more eloquently put it hypothesis non fingo .
245.
by User23 2y ago
For some more backstory[1] see Sowa, who was also an IBM researcher at the time: George Boole (1847, 1854) applied his algebra to propositions, sets, and monadic predicates. The expression p×q, for example, could represent the conjuncti
246.
by User23 2y ago
For reference, the term comes from Lisp’s INTERN. [1] [1] http://clhs.lisp.se/Body/f_intern.htm
247.
by User23 2y ago
The thing is that’s not really true. Fibonacci is one you’ve heard of, but there are plenty of other great medieval European mathematicians, such as Oresme, de Nemore, Wallingford, and Bradwardine. Oddly, there does seem to be something of
248.
by User23 2y ago
> It's almost as if wanting a meaningful, intuitive solution prevented me from solving the problem. This theme shows up repeatedly in Dijkstra's work[1]. The symbol manipulation is itself a calculation. As a final influence
249.
by User23 2y ago
I think it’s mostly just that math education is largely suboptimal. It’s really an area where students hugely benefit from individual teaching. It’s cool that AI is making that accessible. To an extent the techniques are still woefully prim
250.
by User23 2y ago
Because they are landed gentry. The Gamgees and other working class hobbits do the field work. Bilbo was wealthy even before his adventure. Pippin and Merry are also members of the aristocracy. Farmer Maggot was something more or less like
251.
by User23 2y ago
> Expecting "realism" and coherency from a fantasy world destroys the fantasy. That certainly isn’t the case for The Lord of the Rings and the rest of Tolkien’s development of his world.
252.
by User23 2y ago
You raise a valid point. Proof is an overloaded term with differing meanings in metaphysics, math, and law. However in all three cases it's obviously different attempts to grasp at the same ultimate thing: truth.
253.
by User23 2y ago
> I guess the proof will be in the pudding when we develop superhumanly intelligent AI. I'm not sure that's the case. The universe itself is already capable of superhuman intelligence. There's nobody alive that can predict
254.
by User23 2y ago
Understanding refs is key to understanding Git. It’s not really difficult and a lot of mystifying cargo cult stuff suddenly becomes intuitive once you realizing you’re pretty much just manipulating pointers into a directed acyclic graph whe
255.
by User23 2y ago
Are you familiar with Searle's work[1] on the subject? It's fun how topical it is here. Anyhow maybe the medium doesn't matter, but the burden of proof for that claim is on you, because it's contrary to experience, intui
256.
by User23 2y ago
> cannot use discretion in deciding who he gets to forgive for loans You present this as though it doesn't make sense, but as far as the federal government is concerned forgiving a debt is spending (which is why the IRS will tax you
257.
by User23 2y ago
Tangentially, Peirce has a diagrammatic logical system that's built entirely on conjunction and negation which is isomorphic to propositional logic. He also defined extensions for what we now call predicate logic and modal logic. John
258.
by User23 2y ago
> I have an idea that I have trouble expressing in words, where I know that the words I’m saying are not properly expressing the idea that I have. (I mean — that’s happening right now!) That's a quality insight. Which, come to think
259.
by User23 2y ago
C.S. Peirce, who is known for characterizing abductive reasoning and had a considerable on John Sowa’s old school AI work, had an interesting take on this. I can’t fully do it justice, but essentially he held that both matter and mind are r
260.
by User23 2y ago
When you start mathematically characterizing state spaces it quickly becomes apparent that pure functional languages advantage over imperative ones is more a matter of the poor design of popular imperative languages rather than an intrinsic
261.
by User23 2y ago
I think GP's point was that most[1] programs that can be represented will fail to please the programmer or his principals. The act of programming is navigating the state space of all possible programs and somehow finding one that has t
262.
by User23 2y ago
Or just use a good tool, like Magit.
263.
by User23 2y ago
> Just as an example, depending on which side of the Israel/Palestine conflict you are on, either side using your node for military intelligence might be an use worth fighting for or terrible abuse. The problem is when you choose to
264.
by User23 2y ago
Didn't you get an offer letter? I assume it stated the terms of your employment like the work expected, the consideration (compensation) to be provided, and, most likely, the at-will nature of the agreement. In this case "secure a
265.
by User23 2y ago
It's an interesting claim, but it appears to just baldly assert that the frequency is an illusion. It sounds perfectly plausible to me that something should start cropping up just after you learn about it. For example I started thinkin
266.
by User23 2y ago
> That could make equations mostly trivial, since our symbols wouldn't be constrained to any particular arrangement in the first place You might find this little tidbit[1] from C.S. Peirce by way of John Sowa interesting then. Exist
267.
by User23 2y ago
Distributed systems, like interrupts, are something you can’t bullshit and get right. The author is right though that nondeterminism makes systems easier to reason about if you have the right cognitive tools (ie, math). Here[1] is an exampl
268.
by User23 2y ago
What’s currently going on in Ukraine is they are slowly losing a war of attrition that eventually their allies will lose interest in funding. We don’t have to like that outcome to see that it’s inevitable and has been from the very start. O
269.
by User23 2y ago
There’s clearly a relationship between the perception of time and memory formation. For example when undergoing heavy sedation, such as for surgery, the time between going under and coming to feels instant. Of course you’re a bit loopy ther
270.
by User23 2y ago
Makes sense really. If velocity is the derivative of position with respect to time and photons don’t experience time how would they have velocity? It reminds me of my silly One Photon Conjecture. That is, there’s only one photon that pops i

More ›