Csaba Hruska

@csaba_hruska

I'm into compilers and pure functional programming. I'm doing Research & Development.

Vrijeme pridruživanja: kolovoz 2016.

Tweetovi

Blokirali ste korisnika/cu @csaba_hruska

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @csaba_hruska

  1. Prikvačeni tweet
    9. pro 2019.

    As a Haskell programmer are you interested in:

    Poništi
  2. 2. velj

    Have anyone studied/read the source code of the Intel Functional Language Research Compiler (FLRC)? Have you tried to use it?

    Poništi
  3. 1. velj

    For anyone dares to try out: This is quite raw. But I'm working on a better/cleaner solution to make GHC codegen/RTS reusable.

    Poništi
  4. 1. velj

    It seems that the simplest type system for GHC/STG is the following: newtype StgType = UnboxedTuple [PrimRep] data PrimRep = IntRep | WordRep | AddrRep | FloatRep | DoubleRep | LiftedRep | UnliftedRep In short everything is an unboxed tuple.

    Poništi
  5. 31. sij

    Would you like to see Haskell profiling data on the source code using heat map/color coding? i.e.

    Poništi
  6. proslijedio/la je Tweet
    23. sij

    I always do year end retrospective about , but decided to do a forward looking piece instead. Haskell Problems For a New Decade

    Poništi
  7. 23. sij
    Poništi
  8. 21. sij
    Poništi
  9. proslijedio/la je Tweet
    18. sij

    This is us but the book says Learn you a Haskell!

    Poništi
  10. proslijedio/la je Tweet
    16. sij

    Did some benchmarking: Preliminary takeaway is that modern JIT platforms suck at lambda calculus.

    Poništi
  11. 22. pro 2019.

    Finally I've fixed the Control Flow Analysis Datalog implementation. I wrote a unit test for each Datalog rule. The implementation is still unoptimized but it gets the correct result. It takes 14 seconds to complete the CFA for this program:

    Poništi
  12. 22. pro 2019.

    The next task I'll do is to feed back the whole program Lambda2/STG IR to GHC/STG and generate working executable with GHC's regular codegen backend and RTS.

    Poništi
  13. 16. pro 2019.

    Do you know any paper or compiler which mix defunctionalization and function pointers?

    Poništi
  14. 12. pro 2019.

    Today's GHC internals lesson. Some macros and symbols used in the RTS are generated by the "deriveConstants" tool. i.e.

    Poništi
  15. proslijedio/la je Tweet
    11. pro 2019.

    LLVM IR Tutorial: Phis, GEPs and other things

    Poništi
  16. 7. pro 2019.

    Datalog has similar programming experience as Python. You need 100% test coverage to trust your code and to make it work.

    Poništi
  17. proslijedio/la je Tweet
    24. stu 2019.

    Released first version of souffle-haskell library for integrating Soufflé into 🚀

    Poništi
  18. proslijedio/la je Tweet
    21. stu 2019.

    Great Haskell talk next week in London about on GRIN and abstract interpretation by .

    Poništi
  19. 19. stu 2019.

    An excellent overview of the Glasgow Haskell Compiler architecture:

    Poništi
  20. 16. stu 2019.

    Hello world program for Intel Labs Haskell Research Compiler IR (MIL)

    Poništi

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·