Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @curry_club_aux
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @curry_club_aux
-
Curry Club Augsburg proslijedio/la je Tweet
Fünfter großer Haskell-Workshop des Curry Clubs Augsburg am 21. Dezember 2019 im
@OpenLabAugsburg https://curry-club-augsburg.de/posts/2019-12-11-fuenfter-workshop.html …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Curry Club Augsburg proslijedio/la je Tweet
Part II der Vortragsreihe zum Thema Nachhaltigkeit: Ernährung und Nahrungsmittelerzeugung! Diesen Freitag um 19:00 Uhr im Lab. Bitte kurz ankündigen, wenn ihr vorbei schauen wollt!pic.twitter.com/CytywViMy1
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Curry Club Augsburg proslijedio/la je Tweet
Munich Lambda Meetup. Introduction to Theorem Proving with Isabelle/HOLhttps://www.meetup.com/de-DE/Munich-Lambda/events/265907520/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Curry Club Augsburg proslijedio/la je Tweet
Ormolu: a new approach to formatting Haskell goes from vapourware to beta release. Check out the blog post that explains it all!https://www.tweag.io/posts/2019-10-11-ormolu-first-release.html …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Curry Club Augsburg proslijedio/la je Tweet
Hello World! Es tut sich was im Lab, schaut doch mal auf unserem Blog (https://openlab-augsburg.de/blog/ ) und Terminkalender (https://openlab-augsburg.de/veranstaltungen/ …) vorbei, und erfahrt, was in nächster Zeit so ansteht! Stay tuned for more events to come...pic.twitter.com/VEsNlZcfkf
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Curry Club Augsburg proslijedio/la je Tweet
New book: Haskell from the Very Beginninghttps://www.amazon.com/dp/095767113X/
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Curry Club Augsburg proslijedio/la je Tweet
Saw this just now: "The two lists should be the same length. If they are not, an exception is thrown." There's a better way. Instead of asking for two lists, ask for one list of tuples. Then you're guaranteed that the precondition is checked at the call site.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Curry Club Augsburg proslijedio/la je Tweet
Today I woke up and realized the company that built the apartments next door left hundreds of visual proofs that (a+b)² = a²+2ab+b² hidden on the windows!pic.twitter.com/eK9NqptfCs
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Curry Club Augsburg proslijedio/la je Tweet
Dhall assertions can compare arbitrary expressions, even functions, and you get a syntactic diff if the function comparison failspic.twitter.com/ChvJYAZLM0
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Curry Club Augsburg proslijedio/la je Tweet
P is for Prelude, partial and problematic Q is for Data.Queue, for ordering automatic
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Curry Club Augsburg proslijedio/la je Tweet
We are hiring for a Haskell/PureScript position at KSF Media in Helsinki!

Full details here: https://www.reddit.com/r/haskell/comments/d4yg86/job_ksf_media_is_hiring/ …
I have open DMs so feel free to send questions over, and please RT for visibility
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Curry Club Augsburg proslijedio/la je Tweet
Version 1.26.0 of the Haskell implementation of Dhall is out:
Standard version 10.0.0
`dhall format` preserves `let`-related comments!
Marshal recursive Dhall types into Haskell
Some performance regressions (Fix in progress)
For more details:https://github.com/dhall-lang/dhall-haskell/releases/tag/1.26.0 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Curry Club Augsburg proslijedio/la je Tweet
2019 and we already have a robust dependently typed total/normalizing configuration language with first class modules :Ohttps://twitter.com/GabrielG439/status/1172193153891405824 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Curry Club Augsburg proslijedio/la je Tweet
Today, I published my first
#haskell library on Hackage. I wanna thank@mstk for all his tireless help, and answers to all my (oddly-phrased and timed) questions, without which this would not have been possible.https://hackage.haskell.org/package/finitary-0.1.0.0 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Curry Club Augsburg proslijedio/la je Tweet
MuniHac 2019 keynotes are/will be at https://www.youtube.com/playlist?list=PLxxF72uPfQVRdAsvj7THoys-nVj-oc4Ss … The first two keynotes by
@ndm_haskell and@nomeata are already available.Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Curry Club Augsburg proslijedio/la je Tweet
tl;dr strong typing lets you move a lot of the knowledge about the structure of a program from your brain to the code/compiler. weak typing lets you do crazy shit but you have to keep the invariants in mind at all times - and I'm not smart enough to do that.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Curry Club Augsburg proslijedio/la je Tweet
I don't dislike weak typing because I'm smart btw I dislike weak typing because I'm dumb, and I make lots of mistakes, and I would like some help - please, oh god help - catching them as soon as possible
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Curry Club Augsburg proslijedio/la je Tweet
A very general method of computing shortest paths. ~ Russell O’Connor. http://r6.ca/blog/20110808T035622Z.html …
#Haskell#FunctionalProgrammingHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Curry Club Augsburg proslijedio/la je Tweet
If I give another talk, I wanna make it about dispelling the myth that type systems and compilers constrain your creativity and prevent tinkering and force you down some narrow path My compiler is *what lets me* play fast and loose and try different ideas with fast feedback!
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Curry Club Augsburg proslijedio/la je Tweet
Do you like
Nix?
Rust?
Interested working on my team at @tweagio? I'm looking for:
Senior Engineer
Remote (or
Paris based)
TZ compatible with eastern US & western/central EU
Email me with your resume/CV: graham.christensen@tweag.ioHvala. 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.