Sociality is not the only (and probably not an initial) driver of the evolution of intelligence in animals. Ecological and particularly foraging competency in less predictable environments is another and likely more…
An in-between option that is relatively simple and a rather fast (though not as fast as the automata) optimization to levenstein distance and based on Tries is: http://stevehanov.ca/blog/?id=114.
That makes sense but my argument is since further material (some examples which I listed) assumes and builds upon the standard approach, you'll likely be better off taking that path.
spekcular is correct. One could draw the following graph very roughly capturing how these concepts developed: Grassman’s exterior algebra -> Differential forms Cartan’s Exterior Derivatives -> Differential forms…
I've played many of the author's games and consider them to have better stories than most. I’d have to reach for the likes of Planescape or Disco Elysium to find something I’d consider more compelling. As you imply,…
I don't think it's a stupid question, just oddly phrased (more on that later). I think there are two stable interpretations. "When did grass evolve" or "when were grass lawns invented". Later: Why isn't it an obviously…
Certain dolphins have larger prefrontal cortices with more neurons, are highly intelligent with the ability to predict and long term memory yet seem to lack what we think is a unique human capacity for first person…
That's not accurate. By the 1960s and 70s, the scientific consensus [1] not only strongly believed smoking was a causal factor in lung cancer but also knew it contained radioactive isotopes of Polonium…
The code on the right is an explanation or implementation you could jump into. The replacement for use would be the function name, such as `summation` or `product`. A computer language is already used to communicate…
Here is a 1984 article on Eurisko: https://aliciapatterson.org/stories/eurisko-computer-mind-it... From the article we learn Eurisko is more of an example of human machine symbiosis than of AI. "Thus the final crediting…
I have a fair amount of experience in both F# and Ocaml and don't think the lack of modules harms F#. The trick I had to learn was to think of F# as its own language and not try to write it as Ocaml or Haskell. What I…
Take entomologists, bird watchers or those who identify mushrooms. In each, there are instances that are fiendishly difficult to tell apart. If you ask an expert for advice, they'll tell what features to look for and…
It looks like training is on CPU too: https://github.com/nodchip/Stockfish/blob/master/src/nnue/ev....
Transformers, which are currently waging a successful campaign to conquer all Deep Learning, are largely stacked feed-forward networks, matrix multiplies and maps. Some ideas to make attention more scalable, such as LSH…
Anthropomorphizing evolution a little, I'd bet the department that works on crafting serious intelligence into bees and jumping spider into milliwatt (or perhaps order 10² μW) brains would look respectfully at this kind…
All what you say makes sense, especially as one becomes more comfortable with tactics but I maintain formal proofs are a lot harder to parse than regular math proofs. Having to write for both machine and human distorts…
I originally intended to write what follows as its own comment but, although I used Coq instead of Lean and worked through a different set of exercises, your criticisms so closely mirrored mine, I decided to reply here…
I think the best way to think about such things is in terms of niches and ecosystem. The niche of functional and native is small and already well served by Haskell, Ocaml and even Rust to an extent. The .net, python and…
In the case anyone is curious about the origin of the (|>) pipeline symbol: Although F# is its most well known early popularizer, it originated in Isabelle/ML, 1994, proposed by Tobias Nipkow. Here is a blog post by Don…
Though humans do often confabulate, they can also say, "I don't know", "what is that", "wait a minute", "there's something fishy about this", "huh?". Sometimes they can invent a new label or phrase on the spot that…
It seems you've written c² in units of Wh/kg? But the fact that per arbitrary mass, you can theoretically get more energetic reactions than by fission or even fusion doesn't mean comparing the productivity of fission to…
> But you have to try and explain the magic. You don't always have to. Vernor Vinge explains it as, you are allowed one central conceit which frees you to deeply explore some core theme. That single wild assumption has…
This is one of the themes brilliantly explored (in my opinion), in the (largely hard) scifi book "Lady of Mazes" by Karl Schroeder.
Let me preface this by saying I generally agree with what you're saying. My focus below is on the delta. > It is true that this model requires a large amount of unlabeled data, in addition to a small amount of labeled…
> What is this sentence supposed to convey? There are examples where it is able to recognize and continue patterns in strings which if manually generated, would have required a FSM. In fact, some of the more impressive…
Sociality is not the only (and probably not an initial) driver of the evolution of intelligence in animals. Ecological and particularly foraging competency in less predictable environments is another and likely more…
An in-between option that is relatively simple and a rather fast (though not as fast as the automata) optimization to levenstein distance and based on Tries is: http://stevehanov.ca/blog/?id=114.
That makes sense but my argument is since further material (some examples which I listed) assumes and builds upon the standard approach, you'll likely be better off taking that path.
spekcular is correct. One could draw the following graph very roughly capturing how these concepts developed: Grassman’s exterior algebra -> Differential forms Cartan’s Exterior Derivatives -> Differential forms…
I've played many of the author's games and consider them to have better stories than most. I’d have to reach for the likes of Planescape or Disco Elysium to find something I’d consider more compelling. As you imply,…
I don't think it's a stupid question, just oddly phrased (more on that later). I think there are two stable interpretations. "When did grass evolve" or "when were grass lawns invented". Later: Why isn't it an obviously…
Certain dolphins have larger prefrontal cortices with more neurons, are highly intelligent with the ability to predict and long term memory yet seem to lack what we think is a unique human capacity for first person…
That's not accurate. By the 1960s and 70s, the scientific consensus [1] not only strongly believed smoking was a causal factor in lung cancer but also knew it contained radioactive isotopes of Polonium…
The code on the right is an explanation or implementation you could jump into. The replacement for use would be the function name, such as `summation` or `product`. A computer language is already used to communicate…
Here is a 1984 article on Eurisko: https://aliciapatterson.org/stories/eurisko-computer-mind-it... From the article we learn Eurisko is more of an example of human machine symbiosis than of AI. "Thus the final crediting…
I have a fair amount of experience in both F# and Ocaml and don't think the lack of modules harms F#. The trick I had to learn was to think of F# as its own language and not try to write it as Ocaml or Haskell. What I…
Take entomologists, bird watchers or those who identify mushrooms. In each, there are instances that are fiendishly difficult to tell apart. If you ask an expert for advice, they'll tell what features to look for and…
It looks like training is on CPU too: https://github.com/nodchip/Stockfish/blob/master/src/nnue/ev....
Transformers, which are currently waging a successful campaign to conquer all Deep Learning, are largely stacked feed-forward networks, matrix multiplies and maps. Some ideas to make attention more scalable, such as LSH…
Anthropomorphizing evolution a little, I'd bet the department that works on crafting serious intelligence into bees and jumping spider into milliwatt (or perhaps order 10² μW) brains would look respectfully at this kind…
All what you say makes sense, especially as one becomes more comfortable with tactics but I maintain formal proofs are a lot harder to parse than regular math proofs. Having to write for both machine and human distorts…
I originally intended to write what follows as its own comment but, although I used Coq instead of Lean and worked through a different set of exercises, your criticisms so closely mirrored mine, I decided to reply here…
I think the best way to think about such things is in terms of niches and ecosystem. The niche of functional and native is small and already well served by Haskell, Ocaml and even Rust to an extent. The .net, python and…
In the case anyone is curious about the origin of the (|>) pipeline symbol: Although F# is its most well known early popularizer, it originated in Isabelle/ML, 1994, proposed by Tobias Nipkow. Here is a blog post by Don…
Though humans do often confabulate, they can also say, "I don't know", "what is that", "wait a minute", "there's something fishy about this", "huh?". Sometimes they can invent a new label or phrase on the spot that…
It seems you've written c² in units of Wh/kg? But the fact that per arbitrary mass, you can theoretically get more energetic reactions than by fission or even fusion doesn't mean comparing the productivity of fission to…
> But you have to try and explain the magic. You don't always have to. Vernor Vinge explains it as, you are allowed one central conceit which frees you to deeply explore some core theme. That single wild assumption has…
This is one of the themes brilliantly explored (in my opinion), in the (largely hard) scifi book "Lady of Mazes" by Karl Schroeder.
Let me preface this by saying I generally agree with what you're saying. My focus below is on the delta. > It is true that this model requires a large amount of unlabeled data, in addition to a small amount of labeled…
> What is this sentence supposed to convey? There are examples where it is able to recognize and continue patterns in strings which if manually generated, would have required a FSM. In fact, some of the more impressive…