ddellacosta

> not just one incredible Haskell library, but a number of them

...and this still understates his impact on Haskell, he helped shape how a lot of programs are written in Haskell through some of the stuff he worked on (see e.g. https://stackoverflow.com/a/2769840 as evidence of his influence on core functionality).

I love NixOS and use it on my work and home machines, but I balk at seriously suggesting anyone pick that as their first choice for a stable Linux distro to move to. It's filled with sharp edges, and more to the point, the project leadership and governance seems mired in drama constantly. Not a system I would feel comfortable suggesting any org should adopt without a lot of consideration, especially if stability and long-term planning are important.

USian here, guilty as charged. Although I imagine it's the same as in the U.K. in terms of a lot of people who eat a lot of crap, while there are still plenty of people who know and appreciate good food, including baked goods. So, there is good bread here, but either you make it yourself or pay a premium.

same crew as is referenced here too: https://news.ycombinator.com/item?id=49513717

Heh I was just about to say, people were doing stuff like this at Parsons/ITP a decade and a half ago, at least...haven't thought about GRL in a while, thanks for the flashback

He has promised at least one (1) affordable house, and to make everyone's taxes but yours go up. Seems like a solid choice

> Now, it’s completely different. The moment some obscure demo drops, it’s everywhere, Bandcamp, Spotify, Apple Music, Instagram, whatever. Everyone knows about it instantly. That sense of discovery, of finding a truly underground gem, just isn’t the same anymore. It’s too easy now.

I don't agree. I want to be clear that I think youtube is terrible in many, many ways, but one thing I _do_ love about youtube is music discovery. Finding label channels and tracing through their artists, seeing what else pops up in my feed as a result and following those threads...finding random weird stuff with four listens posted two days ago, which then leads you to more weirdness...etc. is all very fun to me and I've discovered a ton of great music that way. There's also tons of random channels that have DJs or mixes they put out that is also a great and relatively organic way to discover new stuff (I'm always thrilled when a new Kieran Hebden set drops on The Lot Radio for one).

Maybe spotify is different, I've actually never used it, but I don't think the "Thrill of the Hunt" is dead in a general sense. And I'm kinda old, I was a music major in the 90s and at that time I was all about finding weird bootlegs and going to shows with <10 people showing up, subscribed to The Wire for a long time, and etc. There is still a ton of great new music out there and fun avenues for discovery! If anything there is more than I ever could have imagined when I was younger. People keep making great stuff.

Seriously. Ran into this with Tincan's support text line when I failed to receive the account initialization email to my provider...was immediately launched into LLM nonsense which I bailed out of until a few hours later when a real human finally texted me back. To add insult to injury, it turned out they couldn't figure out how to send emails to my small, obscure email provider, called 'fastmail' (/s) and insisted I use a different account. One failure after another with them.

In a way I found it useful because it showed me right away that they aren't really a serious business and I was able to cancel our account before the free trial was over.

(It also turns out that their base product is more or less a standard VoIP phone that is fairly easy to set up yourself for far cheaper...but I digress)

Strong agreement with this! I managed somehow to jam a drill bit in my Makita cordless drill a few years back. It was just enough of a pain that I didn't feel comfortable trying to fix it myself, so I requested a repair through Makita. I remember calling them and getting it all set up via a real customer service person who seemed pretty obviously based in the U.S. (ironically). His name was Mark and he was great and made it all super smooth for me.

I got the drill back a little while later entirely repaired, the bent drill bit included in the return package, and I was charged absolutely nothing for any of it because I guess I was still under warranty and I didn't realize it. It was a fantastic customer service interaction and absolutely increased my loyalty to the company.

...and that's leaving aside the quality of their tools. In my experience they are incredibly rugged--among other things, for a week-long landscaping project I used that same drill with a gigantic bit to dig holes in frozen dirt, and it powered through it without issues. Great tools and a solid company.

I think it's worth reading this if you want to understand the initial motivation for introducing Monads to Haskell: https://homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/b...

