Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @danghica
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @danghica
-
Prikvačeni tweet
Transparent synchronous data-flow or how to make
#ocaml more like#excel. A blog post popularising recent joint research with@Steven18095202 . https://danghica.blogspot.com/2019/11/making-ocaml-more-like-excel.html …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
It would be cool if mathematicians decided it's more important for maths to be solid rather than original; if combing through the archives and properly proving theorems became fashionable.https://twitter.com/vee3my/status/1223648030093647872 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I voted remain but I find the "I voted remain but ..." confessionals extremely tiresome. There is no upside to
#brexitday and I will feel cheated and devastated about it indefinitely.Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
One of my favourite basic results in computability is that it's undecidable whether a context-free-grammar expresses a regular language. Sometimes a simple problem may be expressed in a needlessly complicated language. And yet there is nothing we can do about it.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
"The class MIP* of languages that can be decided by a classical verifier interacting with multiple all-powerful quantum provers sharing entanglement is equal to the class RE of recursively enumerable languages"
https://arxiv.org/abs/2001.04383 Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Dan Ghica 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 -
Our Computer Science School in the University of Birmingham is recruiting for a new Head of School.https://www.berwickpartners.co.uk/opportunities/assignment/74284/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Constructive real arithmetic is alive on a billion devices!https://twitter.com/HigherGeometer/status/1216518303440457728 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Old 2012
#MacBook Air too slow, virtually unusable, after the many OS upgrades over the years. Didn't throw it away, made one final OS upgrade: to#ubuntu. Now it's working like new.https://tutorials.ubuntu.com/tutorial/tutorial-create-a-usb-stick-on-macos#0 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Everyone who I personally know in my scientific community is brilliant, from students to veteran professors. Most are kind and sensible. Which makes it utterly remarkable that our current models of peer review, publication, and dissemination are the best we can come up with.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
My thoughts exactly: "Coding in C is like camping. It's fun for a while, but eventually you really miss things like flushing toilets and grocery stores." https://news.ycombinator.com/threads?id=caseymarquis …
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
-
Dan Ghica proslijedio/la je Tweet
We're recruiting! Want to work for a friendly, forwarding-thinking computer science department? Due to some incredible opportunities that have come our way, we're hiring for a range of new staff: Find out more here: https://www.cs.bham.ac.uk/news/2019-11-21-cs-recruitment …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Dan Ghica proslijedio/la je Tweet
Category theory goes mainstream with an appearance on Rick and Morty! They use quantum reasoning in symmetric monoidal categories to travel in time, as in https://arxiv.org/pdf/1902.00032.pdf …pic.twitter.com/5frKYova1N
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Astonishing: "Despacito going viral, reaching 6.3 billion views, burned alone as much energy as 40,000 U.S. homes." https://thecloud.christmas/2019/15
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Permanent academic positions with 5-year reduced teaching at University of Birmingham. Theory applicants always did very well! Deadline is soon.https://www.jobs.ac.uk/job/BWM760/birmingham-fellow-engineering-and-physical …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Dan Ghica proslijedio/la je Tweet
La logique est une écologie du savoir et des relations qui forgent ce savoir. La fabrique d'un monde commun, stable et protéiforme.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Good luck
@steve_mccabe tomorrow! We need more decent people like him in parliament.Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Yet I wonder if
@noamchomskyT 's ideas about the role of media in political control are still as relevant. Or are we seeing a turn, via social media, towards fear, uncertainty, and doubt as agents of political persuasion and control. Manufacturing dissent, more like.Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Today is
@noamchomskyT 's birthday. His book "Manufacturing Consent" was my political damascene moment. He remains the ultimate public intellectual, of penetrating brilliance and unbending integrity. Happy Birthday!Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I am seriously impressed the WASM spec is formulated using operational semantics. http://webassembly.github.io/spec/core/exec/index.html …
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.