danidiaz

7 ms·

1.
Machinery and English Style (1904)(theatlantic.com)
9 points by danidiaz 8mo ago|1 comments
2.
Hell (Haskell Shell): Year in Review(chrisdone.com)
3 points by danidiaz 2y ago|2 comments
3.
PenroseKiteDart(readerunner.wordpress.com)
2 points by danidiaz 2y ago|0 comments
4.
Facts vs. Opinions(sootyempiric.blogspot.com)
2 points by danidiaz 3y ago|1 comments
5.
by danidiaz 3y ago
"ponderous pensées on human frailty by an apologetic autocrat" From this article about a different emperor: https://www.lrb.co.uk/the-paper/v41/n04/christopher-kelly/a-...
6.
by danidiaz 3y ago
The memoir "Street without a Name: Childhood and Other Misadventures in Bulgaria" by Kapka Kassabova (2008) covers similar ground. https://www.goodreads.com/book/show/3808716-street-without-a...
7.
Facts and general information relating to pneumatic despatch tubes (1897)(gutenberg.org)
1 points by danidiaz 3y ago|0 comments
8.
by danidiaz 3y ago
I would also recommend the site "Science Fiction Ruminations": https://sciencefictionruminations.com/ Lots of thoughtful sf book reviews with a heavy (but not exclusive) focus on the New Wave.
9.
by danidiaz 3y ago
I'm not a mathematician, but I feel the "syntethic"/"analythic" distinction in mathematics is an interesting and useful concept. "In modern mathematics, an analytic theory is one whose basic objects are de
10.
by danidiaz 3y ago
https://qntm.org/mmacevedo > However, even for these tasks, its performance has dropped measurably since the early 2060s and is now considered subpar compared to more recent uploads. This is primarily attributed to MMAce
11.
by danidiaz 3y ago
> Purifying an (unnecessarily-) IO function into an ordinary function is a good exercise. Agree! And I would add that you can "purify" a monadic function without having to rewrite it in non-monadic style. You can make it polymo
12.
Artificio de Juanelo(en.wikipedia.org)
3 points by danidiaz 4y ago|0 comments
13.
by danidiaz 4y ago
> Consequently, while al-Qazwīnī was wont to include tales about islands at the end of the world where women grew on trees and other dubious mirabilia, his purpose was lofty indeed. Collections of marvels and extraordinary things were th
14.
by danidiaz 4y ago
There's also jOOQ for Java. https://www.jooq.org/
15.
by danidiaz 4y ago
Adult Swim's "Lords of Synth" comedy short contains a homage to Wendy Carlos in the form of a certain "Carla Wendos" https://www.youtube.com/watch?v=WXgNo5Smino There's also the documentary &qu
16.
by danidiaz 4y ago
> My own solution was to keep no entity state in memory and translate everything into DB updates immediately Did you encounter some part of the domain which was difficult to "push down" into SQL? Also, how would this compare wi
17.
by danidiaz 4y ago
> Consistent with my loyalty to the functional-programming idiom, I designed my initial bf implementation so that each instruction would copy the existing bytes into a new array, change the byte of interest, return this new byte a
18.
by danidiaz 5y ago
A related answer in the CS Stack Exchange: https://cs.stackexchange.com/a/91345/5296 > type theory is not about syntax. It is a mathematical theory of constructions, just like set theory is a mathematical theo
19.
by danidiaz 5y ago
> If we need to compose these errors in a larger program we can simply wrap previous errors in a bigger sumtype This approach is being adopted in GHC itself to compose errors happening at different stages of the compilation pipeline: eac
20.
by danidiaz 5y ago
Maybe Grothendieck, like Avicenna's conception of God, only knew particulars "in as much as they are universal". Grothendieck once flunked an exam due to—in his own words— "une erreur idiote de calcul numérique".
21.
by danidiaz 5y ago
A recent video about -fdefer-type-errors: https://www.youtube.com/watch?v=hPVjA3TO9OI
22.
by danidiaz 5y ago
Another useful feature of Spring is aspect-oriented-programming (like when we manage transactions boundaries with @Transactional). Spring takes care of that, but doing it manually (and without dynamic proxies) would add to the verbosity.
23.
by danidiaz 5y ago
I think that, when talking about idempotency, there's the implicit assumption that the "rest of the world" stays the same while the sequence of operations is performed. rfc2616 says: > Methods can also have the property of
24.
by danidiaz 5y ago
So that means that, without a cache, repeating a QUERY might create two response resources but, with a cache, only one will be created. I find that odd. My understanding of HTTP idempotency is that it's more of a "whole-server&quo
25.
by danidiaz 5y ago
> QUERY requests are both safe and idempotent with regards to the resource identified by the request URI. That is, QUERY requests do not alter the state of the targeted resource. However, while processing a QUERY request, a server can be
26.
by danidiaz 5y ago
This "Design Patterns for Parser Combinators" https://www.youtube.com/watch?v=RwzX1XltOGY video (an the associated pdf https://dl.acm.org/doi/abs/10.1145/3471874.3472984 ) explains s
27.
by danidiaz 5y ago
A video about Wingman with detailed examples https://www.youtube.com/watch?v=S0HvfXq3454 including custom tactics https://www.youtube.com/watch?v=S0HvfXq3454&t=2139s
28.
Writing about Haskell is Hard(anthony.noided.media)
10 points by danidiaz 5y ago|5 comments
29.
by danidiaz 5y ago
Once the graph of dependencies between components gets complex, passing all those beans as positional arguments might get tiresome, and type-directed autowiring begins to seem more appealing. Most of the information required for constructin
30.
by danidiaz 5y ago
I once coded red-black-trees in Haskell at the type level and yes, I had to write some type-level tests. In a real dependently-typed language the friction would be lower, because it's easier to put "normal code" at the type l

More ›