Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @ZoltanAK
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @ZoltanAK
-
Well, literally thousands of developers toiled for decades, building complex tools and frameworks in an attempt to make it the hardest. It would be a total embarrassment if they hadn't succeeded after putting in that much effort.https://twitter.com/TheAmyCode/status/1223371743609290752 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Marie Kondo: if your tools don't spark joy, don't obsess over them, but throw them out. Pascal Precht: an entire book about rebasing in Git.https://rebase-book.com/
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
⊢ , ¬ proslijedio/la je Tweet
Alexander demonstrated how to publish a reproducible
@gap_system experiment: see the example by@AVBorovik and Şükrü Yalçınkaya at https://github.com/sukru-yalcinkaya/unipoly … and a template with instructions athttps://github.com/rse-standrewscs/gap-binder-template/ …Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
⊢ , ¬ proslijedio/la je Tweet
I am recruiting PhD students, particularly for projects on graphs, network games, and modelling/optimisation with agricultural data. Applications are due very soon - Jan 31 - and must include a research proposal. Contact me to discuss proposals! https://www.gla.ac.uk/schools/computing/postgraduateresearch/prospectivestudents/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
It's just like Y2K, alarmism and hysteria all over again. I didn't install any so-called "Y2K patch", and guess what, my computer kept working just fine. Anyway, I'll quit ranting, have a happy 1920 everyone!
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I know that royal families are rather closely knit, but the Queen of Australia looks nigh-identical to the Queen of the United Kingdom. Seriously, check it out; they could be twins. Crazy!
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
What conclusion should I draw from the fact that some of the smartest people I know have depression? (a) my Facebook balloon is too large (b) I should become depressed too (c) it's a statistical anomaly (d) something else? ;)https://twitter.com/andrejbauer/status/1209118920554270720 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I'm happy for you Mr. Ridley. It was pretty shit for the rest of us, though.https://twitter.com/mattwridley/status/1207579571375296513 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Git has a beautiful graph theory model in the same sense that Pong has a sophisticated physics engine.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
⊢ , ¬ proslijedio/la je Tweet
The thick smoke in Sydney today, versus a normal day
#sydneysmoke#NSWfires#NSWbushfirespic.twitter.com/XzBB52VYM9
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
⊢ , ¬ proslijedio/la je Tweet
Please RT
@AaronBastani fella, they not only muted the laughter. The searched the show for the line "absolutely vital" from a different question and used a more confident clip. His phrasing is different. This is a MAJOR scandal.#bbcqtpic.twitter.com/5Q4iBlPOht
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Fallout 5: Sydney is great. Time to buy a gas mask, though.pic.twitter.com/ZtYEYmKtVD
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
A no-strings-attached Brexit Rehearsal. Brilliant!https://twitter.com/trannosaurusma/status/1172111564306079744 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
1. The (atrocious) Agda proofs accompanying my PhD thesis, "Development of Algebra in Internal Set Theory", are now available:https://github.com/zaklogician/agda-ist-algebra …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
And that's one reason why I don't want to hear the "someone who has a long-term investment in the country" argument for monarchy ever again. If the position of Head of State is hereditary, the HoS will optimize for "most income over least responsibility".
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
In most European democracies, the Head of State would have had the ability to deny the Executive's request to undertake an unusual and fishy course of action.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Reminder: in a country without a constitution, every crisis becomes a constitutional crisis.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
"It follows by a standard argument" - but the only reference I can give you treats semilattices instead of groups, and does only 2 of the 16 possible cases.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Clarification: I mean rules for "data types", not dependent function types.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Please ELI5 what (if anything) goes wrong if we give the type introduction/elimination rules in Martin-Löf type theory as axioms (infer G |- nat-ind : ...) instead of inference rules (if G,x:N |- ... and ... and ... then infer G |- nat-ind P z s t : P[t/x]).
Prikaži ovu nitHvala. 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.