mbrock

14 ms·

121.
by mbrock 5y ago
This is some real hacker spirit tinkering weird lifestyle innovation, I love it. May Hacker News fill up with much more of this genre! Oh, you may be interested in my Telegroam: https://github.com/mbrock/telegroam
122.
by mbrock 5y ago
I’m all for hyperlinks but I also think there’s something crucially valuable about presenting some kind of ordered, intelligible, linear narrative structure. The idea of organizing a program as a sequence of chapters is to me the core of li
123.
by mbrock 5y ago
I heard about the book in this lecture by John Vervaeke, so you might be interested in that too! https://youtu.be/vGB8k7jk1AQ
124.
by mbrock 5y ago
Oh yeah, the book also describes the craving itself as an essential part of the addiction. It’s not just that the drug or whatever is so immensely pleasing when you take it, it’s also that the whole cycle of wanting, pursuing, and getting i
125.
by mbrock 5y ago
I like the book “The Biology of Desire” on addiction. It views addiction as an instance of the same kind of desire-driven habit-forming learning that’s the core of our motivational system. And so quitting an addiction is not exactly just qu
126.
by mbrock 5y ago
Read Christopher Alexander’s foreword to Richard P. Gabriel’s “Patterns of Software.” https://www.dreamsongs.com/Files/PatternsOfSoftware.pdf
127.
by mbrock 5y ago
What if believing in it is proven to have significant benefits, regardless of the scientific truth value of the doctrinal propositions? How do you really judge the rationality of that?
128.
by mbrock 5y ago
Yep, I have sent this website to people before with excited messages like “this color scheme seems weird but I find it very soothing and helpful for reading and concentrating.”
129.
by mbrock 5y ago
It’s not some special secret coconut. That’s like looking for the ultimate focus of vision. Focus is adaptive and dynamic. Meaning too. Or like trying to find the best word in the dictionary. They’re all good and only context makes one more
130.
by mbrock 5y ago
It’s really easy, there’s a free tier, it gives you mesh P2P, it sets up DNS on all your devices, Google/GitHub SSO, a nice little Mac menu bar widget, etc etc. It just makes life nicer. Adding a new VPS or whatever device is just “tai
131.
by mbrock 5y ago
For what it’s worth, that kind of time blindness induced by hyperfocus on some idiosyncratically captivating interest is also a classic manifestation of ADHD.
132.
by mbrock 5y ago
I use Roam a lot like this. Everything goes on the Daily Notes page. I refer back to older notes with block references. I don’t write anything on other pages, I just refer to ideas and names with the [[Link Syntax]] and then the pages are j
133.
by mbrock 5y ago
I think Roam has been fully collaborative since the launch. The browser keeps the whole database in IndexedDB and syncs it continuously with a WebSocket streaming Datomic-style transactions.
134.
by mbrock 6y ago
This year I've been using Complice.co which is interesting because it focuses on the present and the past but doesn't have any features for planning the future. (I'm friendly with the Complice team on Twitter, because they&#x
135.
by mbrock 6y ago
adhd diagnosis and medication
136.
by mbrock 6y ago
Readwise also has an excellent integration with Roam Research that has utterly transformed my whole way of working with books. I can’t emphasize it enough without sounding manic. Everything I highlight in Kindle now gets automatically impor
137.
by mbrock 6y ago
The riksbank seems to be advocating an "e-krona" where each citizen would use a state-issued digital identity to directly use central bank money as a means of payment similar to physical cash, no?
138.
by mbrock 6y ago
Maybe not exactly EASY, but definitely EASIER. That's what they're meant for. They're supposed to make enlightenment easier.
139.
by mbrock 6y ago
How about this? At first, I saw things in the normal everyday way, with conceptual thought labels attached strongly to everything. Then, through Zen practice, I came to see things in a more direct way, without the constant presence of words
140.
by mbrock 6y ago
It’s a multiplayer game
141.
by mbrock 6y ago
To make sure there’s demand for money. It’s certainly not because the money is a scarce resource for them, since they are the monopoly issuer of the money.
142.
by mbrock 6y ago
The government just credits accounts. The money doesn’t have to come from anywhere other than the government’s decision—that’s why it’s called fiat currency!
143.
by mbrock 6y ago
The theory is supposed to be an abstraction of the implementation, not the other way around...
144.
by mbrock 6y ago
But closures still hold references to variables, even if they are numbers. let counter = () => { let i = 0 return () => { ++i; return i } } let x = counter() console.log(x(), x(), x()) // 1 2 3
145.
by mbrock 6y ago
The aim is to have a spec that is much LESS complex than the code, written at a higher level, abstracting away details. If the spec is 5x more complex than the code then indeed there’s no point.
146.
by mbrock 6y ago
The theories as conceived to relate to the actual programming environment. Any proof about a Haskell program’s correctness relies on a leaky abstraction (an axiomatization) of what will actually happen when you run GHC on the source file.
147.
by mbrock 6y ago
In my experience, they will be happy to start anywhere, like just how is your day today for example. You can just talk and they will listen and ask about stuff that they think might be relevant. Whatever is “wrong” it will probably come up
148.
by mbrock 6y ago
Indeed proof formalisms are themselves leaky abstractions.
149.
by mbrock 6y ago
Uhhhhhh
150.
by mbrock 6y ago
He is talking about AI as presently conceived when writing. The quote I posted has him explicitly imagining what you say he could not imagine. His critique was in fact INFLUENTIAL for the currently successful approaches.

More ›