mbrock

15 ms·

181.
by mbrock 7y ago
I get butter, cheese, and sour cream at a local zero waste shop. We don't use dairy milk though, just nut milk and oat milk where we buy the nuts and oats in bulk and blend with water. https://treadingmyownpath.com/2017
182.
by mbrock 7y ago
Tasks could have more logical structure than a dependency graph. You can imagine a kind of programming language for tasks with conditional logic, loops, exceptions, blocking I/O, etc. I don’t know if this has been explored?
183.
by mbrock 7y ago
It is quite strange how people assume and spread the notion that types are the best or the only place to put propositions. Why ignore the option of specifying propositions as separate invariants or postconditions, verified by proof, model c
184.
by mbrock 7y ago
With backslashes before newlines you can do “multiline oneliners” too.
185.
by mbrock 7y ago
Indeed, huge amounts of JavaScript that’s already out there does not come with a free software license. The FSF has been complaining about this for years. As for debugging, this is not a particularly hard or fundamental problem. It’s basica
186.
by mbrock 7y ago
Right, because when you distribute free software in binary form, you make sure to make the source code available with a copyright license disclaimer allowing redistribution. This applies exactly to WebAssembly software just as it does with
187.
by mbrock 7y ago
Doesn’t that reasoning also imply that GNU and Linux are awfully opaque and not free nor open, since they are typically distributed as binaries?
188.
by mbrock 7y ago
It's pretty close to how both Moggi and Wadler formulated it in their respective seminal papers which introduced monads for representing different notions of computations in functional languages.
189.
by mbrock 7y ago
Actually I/O in general is something that almost always comes from outside the language, so to speak. How do you define a file writing function in C? You have to appeal to some already existing magic syscall which actually cannot be fo
190.
by mbrock 7y ago
Another way to say it: a monad is a generic type with the sufficient API to do binding sequences like x <- fetch "foo" y <- frob x return (x + y) The meaning of binding/sequencing is decided by the part
191.
by mbrock 7y ago
Living in Rīga, I like drinking Latvian beer from Labietis, Malduguns, Nurme, Alķīmiķis, Hypnos, and a couple of other breweries. But I have to say that there are some Estonian breweries that are really world-class, especially Põhjala and P
192.
by mbrock 7y ago
Does it teach working laymen to embrace radical and countercultural ideas? That’s not my impression of Buddhism in Thailand, Burma, Japan, etc.
193.
by mbrock 7y ago
"The problem is that the way they brought these into institutions was very non-confrontational, very non-oppositional, in order to to get a foot in the door. And so they're working with these other elites in these institutions and
194.
by mbrock 7y ago
Yeah, with this definition, complexity is something you notice as a working team, not something you can directly measure with syntactic criteria (of course syntactic criteria may correlate with the complexity).
195.
by mbrock 7y ago
I think Ousterhout’s pragmatic definition of complexity is the best one when discussing actual code bases: complexity is anything that makes the system hard to change, taking into account how often the relevant part needs to change.
196.
by mbrock 7y ago
The built-in ability to pattern match on data nested deeply within the application state (or the XML document) is radically powerful. Haskell, for example, has nothing like this. Eve is a really interesting language where you define global
197.
by mbrock 7y ago
Glad you like it! Feel free to save it to your disk and modify it. I forgot to put a free software license, will do later...
198.
by mbrock 7y ago
Here’s my attempt at a tool for writing not even a draft but a stream of consciousness that evaporates like a daydream or prayer. https://swa.sh It doesn’t work on mobile, but you should use it with a proper keyboard anyway. The
199.
by mbrock 7y ago
I'm under the impression that CRDTs are somewhat limited by the lack of a clear way to combine several structures along with application-specific logic. In the 2012 paper "Logic and Lattices for Distributed Programming" (by C
200.
by mbrock 7y ago
Consider an LRB subscription, a lot of their essays are really great.
201.
by mbrock 7y ago
It is amusing to imagine the neural network mind growing advanced enough to realize that to help it level up in clarity of thought and communication, it needs to develop a system of automatic symbolic logic...
202.
by mbrock 7y ago
I heard of a web consultancy around 2006 where the Subversion repository history contained a full copy of the Rolling Stones discography in MP3.
203.
by mbrock 7y ago
I love to bike with my waterproof poncho. https://www.thepeoples.co
204.
by mbrock 7y ago
WireGuard, the minimalist secure VPN system.
205.
by mbrock 7y ago
It's an Emacs theme called "cyberpunk". :D
206.
by mbrock 7y ago
Uhhh sorry I don’t understand imgur. I think there’s a way. Oh it seems that the mobile imgur site is totally nerfed. Sorry. Is there a better free image host?
207.
by mbrock 7y ago
The latest release of Iosevka has a "quasi-proportional" variant called Iosevka Aile which I really, really like. Here's a 3200x1800 screenshot with some code in Emacs. https://i.imgur.com/LdzBmpx.png The ker
208.
by mbrock 7y ago
I actually don't know of any functional programming languages that don't have syntactic and semantic support for writing step-by-step algorithms.
209.
by mbrock 7y ago
Does one’s knowledge of how to ride a bike have anything to do with such graph structures? Or is intelligence unrelated to such skills? It seems that the intelligence involved in having a basic conversation would engage a lot of such skills
210.
by mbrock 7y ago
People routinely pay $3 for a single cup of drip coffee or $6 for a shot of liquor

More ›