Legalese.com, deep-tech for law

@legalese

Software is eating law. 🤖

Singapore
legalese.com
Vrijeme pridruživanja: lipanj 2016.
42 fotografije ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @legalese

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

  1. Prikvačeni tweet
    20. sij 2017.

    I just published “Code is Law is Code”

    18 proslijeđenih tweetova 22 korisnika označavaju da im se sviđa
    Poništi
  2. proslijedio/la je Tweet
    21. sij

    "We’ve barely entered 2020 and it looks like The Purge has begun." conclusion to a comprehensive round-up of the Atrium ballyhoo.

    4 proslijeđena tweeta 11 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  3. proslijedio/la je Tweet
    13. sij
    Odgovor korisnicima i sljedećem broju korisnika:

    Some thoughts on "a core vocab"… Andrew S. Tanenbaum once said: "The nice thing about standards is that there are so many of them to choose from."

    1 proslijeđeni tweet 4 korisnika označavaju da im se sviđa
    Poništi
  4. proslijedio/la je Tweet
    11. sij
    Odgovor korisnicima i sljedećem broju korisnika:

    So I’m planning a tutorial on formal verification involving temporal, epistemic, and deontic/alethic modals based on this card game. If you want to follow along, pick it up soon—and play it with friends! Should be fun

    2 proslijeđena tweeta 3 korisnika označavaju da im se sviđa
    Poništi
  5. proslijedio/la je Tweet
    12. sij

    Reports say letting go most of its legal staff. Silicon Valley-backed startup had vowed to 'revolutionize legal services'

    6 replies 37 proslijeđenih tweetova 39 korisnika označava da im se sviđa
    Poništi
  6. proslijedio/la je Tweet
    8. sij
    Odgovor korisnicima i sljedećem broju korisnika:

    We encoded the relevant regulatory rules and business process state machine into TLA+. TLA+ automatically found a scenario which violated the rules. It is possible that in the real world many such violations occur routinely, unbeknownst to companies. We found the bug!

    12 proslijeđenih tweetova 30 korisnika označava da im se sviđa
    Poništi
  7. proslijedio/la je Tweet
    8. sij
    Odgovor korisnicima i sljedećem broju korisnika:

    Here’s an old deck from 2017 showing legal applications of formal verification generally.

    1 reply 3 proslijeđena tweeta 7 korisnika označava da im se sviđa
    Poništi
  8. proslijedio/la je Tweet
    13. ruj 2019.
    Odgovor korisnicima

    I wrote about this last year here:

    3 proslijeđena tweeta 3 korisnika označavaju da im se sviđa
    Poništi
  9. proslijedio/la je Tweet
    9. ruj 2019.
    Odgovor korisnicima

    We have been summoned! Yes, your intuition (and ’s) is spot on. The technical term for what you described is a Controlled Natural Language. Attempto (and AceRules) are a good example:

    1 reply 1 proslijeđeni tweet 6 korisnika označava da im se sviđa
    Poništi
  10. proslijedio/la je Tweet
    9. ruj 2019.
    Odgovor korisnicima

    This is really fascinating! Love hearing about new formalisms — are there any good introductions to the topic? I can think of a couple applications of this for the static analysis of smart contracts...

    1 reply 1 proslijeđeni tweet 1 korisnik označava da mu se sviđa
    Poništi
  11. proslijedio/la je Tweet
    9. ruj 2019.
    Odgovor korisnicima i sljedećem broju korisnika:

    Now, what underlying logics inform the language? Just as languages like Lisp and Haskell trace their power to the lambda calculus λ, a language for law can exploit the properties of the modal calculus μ – which gives a way to talk about deontic, temporal, and epistemic relations.

    2 proslijeđena tweeta 4 korisnika označavaju da im se sviđa
    Poništi
  12. proslijedio/la je Tweet
    9. ruj 2019.
    Odgovor korisnicima i sljedećem broju korisnika:

    Deontics: I must, you may, he mustn’t… Basically RFC2119. Temporals: …pay within 30 days of invoice… Basically LTL/CTL. Epistemics: …and I know you know I know you got the invoice, because registered mail. Or blockchain. These are the building blocks of computational law.

    1 reply 2 proslijeđena tweeta 1 korisnik označava da mu se sviđa
    Poništi
  13. proslijedio/la je Tweet
    9. ruj 2019.

    Corporate law firms are essentially coding in legalese, an obfuscated programming language without a REPL to simulate outcomes. Moving all that to smart contracts over the next few decades will save billions and transform the way we create, fund, manage, and exit companies.

    7 replies 13 proslijeđenih tweetova 87 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  14. proslijedio/la je Tweet
    9. ruj 2019.
    Odgovor korisnicima

    I believe you're looking for . They are creating a DSL for law.

    1 proslijeđeni tweet 3 korisnika označavaju da im se sviđa
    Poništi
  15. proslijedio/la je Tweet
    8. ruj 2019.
    Odgovor korisnicima

    For sure. Even in the symbolic AI world, you need to be explicit about the principles and norms you want to affirm. It’s not “what worked before”, it’s “what is correct and proper to us in this case?” Tech provides the tools which you affirm or make explicit these intentions.

    1 proslijeđeni tweet 2 korisnika označavaju da im se sviđa
    Poništi
  16. proslijedio/la je Tweet
    8. ruj 2019.
    Odgovor korisnicima i sljedećem broju korisnika:

    Vagueness: don’t put anything I don’t like in my lunchbox (unclear, undefined, uncertain, arbitrary) Ambiguity: don’t put any yellow fruit in my lunchbox (still undefined, but parameters and criteria is less arbitrary)

    1 proslijeđeni tweet 4 korisnika označavaju da im se sviđa
    Poništi
  17. proslijedio/la je Tweet
    8. ruj 2019.
    Odgovor korisnicima i sljedećem broju korisnika:

    Technology just makes it harder (and imho, this is good) for lawyers to hide behind vagueness-masqueraded-as-ambiguity.

    1 reply 1 proslijeđeni tweet 4 korisnika označavaju da im se sviđa
    Poništi
  18. proslijedio/la je Tweet
    2. ruj 2019.

    Last call! The European University Institute (EUI) is offering a one year (renewable) position for working with me on my CompuLaw ERC Project. Application from lawyers and computer scientists are welcome! Link:

    30 proslijeđenih tweetova 34 korisnika označavaju da im se sviđa
    Poništi
  19. proslijedio/la je Tweet
    19. kol 2019.

    Oct 28 ACM on CS & Law heads up this seems to be more East Coast (Law on CS, Berkman / Data & Society) than West Coast (CS on Law, CodeX / ICAIL)

    1 reply 3 proslijeđena tweeta 11 korisnika označava da im se sviđa
    Poništi
  20. proslijedio/la je Tweet
    17. kol 2019.
    Odgovor korisnicima i sljedećem broju korisnika:

    winner winner chicken dinner.... This article is a masterpiece in describing the real world challenge. Why is it so on point? Written by the end user.

    1 proslijeđeni tweet 6 korisnika označava da im se sviđa
    Poništi
  21. proslijedio/la je Tweet
    8. kol 2019.

    I'm giving a webinar next Thursday, 8/15, on computable contracts and computational law for the IACCM at 11 am Eastern time. Registration at

    3 proslijeđena tweeta 3 korisnika označavaju da im se sviđa
    Poništi

@legalese još nije objavio nijedan Tweet.

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

    ·