Rikard Hjort

@rikardhjort

Post-utopian computer sci-fi Verifying Wasm on the Blockchain ∃ p ∈ People. (∀ v ∈ Views. exprHere(v) ⇒ heldBy(p,v)) ∧ ∧ ∃₌₂ x ∈ Pronouns. preferred(p,x)

Gothenburg, Sweden
Vrijeme pridruživanja: prosinac 2009.

Tweetovi

Blokirali ste korisnika/cu @rikardhjort

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

  1. Prikvačeni tweet
    8. sij
    Poništi
  2. proslijedio/la je Tweet
    6. velj

    Option A: Wealth will be transferred to the early adopters of Bitcoin from everyone else on the planet. Option B: The rest of the planet will decline to adopt a system that requires them to transfer wealth to a small number of early adopters.

    Poništi
  3. 5. velj
    Poništi
  4. proslijedio/la je Tweet
    5. velj

    One thing I hate is "It's not the job of the marginalized to educate you." I hate it so much. Fuck that idea. It shuts down conversations, it demands submission and humiliation from the listener, is generally disrespectful, and cuts short increases in knowledge and connection.

    Poništi
  5. 4. velj
    Poništi
  6. 3. velj
    Poništi
  7. proslijedio/la je Tweet
    2. velj

    Your brain could also randomly malfunction and make you incorrectly believe Lean accepted a proof when it didn't... In any case I'd assume it compiles down to a minimal kernel logic that can have multiple independently-written checkers. That's the obvious thing to do

    Poništi
  8. proslijedio/la je Tweet
    1. velj

    "pure math" is best understood as a sociological term, like "these mathematicians call what they do "pure"".

    Poništi
  9. proslijedio/la je Tweet
    1. velj

    Interesting MO question: among hard mathematical results, which can we trust and how can we know? Question inspired by a talk by Kevin Buzzard (), with slides online:

    Prikaži ovu nit
    Poništi
  10. 1. velj

    I was staring at this graphic. Since each contributor is willing to allocate one of the green areas, and their valuation per unit is the side of one green square; then if all contributors acted as one, summing thier valuations, they would allocate the entire square area."

    Prikaži ovu nit
    Poništi
  11. 1. velj

    Quadratic funding is essentially a way to treat several self-interested actors with different valuations as a single actor with a single valuation. It's a way to assign a fair value to a public good. Is that a good summary?

    Prikaži ovu nit
    Poništi
  12. 31. sij

    The scariest thing in science is publication bias coupled with buggy modelling software. "Give a thousand researchers an IDE and a modelling task, and at least one model will eventually show a significant result."

    Poništi
  13. proslijedio/la je Tweet
    31. sij

    Introducing 🛎️ A site offering a collection of common Dai and Chai operations, gas-free. You can now: - Transfer Dai or Chai - Sell Dai -> Eth, Chai -> Eth on uniswap - Convert Dai <-> Chai without holding any Ether! Read more at

    Prikaži ovu nit
    Poništi
  14. proslijedio/la je Tweet
    30. sij

    In the classiest bit of fast food marketing possibly ever: Left: McDonalds in Akihabara announces it is closing after 22 years. Right: Burger King thanks them for 22 years of friendly rivalry and bringing smiles to the neighborhood.

    Prikaži ovu nit
    Poništi
  15. 30. sij

    "Formally Verifying with KWasm // Towards an Automated Prover for Smart Contracts" Master's thesis presented ≌ 99 % of the engineering degree complete. Actual thesis to be made public soon.

    Poništi
  16. proslijedio/la je Tweet
    27. sij

    Hello developers of ! We have a quick question for you. 🤔 What type of coverage do you care about? 🤔 (Yes, this is biased toward developers) If you don't care about coverage, please let us know why in the replies. Thank you! 🙏

    Poništi
  17. proslijedio/la je Tweet
    21. sij
    Poništi
  18. 21. sij
    Poništi
  19. 20. sij

    I give my perspective on formal methods and why they matter for the space in this episode of Blockchain PR.

    Poništi
  20. 18. sij

    What's your go-to DeFi data source? Want to import Dai savings rate, compound rates, Uniswap exchange rates, etc., without running a full node. ?

    Poništi
  21. 14. sij

    Did someone say "opportunity cost"? Well, that's a good point and I must say

    Prikaži ovu nit
    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:

    ·