Cybiote

7 ms·

1.
by Cybiote 5y ago
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 poor people are mor
2.
by Cybiote 5y ago
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. What's more, we don&#
3.
by Cybiote 5y ago
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 heuristics writ
4.
by Cybiote 5y ago
Portia spiders do demonstrate trial and error learning, quoting the abstract of [1]: > All species from the jumping spider genus Portia appear to be predators that specialize at preying on other spiders by invading webs and, through aggr
5.
by Cybiote 5y ago
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 primary stimulator for i
6.
by Cybiote 5y ago
This is the best kind of correct but it's an interesting phrasing since Fredkin is a kind of Quantum supremacy skeptic (hotkey-find Classicatopia in: https://windowsontheory.org/2017/10/30/the-different-f
7.
by Cybiote 5y ago
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 .
8.
by Cybiote 5y ago
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.
9.
by Cybiote 5y ago
By standard approach I mean the typical material covered for someone studying vector calculus properly. This will be stuff like differential forms and the basics of tensors, manifolds and multilinear maps at the undergrad level. Differentia
10.
by Cybiote 5y ago
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 Quaternions -> Clif
11.
by Cybiote 5y ago
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, there are many
12.
by Cybiote 5y ago
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
13.
by Cybiote 5y ago
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 introspective meta-cognit
14.
by Cybiote 5y ago
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 ( https://www.ncbi.nlm.
15.
by Cybiote 5y ago
> No exploding coal plant will render a whole region unlivable for >30 years Unlivable for humans. The exclusion zone around Chernobyl became a de facto wild-life sanctuary. To the extent that some environmentalists now argue benefits
16.
by Cybiote 5y ago
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 almost all math these da
17.
by Cybiote 5y ago
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 cr
18.
by Cybiote 5y ago
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 do sometimes miss
19.
by Cybiote 5y ago
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 where, sometimes n
20.
by Cybiote 5y ago
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 combination of good mental mod
21.
by Cybiote 5y ago
It looks like training is on CPU too: https://github.com/nodchip/Stockfish/blob/master/src/nnue/ev... .
22.
by Cybiote 5y ago
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 or large sparse atte
23.
by Cybiote 5y ago
Perhaps Freedoms vs Freebies?
24.
by Cybiote 6y ago
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 of demo-scene w
25.
by Cybiote 6y ago
A quibble is that when I see kg, mass, I expect that it should be measured the same whether on Earth or on the moon. The answer should be in Newtons. Our query to Wolfram Alpha should thus be: (mass of elephant)/2 * moon gravity
26.
by Cybiote 6y ago
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 a proof's natura
27.
by Cybiote 6y ago
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 instead, and point ou
28.
by Cybiote 6y ago
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 JVM contain some of
29.
by Cybiote 6y ago
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 the context of technolo
30.
by Cybiote 6y ago
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 Syme which e

More ›