Joseph Morag

@DeSiuuuuu Lauren says you need it

i don’t need it i don’t need it i don’t need it i don’t need it i don’t need it i don’t need it i don’t need it i don’t need it i don’t need it i don’t need it i don’t need it i don’t need it i don’t need it i don’t need it i don’t need it i don’t need it i don’t need it i don’t

Joseph Morag @MoragJoseph combined his two passions: violin and Haskell. Learn more about his OpenStrings, an expert-system style inference engine written in Haskell for fingerings. youtu.be/FSI4yBQnW9g

@TechnoEmpress @BanjoTragedy We need to get around to releasing our library but this blog does something pretty similar blog.jle.im/entry/functor-…

@TechnoEmpress @BanjoTragedy That is exactly how we use them

@cdparx Wow wow wow

@BartoszMilewski @adamfisk @getlantern is already working in that space and has been doing so very effectively for years

@BartoszMilewski CC @adamfisk

I hear that people in Russia lost access to VPN because they can't use credit cards to pay for it. This is bad. Is there a non-profit organization that would offer free VPN to people living under dictatorships? ...

@cdparx Congrats! I'm going to be starting on the same team (unless there's another haskell compiler team at crowdstrike I don't know about) in March as well. Looking forward to working together!

@MChrisRiley @blakereid You're going to hate this, but I put sour cream on pancakes waffles and French toast

@haskellweekly Honored to be in this one, congrats!!

💯💯💯 Issue 300 of the #Haskell Weekly newsletter is out now! haskellweekly.news/issue/300.html

blog.josephmorag.com/posts/databass… new Databass post!

@TechnoEmpress @RaeHaskell I came across this when defining type level intersection for joins in blog.josephmorag.com/posts/databass…. @trupill's suggestion to use an auxiliary family is what I wound up doing and possibly the only workaround in current ghc.

I've been trying to get added to the uploaders' group on @Hackage so I can release some packages, but the hackage-trustees at hackage.org email appears to be down. Anyone know what can be done?

@ChShersh I wanted to redo my thesis defense talk for a wider audience. @_haskellove was great for that.

📽️ I gave 12 talks in total at various meetups and conferences. But I never really asked myself "why?" and "what was the point in all this?" So I wonder, what has speaking at conferences given you? 🧑‍💼

Databass part 2, even more bass blog.josephmorag.com/posts/databass…

@luctielen I came across this as well in blog.josephmorag.com/posts/mcc4/. Calling `verify` performs much stricter tests than llc by default.

Trying to compile >1k #llvm IR instructions generated by llvm-hs (godbolt.org/z/7h3aae5b9) llc: compiles! directly with llvm-hs: assert about invalid compare instruction (mismatching types) 🤯

Databass part 1, queries blog.josephmorag.com/posts/databass…

@vamchale I left it open overnight once and it got all the way to 60GB

messenger was using 3GB of memory on monterey

@runarorama nota-lang.org has something kind of like this

Mathematical texts would be a lot easier to read if there were a good way to tag newly introduced terms to disambiguate between: 1. We assume you know what this is. 2. We are about to tell you what this is. 3. This is literally the definition.

@bbatsov Ah, sad to hear. I just read the series over quarantine and was excited to get into the show 😢

I've waited 25 years for a TV adaptation of "The Wheel of Time" and now that I finally got one I prefer that I had waited even longer instead. The show is a complete disaster - cheaply produced, poor screenplay, poor acting, doesn't have the spirit of the books.