Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @antiselfdual
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @antiselfdual
-
Prikvačeni tweet
Slides for my
@YOWLambdaJam talk "All of Basic Categories" are up on my website#ylj18 http://mjhopkins.github.io/#all-of-basic-category-theory …Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Mark Hopkins proslijedio/la je Tweet
This vision from the Dunmore brigade of the
@NSWRFS from early January is terrifying. It shows how quickly a fire can move
pic.twitter.com/dhrnpBX1unHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Mark Hopkins proslijedio/la je Tweet
Strict data and lazy functions is the default you should be using for all production Haskell code.https://jacobstanley.io/help-my-haskell-program-consumes-more-memory-the-longer-it-runs …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Mark Hopkins proslijedio/la je Tweet
[1/2] My new eBook, INSTANTIATION, has 11 stories: • “The Discrete Charm of the Turing Machine” • “Zero For Conduct” • “Uncanny Valley” • “Seventh Sight” • “The Nearest” • “Shadow Flock” • “Bit Players” • “Break My Fall” • “3-adica” • “The Slipway” • “Instantiation”pic.twitter.com/2uveQZgWto
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
-
Mark Hopkins proslijedio/la je Tweet
Bryce Clarke, Derek Elkins, Jeremy Gibbons, Fosco Loregian, Bartosz Milewski, Emily Pillmore, Mario Román : Profunctor optics, a categorical update https://arxiv.org/abs/2001.07488 https://arxiv.org/pdf/2001.07488
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Mark Hopkins proslijedio/la je Tweet
Dependently Typed Multi-Stage Programming, Revisitedhttps://www.youtube.com/watch?v=gCsb1aNtFCg …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Mark Hopkins proslijedio/la je Tweet
This, my Numberphile debut, is about van der Waerden's theorem, including a proof (presented informally of course) for the case of two colours and progressions of length 3. It was fun to do, and my interviewer
@BradyHaran added some beautiful graphics afterwards, as is his wont.https://twitter.com/numberphile/status/1219602384130859008 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Mark Hopkins proslijedio/la je Tweet
The first lecture of computational algebraic topology is almost ready. Needs more cowbell.pic.twitter.com/Xrbt7vfd7I
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Mark Hopkins proslijedio/la je Tweet
Is there a subset of the plane that is connected, but upon the removal of a (specific) point it becomes totally disconnected (any two points can be separated by a disjoint opens)? Of course, it should contain more than a single point. What does your intuition say?
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Dihydroxy-abstract syntax, produced by treating AS with osmium tetroxide under high temperature and pressure.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
What does DHOAS stand for? (wrong answers only)https://twitter.com/antiselfdual/status/1219545989515636736 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I have no idea what a DHOAS mortgage broker is, nor do I have the faintest desire to find out.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I go past this every day and every time a part of my mind goes "PHOAS!"pic.twitter.com/rLSZ0dMAtO
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Mark Hopkins proslijedio/la je Tweet
Mathematician Emily Riehl receives President's Frontier Award | Hubhttps://hub.jhu.edu/2020/01/16/emily-riehl-mathematics-frontier-award-999-em1-art1-dtd-news/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Mark Hopkins proslijedio/la je Tweet
Lawvere once noticed that the Nullstellensatz is much more general than ring theory: http://ncatlab.org/nlab/show/Nullstellensatz#GeneralAbstract …pic.twitter.com/wFiWhGb8yP
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Mark Hopkins proslijedio/la je Tweet
Short Thread: staying with some friends and last night after everyone went to bed I could not figure out how to turn off the large ceiling light in their living room. There is a wall controller that seemed fairly straightforward.pic.twitter.com/vMcaqL6Gbr
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Mark Hopkins proslijedio/la je Tweet
My new hero is Jocelyn Bell Burnell, who discovered pulsars as a PhD student but was uncredited when the Nobel Prize was given to her male colleagues. She spent the next 50 years winning every other award in physics and donating the money to fund PhDs for underrepresented groupspic.twitter.com/ooYIONaJbc
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Behold! The secret name of G*dhttps://twitter.com/MichaelIHartley/status/1216912215476826112 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Mark Hopkins 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 -
Mark Hopkins proslijedio/la je Tweet
Yes, linear logic with recursive types is a thing! Standard reference: https://arxiv.org/pdf/0910.3383.pdf … Denotational interpretation in coherence spaces: https://arxiv.org/pdf/1906.05593.pdf … Operational interpretation with session types: section 6 of http://homepages.inf.ed.ac.uk/slindley/papers/talking-bananas.pdf …
@wenkokke’s work is adjacenthttps://twitter.com/tangled_zans/status/1215762364936654855 …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.