danidiaz

20 ms·

121.
by danidiaz 9y ago
I was thinking in a naturalist way, it's just that the hypothesis seems naive to me. As I read it, it says more than simply "minds are products of brains": it says that certain characteristics of our subjective conscious expe
122.
by danidiaz 9y ago
But in the case of light, we are detecting a physical thing that is related by causal chains to the change in pigments. The relationship between the subjective feeling of consciousness and the measured neural patterns doesn't seem to b
123.
by danidiaz 9y ago
I find the wording "detecting consciousness" problematic. They are not detecting consciousness as if they were detecting subatomic particles in a cloud chamber, or pollutants in the water; they are just measuring some neural firew
124.
by danidiaz 9y ago
Two more: "The abstract is no more than an instrument, an organ, to see the concrete clearly." —José Ortega y Gasset "Good general theory does not search for the maximum generality, but for the right generality."—Saunder
125.
by danidiaz 9y ago
Reminds me of the "dream of the mayor" sequence in the classic Spanish film "Welcome Mr. Marshall", during which the aforementioned character imagines himself as the hero of a western: https://youtu.be/0r
126.
by danidiaz 9y ago
Introductory talk: "A Functional Programmer's Guide to Homotopy Type Theory" https://www.youtube.com/watch?v=caSOTjr1z18
127.
by danidiaz 9y ago
One could also say that functional programming prefers expressions to statements —and treats functions as just another expression. When needed, statement-like things are constructed from expressions. Equations in lambda calculus do seem to
128.
by danidiaz 9y ago
Reminds me of Terry Bisson's "They're made out of meat" http://www.terrybisson.com/page6/page6.html
129.
by danidiaz 9y ago
Reminds me somewhat of the Sankhya school of Indian philosophy, which was strongly dualist but (unlike Cartesian dualism) considered thought processes as part of material reality, and spirit as some sort of "consciousness capability&qu
130.
by danidiaz 9y ago
> you can't write a simple for loop or do i/o. You can often use the "for" function for things analogous to effectful imperative loops. http://hackage.haskell.org/package/base-4.10.0.0/docs&#
131.
by danidiaz 9y ago
Here is an answer in the CS Theory Stack Exchange that explains how: https://cstheory.stackexchange.com/a/18399/13730 (I'm not endorsing it as a practical way of doing it, mind you.) The idea is that the on
132.
by danidiaz 9y ago
I'm not 100% sure of what the author had in mind, but here's a possible (and possibly dumb) example. Imagine you need a 2-parameter "Lasagna" datatype wich is a non-empty list of alternating "a" and "b&quo
133.
by danidiaz 9y ago
I've seen mentioned the "streaming" package as an example of this: http://hackage.haskell.org/package/streaming "streaming" provides a Stream type which is parameterized by a Functor. The main
134.
by danidiaz 9y ago
A monoid is an interface with two operations: one that produces an element out of thin air, and one that combines two elements. It also comes with a contract, like the contracts of "equals", "hashCode" or Comparable in J
135.
by danidiaz 9y ago
For what is worth, Dhall lets you check if an expression is already in normal form: http://hackage.haskell.org/package/dhall-1.6.0/docs/Dhall-Co... so one could use Dhall as a "data-only" language w
136.
by danidiaz 9y ago
> I've done this twice. It's the only way I've ever gotten any sanity out of Selenium. What are the benefits of this approach vs. explicitly waiting for the things that should appear in the page?
137.
by danidiaz 9y ago
I try to use explicit waits whenever possible. Luckily, the Java client library provides a rich set of combinators for declaring them. You can also define your own; they are basically functions from a WebDriver object to some other thing (u
138.
by danidiaz 9y ago
I distinctly remember some of his stories, in particular "Heresies of the Huge God" https://archive.org/details/Galaxy_v24n06_1966-08 and "Confluence", which is structured as a glossary for an alien
139.
by danidiaz 9y ago
I agree that is is important to structure the application to facilitate testing. But I find this surprising: > And while recorders present some challenges, manually coding UI-level tests make the maintainability issue an order of magnitu
140.
by danidiaz 9y ago
Exactly, there is a degreee of flakiness beyond which you don't gain much assurance from your tests and you spend more time fighting fires in the testsuite than actually testing your app.
141.
by danidiaz 9y ago
Test recorders are an antipattern. They lure you with their "no programming required!" siren call, but the generated scripts invaribly end up as a fragile, poorly abstracted mess. GUI tests suites, especially those created with re
142.
by danidiaz 9y ago
Sometimes this style is called "origami programming".
143.
by danidiaz 9y ago
One could use a generics library to emulate something like Go's struct field tags, which decouple "external" fields names from the actual field names. Something like this is explained from 48:50 in this talk: https:/&#x
144.
by danidiaz 9y ago
A very science-fictional (or anti-science-fictional) passage from Proust is: > A pair of wings, a different respiratory system, which enabled us to travel through space, would in no way help us, for if we visited Mars or Venus while keep
145.
by danidiaz 9y ago
Michel Houellebecq worked as a programmer, too (and he didn't like it). I suppose Kafka would work in programming, had he been born in our time.
146.
by danidiaz 9y ago
The counterintuitive moral of the story seems to be that ideological censorship has the potential to spur philosophical and scientific progress, even if this is an unintended and not very frequent outcome. It is strange, but for a good chun
147.
by danidiaz 9y ago
A haskell version of 1) is talked about here: https://www.reddit.com/r/haskell/comments/55bvt4/typesafe_pr... It uses the "singletons" library (no relation to the singleton design pattern) that
148.
by danidiaz 9y ago
An interview with the creator of Idris in the Code Podcast: https://soundcloud.com/podcastcode/edwin-brady-on-dependent-... Another cool feature of Idris is elaborator reflection https://www.youtube.com&#x2F
149.
by danidiaz 9y ago
There was a recent post about "imperative Haskell": http://vaibhavsagar.com/blog/2017/05/29/imperative-haskell/ The code in this other post about implementing string distance metrics is al
150.
by danidiaz 9y ago
When he talks about the "computational models of language" that ruled in the 80s, is he referring perhaps to stuff like Montague semantics? https://plato.stanford.edu/entries/montague-semantics/ Or is M

More ›