solomonb

46 ms·

361.
by solomonb 3y ago
I did this back in highschool (so 1ate 90s). It was a really fun experience but I don't think I learned as much as I had hoped. I learned a lot about bootstrapping a system but not how to maintain it. It turns out package managers are
362.
by solomonb 3y ago
Your project is cool too! I haven't tried Lean yet but have done some similar formalization in Agda. I went with Haskell as my meta-language because I'm specifically trying to focus on language implementation rather then formal an
363.
by solomonb 3y ago
I've noticed amongst many peers that when going down the type theory/pl theory journey there is a ton of hidden knowledge and context we all find ourselves collecting which makes all it "click" and help produce more idio
364.
by solomonb 4y ago
The `do` block I showed is more like this: fn my_big_subroutine(ma: Option<isize>, mb: Option<isize>) -> Option<bool> { match (ma) { (Some(a)) => match (mb) {
365.
by solomonb 4y ago
This `do` syntax desugars to binds like: ma >>= \a -> mb >>= \b -> return (a > b) We can then inline the definition of `>>=` and `return` to get: case ma of Nothing -> Nothing Just a
366.
by solomonb 4y ago
The `Monad` instance for `Maybe` and `Either` is precisely for doing sequential computation! Consider the following: myBigSubroutine :: Maybe Int -> Maybe Int -> Maybe Bool myBigSubroutine ma mb = do a <- ma b
367.
by solomonb 4y ago
That is a bummer. I love that people actively repaint it but I wish they wouldn't dump their trash on site.
368.
by solomonb 4y ago
No one was suggesting rewriting anything in Haskell afaict..
369.
by solomonb 4y ago
I think they meant trivial in comparison to Haskell's type inference, which you had started off comparing against, not C++.
370.
by solomonb 4y ago
> I know, don't care, not good enough. It was a horrific mistake but its not like he went out and did it by himself. He had multiple other researchers and the government backing and implementing the plan. There has to be room in soc
371.
by solomonb 4y ago
The linked TED talk literally opens with this anecdote, his research into ruminant animal grazing was a giant mea culpa for how he handled those elephants, AND the subject article of this comment section is research affirming the benefit of
372.
by solomonb 4y ago
I think the idea would be to sink significant amounts of water and biomass into the desert and let it slowly develop into a prairie? You don't need fertilizer or pesticide and the parent poster was suggesting using nuclear to power the
373.
by solomonb 4y ago
> It's not about the quality of the painting, it's about who made it. I'm super pessimistic about the art world and I agree with you to some extent but I think what you are missing is that art/art history is a convers
374.
by solomonb 4y ago
I found the pacing on the show to be way too fast but I enjoyed it. Television and movies in general are afraid of moving slowly now-a-days. I think this is a big problem for most book-to-screen adaptations.
375.
by solomonb 4y ago
The key part of that sentence is "which were not considered of interest at the time". When Van Meegeren was working, the artistic zeitgeist was focused on exploring new concepts of abstraction and extended technique.
376.
by solomonb 4y ago
In the book ("The Forger's Spell") this article is based on, the author actually gives Van Meegeren quite a fair analysis. His personal artwork is criticized but he is given a tremendous amount of credit as a forger. Unfortun
377.
by solomonb 4y ago
Imagine being able to fine tune it to your specific code base as a sort of interactive docs tool.
378.
by solomonb 4y ago
I did this when I was a teenager. I think it took me about a week. I ran the system for a few months then moved on. It was a cool experience.
379.
by solomonb 4y ago
I thought this classic paper was highly relevant given the mass exodus from Twitter.
380.
Programming as Theory Building (1985) [pdf](algoritmos-iii.github.io)
3 points by solomonb 4y ago|1 comments
381.
by solomonb 4y ago
Comonadic User Interface design.
382.
by solomonb 4y ago
Has Jeremy Paxman since then reflected on this discussion publicly?
383.
by solomonb 4y ago
I'm happy for you finding resonance in art produced via stable diffusion and friends. However I must reject your claim that your experience of Autism gifts you with some sort of objective view of the world, art and aesthetics that allo
384.
by solomonb 4y ago
I took a class in college where the professor made us plagiarize our entire final paper. We couldn't use a single completely original sentence. The trick was that you had to highlight and source every plagarization. It turned out this
385.
by solomonb 4y ago
I agree 100%. I'm pretty surprised at the complete lack of discussion of the Exegesis.
386.
Free Monads Yield Extensible Effects(blog.cofree.coffee)
1 points by solomonb 4y ago|0 comments
387.
by solomonb 4y ago
I'm sorry, I know you put a lot of effort into this but I find it rather convoluted. I honestly think the best way to explain the Monad typeclass is by just showing the code. It really isn't that complex: instance Monad (Eit
388.
by solomonb 4y ago
> Moreover, anyone who reads your code must know all language constructs you are using or they are lost and can't fix any issue in your code. Does this not apply to every language ever?
389.
by solomonb 4y ago
IMO the metaphor is already getting too frayed at this point. I'm not opposed to metaphors in general, but metaphors are lot like abstractions. If you don't get the right one then the details leak everywhere and you may as well ha
390.
by solomonb 4y ago
No need for apologies! I 100% agree that the physical metaphor doesn't work and said so in another nearby comment. If you go back to Phil Wadler's original paper on implementing monads in haskell, he doesn't talk about catego

More ›