Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @subttle
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @subttle
-
Prikvačeni tweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Some notes on group theory: https://crypto.stanford.edu/pbc/notes/group/ …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Alonzo C-137 proslijedio/la je Tweet
An adjunction is a way to relate two objects a and c, but not directly: C(a,c) Instead, we get two maps, (L)eft and (R)ight, which allow to relate them: C(L(a),c) <=> A(a,R(c)) 1/n
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Alonzo C-137 proslijedio/la je Tweet
Here's an erroneous opinion: that mathematicians should spend time formalising undergraduate math. That's like telling computer scientists to improve Excel spreadsheets. Instead, we should make it easy to formalise math, so that undergraduates can formalise undergraduate math.
Hvala. 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
-
HOW MANY TIMES A WEEK MUST ONE WAKE TO THE SAME CAR ALARM THEY FELL ASLEEP TO BEFORE MURDER IS ACCEPTABLE.
#nycPrikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Alonzo C-137 proslijedio/la je Tweet
THE TYPES COULD HAVE BEEN INFERRING THE PROGRAMS ALL ALONG!
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
-
Alonzo C-137 proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Alonzo C-137 proslijedio/la je Tweet
"Gray categories with duals and their diagrams" contains some absolutely incredible graphic design work. Both the mathematics and the typesetting blow my mind https://arxiv.org/abs/1211.0529 pic.twitter.com/f37AwG4ekr
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Alonzo C-137 proslijedio/la je Tweet
Mathematics is not authority. Mathematics is liberation.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
All Sorts of Permutations (Functional Pearl). https://www.informatik.uni-kiel.de/~sad/icfp2016-preprint.pdf …https://www.youtube.com/watch?v=vV3jqTxJ9Wc …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Alonzo C-137 proslijedio/la je Tweet
I recently learned that the built-in calculator in Android now uses constructive real numbers: https://doi.org/10.1145/2911981 but also aims to be usable for calculating with integers and low-height rationals (eg for splitting restaurant bills and so on)
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Alonzo C-137 proslijedio/la je Tweet
“Incorrectness Logic”: Peter O’Hearn’s new fundamental logic of programs, interestingly dual to Hoare’s correctness logic. A theoretical foundation for answering questions like, “how can this code go wrong?” To be presented at
@poplconf http://www0.cs.ucl.ac.uk/staff/p.ohearn/papers/IncorrectnessLogic.pdf …#WorldLogicDayHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
"Every partial equivalence relation is a difunctional relation, but the converse does not hold."
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
That a function /f/ on a complete lattice be universally disjunctive is precisely the condition for there being a unique function /g/ satisfying f x ≤ y ≡ x ≤ g y. Such a /g/ is known as the /right adjoint/ to /f/. https://www.cs.nott.ac.uk/~pszgmh/thesis.pdf …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Bell or exponential numbers: number of ways to partition a set of n labeled elements. - https://oeis.org/A000110 1, 1, 2, 5, 15, 52, 203, 877, 4140, 21147, 115975, 678570, 4213597, 27644437, 190899322, 1382958545, 10480142147, 82864869804, 682076806159, 5832742205057, ...
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Alonzo C-137 proslijedio/la je Tweet
Blue hour and night timelapse of Taal Volcano eruption.pic.twitter.com/DSJqHOaAS5
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Alonzo C-137 proslijedio/la je Tweet
In many cases (including mine) the whole thing pretty much boils down to "what actually is compositionality, and why is it useful?"
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Alonzo C-137 proslijedio/la je Tweet
#quantisedinertia shows that 96% of the presumed universe does not exist. This is a house-cleaning of unprecedented proportions. All you need is to allow quantum mechanics and relativity to talk to each other (#QI) & you then get new tech: clean/silent propulsion & cheap energy.Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
"Co-Heyting algebras were initially called Brouwerian algebras . Bi-Heyting algebras were introduced and studied in a series of papers by Cecylia Rauszer in the 1970s who called them semi-Boolean algebras which suggests to view them as a generalization of Boolean algebras."
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.