(And in the context of the previous paper, this one motivates Applicative well I think: https://www.staff.city.ac.uk/~ross/papers/Applicative.pdf)

That said, I've never really understood the enthusiasm the industry has for introducing Monads outside of Haskell. As I understand it, at the time Philip Wadler wrote his paper, Haskell was pretty painful to use due to its adherence to purity. Monads were presented as a way to maintain purity while providing a principled way to support all kinds of effectful computations. But without some of the features Haskell provides (I'm thinking of typeclasses and HKTs in particular), and given that almost any language you'll be introduced to outside of Haskell already has ways to do e.g. IO or whatnot, it almost always ends up feeling like bolting something on with not a lot of benefit.

Don't get me wrong, I think there's value in stuff like https://github.com/fantasyland/fantasy-land --I find organizing how I think about computations around these algebraic concepts helps me a lot, personally. But that's distinct from introducing these concepts into day-to-day work in a non-Haskell language, especially on a team, which is often more trouble than it's worth unless everyone has already bought into it and is willing to deal with the meaningful friction introducing this stuff produces.

I assume the overabundance of Monad tutorials and libraries has to do with the cachet of knowing this relatively obscure, intellectual thing and being able to explain it to your peers, or to be more charitable, perhaps it's a byproduct of getting excited about learning this new, distinct way to approach computation and wanting to share it with everyone. But the end result is that now we have tons of ridiculous tutorials and useless Monad libraries in tons of languages.

I couldn't help but think of this when I read your comment: https://theonion.com/july-21-1969-1819587599/

"Neil Armstrong on the surface of the fucking moon."

> It also presents the draw man that solar can only go in huge fields that would otherwise grow food.

> There are plenty of rooftops and car parks that can be covered in solar to excellent benefit.

It's worth calling this approach out too: https://en.wikipedia.org/wiki/Agrivoltaics

This is a pretty simplified and inverted way to look at it in my opinion.

In many ways atonality was the inevitable direction that late 19th century Romanticism was moving in, with increasingly ambiguous tonality expressed by composers like Wagner and Mahler. In the early 20th century there was an explosion of new approaches and techniques which started from this basis and pushed tonal approaches to the breaking point and beyond. Composers including Ives, Stravinsky, Schoenberg, and others were all trying new things within the realm of atonality and while we tend to look back and map history into narrow movements and philosophies to suit our current thinking, I don't think there was necessarily such a "serialism period" so much as there was the Second Viennese school along with a bunch of other composers trying things out at the same time. And even within the Second Viennese school the approaches were distinct; Berg is known for being a bit more "loose" and romantic in his usage of 12-tone technique vs. the rigid formalist Webern.

Leaving aside the dubious assertions of what is or is not listenable, the reality is that art music in the 20th century became more and more fragmented as the entire music scene changed around the world. Minimalism was just one thing that happened after serialism. Even if we exclusively focus on music labeled "European Art Music" the 20th century was a period of incredible experimentation and exploration with many different approaches to tonality (and atonality) introduced.

Myself and most other programmers I know have at least once (more like 100 times) had the experience where you can't figure something out in some code you've been staring at for an hour, then another person comes along and immediately sees an obvious glaring error that you missed.

I can only imagine the same thing happens in newsrooms with text, especially when it is visibly very similar, like "2002" and "2022."

> The basis of Erlang/Elixir/Clojure is that structs are just inflexible maps.

I mean the difference is that Erlang and Elixir have high-quality pattern matching baked in, not to mention stuff like dialyzer and set-theoretic types.

Clojure has multi-methods I guess, and stuff like defrecord that no one uses...and the turd that is spec. In my experience every Clojure codebase turns into map soup at some point without a tremendous amount of manual labor.

...so it's not as black and white as you're saying, I guess is my point. And for example, I'd always take Haskell over Erlang or Elixir even though Haskell's records are widely and justifiably derided, because the language taken as a whole is that much nicer to use, and stuff like lens smooths some of the rough edges over pretty well.

I lol'ed

