Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
Blokirali ste korisnika/cu @Potato4x4
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @Potato4x4
-
Nat carroll proslijedio/la je Tweet
Please stop moving open source support to Discord, Slack, and other fora that don't have indexed, linkable archives. We're going to regret the walled gardens we're building in exchange for a shinier UI.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nat carroll proslijedio/la je Tweet
Cubical Agda- A Dependently Typed Programming Language with Univalence and Higher Inductive Types Andrea Vezzosi , Anders Mörtberg, and Andreas Abel 2019 preprint http://www.cs.cmu.edu/~amoertbe/papers/cubicalagda.pdf …pic.twitter.com/NYO2hrCkYg
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nat carroll proslijedio/la je Tweet
nice, google hijacked right-click so i can't open emails in a new tab anymore, useless fuck of a website
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nat carroll proslijedio/la je Tweet
in a world first, Vaxei has shattered the boundaries of all that was thought possible and achieved osu!'s first 1000pp+ score. words do not adequately address the enormity of this feat. so, we will spam instead. SHUDHNSJDNBSHJDJKSDKJLH https://osu.ppy.sh/users/4787150 pic.twitter.com/kXMRys2OVc
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nat carroll proslijedio/la je Tweet
There is now a fully formalised proof of the independence of the Continuum Hypothesis from ZFC in Lean https://github.com/flypitch/flypitch/releases …https://flypitch.github.io/
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nat carroll proslijedio/la je Tweet
PSA to high school teachers and anyone who wants to read a scientific paper: Many authors have a free copy of the paper on their personal web page. If that fails, email authors! Most would love to give you a copy. Don't give up or pay if Google doesn't find you a free copy!
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nat carroll proslijedio/la je Tweet
I'm very glad to announce the release of Agda 2.6.0, introducing cubical agda, automatic variable generalization, a new Prop universe, an overhaul of instance seach and many other new features and a gazillion bugfixes. Enjoy! https://hackage.haskell.org/package/Agda-2.6.0/changelog …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Verifying myself: I am 44potato44 on http://Keybase.io . LIU0dZ3QJGi0yx1eEr7Lqvac9VqGamDKnCaT / https://keybase.io/44potato44/sigs/LIU0dZ3QJGi0yx1eEr7Lqvac9VqGamDKnCaT …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nat carroll proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Nat carroll proslijedio/la je Tweet
TIO now hosts exactly 600 programming languages. https://tio.run
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nat carroll proslijedio/la je Tweet
#AdventOfCode day 12 (star 1) in Befunge, an esoteric programming language with a two-dimensional execution model. (I then used Python and a calculator to solve the more… philosophical second task!)pic.twitter.com/lL6vZWoDonPrikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nat carroll proslijedio/la je Tweet
GHC 8.6.1 has at long last been released! Happy
#Haskell compiling. https://ghc.haskell.org/trac/ghc/blog/ghc-8.6.1-released …Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nat carroll proslijedio/la je Tweet
Coworker bought a new scope and, well, you all knew this was going to happen didn't you.pic.twitter.com/UVXQI7QHFU
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nat carroll proslijedio/la je Tweet
yea, watching anime from an osu beatmap is pretty groundbreaking, but have you ever watched a movie from your file explorer window? there's a reason why i have 3000 iqpic.twitter.com/AC2nRNJsr0
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nat carroll proslijedio/la je Tweet
VOCALOID5が本日発売! 特徴 ・Win / Mac、VST / AU対応 ・4ボイスバンク同梱 ・カスタム可能なフレーズ1,000個 ・歌唱スタイル100種 ・抑揚を簡単設定 アタック&リリースエフェクト ・新インターフェイス などここでは語りきれません。 日本語デモ含む詳細はこちら ▶︎ https://vocaloid.com/ pic.twitter.com/ovLoVx9KvY
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nat carroll proslijedio/la je Tweet
#Haskell, good explanation of#Functor (map output)#Contravariant (input)#Profunctor (input & output) https://news.ycombinator.com/item?id=17372644 …pic.twitter.com/620qf2TFVr
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nat carroll proslijedio/la je Tweet
#QuantifiedConstraints has been merged to GHC master; just in time for GHC 8.6#haskell#fancytypesHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nat carroll proslijedio/la je Tweet
I hope we can get beyond this stereotype someday. putStrLn "Hello, world!" is really not that bad! We need to stop toting Haskell as a "smart people only" language. It's really not, and I'd love to see it become more accepted! This ideology doesn't help!https://twitter.com/zacaj_/status/996214398812377088 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nat carroll proslijedio/la je Tweet
Twitch Haskell Q&A Session complete. Part 1: https://www.twitch.tv/videos/258496567 … Part 2: https://www.twitch.tv/videos/258498474 … (4 hours. 1 hiccup.) Fancy intro worked! Lots of folks on discord this time. New sketch-cam got put to use. Alas, my color balance made me look like I had a terrible sunburn.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nat carroll proslijedio/la je Tweet
TIO now hosts exactly 500 programming languages. https://tio.run
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.