Brian Schroeder

@bschroed

. Interested in programming languages, open protocols, and math

Brooklyn, NY
Vrijeme pridruživanja: svibanj 2008.

Tweetovi

Blokirali ste korisnika/cu @bschroed

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @bschroed

  1. Prikvačeni tweet
    8. tra 2019.

    I just finished another blog post with 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!

    Poništi
  2. proslijedio/la je Tweet
    7. ruj 2019.

    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.

    Prikaži ovu nit
    Poništi
  3. proslijedio/la je Tweet
    15. srp 2019.

    "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."

    Poništi
  4. proslijedio/la je Tweet
    19. tra 2019.

    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. cc:

    Poništi
  5. proslijedio/la je Tweet
    3. tra 2019.

    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.

    Poništi
  6. proslijedio/la je Tweet
    28. ožu 2019.

    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)!

    Prikaži ovu nit
    Poništi
  7. proslijedio/la je Tweet
    16. velj 2019.

    The new Haskell implementation of K just passed 70,000 LOC: . Cannot wait to get rid of the current slow and buggy Java implementation. Thanks for funding this monumental effort (more than 2000 commits and 20 contributors)!

    Poništi
  8. proslijedio/la je Tweet
    11. lis 2018.

    Why is there so much conflict in online communities? My latest 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!

    Prikaži ovu nit
    Poništi
  9. proslijedio/la je Tweet
    2. lis 2018.

    My talk on "The Simple Essence of Automatic Differentiation" is up .

    Prikaži ovu nit
    Poništi
  10. 6. ruj 2018.

    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

    Poništi
  11. 17. kol 2018.

    "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"

    Poništi
  12. proslijedio/la je Tweet
    8. kol 2018.

    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 nit
    Poništi
  13. proslijedio/la je Tweet
    5. kol 2018.

    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! explained this in 's "Categories for All" session. Check out her slides:

    Prikaži ovu nit
    Poništi
  14. proslijedio/la je Tweet
    24. srp 2018.

    This is promising work to get Haskell builds using Nix that are not only incremental but also incremental across package boundaries

    Poništi
  15. proslijedio/la je Tweet
    19. srp 2018.

    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!

    Poništi
  16. 18. srp 2018.

    I've published a blog post with about the work we've been doing with SMT solver integration into smart contracts:

    Poništi
  17. proslijedio/la je Tweet
    18. srp 2018.

    Hello World! We’re excited to share what we’ve been working on. We’ve open-sourced SMT solver integration into ’s Pact language for proving properties about your smart contracts

    Poništi
  18. proslijedio/la je Tweet
    17. svi 2018.

    hear hear good words from

    Poništi
  19. proslijedio/la je Tweet
    16. svi 2018.

    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 :-)

    Poništi
  20. 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:

    Poniš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.

    Možda bi vam se svidjelo i ovo:

    ·