joachim-breitner.de: 11 stories from 6 submitters

  1. 14
    Pro-charity consulting finance philosophy practices joachim-breitner.de
    colindean avatar via colindean 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  2. 12
    Don’t think, just defunctionalize haskell plt joachim-breitner.de
    agent281 avatar via agent281 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 9
    Winter is coming even more quickly haskell wasm joachim-breitner.de
    raymii avatar via raymii 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  4. 10
    Lock-Step Simulation Is Child’s Play (2017) ☶ pdf games haskell networking joachim-breitner.de
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  5. 24
    The magic “Just do it” type class haskell joachim-breitner.de
    julienxx avatar via julienxx 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  6. 18
    Finding bugs in Haskell code by proving it formalmethods haskell joachim-breitner.de
    pushcx avatar via pushcx 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 7
    Proposal for less parentheses haskell joachim-breitner.de
    pushcx avatar via pushcx 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 1
    How is coinduction the dual of induction? compsci joachim-breitner.de
    pushcx avatar via pushcx 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 7
    veggies - Haskell Code Generation from Scratch compilers haskell programming joachim-breitner.de
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 9
    Why prove programs equivalent when your compiler can do that for you? haskell release joachim-breitner.de
    pushcx avatar via pushcx 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 11
    The Incredible Proof Machine haskell programming joachim-breitner.de
    pushcx avatar via pushcx 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments