mbrock

17 ms·

211.
by mbrock 7y ago
Eric Weinstein in The Portal suggested that ethnic religion is a way to ground the present concern for far future and past generations, thus ancestor worship and generational wealth etc. Pretty interesting. I'm also from an individua
212.
by mbrock 7y ago
Maybe meditating will be relatively easy for you. That means you would be able to naturally get into a state of very pleasant joyful relaxation. Once you learn to focus on the breath you start to notice some spontaneous feelings of wholesom
213.
by mbrock 7y ago
It seems quite likely that we live within a hierarchy of simulations. That means the physics we observe don’t need to be ultimate; they might be whatever the simulators wished them to be. Maybe some outer layer of simulation involves no tec
214.
by mbrock 7y ago
Maybe it’s not simply a reduction in duration but more like kind of a cleaner “soundstage” so to speak, where emotional “sounds” ring and decay in a simpler, purer, less distorted or overdriven way. Like taking away the kind of frazzledness
215.
by mbrock 7y ago
I don't think that function is used other than for logging. https://github.com/openssh/openssh-portable/blob/b52c0c2e649... There the "command" variable is the result of the function you mentio
216.
by mbrock 7y ago
Where do you see the problematic interpolation?
217.
by mbrock 7y ago
The author was interviewed on EconTalk recently.
218.
by mbrock 7y ago
This is why I do my cooking in the workshop so I can use the table saw. A crosscut sled with a stop block is hard to beat for cutting many toast slices to the same width. And of course there’s no better potato peeler than a lathe.
219.
by mbrock 7y ago
My general approach to programming is that every language at the moment is bad in serious, fatal ways, and that we are all just experimenting and practicing so that 50 years from now we might have a decent approach. Haskell is horrible in s
220.
by mbrock 7y ago
It takes a while to grok but for example constant expressions would have type “List Int 7” but a list value from I/O might have type “List Int n” where n is a natural number that also exists at runtime. Now zip would be “forall a, b, n
221.
by mbrock 7y ago
You might like the paper “Ghosts of Departed Proofs” which shows a great technique for dealing with preconditions in Haskell.
222.
by mbrock 7y ago
I share a NixOS config setup with my brother. It’s been evolving since 2015. He recently got a new laptop after using Mac for a year, cloned our repo, and was up and running. It really makes the computer feel like a commodity and the config
223.
by mbrock 7y ago
I think for newbies there are two separate aspects to explain: first an intro to algebraic structures perhaps using groups as an example, then monads in particular. It’s important to emphasize that algebraic structures are abstractions or “
224.
by mbrock 7y ago
Silly thought experiment. You’re a Stone Age hunter. You use a slingshot. Someone says they can make you one that shoots a little bit faster and weighs a bit less and has a sweet mammoth bone inlay that will impress everyone. You’ll have to
225.
by mbrock 7y ago
I don’t know but their draft spec for the procurement mentioned interest rates especially mentioning the need for negative interest...
226.
by mbrock 7y ago
At least the Swedish central bank is starting to develop “e-krona”, i.e. giving residents checking accounts for central bank money without private bank intermediaries.
227.
by mbrock 7y ago
One way to put it is, why do people go to church rather than just praying at home? Well, many reasons. And praying together isn't just like praying alone plus a bit of socializing afterwards—it changes the praying itself.
228.
by mbrock 7y ago
It’s kind of funny and weird to think of everyday life as an improv. Some corollaries: 1. We all have a responsibility to keep it flowing, responsive, and fun. 2. We need to stay coherent and not totally insane but without sticking rigidly
229.
by mbrock 7y ago
Check out Rodin and Event-B for some inspiration. http://www.event-b.org https://en.wikipedia.org/wiki/Rodin_tool Here the inventor demonstrates making a simple bank account simulator with the stepwise refi
230.
by mbrock 7y ago
NixOS
231.
by mbrock 7y ago
I should add that I don't claim any extreme benefits of this kind of practice other than feeling a bit better and more relaxed and the intrinsic niceness of the states. Surely it's a good base for "insight meditation." A
232.
by mbrock 7y ago
I never got anywhere near a path to actual mastery, but I did enough concentration meditation to go into the mind states where I felt like oh, this is what it's about. At first, meditation was all about just coping with boredom and mus
233.
by mbrock 7y ago
My favorite is when people write scripts that concatenate YAML files in such a way that you have to be really careful about how this one file always needs to be indented by 12 spaces otherwise everything breaks in horrible ways.
234.
by mbrock 7y ago
How would you write such a program?
235.
by mbrock 7y ago
static type system
236.
by mbrock 7y ago
Building a house rests on a long history of crafting and engineering. If working builders needed to understand abstract algebra we might have a lot fewer of them. The foundation of construction isn’t really mathematical. You can build a hou
237.
by mbrock 7y ago
Continuations can be reused many times. With delimited continuations you capture the continuation as a function that works basically like any other function. With unlimited continuation you capture the continuation as a weird function that
238.
by mbrock 7y ago
Having native access to continuation control lets you avoid writing in continuation passing style. It’s common to implement native continuation control with a compiler pass that automatically converts code into continuation passing style. (
239.
by mbrock 7y ago
The badness of the Photos icons is especially bad when it's used without a label, like in the text message composer.
240.
by mbrock 7y ago
I mean it’s also the only way to actually get food and drugs

More ›