mbrock

45 ms·

451.
by mbrock 8y ago
https://torrentfreak.com/spotifys-beta-used-pirate-mp3-files... It was sheer piracy!
452.
by mbrock 8y ago
Going split screen with Notability is still a good way to read a book. I usually note down chapter headings and sometimes copy out sentences mixed with my own thoughts or summaries.
453.
by mbrock 8y ago
It’s what I love the most about Lisp...
454.
by mbrock 8y ago
It’s called the BZZR metadata and it’s supposedly potentially useful for something.
455.
by mbrock 8y ago
Contemporary programmer: spends a whole weekend tweaking CSS parameters, asking web forums for LaTeX templates, finding a cool fresh font pairing on Google Fonts. 1980s programmer: sits down at the typewriter and bangs out a fixed width tab
456.
by mbrock 8y ago
It's one of the dozens of proprietary corporate mobile payment systems that only work in specific nationalities and only in conjunction with bank accounts... https://en.wikipedia.org/wiki/Category:Mobile_payments
457.
by mbrock 8y ago
Kinda like when someone from the U.S. mentions Venmo to a European. :)
458.
by mbrock 8y ago
I’ve also encountered friends at lunch using mobile crypto wallets to split the bill. “Can I just send you some dai?”
459.
by mbrock 8y ago
Why? I’ve paid for computer equipment and plane tickets using cryptocurrency several times. Just scan a QR code and press send.
460.
by mbrock 8y ago
I’m just asking because you seem to insist that OpenBazaar is an inevitable failure and a useless waste of time, while I can imagine it being quite successful within a few years.
461.
by mbrock 8y ago
Do you think there’s any chance that within 5 years there will be a somewhat widely accessible cryptotoken whose value is decently stable in the short and medium term, so that platforms like OpenBazaar would become at least viable for early
462.
by mbrock 8y ago
I’ve heard so much talk about abstractions lately but I’m not sure I know what an abstraction actually is.
463.
by mbrock 8y ago
I was once annoyed with the slowness of Lynx, the terminal web browser. Poking around in the source code, I noticed that it literally called sleep() several times while loading a page. I removed every sleep call in the code and suddenly Lyn
464.
by mbrock 8y ago
We should never have crawled out of the ocean!
465.
by mbrock 8y ago
I wonder what you would get if you crossbred Postgres and Haskell, for example. Basically adding indexed tables to the Haskell data model, maybe? Some hybrid of relational tables and algebraic data types? Sometimes even when writing compile
466.
by mbrock 8y ago
You know A|B and A|C. Prove A|(B&C) by assuming A and separately by assuming B, then use case analysis (by dragging the first conclusion onto the second). To prove A|(B&C) assuming B, you have to use A|C and yet another (nested) cas
467.
by mbrock 8y ago
It’s kind of funny that those all use divergent versions of Lisp... :)
468.
by mbrock 8y ago
“Either way, the point is that it will force the issue to be resolved, quickly, and the code base to move forward.” This is also known as continuous integration.
469.
by mbrock 8y ago
Rigorous definitions of logic—the various systems of formal logic—do not fully define reason. They are more like particular schemes that formalize and idealize some aspects of reasoning. Those systems are derived from reasoning, using reaso
470.
by mbrock 8y ago
It could be a cheap shot comedy making RMS into a funny weird guy, or it could be an interesting and challenging dialogue about ethics, entertainment, and convenience.
471.
by mbrock 8y ago
Dependently typed programming languages seem capable of defining types that express many aspects of a program’s specification. Formal specification in that sense isn’t enough to guarantee that your game is challenging—but it’s an engineerin
472.
by mbrock 8y ago
The main flaw of Lisp is using linear data for everything. Huh? Which Lisp are you talking about? That seems like a serious misconception! Certainly any Lisp after 1960 has great support for arrays, trees, graphs, hash tables, you name it
473.
by mbrock 8y ago
Lisp certainly wasn't in vogue when Paul Graham did his startup and wrote those essays. " Robert and I both knew Lisp well, and we couldn't see any reason not to trust our instincts and go with Lisp. We knew that everyone els
474.
by mbrock 8y ago
Consider watching this little series on Khan Academy and then sketching out your start of year balance sheet and a month's income statement. https://www.khanacademy.org/economics-finance-domain/core-fi... This mig
475.
by mbrock 8y ago
There's a special place in my heart for Ron Hogan's translation. http://www.beatrice.com/TAO.txt A representative sample translation from the beginning of stanza 20: Don't spend too much time think
476.
by mbrock 8y ago
It's also kind of just like concept formation and theory building in science. In algebraically or mathematically oriented communities like much of the Haskell world, you see a similar kind of "bottom-up programming" but with
477.
by mbrock 8y ago
I don't care about morning meetings as a bar to meet; I just think they're almost always useless or harmful. Luckily I now work remotely, set my own hours 100%, and collaborate asynchronously with no daily synchronization points.
478.
by mbrock 9y ago
Nietzsche's text "On truth and lie in a nonmoral sense" expresses a lot of the same ideas. > When someone hides something behind a bush and looks for it again in the same place and finds it there as well, there is not much
479.
by mbrock 9y ago
Technical pedantry could almost be a definition of programming...
480.
by mbrock 9y ago
Equality on strings is a common source of confusion in Java, and I think that's because many newbies aren't properly taught the kind of semantic pedantry we're discussing... and because the language design is weird. Strings p

More ›