Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @acid2
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @acid2
-
Prikvačeni tweet
I am putting my text editor to its fullest possible use, which is all I think that any conscious entity can ever hope to do.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
ollie proslijedio/la je Tweet
Normalisation, how to do it fast for the untyped lambda-calculus by means of evaluation, and why we care (together with some of the required type theory/PLT background): first of a series, hopefully. Feel free to yell at me in replies about mistakes etc!http://colimit.net/posts/normalisation-by-evaluation/ …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Thanks all who replied here - the tl;dr seems to be yes, go try it out!https://twitter.com/acid2/status/1223609411798736896 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
ollie 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 -
ollie proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
ollie proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
ollie proslijedio/la je Tweet
With home-manager I can make myself at home on such a machine by simply `git clone https://git.smart-cactus.org/ben/ben-env
$HOME/.env` and running `home-manager build`. Log-out and log back in and I can go on my merry way, forgetting I'm even on a foreign machine.Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Should I learn home-manager? Anyone else using it?
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
ollie proslijedio/la je Tweet
and it looks like 'haskell-language-server' is the clear outlier at 44 votes vs 7 for nearest alternative. So this is going to happen.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
ollie proslijedio/la je Tweet
Bikeshedding time. We are voting on a name for the merged haskell lsp server, between haskell-ide, haskell-lsp-server and haskell-language-server. Voting happens herehttps://github.com/haskell/ide/issues/29#issuecomment-580747082 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
ollie proslijedio/la je Tweet
Meet our new creation — Policeman — your PVP adviser
Struggling with assigning the new version numbers to your Haskell packages? Worry no more
Policeman is here to help with this process!
Read more about the tool in our blog post:https://kowainik.github.io/posts/policeman-bristol …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
ollie proslijedio/la je Tweet
Twice a year, I read the comments on https://www.clever-cloud.com/blog/engineering/2015/05/20/why-auto-increment-is-a-terrible-idea/ … people are still mad at me.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
ollie proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
ollie proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
ollie proslijedio/la je Tweet
Wrote a novel about injectivity and ambiguity with fused-effects this morning:https://github.com/fused-effects/fused-effects/issues/350#issuecomment-579335069 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
ollie proslijedio/la je Tweet
For a while I've been thinking: "Wouldn't it be great if our code editors were a bit more proactive and smart?"
So dusted off my Splash-based Swift editor prototype and built a feature that automatically generates models based on how they're being used. What do you think?
pic.twitter.com/D6tndo4quCPrikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
ollie proslijedio/la je Tweet
Last call to complete the Dhall survey before I summarize this year's feedbackhttps://twitter.com/GabrielG439/status/1213955303294689281 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
ollie proslijedio/la je Tweet
Haskell-ide-engine and Ghcide teams are joining forces to work on a single Haskell IDE. See https://neilmitchell.blogspot.com/2020/01/one-haskell-ide-to-rule-them-all.html … for details. With
@cocreature,@alan_zimm and many contributors from both sides.Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
ollie proslijedio/la je Tweet
You can now generate Haskell types from Dhall types using Template Haskell. This helps when you want to keep the Dhall type as the source of truth (similar to how most IDLs work)pic.twitter.com/6X3xUIiXOf
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
ollie proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
ollie proslijedio/la je Tweet
[ann] I wrote a zsh completion for cabal command which discovers cabal components and pkg specs.https://github.com/coot/zsh-cabal
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.