calf

28 ms·

451.
by calf 2y ago
The crux of their argument is that the language faculty and other faculties (math/logic/abstract, theory of mind/social reasoning, spatial/temporal imagination, and other cognitive abilities) all evolved in parallel, so
452.
by calf 2y ago
Not OP but while I aced my class that used Sipser's book, nevertheless I still lacked the mathematical comfort/maturity to do Arora and Barak. The first class started talking about "random functions" and I had no backgro
453.
by calf 2y ago
To me, "safe superintelligence" presumes it is practically feasible and morally justifiable to create such a thing. I don't share those presuppositions.
454.
by calf 2y ago
It could be neither here nor there, because a neural network model is not necessarily a statistical engine just as real brains should not be reductively thought of as such. (E.g. The usual argument is that these black boxes were trained on
455.
by calf 2y ago
Why not, they sound like similar problems and the latter would motivate computer scientists to learn about sheafs as per the approach taken in OP's book which is applied/example driven.
456.
by calf 2y ago
Is that related to #P complexity at all, the complexity class of counting the number of solutions to an NP-complete instance?
457.
by calf 2y ago
Hinton's example doesn't resonate for me -- I do gardening as a hobby, so my immediate answer to his "What is common to nukes and compost heap?" -- was the concept of critical mass. It took me 10 seconds to articulate t
458.
by calf 2y ago
Your collection of experts seem to be different than mine, then (so I'm curious who you read instead, please let me know): Scott Aaronson (the blogger above) is a professor and definitely is more sanguine towards the written article. D
459.
by calf 2y ago
They've disbanded their superlignment group, and their staff who were able to work on the problem more deeply (STEM people) have since quit, see https://scottaaronson.blog/?p=8047 (N.b. in the ex-employee author's
460.
by calf 2y ago
Then "learning approaches" camp (which BTW is also an academic camps and somehow able to do science) cannot prove that knowledge embedded in practices is actually being learned at all by their machines, if one rejects legibility.
461.
by calf 2y ago
But wouldn't "surrogate clones" as the category be closer to twins than siblings? They would be closer to twins than fraternal twins.
462.
by calf 2y ago
In reply to the comment you left at: ( https://news.ycombinator.com/item?id=39732902 ) Mate. You reference some random unspecified articles on the internet. The internet has thigs of widely varying quality and accuracy. If th
463.
by calf 2y ago
Here's the 2014 conference debate between industry and academics that probably precipitated the exchange: "Proprietary versus Open Instruction Sets" https://www.ele.uri.edu/faculty/sendag/papers&#x2F
464.
by calf 2y ago
ARM exists because of the tarpit's ecology. The ecology permits an IP monopolizer to become entrenched in it and to suppress other players.
465.
by calf 2y ago
How loud was your tinnitus compared to everyday noises? Mine can be masked by urban environment during the day, and my doctor never used a stethoscope on me yet.
466.
by calf 2y ago
I initially lived for 2 years a mere 200 m. from Einstein's house as all Princeton PhD students are required, so I know what you're trying to convey, but the broader problem is in the interpretation of this anecdotes for nonacadem
467.
by calf 2y ago
Setting aside the frequentist probability premises, the argument that "Cars are way, way, way more dangerous than airplanes" -- while true, and reasonable, and would not be as dismissive a point if it were recognized that car cul
468.
by calf 2y ago
Article adds that they walked to office at 10-11, walked home FROM office at 1-2 (so they spent at most 3 hours at the institute) and in effect this took up 30% of Einstein's workday. If anything, it's subtle "do what you lov
469.
by calf 2y ago
Except humans correctly believe that a Coq proof is theoretically correct whereas an LLM does not have this meta reasoning ability at all.
470.
by calf 2y ago
What you're arguing fails to pass the obviousness test ; if I were running the company it would be blankly obvious that the optics would be a problem, so I would start to collect a LOT of paperwork documenting that the casting selec
471.
by calf 2y ago
I was born in 1983 and it is wrong to make profit off of someone else's art without their permission. It isn't strange at all. This includes using an impersonator. This excludes parody intentions. So the overall argument isn'
472.
by calf 3y ago
Why is any of this true? All you're doing is setting the meta-rules, but who gave you this special freedom to define the rules for others? I mean, that's the conceit of your argument. It's the rhetoric of political belief whi
473.
by calf 3y ago
The Incompleteness theorem is a about formal theories, so why does the particular ground truth of observation hold as a sound, complete metatheory?
474.
by calf 3y ago
Fascinating, then were model checkers successful at all for finding interesting properties and behaviors? IIRC Petri Nets are strictly more powerful than register-transfer/Boolean state machines, intuitive reason being the Petri net to
475.
by calf 3y ago
That's what I anticipate but mostly I want to rule out any serious causes as my tinnitus is low-pitched, both irregular and regular patterned, pulsatile, is affected by my head position and physical exertion, and fluctuates every other
476.
by calf 3y ago
Wait so these Boolean models are just Boolean next-state functions of finite state machines? That seems very general then.
477.
by calf 3y ago
Actually that's a good idea... My parents are literally ENT doctors so one thing they told me to try was simple neck massages/movements. Basically cradle the back of neck with your fingers, then slowly tilt head up and down. It im
478.
by calf 3y ago
The discussion above was about what makes you blithe and fact-free, which I implicitly agreed with the other commenter was the case, and so, yes, the age of your account is one way how people sanity-check for trolls and shills, which is rel
479.
by calf 3y ago
I don't believe so. Maybe I should buy a stethoscope and check. I've been referred to an ENT but the waitlist is stupidly long, in Canada.
480.
by calf 3y ago
I'm having unilateral pulsatile tinnitus, and it's been 3 months so far. My doctor thinks its often just eustachian tube seasonal allergies, and so gets better on its own slowly. The steroid spray I've been using for months j

More ›