Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @rikardhjort
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @rikardhjort
-
Prikvačeni tweet
Here's part 2, where we do more actual
#wasm verification https://medium.com/dlabvc/verifying-wasm-functions-part-2-i64-reverse-bytes-3590aedaa3c0 …https://twitter.com/rikardhjort/status/1215019460983246848 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Rikard Hjort proslijedio/la je Tweet
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.https://twitter.com/winklevoss/status/1225036344247844870 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Free utility tokens (Orchid):https://coinbase.com/earn/oxt/invite/s2zb5hwd …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Rikard Hjort proslijedio/la je Tweet
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.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Rikard Hjort proslijedio/la je Tweet
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
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Rikard Hjort proslijedio/la je Tweet
"pure math" is best understood as a sociological term, like "these mathematicians call what they do "pure"".
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Rikard Hjort proslijedio/la je Tweet
Interesting MO question: among hard mathematical results, which can we trust and how can we know? https://mathoverflow.net/q/351640 Question inspired by a talk by Kevin Buzzard (
@XenaProject), with slides online: http://www.andrew.cmu.edu/user/avigad/meetings/fomm2020/slides/fomm_buzzard.pdf …Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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."pic.twitter.com/32xfBXTdZ9
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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 nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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."
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Rikard Hjort proslijedio/la je Tweet
Introducing http://stablecoin.services
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 http://stablecoin.services/about.html Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Rikard Hjort proslijedio/la je Tweet
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.https://twitter.com/sato322/status/1222867637631238144 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
"Formally Verifying
#WebAssembly with KWasm // Towards an Automated Prover for#Wasm Smart Contracts" Master's thesis presented ≌ 99 % of the engineering degree complete. Actual thesis to be made public soon.pic.twitter.com/KPV1TQmifF
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Rikard Hjort proslijedio/la je Tweet
Hello developers of
#SmartContracts! We have a quick question for you.
What type of coverage do you care about?
(Yes, this is biased toward #Solidity developers) If you don't care about coverage, please let us know why in the replies. Thank you!
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Rikard Hjort proslijedio/la je Tweet
@A_picasso and our own@rikardhjort talk about#formalverification and#smartcontracts in this episode of Blockchain PR podcast: https://anchor.fm/blockchainpr/episodes/Formal-Verification-and-Smart-Contracts---chat-with-developer-Rikard-Hjort-ea9fli … If you have more questions, ask them here.Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
It's the life-hack I dared not consider.https://twitter.com/alex_christofi/status/1219564301029138432 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I give my perspective on formal methods and why they matter for the
#blockchain space in this episode of Blockchain PR.#SmartContracts#ethereum#wasmhttps://twitter.com/A_picasso/status/1219201994201714688 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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.
@RyanSAdams?Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Did someone say "opportunity cost"? Well, that's a good point and I must saypic.twitter.com/nxC9CLKEa0
Prikaži ovu nitHvala. 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.