purr changed the topic of #elliottcable to: a _better_ cult || topics << 'gamedev'
eligrey has joined #elliottcable
eligrey has quit [Quit: Leaving]
Temur has joined #elliottcable
Temur is now known as Guest73986
Guest73986 has quit [Max SendQ exceeded]
Tarmashirin has joined #elliottcable
Tarmashirin has quit [Max SendQ exceeded]
Tarmashirin has joined #elliottcable
Rusky has joined #elliottcable
Tarmashirin has quit [Ping timeout: 250 seconds]
eligrey has joined #elliottcable
Rusky1 has joined #elliottcable
Rusky has quit [Ping timeout: 244 seconds]
Rusky has joined #elliottcable
Rusky1 has quit [Ping timeout: 240 seconds]
eligrey has quit [Quit: Leaving]
Rusky has quit [Ping timeout: 256 seconds]
Rusky has joined #elliottcable
Temur has joined #elliottcable
Temur has quit [Changing host]
Temur has joined #elliottcable
<incomprehensibly>
ELLIOTTCABLE: i mean like it's not a hip bay area tech startup, but it's a very Web company so
<incomprehensibly>
ELLIOTTCABLE: like i doubt they're getting any venture capital
Temur has quit [Ping timeout: 244 seconds]
<incomprehensibly>
whitequark: would you be able to explain how bitcoin is designed to eat up the power you throw at it?
<incomprehensibly>
like i don't get it on a deep enough level for that to make sense to me
<inimino>
incomprehensibly: he means across the whole ecosystem
<inimino>
incomprehensibly: the total mining rate is constant regardless of the number of miners
<inimino>
so the people buying specialized hardware for it are just throwing money away unless they have some unique advantange over everyone else doing it
Temur has joined #elliottcable
Temur has quit [Changing host]
Temur has joined #elliottcable
<whitequark>
exactly
_whitelogger has joined #elliottcable
Temur has quit [Read error: Connection reset by peer]
Temur has joined #elliottcable
Temur has quit [Changing host]
Temur has joined #elliottcable
Temur has quit [Max SendQ exceeded]
Temur has joined #elliottcable
Temur is now known as Guest69874
sharkbot has quit [Remote host closed the connection]
sharkbot has joined #elliottcable
Guest69874 is now known as Temur
Temur has quit [Changing host]
Temur has joined #elliottcable
Temur has quit [Read error: Connection reset by peer]
Tarmashirin has joined #elliottcable
Tarmashirin is now known as Temur
Temur is now known as Guest22236
Guest22236 has quit [Ping timeout: 264 seconds]
Temur has joined #elliottcable
Temur has joined #elliottcable
Temur is now known as kaplan
kaplan has quit [Read error: Connection reset by peer]
Temur has joined #elliottcable
Temur has quit [Changing host]
Temur has joined #elliottcable
Temur has quit [Read error: Connection reset by peer]
Temur has joined #elliottcable
Temur has joined #elliottcable
Temur has quit [Read error: Connection reset by peer]
Temur has joined #elliottcable
Temur has quit [Changing host]
Temur has joined #elliottcable
Temur has quit [Read error: Connection reset by peer]
Temur has joined #elliottcable
Temur is now known as Guest84364
Guest84364 has quit [Ping timeout: 240 seconds]
Tarmashirin has joined #elliottcable
Tarmashirin is now known as kaplan
kaplan has quit [Changing host]
kaplan has joined #elliottcable
eligrey has joined #elliottcable
Rusky has quit [Quit: Leaving.]
Rusky has joined #elliottcable
<ELLIOTTCABLE>
lol bitcoin
kaplan has quit [Remote host closed the connection]
<whitequark>
what happened to it
<ELLIOTTCABLE>
what happened to what
<ELLIOTTCABLE>
ugh coffeescript
<whitequark>
bitcoin
<whitequark>
oh
<whitequark>
log
<ELLIOTTCABLE>
stick
Temur has joined #elliottcable
Temur has quit [Changing host]
Temur has joined #elliottcable
Temur has quit [Remote host closed the connection]
<ELLIOTTCABLE>
guh always so many references to things I've never heard of; and always couched in unnecessarily confusing language
<whitequark>
it makes sense in the context™
<whitequark>
actually, the paper is quite readable
<ELLIOTTCABLE>
Understand most of it, but “leads to machines that abstract into static analyses simply by bounding their stores.” is just gibberish to me.
<ELLIOTTCABLE>
s/understand/can make sense of/
<whitequark>
I think the idea is that you write an interpreter of a language in a specific way, and then by restricting the amount of stores (as a yardstick of meaningful operations it executes) you get back something that resembles a static analysis
<ELLIOTTCABLE>
I've got quite the collection of random CS PDFs in my dropbox now o_O
<whitequark>
reading random CS PDFs is a really good way to hate CS for the rest of your life
<ELLIOTTCABLE>
lol. bit late for that.
<ELLIOTTCABLE>
‘stores?’
<whitequark>
correction: achieve never seen before level of hate