Oh this sounds like Macgyvering. The Real Life section in the TV tropes article on it has some interesting examples and lists some other cultural takes on it: desenrascanço, débrouillard, Jugaad. It's a skill clever…
Renewables are indeed vital. At the same time, it feels counterproductive that every discussion on nuclear or renewables ends up casting things as an either or proposition. Nuclear as baseload remains very useful.…
I've never met a coherent definition of symbolic AI so I'll just focus on what it contained: some type of search or inference algorithm (iterative deepening, depth first search being major ones) often combined with…
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…
The trick is that even a tiny difference in ability can lead to a large difference in results as the number of decision steps involved in a task increase. The expert wastes less time in search space. This is a…
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…
Perhaps Freedoms vs Freebies?
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…
That is only because subgame perfect equilibrium is applicable to chess. An imperfect information game like Poker cannot have that. Technology is not a process with complete information therefore the chess analogy in…
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…
Oh this sounds like Macgyvering. The Real Life section in the TV tropes article on it has some interesting examples and lists some other cultural takes on it: desenrascanço, débrouillard, Jugaad. It's a skill clever…
Renewables are indeed vital. At the same time, it feels counterproductive that every discussion on nuclear or renewables ends up casting things as an either or proposition. Nuclear as baseload remains very useful.…
I've never met a coherent definition of symbolic AI so I'll just focus on what it contained: some type of search or inference algorithm (iterative deepening, depth first search being major ones) often combined with…
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…
The trick is that even a tiny difference in ability can lead to a large difference in results as the number of decision steps involved in a task increase. The expert wastes less time in search space. This is a…
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…
Perhaps Freedoms vs Freebies?
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…
That is only because subgame perfect equilibrium is applicable to chess. An imperfect information game like Poker cannot have that. Technology is not a process with complete information therefore the chess analogy in…
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…