ddellacosta

19 ms·

61.
by ddellacosta 2y ago
> The reality is that you realize that this language was designed by a merry bunch of category theorists who had little interest in software engineering. The effort put into different parts of the language is super unbalanced. GHC is an
62.
by ddellacosta 2y ago
It's a bit hidden in their about page: GNU Guix provides state-of-the-art package management features such as transactional upgrades and roll-backs, reproducible build environments, unprivileged package management, and per-user p
63.
by ddellacosta 3y ago
I love this place. I lived in Tokyo a while back, these are all over. I had one down the street from me in my neighborhood in Meguro-ku. Notably, the tables and counters had big metal (I think?) tubs of sauce planted on them and there were
64.
by ddellacosta 3y ago
TIL, nice--thanks!
65.
by ddellacosta 3y ago
Oh yeah, you just reminded me of this cool talk I saw at Strange Loop a while back. Not about the AI parts but re: program synthesis in Haskell: "Type-Driven Program Synthesis" by Nadia Polikarpova https://www.youtube.
66.
by ddellacosta 3y ago
This and the responses that are piling on with the same sentiment are offbase. I am not seeking out opportunities to badmouth Elm. But as I am someone who is interested in FP and frontend tech in general, when I see an Elm story on the fron
67.
by ddellacosta 3y ago
Yeah the way tuples work in PS is kinda painful, but there are some affordances for tuple-like pattern matching that smooth over some of that pain. On the other hand, I feel like PureScript's records that utilize row polymorphism are s
68.
by ddellacosta 3y ago
I wouldn't bother with Elm. Among other things: https://www.reddit.com/r/programming/comments/fxvlow/why_im_... PureScript ( https://www.purescript.org ) on the other hand is very nice.
69.
by ddellacosta 3y ago
Hey you gave me an excuse to link to one of my favorite PWL talks: "A Rehabilitation of Message-passing Concurrency" by Frank Pfenning - https://www.youtube.com/watch?v=LRn_nPfti-Y
70.
by ddellacosta 3y ago
Will take a look--thanks. Also, re: anesthesia, appreciate that you linked to the "Electron spin changes..." paper in the other comment, will check it out!
71.
by ddellacosta 3y ago
(In support of your point about QM:) To contrast with an example of where quantum mechanics is relevant at the level of biology--this is one I'm familiar with: https://www.sciencenews.org/article/quantum-fragility-
72.
by ddellacosta 3y ago
This is a bit of an indirect answer, but I watched this not too long ago and it made it seem clear that MOND doesn't work so well, if not in general at least in the case discussed, which seems pretty damning regardless: https:/&#
73.
by ddellacosta 3y ago
I think it's also the case that multiple concepts end up manifesting in ways that we can't envision or simply don't consider (see Marshall McLuhan). For example, this was also science fiction, but is probably much more releva
74.
by ddellacosta 3y ago
"Strong typing" was a poor choice of terminology here. https://en.wikipedia.org/wiki/Strong_and_weak_typing
75.
by ddellacosta 3y ago
Location: NYC area Remote: yes Willing to relocate: no Technologies: most recently, Haskell, Lua, PureScript, Ruby (on Rails), JS, Nix, Postgres/RDS/Redshift, a bunch of other AWS services...much more. My interests lately are cent
76.
by ddellacosta 3y ago
I remain in awe of him. Turing indisputably had an incredibly important role in computer science. His code-breaking work saved many lives in WWII, and he even contributed an important result to biology: https://www.nature.com&#x2
77.
by ddellacosta 3y ago
> I was actually in the school of thought that this article describes until I read and worked through the book How to Design Programs What distinguishes the approach from what is presented in this blog post, can you provide a summary for
78.
by ddellacosta 3y ago
Yeah, this is what gets me--and at least on IOS you can get a sense of this simply at looking at the difference in what data the app requests access to compared to e.g. Apollo.
79.
by ddellacosta 3y ago
> My pet hypothesis is this will also why the current/next generation is much more open about sexuality / gender / identity, and I expect this to get only more nuanced as science understands more and as people learn to exp
80.
by ddellacosta 3y ago
My personal experience was using Datomic backed by DynamoDB, at the second Clojure company I worked at. In particular I remember feeling like it was hard to anticipate and understand its performance characteristics in particular, and how in
81.
by ddellacosta 4y ago
I'm a Haskell fanatic, even wrote it professionally recently. I have also done a fair amount of small-scale audio programming, including trying to write a basic "soft" real-time-keeping app in Haskell, and it's not a gre
82.
by ddellacosta 4y ago
The video was not produced by the people making Grid Beam, but by Kirsten Dirksen, who covers all kinds of DIY/Sustainable/etc. unique and largely housing-related things https://www.youtube.com/@kirstendirksen
83.
by ddellacosta 4y ago
> I share the vision (if not the capital) of the people I'm working for, want to see that vision executed, and want to take an active part in executing it well. If that is not the case, it doesn't matter how much I'm being
84.
by ddellacosta 4y ago
I may be trying to persuade, but I'm not being prescriptive. I'm just stating the logical outcome of behaving based on the thinking in the post I was responding to.
85.
by ddellacosta 4y ago
I understand the point being made, but this is fundamentally naive and counter-productive for everyone who wants to be working in this industry as a software engineer. Engineers are going to get exploited: just shrugging and saying "bu
86.
by ddellacosta 4y ago
> How do you feel about Kotlin where nulls are present but by default all types are not nullable? I have to ask--how is that different from an option type?
87.
by ddellacosta 4y ago
> Optional or Maybe is just “type or null” which is the implicit type of every language with nullable by default types. It’s worse in every way to null. This is completely backwards, and it's much more basic than ebingdom's ex
88.
by ddellacosta 5y ago
> On the flip side, the guy is suing for millions and was going to work at a sandwich shop. Is he expecting more than a lifetime worth of value from society because he had an accident? This is the problem with the completely stupid hea
89.
by ddellacosta 5y ago
What is the specific set of knowledge that delineates those who are "living in the ivory tower" from, to use a term introduced by another poster down-thread, "blue-collar programmers?" Do I become an ivory tower programm
90.
by ddellacosta 5y ago
> In my experience and other on the team share it too, static types really haven't (or wouldn't have) prevented any bugs. In my experience, having written Clojure professionally in three different organizations over a period of

More ›