Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @EremondiJoey
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @EremondiJoey
-
Prikvačeni tweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Joey Eremondi proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Joey Eremondi proslijedio/la je Tweet
I tell people to stop worrying about futuristic runaway smart AI, because it's stupid current AI that will kill us, this is what I mean. Someone bought a product that *literally* text-matched the word "charity" as 'good' and "vodka" as 'bad' and is making hiring choices with it.https://twitter.com/kmlefranc/status/1221869659139366912 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Joey Eremondi proslijedio/la je Tweet
grad school visits are coming up in a couple weeks (usually in March), learn what they're all about in my blog post: https://koronkevi.ch/posts/grad-school-visits.html …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Joey Eremondi proslijedio/la je Tweet
Universities: Need help? Use our mental health services! The services: -A golden retriever comes to the library once a week -There's one therapist on the campus of 40,000 students -There are bathroom stalls you can cry in for free!
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Joey Eremondi proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Joey Eremondi 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 -
Joey Eremondi proslijedio/la je Tweet
It’s
#MuleMonday and the start of Label Week! Today we got 1,000 FREE label orders to give away! To enter to win: 1) RT or reply to this tweet 2) Follow us so we can DM you Ends Wednesday at 10PM EST. Tag a friend for bonus points.Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Joey Eremondi proslijedio/la je Tweet
Uh this emacs region undo thing is kinda blowing my mind. I had no idea!pic.twitter.com/WWYbZtNIM4
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Joey Eremondi proslijedio/la je Tweet
US: our roads are all gridlocked with cars, how do we fix this? Japan: trains! Netherlands: bikes! Colombia: buses! US: MORE CARS but they drive themselves!
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Does anyone know if there's an equivalent of a General Recursion monad that lets you do Set:Set or Non-strictly-positive datatypes?https://cstheory.stackexchange.com/questions/46223/setset-or-negative-inductives-in-a-total-language …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
When you see a notification that someone cited your paper, but it was your co-authors:pic.twitter.com/NQHMk5TtVy
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Joey Eremondi proslijedio/la je Tweet
10 Ways You Can Talk About Unsafe Code Without Creating An Unsafe Work Environment
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Joey Eremondi proslijedio/la je Tweet
It's a sad day for
#rustlang: actix-web is dead. I am not feeling very good about our community today.https://words.steveklabnik.com/a-sad-day-for-rust …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
On a related note, does anyone know of good Agda libraries for dealing with Galois Connections?
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Is this an instance of (or similar to) a known structure? And does it tell us anything about the relationship between the Q_i's?
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Okay PL/CT twitter, is this a thing that exists? There's pairs of posets (P_i , Q_i) where there's a Galois Connection between each pair. Additionally, you've got a partial order on the P_i's where whenever P_i <= P_j there's a Galois Connection between P_i and P_j.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Joey Eremondi proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Joey Eremondi proslijedio/la je Tweet
I'm collecting information for my thesis can you let me know if you have benefited from
#DerivingVia or :instances? (https://ghc.gitlab.haskell.org/ghc/doc/users_guide/ghci.html#ghci-cmd-:instances …) Thanks!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.