Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @bschroed
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @bschroed
-
Prikvačeni tweet
I just finished another blog post with
@dino_joel explaining the basics of symbolic execution. We've gotten a lot of mileage out of this approach for static analysis, and we're excited to share this first post in the series!https://twitter.com/monic_hq/status/1115266988652355584 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Brian Schroeder proslijedio/la je Tweet
At best, social networks are terrible at spreading accurate information; at worst, they're vulnerable to malicious attacks intended to manipulate our perceptions of reality. We need to really think hard about how to fix information spreading. https://www.nature.com/articles/d41586-019-02562-z …pic.twitter.com/jeUSorY2tr
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Brian Schroeder proslijedio/la je Tweet
"We start with a small impure language, and then extend it by adding a comonadic type constructor for pure terms. This lets us do the opposite of Haskell: effects are pervasive, except in the bits where we deny the capability to perform them." http://semantic-domain.blogspot.com/2019/07/all-comonads-all-time.html …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Brian Schroeder proslijedio/la je Tweet
MIT just released the videos and notes for a short course (14 sessions) on Applied Category Theory taught by David Spivak and Brendan Fong in January 2019, Just wanted to spread the word. https://ocw.mit.edu/courses/mathematics/18-s097-applied-category-theory-january-iap-2019/index.htm … cc:
@emilyriehl@_julesh_@johncarlosbaez#math#mathchatHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Brian Schroeder proslijedio/la je Tweet
This is really neat! You take a screenshot of an equation, it gives you the LaTeX code, you can directly modify in the taskbar, copy, paste, done. https://mathpix.com/ pic.twitter.com/9mL1ytwnXD
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Brian Schroeder proslijedio/la je Tweet
This is cool. Cryptocurrency = resource theory + access control, which you can draw using string diagrams with a monoidal functor for every agent (the shaded colours)!pic.twitter.com/3DtB2u8Ktw
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Brian Schroeder proslijedio/la je Tweet
The new Haskell implementation of K just passed 70,000 LOC: https://github.com/kframework/kore . Cannot wait to get rid of the current slow and buggy Java implementation. Thanks
@InputOutputHK for funding this monumental effort (more than 2000 commits and 20 contributors)!Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Brian Schroeder proslijedio/la je Tweet
Why is there so much conflict in online communities? My latest
@strangeloop_stl talk outlines the problem, traces historical influences back to 1902, and suggests some alternate paths. I hope people find it helpful, or at least thought provoking!https://youtu.be/o_4EX4dPppAPrikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Brian Schroeder proslijedio/la je Tweet
My
#ICFP2018 talk on "The Simple Essence of Automatic Differentiation" is up https://youtu.be/MmkNSsGAZhw .Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
If we think about git patches in terms of transition systems, kernel-style emailing of patches is transition-centric (between states), whereas GitHub's PR model is (repository) state-centric. The former (but not via email) seems like a superior model for distributed development
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
"monads give rise to the accessible point-wise comprehension notation that exemplifies the relational calculus, whereas the underlying adjunctions give rise to the more flexible point-free combinators of the relational algebra"https://twitter.com/_romac/status/1030420629206523904 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Brian Schroeder proslijedio/la je Tweet
The more I think about it, these platforms (Facebook, Twitter, YouTube) aren't "social" and they aren't agnostic "publishers" they are something I can only describe as "Network Effect Arbitrage Machines." [Thread]
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Brian Schroeder proslijedio/la je Tweet
Basic laws of arithmetic, like a×(b+c) = a×b+a×c, are secretly laws of set theory. But they apply not only to sets, but to many other structures!
@emilyriehl explained this in@DrEugeniaCheng's "Categories for All" session. Check out her slides: http://www.math.jhu.edu/~eriehl/arithmetic.pdf …pic.twitter.com/2cUEWW342W
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Brian Schroeder proslijedio/la je Tweet
This is promising work to get Haskell builds using Nix that are not only incremental but also incremental across package boundaries https://www.reddit.com/r/haskell/comments/91f5r7/snack_incremental_nix_builds_for_haskell/.compact …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Brian Schroeder proslijedio/la je Tweet
Our two years of hard work distributing zkSNARKs now enables computations of up to billions of logical gates (100x larger than previous state-of-the-art work)! Stay tuned for our release of the DIZK library!https://twitter.com/IACR_News/status/1019946478628982784 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I've published a blog post with
@dino_joel about the work we've been doing with SMT solver integration into smart contracts:https://twitter.com/monic_hq/status/1019660784476016640 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Brian Schroeder proslijedio/la je Tweet
Hello World! We’re excited to share what we’ve been working on. We’ve open-sourced SMT solver integration into
@kadena_io’s Pact language for proving properties about your smart contracts http://blog.monic.co/introducing-the-pact-property-checker/ …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Brian Schroeder proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Brian Schroeder proslijedio/la je Tweet
my paper "Reasonably Programmable Literal Notation" (which is an extension of my thesis work, adapted to Reason / OCaml) was (conditionally) accepted to ICFP 2018! Super excited to introduce literal macros into a practical language :-)
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Brian Schroeder proslijedio/la je Tweet
Someone dropped this paper on IPFS and some IRC channels yesterday. It describes a new family of consensus protocols that combines the best of Nakamoto consensus with the best of classical consensus. Huge breakthrough: https://ipfs.io/ipfs/QmUy4jh5mGNZvLkjies1RWM4YuvJh5o2FYopNPVYwrRVGV …
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.