danidiaz

13 ms·

61.
by danidiaz 6y ago
Bart Streumer is mentioned in the piece. His book "Unbelievable Errors: An Error Theory about All Normative Judgements" begins with a pretty cool sentence: > You cannot believe the view I will defend in this book. I therefore w
62.
by danidiaz 6y ago
> Strikingly, the most intelligent and thoughtful intellectual of the early church seems to have read fewer things than an average modern eight year old. To follow the depiction by Antonello da Messina, St Jerome appears to be the proud
63.
by danidiaz 6y ago
Phantom types can be useful when modelling currency: the "implementation" stays the same but you want to avoid summing two different currencies by mistake. https://ren.zone/articles/safe-money
64.
by danidiaz 6y ago
In Antiquity and the Middle Ages, there was something of an incongruence between literary and visual depictions of labyrinths ("The Idea of the Labyrinth" touches on this). In literary sources, the labyrinths were often "mult
65.
by danidiaz 6y ago
An interesting (and free) book about the subject is "The Idea of the Labyrinth from Classical Antiquity through the Middle Ages" by Penelope Reed Doob https://www.amazon.com/Labyrinth-Classical-Antiquity-through...
66.
by danidiaz 6y ago
I like that in French, instead of collecting garbage, you collect bread crumbs: "ramasse-miettes" Also, in German, earlier software versions are located downwards, not backwards: "Abwärtskompatibilität"
67.
by danidiaz 6y ago
One interesting collection of science fiction short stories from the early seventies is "Moderan" by David R. Bunch. After many years out of print, it was recently re-published in the NYRB Classics series: https://www.g
68.
by danidiaz 6y ago
Kinds in Haskell seem to be evolving in the direction of controlling the representation of datatypes in memory. * (also called Type) is the kind of types whose values are "lifted": they can be lazy computations which might cause a
69.
by danidiaz 6y ago
I absolutely love 'Eden', even if Lem himself thought it wasn't among his best work. It's an alien dystopia seen through human eyes. Are the scenarios the explorers encounter something "normal" in some sense, o
70.
by danidiaz 6y ago
In Java terms, a "type constructor" would be a generic class like, say, `ArrayList<T>`. A constructor can be viewed as a function that takes values for the fields of a datatype and gives a value of the datatype in return. No
71.
by danidiaz 6y ago
I think the position that do-notation is harmful is nowadays in the minority. Personally, I prefer it to long chains of monadic operators. It proved so convenient that there are extensions like "ApplicativeDo" that let you use do-
72.
by danidiaz 6y ago
There's a notable book by philosopher Derek Parfit called "Reasons and Persons" that—among other things—uses "transporter" thought experiments to explore the nature of personal identity. The quasi-buddhistic conclus
73.
by danidiaz 7y ago
Also used by Stanislaw Lem in "A Perfect Vacuum" https://en.wikipedia.org/wiki/A_Perfect_Vacuum The last review in that book anticipates much of the premise of Cixin Liu's "Remembrance of Earth&#x27
74.
by danidiaz 7y ago
Pyrrhonism. n. An ancient philosophy, named for its inventor. It consisted of an absolute disbelief in everything but Pyrrhonism. Its modern professors have added that.—Ambrose Bierce, The Devil's Dictionary
75.
by danidiaz 7y ago
I'm not knowledgeable enough to properly recommend a book on the subject so take this with a grain of salt, but I thought the historical (and opinionated) overview of the evolution of English money in Christine Desan's "Makin
76.
by danidiaz 7y ago
> WaitForFile(filename, absoluteTimeout) The Java bindings have support for this in the form of FluentWait#until http://javadox.com/org.seleniumhq.selenium/selenium-support/... Using explicit waits for expected
77.
by danidiaz 7y ago
I also get moves confused with the return-value optimization, though my understanding is that RVO appeared earlier.
78.
by danidiaz 7y ago
An earlier book about the subject is "In Ruins" by Christopher Woodward. I also liked this "Ruins and Futurity" article http://www.sf-encyclopedia.com/entry/ruins_and_futurity about the use of ruins
79.
by danidiaz 7y ago
The cathedrals of Ourense and León in Spain have a few game boards etched in stone at discreet places. Some of them look like Nine Men Morris (Alquerque?) boards: http://jesus-manuel.com/2015/08/08/658/
80.
by danidiaz 7y ago
It seems that "ghcide" can do this: https://twitter.com/chris__martin/status/1218331415869190144 https://github.com/digital-asset/ghcide
81.
by danidiaz 7y ago
"And yet, if only from my dreams when I was asleep, I might have learned that my grief for my grandmother's death was diminishing, for she appeared in them less crushed by the idea that I had formed of her non-e
82.
by danidiaz 7y ago
Kevin Lynch notes as much in "The Image of the City", his book about urban form: > Paths proved to be the dominant element [of orientation] in terms of quantity [...] The single exception was the shift in attention from paths a
83.
by danidiaz 7y ago
In your first version, I think I would use =<< to keep "flow" of information right-to-left. I also use parentheses instead of . and $ when there isn't a lot of nesting, I got that habit from this post about writing legi
84.
by danidiaz 7y ago
Writer Edith Wharton (of "The age of innocence" fame) traveled across France by automobile in 1908. She wrote her experiences in "A Motor-Flight Through France" http://www.gutenberg.org/ebooks/57347
85.
by danidiaz 7y ago
Relatively easy in Vim with digraphs (:h digraph) Ctrl-K l* produces λ Ctrl-K L* produces Λ Unsurprisingly, Emacs also supports this when programming in Agda (\lambda) i'm not sure if it's a builtin feature or part of the Agda plu
86.
by danidiaz 7y ago
Section 7 of "A History of Haskell: Being Lazy With Class" http://haskell.cs.yale.edu/wp-content/uploads/2011/02/histor... explains how Haskell IO was done in the pre-IO monad days. This recent
87.
by danidiaz 8y ago
The continuous blurring between different levels of fiction and reality in this movie reminded of Philip K. Dick's novels, also of Stanislaw Lem's "Futurological Congress".
88.
by danidiaz 8y ago
->> is a function at the type level without extra properties like matchability, so it can be simply read as "to" or "into" -> is used with type constructors like Maybe or Either, and arguments passed to it can s
89.
by danidiaz 8y ago
Another educational (but more sophisticated) evaluator / typechecker in Haskell is described in "Stitch: The Sound Type-Indexed Type Checker" https://cs.brynmawr.edu/~rae/papers/2018/stitch&#x2F
90.
by danidiaz 8y ago
This is usually called the classical vs. mockist, or test interactions vs. test final state debate. Instead of mocks, some people prefer to build fakes / stubs which are versions of a dependency which are "fully operative" in

More ›