Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @etorreborre
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @etorreborre
-
etorreborre proslijedio/la je Tweet
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.https://jacobstanley.io/how-to-use-hedgehog-to-test-a-real-world-large-scale-stateful-app/ …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
etorreborre proslijedio/la je Tweet
I wrote some thoughts on software performance: https://blog.nelhage.com/post/reflections-on-performance/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
etorreborre proslijedio/la je Tweet
Maintenance day, including: * Shake: Release for Ghcide,
@StackOverflow 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!Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
etorreborre proslijedio/la je Tweet
Nix master does this automatically now
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
etorreborre proslijedio/la je Tweet
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 () ahttps://twitter.com/_bolt12/status/1223595721888292874 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
etorreborre proslijedio/la je Tweet
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
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
etorreborre proslijedio/la je Tweet
I've started migrating
@typelevel builds over to GitHub actions. Want to help? Please fill PRs like this one:https://github.com/typelevel/claimant/pull/51 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
etorreborre proslijedio/la je Tweet
"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.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
etorreborre proslijedio/la je Tweet
Synthesizing Loop-Free Programs with Rust and Z3 https://fitzgeraldnick.com/2020/01/13/synthesizing-loop-free-programs.html …
#RustlangHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
etorreborre proslijedio/la je Tweet
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!https://github.com/ChrisPenner/lens-csv …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
etorreborre proslijedio/la je Tweet
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 nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
etorreborre 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.https://twitter.com/dbrady/status/1222570964023676929 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
etorreborre proslijedio/la je Tweet
Sorry
#haskell 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 nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
etorreborre proslijedio/la je Tweet
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.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
A new testing library for
#scala! https://scalameta.org/munit/blog/2020/02/01/hello-world.html … (by@olafurpg)Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
etorreborre proslijedio/la je Tweet
Strict data and lazy functions is the default you should be using for all production Haskell code.https://jacobstanley.io/help-my-haskell-program-consumes-more-memory-the-longer-it-runs …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
etorreborre proslijedio/la je Tweet
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.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
If anyone has mad design skills and want to help the
#specs2 web site render better on mobiles, here's an issue for you :-):https://github.com/etorreborre/specs2/issues/801 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
etorreborre proslijedio/la je Tweet
.
@hvrgnu 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.Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
etorreborre proslijedio/la je Tweet
getting ready for Scala 2.12.11 and 2.13.2 releases in February:https://contributors.scala-lang.org/t/coming-soon-scala-2-12-11-scala-2-13-2/4003 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoniš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.