sipa changed the topic of #bitcoin-wizards to: This channel is for discussing theoretical ideas with regard to cryptocurrencies, not about short-term Bitcoin development | http://bitcoin.ninja/ | This channel is logged. | For logs and more information, visit http://bitcoin.ninja
weez17 has quit [Remote host closed the connection]
weez17 has joined #bitcoin-wizards
d9b4bef9 has quit [Remote host closed the connection]
d9b4bef9 has joined #bitcoin-wizards
echonaut has joined #bitcoin-wizards
itsme__ has joined #bitcoin-wizards
kewde[m] has quit [Ping timeout: 240 seconds]
bjorn[m] has quit [Ping timeout: 240 seconds]
herzmeister[m] has quit [Ping timeout: 256 seconds]
Jeremy_Rand[m] has quit [Ping timeout: 255 seconds]
itsme__ has quit [Client Quit]
itsme has quit [Ping timeout: 264 seconds]
echonaut1 has quit [Ping timeout: 264 seconds]
yoleaux has quit [Ping timeout: 240 seconds]
musalbas has quit [Ping timeout: 240 seconds]
Belkaar has quit [Ping timeout: 240 seconds]
spinza has quit [Ping timeout: 260 seconds]
Belkaar has joined #bitcoin-wizards
Belkaar has joined #bitcoin-wizards
Belkaar has quit [Changing host]
musalbas has joined #bitcoin-wizards
CubicEarths has quit [Remote host closed the connection]
Noldorin has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
oleganza has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
napo1eon has joined #bitcoin-wizards
<fltrz>
uiuc-slack3, it will be peer reviewable before use in my method too, I can't force people to use my secret key agreement protocol, its just that the release of funds will escrowed by the metamath verifier
<fltrz>
its quite predictable that certain classes of mathematical work will in the future be arbitraged by formal verification, and more financial emphasis will lie in achievements than in degrees
Murch has quit [Quit: Snoozing.]
<fltrz>
i.e. who cares if some poor kid from anywhere in the world doesn't have 10 big papers to his name, or affiliation with this or that institution, if the kid can find a proof for some open conjecture, he can have whatever bounty/reward the group has put on it...
<fltrz>
if it passes the verifier, good for him
<fltrz>
less magister dixit, more panta rhei
<sarang>
We already have that in the Millennium Prize problems
<fltrz>
we don't, in the system I propose 1) no risk of being ripped off 2) you know if it passes or not, by running metamath on your proof at home 3) near instantaneous reward ... even if 1) does not happen in practice, it does not mean a candidate believes it to be risk free
<fltrz>
by using a smart contract you increase the willing group who is prepared to spend time trying to solve a problem to also include the paranoid
<fltrz>
also in my proposal you can have price communication,... i.e. the boy could ask for 1.5 million whereas these prize funds have a fixed reward
<fltrz>
its away from the "idea submission box" towards the binding agreement
spinza has joined #bitcoin-wizards
napo1eon has quit [Ping timeout: 256 seconds]
Belkaar has quit [Ping timeout: 264 seconds]
Belkaar has joined #bitcoin-wizards
Belkaar has quit [Changing host]
Belkaar has joined #bitcoin-wizards
Noldorin has joined #bitcoin-wizards
napo1eon has joined #bitcoin-wizards
nuncanada2 has quit [Remote host closed the connection]
nuncanada2 has joined #bitcoin-wizards
napo1eon has quit [Ping timeout: 240 seconds]
<obc|>
;prd
<obc|>
klsjfsd
nuncanada2 has quit [Ping timeout: 256 seconds]
Belkaar has quit [Read error: Connection reset by peer]
napo1eon has joined #bitcoin-wizards
Belkaar has joined #bitcoin-wizards
Belkaar has quit [Changing host]
Belkaar has joined #bitcoin-wizards
Belkaar has quit [Read error: Connection reset by peer]
son0p has joined #bitcoin-wizards
napo1eon has quit [Ping timeout: 256 seconds]
Belkaar has joined #bitcoin-wizards
Belkaar has quit [Changing host]
Belkaar has joined #bitcoin-wizards
oleganza has joined #bitcoin-wizards
mkarrer has joined #bitcoin-wizards
oleganza has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
oleganza has joined #bitcoin-wizards
tiagotrs has quit [Ping timeout: 264 seconds]
tiagotrs has joined #bitcoin-wizards
tiagotrs has quit [Changing host]
tiagotrs has joined #bitcoin-wizards
cryptojanitor has joined #bitcoin-wizards
oleganza has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
yoleaux has joined #bitcoin-wizards
oleganza has joined #bitcoin-wizards
oleganza has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Giszmo has quit [Ping timeout: 268 seconds]
Belkaar has quit [Read error: Connection reset by peer]
napo1eon has joined #bitcoin-wizards
Belkaar has joined #bitcoin-wizards
Belkaar has quit [Changing host]
Belkaar has joined #bitcoin-wizards
Noldorin has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
son0p has quit [Quit: Lost terminal]
Giszmo has joined #bitcoin-wizards
isis_ is now known as isis
meshcollider has quit [Quit: Connection closed for inactivity]
Aaronvan_ has quit [Ping timeout: 256 seconds]
dougsland has quit [Ping timeout: 264 seconds]
legogris has quit [Remote host closed the connection]
an4s has quit [Read error: Connection reset by peer]
an4s has joined #bitcoin-wizards
legogris has joined #bitcoin-wizards
cryptojanitor_ has joined #bitcoin-wizards
GAit_ has joined #bitcoin-wizards
cryptojanitor has quit [Ping timeout: 256 seconds]
warren has quit [Ping timeout: 256 seconds]
GAit has quit [Ping timeout: 256 seconds]
cryptojanitor_ is now known as cryptojanitor
Giszmo has quit [Quit: Leaving.]
helo_ has joined #bitcoin-wizards
RaV3N has joined #bitcoin-wizards
jonasschnelli has quit [Ping timeout: 256 seconds]
helo has quit [Write error: Broken pipe]
warren has joined #bitcoin-wizards
an4s has quit [Ping timeout: 240 seconds]
jonasschnelli has joined #bitcoin-wizards
oleganza has joined #bitcoin-wizards
midnightmagic has quit [Ping timeout: 266 seconds]
midnightmagic has joined #bitcoin-wizards
[d__d] has quit [Remote host closed the connection]
bjorn[m] has joined #bitcoin-wizards
cryptojanitor has quit [Quit: Connection closed for inactivity]
mkarrer has quit []
[d__d] has joined #bitcoin-wizards
Jeremy_Rand[m] has joined #bitcoin-wizards
koshii has quit [Ping timeout: 260 seconds]
koshii has joined #bitcoin-wizards
Murch has joined #bitcoin-wizards
oleganza has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kewde[m] has joined #bitcoin-wizards
herzmeister[m] has joined #bitcoin-wizards
Krellan has joined #bitcoin-wizards
oleganza has joined #bitcoin-wizards
Murch has quit [Quit: Snoozing.]
opdenkamp has quit [Ping timeout: 260 seconds]
oleganza has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
oleganza has joined #bitcoin-wizards
oleganza has quit [Client Quit]
opdenkamp has joined #bitcoin-wizards
an4s has joined #bitcoin-wizards
daszorz has joined #bitcoin-wizards
RaV3N has quit [Ping timeout: 256 seconds]
CubicEarths has joined #bitcoin-wizards
CubicEarths has quit [Ping timeout: 276 seconds]
vicenteH has joined #bitcoin-wizards
laurentmt has joined #bitcoin-wizards
CubicEarths has joined #bitcoin-wizards
vicenteH has quit [Ping timeout: 264 seconds]
opdenkamp has quit [Ping timeout: 256 seconds]
daszorz has quit [Ping timeout: 265 seconds]
daszorz has joined #bitcoin-wizards
opdenkamp has joined #bitcoin-wizards
cmdrtee has quit [Quit: Leaving]
cmdrtee has joined #bitcoin-wizards
cmdrtee has quit [Remote host closed the connection]
cmdrtee has joined #bitcoin-wizards
thrmo has quit [Quit: Waiting for .007]
Guyver2 has joined #bitcoin-wizards
wxss has joined #bitcoin-wizards
thrmo has joined #bitcoin-wizards
SopaXorzTaker has joined #bitcoin-wizards
RaV3N has joined #bitcoin-wizards
an4s has quit [Ping timeout: 265 seconds]
an4s has joined #bitcoin-wizards
jonasschnelli has quit [Changing host]
jonasschnelli has joined #bitcoin-wizards
RaV3N has quit [Ping timeout: 256 seconds]
dougsland has joined #bitcoin-wizards
RaV3N has joined #bitcoin-wizards
an4s has quit [Ping timeout: 260 seconds]
cryptojanitor has joined #bitcoin-wizards
RaV3N has quit [Ping timeout: 265 seconds]
deusexbeer has quit [Ping timeout: 264 seconds]
AaronvanW has joined #bitcoin-wizards
Aaronvan_ has joined #bitcoin-wizards
deusexbeer has joined #bitcoin-wizards
AaronvanW has quit [Ping timeout: 264 seconds]
ekrion has quit [Ping timeout: 256 seconds]
ekrion has joined #bitcoin-wizards
Giszmo has joined #bitcoin-wizards
SopaXorzTaker has quit [Remote host closed the connection]
SopaXorzTaker has joined #bitcoin-wizards
ekrion has quit [Ping timeout: 264 seconds]
laurentmt has quit [Quit: laurentmt]
laurentmt has joined #bitcoin-wizards
ekrion has joined #bitcoin-wizards
Giszmo has quit [Ping timeout: 265 seconds]
nuncanada2 has joined #bitcoin-wizards
laurentmt1 has joined #bitcoin-wizards
laurentmt has quit [Read error: Connection reset by peer]
laurentmt1 is now known as laurentmt
Krellan has quit [Read error: Connection reset by peer]
Krellan has joined #bitcoin-wizards
dougsland has quit [Ping timeout: 256 seconds]
Noldorin has joined #bitcoin-wizards
tromp has quit [Remote host closed the connection]
Murch has joined #bitcoin-wizards
ekrion has quit [Ping timeout: 256 seconds]
tiagotrs has quit [Ping timeout: 256 seconds]
RaV3N has joined #bitcoin-wizards
tromp has joined #bitcoin-wizards
ekrion has joined #bitcoin-wizards
cmdrtee has quit [Quit: Leaving]
daszorz has quit [Read error: Connection reset by peer]
tiagotrs has joined #bitcoin-wizards
tiagotrs has quit [Changing host]
tiagotrs has joined #bitcoin-wizards
dougsland has joined #bitcoin-wizards
anstaendig has quit [Ping timeout: 264 seconds]
Murch has quit [Quit: Snoozing.]
anstaendig has joined #bitcoin-wizards
Krellan has quit [Ping timeout: 276 seconds]
thrmo has quit [Quit: Waiting for .007]
TheoStorm has quit [Quit: Leaving]
AaronvanW has joined #bitcoin-wizards
oleganza has joined #bitcoin-wizards
tiagotrs has quit [Ping timeout: 260 seconds]
Aaronvan_ has quit [Ping timeout: 264 seconds]
oleganza has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Murch has joined #bitcoin-wizards
Emcy has quit [Ping timeout: 264 seconds]
alferz has joined #bitcoin-wizards
isis is now known as isis_
<RaV3N>
Is there any good model for forks in the Bitcoin's blockchain? I know there is one in the Info prop paper but that looks rather flimsy.
<RaV3N>
Any better ones?
alferz has quit [Ping timeout: 264 seconds]
son0p has joined #bitcoin-wizards
Krellan has joined #bitcoin-wizards
Giszmo has joined #bitcoin-wizards
Krellan has quit [Remote host closed the connection]
nuncanada2 has quit [Remote host closed the connection]
nuncanada2 has joined #bitcoin-wizards
Emcy has joined #bitcoin-wizards
Samdney has joined #bitcoin-wizards
ekrion has quit [Ping timeout: 256 seconds]
RaV3N has quit [Ping timeout: 246 seconds]
Murch has quit [Quit: Snoozing.]
ekrion has joined #bitcoin-wizards
oleganza has joined #bitcoin-wizards
cryptojanitor has quit [Quit: Connection closed for inactivity]
TheoStorm has joined #bitcoin-wizards
tromp has quit [Remote host closed the connection]
Noldorin has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
nuncanada2 has quit [Ping timeout: 240 seconds]
packetsmurf has quit []
laurentmt has quit [Quit: laurentmt]
ekrion has quit [Ping timeout: 264 seconds]
ekrion has joined #bitcoin-wizards
tromp has joined #bitcoin-wizards
son0p has quit [Quit: Lost terminal]
Krellan has joined #bitcoin-wizards
tiagotrs has joined #bitcoin-wizards
tiagotrs has quit [Changing host]
tiagotrs has joined #bitcoin-wizards
merlinsbeard has joined #bitcoin-wizards
Giszmo has quit [Ping timeout: 264 seconds]
thrmo has joined #bitcoin-wizards
nuncanada2 has joined #bitcoin-wizards
son0p has joined #bitcoin-wizards
AaronvanW has quit [Remote host closed the connection]
Giszmo has joined #bitcoin-wizards
jtimon_ has joined #bitcoin-wizards
AaronvanW has joined #bitcoin-wizards
SopaXorzTaker has quit [Remote host closed the connection]
AaronvanW has quit [Ping timeout: 260 seconds]
anstaendig has quit [Ping timeout: 264 seconds]
nuncanada2 has quit [Read error: Connection reset by peer]
an4s has joined #bitcoin-wizards
nuncanada has joined #bitcoin-wizards
sammi` has joined #bitcoin-wizards
son0p has quit [Ping timeout: 260 seconds]
daszorz has joined #bitcoin-wizards
Murch has joined #bitcoin-wizards
an4s has quit [Ping timeout: 256 seconds]
sammi`_ has quit [Quit: Lost terminal]
laurentmt has joined #bitcoin-wizards
laurentmt has quit [Client Quit]
isis_ is now known as isis
son0p has joined #bitcoin-wizards
AaronvanW has joined #bitcoin-wizards
anstaendig has joined #bitcoin-wizards
AaronvanW has quit [Ping timeout: 256 seconds]
daszorz has quit [Read error: Connection reset by peer]
an4s has joined #bitcoin-wizards
RaV3N has joined #bitcoin-wizards
Guyver2 has quit [Quit: Going offline, see ya! (www.adiirc.com)]
an4s has quit [Ping timeout: 256 seconds]
AaronvanW has joined #bitcoin-wizards
TheoStorm has quit [Quit: Leaving]
anstaendig has quit [Ping timeout: 268 seconds]
belcher_ has joined #bitcoin-wizards
anstaendig has joined #bitcoin-wizards
son0p has quit [Quit: Lost terminal]
Noldorin has joined #bitcoin-wizards
merlinsbeard has quit [Quit: Leaving.]
keller has joined #bitcoin-wizards
wxss has quit [Quit: leaving]
skang404 has quit [Remote host closed the connection]
skang404 has joined #bitcoin-wizards
luke-jr has quit [Read error: Connection reset by peer]
tromp has quit [Remote host closed the connection]
TheoStorm has joined #bitcoin-wizards
<adlai>
fltrz: i'm gonna need you to recommend a thicker dictionary if you keep using words like that
<adlai>
and you should've highlighted stonecoldpat instead of the slack-roped bridge
nickler has quit [Ping timeout: 268 seconds]
<fltrz>
which word are we referring too? I have never had a direct message from stonecoldpat
<uiuc-slack3>
<stonecoldpat> I talk via slack
<uiuc-slack3>
<stonecoldpat> so it should come up with “stonecoldpat” after uiuc bridge
<fltrz>
I see
<mlz>
XD
<fltrz>
I thought uiuc... was quoting you
nickler has joined #bitcoin-wizards
keller has left #bitcoin-wizards [#bitcoin-wizards]
luke-jr has joined #bitcoin-wizards
tromp has joined #bitcoin-wizards
tromp has quit [Ping timeout: 256 seconds]
<adlai>
fltrz: well, as far as differential qualfanalysis goes, i'm more comfortable here calling bullshit on your 'latin'
isis is now known as isis_
<adlai>
as the bard said: quisquid latine dictum sitis, semper tyrannis.
belcher_ has quit [Quit: Leaving]
<fltrz>
what is qualfanalysis?
<adlai>
a proof-by-counterexample of understandability-by-typing: the analysis of qualifications.
<fltrz>
your observation seems to match mine: in practice we don't really formalize, and people get offended if it is pointed out.
<adlai>
offense is underrated. "what the fuck are you talking about" is the highest form of flattery.
<fltrz>
the question is not who is most formal, the question is how do we create policy that rewards formalization
<adlai>
that said, i'm very glad you're not taking published cryptography as gospel, and hope you can find a crack in that wall.
* adlai
uses some variant of this policy: "1) listen. 2) translate back and forth across the callosum until it either makes sense of pisses you off that you've wasted so much time. 3) respond, verbally or otherwise."
<adlai>
also known as "how to survive bitcoin conferences if you never finished highschool"
<fltrz>
regarding the wasted time, that is yet another advantage of formalization: if a result (with claimed proof) is significant, and a reader wishes to understand the proof, he can let the verifier check the proof before wasting time studying it.