Twitter | Pretraživanje | |
Sebastian Graf
Talk to me about Haskell, GHC, general CS or my trumpet
174
Tweetovi
153
Pratim
92
Osobe koje vas prate
Tweetovi
Sebastian Graf 8 h
Odgovor korisniku/ci @acid2
I use it on Ubuntu and NixOS, and am able to mostly share my configurations. I find it quite indispensible. There's nearly no app config going on in my NixOS config.
Reply Retweet Označi sa "sviđa mi se"
Sebastian Graf 30. sij
Odgovor korisniku/ci @Iceland_jack
Did you mean type UType :: Type type UType = TYPE (BoxedRep Unlifted) ? Hmm. That might be useful, at least for pretty-printing purposes...
Reply Retweet Označi sa "sviđa mi se"
Sebastian Graf 30. sij
My first GHC proposal just got accepted 🎉
Reply Retweet Označi sa "sviđa mi se"
Sebastian Graf 10. sij
Odgovor korisniku/ci @sgraf1337
Meanwhile I had success with fixing typos, Darwin is green! This is the glorious diff: That's it, I'll go home crying for the rest of the weekend
Reply Retweet Označi sa "sviđa mi se"
Sebastian Graf 10. sij
Odgovor korisniku/ci @_osa1
There should be a summary listing the increases since the last release, though, so that after ~2000 intermediate commits we can have an informed decision whether a particular increase was problematic.
Reply Retweet Označi sa "sviđa mi se"
Sebastian Graf 10. sij
Odgovor korisniku/ci @_osa1
I'm not opposed to updating perf tests in commit messages. Sometimes there are increases caused by a bug fix that crucially needs to do more because of correctness. And performance should never be a reason to reject correctness.
Reply Retweet Označi sa "sviđa mi se"
Sebastian Graf 10. sij
Odgovor korisniku/ci @sgraf1337
Nothing left but to hunt for typos in comments to fix GHC's compilation performance
Reply Retweet Označi sa "sviđa mi se"
Sebastian Graf 10. sij
> Spents his day trying to understand a CI regression on Darwin > Finds this commit > 😭
Reply Retweet Označi sa "sviđa mi se"
Sebastian Graf proslijedio/la je tweet
Bodie Ashton 1. sij
I want to give some perspective for people not from Australia. More Aussie land is currently burning than exists in the entire country of Belgium. The smoke is causing breathing problems in New Zealand, 2,000km away. Half a billion animals have been killed. Eight people are dead.
Reply Retweet Označi sa "sviđa mi se"
Sebastian Graf proslijedio/la je tweet
Jasper Van der Jeugt 29. pro
Alan Kay did not have C++ in mind when he coined "Object Oriented Programming"; just like Larry Tesler did not have Go in mind when he introduced "Copy and Paste"
Reply Retweet Označi sa "sviđa mi se"
Sebastian Graf 28. pro
Odgovor korisniku/ci @BartoszMilewski @Iceland_jack
He said he wanted to think about properly unifying the two notions in Core before we have to do so anyway in the Dependent Haskell work.
Reply Retweet Označi sa "sviđa mi se"
Sebastian Graf 28. pro
Odgovor korisniku/ci @BartoszMilewski @Iceland_jack
In particular, Simon told me that both the work on matchability polymorphism and the call-by-need arrows from need to introduce new arrows. One on the type-level and one on the kind-level. 1/
Reply Retweet Označi sa "sviđa mi se"
Sebastian Graf 28. pro
Odgovor korisniku/ci @BartoszMilewski @Iceland_jack
I think this is a "solved problem" since this year's ICFP. See section 5.1.2 in . Although it's not clear how to integrate matchability polymorphism into GHC in a way that isn't confusing for newcomers. And I don't know how it affects coherence.
Reply Retweet Označi sa "sviđa mi se"
Sebastian Graf 23. pro
Odgovor korisniku/ci @derKha
oops
Reply Retweet Označi sa "sviđa mi se"
Sebastian Graf 13. pro
Odgovor korisniku/ci @typeswitch
Ah right 😅 I was sure I had missed something
Reply Retweet Označi sa "sviđa mi se"
Sebastian Graf 13. pro
Odgovor korisniku/ci @typeswitch
data T a = T { unT :: T a -> a } sentence :: T a sentence = T (\antecedent -> unT antecedent sentence) everythingIsFine :: a everythingIsFine = unT sentence sentence
Reply Retweet Označi sa "sviđa mi se"
Sebastian Graf 12. pro
Random idea: awk to VHDL compiler
Reply Retweet Označi sa "sviđa mi se"
Sebastian Graf proslijedio/la je tweet
Grant Sanderson 6. pro
Remember that video about how block collisions can compute the digits of pi? A friend, Adam Brown, just showed that the math underlying this is actually identical to the math behind a very famous quantum search algorithm (Grover's): Genuinely crazy!
Reply Retweet Označi sa "sviđa mi se"
Sebastian Graf proslijedio/la je tweet
radioeins 27. stu
Für jeden Retweet pflanzen wir einen Baum! 🌳🌳🌳
Reply Retweet Označi sa "sviđa mi se"
Sebastian Graf 23. stu
Odgovor korisniku/ci @AndreasK_Tweets @Iceland_jack @EyalL
We definitely should lift the restriction on unlifted top-level bindings. Those with normal forms as RHS are perfectly fine. Everything else needs "module initialisers", which are just thunks in disguise.
Reply Retweet Označi sa "sviđa mi se"