Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @neurocy
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @neurocy
-
Prikvačeni tweet
The first FP Lab Hackathon was super fun and energizing! Can't wait to show everyone what we've got in the pipeline for 2020 (incl. @dmoon1221's beautiful new Hazel Editor UI, livelits, and a lifetime visualizer for Rust!)pic.twitter.com/ZMulSWec15
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
cyrus omar proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
cyrus omar proslijedio/la je Tweet
With
@yurug, we are looking for candidates for two internships at@inria_paris +@IRIF_Paris to explore social and technical aspects of the creation of the Coq & OCaml platforms. Making@CoqLang and@OCamlLang more accessible is a top priority for us!https://coq.discourse.group/t/two-master-internship-proposals-to-explore-social-and-technical-aspects-of-the-creation-of-the-coq-and-ocaml-platforms/577 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
cyrus omar proslijedio/la je Tweet
My student Denis wrote a formal semantics for the French tax code, complete with Coq proof of soundness and SMT queries to uncover unfair tax hikes. PL for fiscal justice! https://blog.merigoux.ovh/en/2019/12/20/taxes-formal-proofs.html …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
cyrus omar proslijedio/la je Tweet
"how do i systematically go from a type theory to a bidirectional system suitable for implementation?" most anyone interested in type-systems design/implementation could learn a few things from Dunfield and Krishnaswami's "Bidirectional Typing" (2019): https://arxiv.org/abs/1908.05839
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
cyrus omar proslijedio/la je Tweet
And this is why we need basic research. Someone is out there today is coming up with answers to questions you'll have tomorrow.https://twitter.com/mariagoneviral/status/1222166858859675649 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
bummed I can't make it to POPL this year, but Twitter+streaming is the next best thing...https://twitter.com/poplconf/status/1220017099776708609 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
cyrus omar proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
cyrus omar proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
cyrus omar proslijedio/la je Tweet
I'm sorry to report that the kids are being indoctrinated into the ideology of *gasp* imperative programmingpic.twitter.com/0l11H25HZp
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
cyrus omar proslijedio/la je Tweet
Looks like math twitter is having an argument about applications of category theory again, so let me share this again:pic.twitter.com/BHpbJXTNBh
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
cyrus omar proslijedio/la je Tweet
A quick glance at POPL papers suggests that the proportion of papers including mechanizations in an ITP is up from roughly 10% in 2009 and 2014 to more than 20% in 2019. Cool! Hope to have this in a citeable format at some point.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
cyrus omar proslijedio/la je Tweet
Happy New Year! A bunch of us are trying to develop "applied category theory" - and now we've started a new journal on this subject, called "Compositionality". It's free to publish in, and free to read. The first issue just came out! (1/n)https://johncarlosbaez.wordpress.com/2019/12/30/compositionality-first-issue/ …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
cyrus omar proslijedio/la je Tweet
This is awesome. Red giants look nothing like the glowing spheres of the textbooks.https://twitter.com/markmccaughrean/status/1209433334939602944 …
1:09Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
cyrus omar proslijedio/la je Tweet
Here’s a new music video for you - aesthetics of the infinite via Roger Penrose’s tiling system which can go on forever without falling into simple repeating units. Many thanks to
@innjesst for turning this idea into an animated structure for the new show https://ffm.to/penrosetiling pic.twitter.com/4VDfdnxi48Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
cyrus omar proslijedio/la je Tweet
I know it feels uncomfortable for quite awhile, but my goodness, programming in Reason is *so* nice. I'm at least 10x faster prototyping with it.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
cyrus omar proslijedio/la je Tweet
The first Future of Coding newsletter! A concise way to catch up on exciting projects and interesting finds by members of our community. (Visual programming folks, don’t miss the video about the design of Glance)https://twitter.com/warianoguerra/status/1209081222497849344 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
cyrus omar proslijedio/la je Tweet
Distributed systems are hard to design, and it's hard to understand why they work. Ideas from PL research can help on both fronts, says
@ilyasergey in today's PL Perspectives post.https://blog.sigplan.org/2019/12/23/composition-in-distributed-systems/ …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
cyrus omar proslijedio/la je Tweet
Winter reading: this beautiful 523-page monograph from the scientist who recently discovered why snowflakes form in two primary shapes. Two decades of individual and family exploration of snowscapes, published this year: https://arxiv.org/pdf/1910.06389.pdf …pic.twitter.com/BrnepWoU2S
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
cyrus omar proslijedio/la je Tweet
Interesting-looking academic book on neuroscience history "Brain, Mind and Medicine: - Essays in Eighteenth-Century Neuroscience"https://www.springer.com/gp/book/9780387709666 …
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.
