Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @huitseeker
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @huitseeker
-
Francois Garillot proslijedio/la je Tweet
The
@rustlang output for `fiat-crypto` is now autopublished as a crate: https://crates.io/crates/fiat-crypto …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Francois Garillot 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 -
PSA: If you have not been fortunate enough to see
@heathercmiller 's talk on how open-source is facing challenges — contributor burnouts, low bus factors, growing training needs — here's a writeup with all the references and data: https://infoscience.epfl.ch/record/255139/files/onward-2018.pdf …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Francois Garillot proslijedio/la je Tweet
Rust Montreal starting off with
@huitseeker talking about how we can confidently use more types!
pic.twitter.com/bsgNYhxtYz
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Trait specialization is so challenging to implement, yet so useful as a library designer, e.g. to represent prioritized choices of computational backends for equivalent artithmetic behavior in crypto. I share that ordered wish list.https://twitter.com/bodil/status/1207699083076481024 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Francois Garillot proslijedio/la je Tweet
you cry a lot first.. then you refactor, struggle, shout, scarify yourself... then you reach a state in which you know something is broken somewhere but you don't know what and where so you push it anyway and tell everyone it works.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Francois Garillot proslijedio/la je Tweet
Getting a big scientific prize for open-source software http://gael-varoquaux.info/programming/getting-a-big-scientific-prize-for-open-source-software.html …
@scikit_learn#pydatapic.twitter.com/P2p8GkgYkv
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Francois Garillot proslijedio/la je Tweet
Open PhD, postdoc, and intern positions in my group for the RustBelt and Iris projects! Application deadline: December 31, 2019. http://lists.seas.upenn.edu/pipermail/types-announce/2019/008643.html …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Francois Garillot proslijedio/la je Tweet
@McGill_Eng is hiring again! Experts in robotics, AI/ML,#AIethics
welcome. Help find ppl to nerd out with me in Montreal
http://bit.ly/37pJPDV cc: @rcalo@johnchavens@frossi_t@vdignum@huitseeker@alan_winfield@AlanMackworth@jasonmillar@j2bryson@stephenjcave@grok_Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
#Rust and#Scala, sitting in a tree!https://twitter.com/Evanfchan/status/1195505538395590656 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Francois Garillot proslijedio/la je Tweet
This is pretty cool and important stuff on full working timing attacks on real-life TPMs; paper http://tpm.fail/tpmfail.pdf Intel TPM chips: CVE-2019-11090, ST's TPM chips: CVE-2019-16863. In this case a vulnerability website is entirely appropriate: http://tpm.fail/ pic.twitter.com/851Bt3A6JA
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Thank ~10 women and keep it going!
@lindydonna@mycoliza@SarahJamieLewis@EGouillart@AnimaAnandkumar@bodil@linclark@YaelEisenstat@helenaedelson@petitegeek (I like gossip protocols, sue me)https://twitter.com/holdenkarau/status/1192913247969525760 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Francois Garillot proslijedio/la je Tweet
@bascule pretty convincingly demolishes the “Libra is architecturally unsound” piece.https://tonyarcieri.com/factual-inaccuracies-of-facebook-libra-is-architecturally-unsound …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
In Coq, I may have named the occasional rewriting Lemma "History". Prototypal views get named "cortical_electrodes", just in case applying them doesn't get the neural reaction I hoped for.
#fireflyhttps://twitter.com/koronkebitch/status/1191176301534576641 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Francois Garillot proslijedio/la je Tweet
PL *is* HCI!
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Francois Garillot proslijedio/la je Tweet
"Haskell is real," Barack Obama said in his inauguration speech earlier. "Functional programming is real. Typeclasses are real, and strong, and they're my friend."
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Francois Garillot proslijedio/la je Tweet
Are you as excited as we are that
@Evanfchan will be back at Scale By the Bay this November? This time he'll cover Rust from a perspective of a Scala developer. Don't miss this talk! https://buff.ly/2ShBtqM pic.twitter.com/fxFTjaLgl3
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Francois Garillot proslijedio/la je Tweet
Reading this great book on Spark Streaming by my awesome colleague
@maasg!#spark http://shop.oreilly.com/product/0636920047568.do … thanks Gerard!pic.twitter.com/wLaTEP6goz
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Francois Garillot proslijedio/la je Tweet
rocket engineer: here it is. we built the engine in one sprint intern: did you test it yet? rocket engineer: nah we'll do that once it's launched intern: ... does it have a manual? rocket engineer: *gestures to sharpie scribbles on the rocket* it's self-documenting
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Francois Garillot proslijedio/la je Tweet
My project "CertiChain: A Framework for Mechanically Verifying Blockchain Consensus Protocols" has been funded by NSOE-TSS. Get in touch if you are interested in a postdoc
@NUSComputing on verification, program synthesis, and mechanised proofs!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.

. Co-author 