etorreborre

@etorreborre

Haskell / Scala developer (author of the specs2 library)

Berlin, Germany
Vrijeme pridruživanja: svibanj 2008.

Tweetovi

Blokirali ste korisnika/cu @etorreborre

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

  1. proslijedio/la je Tweet
    prije 10 sati

    If you've ever tried to test a stateful app in QuickCheck, Hedgehog or any other property-based testing library you'll know it can be seriously difficult! Check out this tutorial for a simple way to test stateful apps using Hedgehog.

    Prikaži ovu nit
    Poništi
  2. proslijedio/la je Tweet
    prije 21 sat

    I wrote some thoughts on software performance:

    Poništi
  3. proslijedio/la je Tweet
    2. velj

    Maintenance day, including: * Shake: Release for Ghcide, questions * HLint: Release, library upgrades, reviewing * Ghcide: GHC 8.6.4 compat, fixing tests, progress msg * Hoogle: Word16 overflow, JSON queries * Ghcid: ... Maintaining open source is a lot of work!

    Poništi
  4. proslijedio/la je Tweet
    prije 21 sat
    Odgovor korisniku/ci

    Nix master does this automatically now 😄

    Poništi
  5. proslijedio/la je Tweet
    prije 22 sata

    Remember selective functors? Here they show up in the context of probabilistic programming where select :: f (Either a b) -> f (a -> b) -> f b turns into Dist (Either a b) -> Matrix Prob a b -> Dist b Here Dist is a vector i.e. 1-dimensional matrix: Dist a ~ Matrix Prob () a

    Prikaži ovu nit
    Poništi
  6. proslijedio/la je Tweet
    prije 23 sata

    Nix tip: Working with spotty internet connection? Pass the "--fallback" flag to nix-build, nix-env, nix-shell, etc. to have nix build from source when downloading fails. Working on the plane with no internet? Use: --option substituters "" to disable cache downloading altogether

    Poništi
  7. proslijedio/la je Tweet
    2. velj

    I've started migrating builds over to GitHub actions. Want to help? Please fill PRs like this one:

    Poništi
  8. proslijedio/la je Tweet
    1. velj

    "Haskell is reliable because of its advanced type system" misses half the story. The other half is Haskell's support for (rather, insistence on) expression-oriented programming. When you're doing mostly statement-oriented programming, a fabulous type system does you little good.

    Poništi
  9. proslijedio/la je Tweet
    2. velj
    Poništi
  10. proslijedio/la je Tweet
    2. velj

    Just launched 'lens-csv'; an optics library for manipulating and querying CSVs! It's a pretty natural operation and basically gives you a simple query and mutation language; effectively SQL for CSVs but as optics!

    Poništi
  11. proslijedio/la je Tweet
    1. velj

    I'm not sure how many people appreciate just how much of a maintenance challenge Windows represents for many open-source projects. Before I started working on GHC I had assumed it was bad. However, now I know; no, it's much much worse.

    Prikaži ovu nit
    Poništi
  12. proslijedio/la je Tweet

    I like leaving positive comments in code reviews. Even simple things like "I really like how you did ____" or "good use of the ___ operator." Humans need feedback, especially positive feedback. And it makes you not just look for problems when reviewing code.

    Prikaži ovu nit
    Poništi
  13. proslijedio/la je Tweet
    31. sij

    Sorry community, I feel like I have failed you. My team will be discussing which tools they want to migrate to instead over the next few weeks, minus my highly opinionated position on it all 😢

    Prikaži ovu nit
    Poništi
  14. proslijedio/la je Tweet
    1. velj
    Odgovor korisnicima

    More generally: a feature (like generics) shouldn’t require an optimization that carries drastic costs in compile time performance. It should work efficiently and then, optionally, monomorphism should be available as an optimization.

    Poništi
  15. 1. velj
    Poništi
  16. proslijedio/la je Tweet
    29. sij

    Strict data and lazy functions is the default you should be using for all production Haskell code.

    Poništi
  17. proslijedio/la je Tweet
    29. sij
    Odgovor korisnicima

    It means that every field in your data type is strict, even the spine. Lazy functions are already the default so you don't need to do anything there. the tl;dr is just enable StrictData and GHC will do the rest.

    Poništi
  18. 1. velj

    If anyone has mad design skills and want to help the web site render better on mobiles, here's an issue for you :-):

    Poništi
  19. proslijedio/la je Tweet
    1. velj
    Odgovor korisniku/ci

    . used it to compute routes and fares for folks from point A to point B on a train system. If I recall the story correctly, the company then spent several years trying in earnest to pay consultants to port that code out of Haskell LogicT code and into Java, unsuccessfully.

    Poništi
  20. proslijedio/la je Tweet
    31. sij

    getting ready for Scala 2.12.11 and 2.13.2 releases in February:

    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:

    ·