Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @larrytheliquid
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @larrytheliquid
-
Prikvačeni tweet
It's just an index-preserving update of an infinitary inductive-recursive argument to a type family, what's the problem?pic.twitter.com/sS6GI2ycBR
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Larry Diehl proslijedio/la je Tweet
Beyond notations: Hygienic macro expansion for theorem proving languages. ~ Sebastian Ullrich, Leonardo de Moura. https://arxiv.org/abs/2001.10490
#ITP#LeanProverHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Larry Diehl proslijedio/la je Tweet
Are you interested in doing a PhD to advance the current state-of-the-art of dependently typed programming in
#Agda? Well, do I just have the perfect position for you:https://www.academictransfer.com/en/288751/phd-student-in-theory-and-implementation-of-dependently-typed-programming-languages/ …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Larry Diehl proslijedio/la je Tweet
This year's school on applied category theory will be at MIT! The deadline to apply is January 15. If you're trying to get into applied category theory, this is the best possible way! Three students of previous schools are running this one. (1/n)https://johncarlosbaez.wordpress.com/2019/12/23/applied-category-theory-2020-adjoint-school/ …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Larry Diehl proslijedio/la je Tweet
We've just sent out the CPP 2020 notifications and made the list of accepted papers immediately available. Now time for some rest! https://popl20.sigplan.org/home/CPP-2020#event-overview …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Larry Diehl proslijedio/la je Tweet
PLISS 2020 (the third Programming Language Implementation Summer School) will be held in May next year, with great speakers and talks. You, or your students, can now register your interest in attending! https://pliss.org/2020/
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Larry Diehl proslijedio/la je Tweet
Mozilla,
@fastly,@intel, and@RedHat have joined forces to make software development more secure.#bytecodealliancehttps://blog.mozilla.org/blog/2019/11/12/new-bytecode-alliance-brings-the-security-ubiquity-and-interoperability-of-the-web-to-the-world-of-pervasive-computing/ …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Larry Diehl proslijedio/la je Tweet
The biggest bombshell from our applied category theory meeting this weekend: David Spivak and Brendan Fong at MIT are planning to set up an institute of applied category theory in the San Francisco Bay Area: the TOPOS INSTITUTE. I'm going to be involved in this!pic.twitter.com/6WFbR45Hf1
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
got to apply lambek's lemma at work today
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Larry Diehl proslijedio/la je Tweet
Hi everyone! I’m Simon Peyton Jones. I’m a research computer scientist at Microsoft Research, but I have the joy and privilege of serving as chair of CAS… and now of the NCCE as well.
#caschatHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Larry Diehl proslijedio/la je Tweet
happy to become a supporter -- april is a cool person with a lot of interesting things to say, and i'm excited to see where this project goeshttps://twitter.com/cyberglot/status/1186275332657209344 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Larry Diehl proslijedio/la je Tweet
If you haven’t seen it yet, check out
@PLPresents with recordings of our talks from yesterday! Thanks a lot@PLPresents for recording and processing everything!Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Larry Diehl proslijedio/la je Tweet
How do we know a language's type system "works?" Today on PL Perspectives,
@HerrDreyer and colleagues argue that proving "semantic type soundness" is the best option (as opposed to syntactic type soundness).https://blog.sigplan.org/2019/10/17/what-type-soundness-theorem-do-you-really-want-to-prove/ …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Larry Diehl proslijedio/la je Tweet
Hey folks, I'm currently seeking full-time employment in the NYC area (remote's fine too)! I'm primarily versed in Haskell and PureScript, although I've got experience with Scala, C, Python, and JavaScript and I'm interested in picking up some Rust.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Larry Diehl proslijedio/la je Tweet
What's a "co program" and how do you design one?
@jer_gib explains in today's PL Perspectives post. His clear prose revealed how I almost do this already, but didn't appreciate it!https://blog.sigplan.org/2019/10/14/how-to-design-co-programs/ …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Larry Diehl proslijedio/la je Tweet
It's been four years in the making, but the sequel to 'Calculating Correct Compilers' is finally finished! http://www.cs.nott.ac.uk/~pszgmh/ccc2.pdf …pic.twitter.com/U9X8p67DFO
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Larry Diehl proslijedio/la je Tweet
Our survey paper on proof engineering is now published in FTPL. Check it out! https://www.nowpublishers.com/article/Details/PGL-045 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Larry Diehl proslijedio/la je Tweet
"Bidirectional typing", submitted to ACM Computing Surveys: https://arxiv.org/abs/1908.05839
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Larry Diehl proslijedio/la je Tweet
Register now for PurPL Fest & Midwest PL Summit! Stephanie Weirich
@fancytypes will give a keynote talk on "A Dependently-Typed Core Calculus for GHC"https://twitter.com/purdue_pl/status/1156269174295056386?s=20 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Larry Diehl proslijedio/la je Tweet
For the class at PSU this year, I ported my notes on implementing dependent types from Racket to Haskell. Finally got around to uploading it. Feedback is welcome, but the backlog is a bit long, so my apologies for being slow with everything: http://davidchristiansen.dk/tutorials/implementing-types-hs.pdf …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Larry Diehl proslijedio/la je Tweet
The Future Will Be Formulated Using Category Theory https://www.forbes.com/sites/cognitiveworld/2019/07/29/the-future-will-be-formulated-using-category-theory/ … We already knew this of course :^)
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.