I dream of a day when everyone is using statically typed languages that support row polymorphism a la PureScript (https://book.purescript.org/chapter4.html#record-patterns-an...)...

Total digression but yeah, that layout is stupid and the way those words are dropped in using Romaji makes no sense. That's not how Japanese people lay out pages on the web. In fact I don't think I've ever seen a Japanese web page laid out like a book like this, and in general I'd expect the English proper nouns and words that don't have obvious translations to get transliterated into Katakana. Smells like automatic conversion added by someone not really familiar with common practices for presenting Japanese on the web.

I agree, Clare Grogan is still who I picture when I think of Kochanski tbh, I loved her energy

Haha I went and actually looked and yep, that's it...no wonder I couldn't remember

As an American, Red Dwarf along with Hitchhiker's Guide to the Galaxy created a deep appreciation both for British humor and funny sci-fi in my adolescent self. I now own the box set on DVD and even have a random Red Dwarf novel I got at a yard sale (I forget which one of them wrote it though).

RIP Rob! Will be having a vindaloo, lager, and maybe some fish (Fish! Fish! Fish!) later in your honor

(EDIT: 100% talking about the UK version here, had no idea or forgot there _was_ an American version)

Yeah this is such an important blog for Haskell.

A classic that everyone should read: http://blog.sigfpe.com/2006/08/you-could-have-invented-monad...

I attended a talk of his at Papers We Love at Strange Loop in 2018, I didn't really read the description and I was vaguely expecting something Haskell related, and instead got this: https://www.youtube.com/watch?v=766obijdpuU

I could barely understand it, but was impressed by what I could grasp. Dan Piponi's range is amazing, dude is brilliant

> They blamed social media for Americans.

I think you meant "blamed Americans for social media" but at this point they both kinda fit

Heh https://www.youtube.com/watch?v=PbmJkMhmrVI

Welp not much I can say to that or to RandallBrown's response, seems obvious our experience and way of thinking is pretty different on this matter.

(EDIT: Also fwiw I often use a spoon or whatever to scoop things into the bowl, vs. pouring, which means I have more control but can still offload the measuring part to the scale...)

Whatever gets the delicious baked goods in your mouth I guess

> In hindsight, the ‘seemingly’ part is key. When astronomers first gazed beyond the solar system, they noticed systematic deviations from the predictions of Newtonian gravity. Most scientists assumed that the problem was due to missing mass. But today, there is mounting evidence that this hypothesis is false, and that the observed discrepancy is caused by a breakdown of Newtonian physics. However, like the geocentric model of antiquity, the dark-matter paradigm lumbers on as the dominant belief, largely unfazed by the challenging evidence.

Yeah given that this blog is about "new ideas in economics and the social sciences" I was already feeling a bit skeptical, but when I got to this point and saw no mention of https://en.wikipedia.org/wiki/Bullet_Cluster (I did not bother looking at the 4-year-old video linked to in that paragraph), I had to put this piece down. I subscribe to a number of astronomy youtubers and I have not heard anyone with data to back them up making this assertion.

As a counterpoint example, here's Dr. Becky (https://www.physics.ox.ac.uk/our-people/smethurst) from ~4 months ago obviously not coming from the perspective that dark matter is being ruled out, and right out of the gate she refers back to another piece talking about why we are (so far) convinced dark matter is legitimate: https://www.youtube.com/watch?v=lyyZzzgoLNE

So, yeah, as jfengel says...this seems like more MOND again from a dilettante. Skip it

As a pretty experienced American home baker I don't understand how you can assert that it's faster to measure volume with cups or etc. than to put a bowl on a scale and simply pour stuff in, measuring everything in grams. It's not even close in terms of speed, convenience, _and_ accuracy.

Makes me sad that PureScript doesn't have more adoption, not that I'm surprised. It's orders of magnitude better than Elm and even improves upon Haskell in some meaningful ways (row polymorphism).

You learn something new every day huh!

This is not a direct response to the question of how laziness obviates the need for macros, but it mentions some specific relevant cases:

https://augustss.blogspot.com/2011/05/more-points-for-lazy-e...