mbrock

102 ms·

931.
by mbrock 10y ago
The phrase "worse is better" was coined precisely to explain the success of C, and I consider that paper required reading for entering this discussion.
932.
by mbrock 10y ago
Not just AOT; you can also easily compile new functions at runtime, and then even serialize the entire program's state, including JIT-compiled functions, into a new compiled image that starts instantly.
933.
by mbrock 10y ago
I've always thought of Derrida as some kind of shaman poet sorcerer who uses philosophy as the material for secretive experiments, which makes me not so upset when I can't understand him.
934.
by mbrock 10y ago
Same with Emacs keyboard macros. I use them very often to do similar things to many lines. Usually they involve some combination of search to move the cursor, word-based movement, cut and paste, and insertion. It's such a great feeling
935.
by mbrock 10y ago
GHC has the `IsList` type class which basically allows overloading the list syntax to create any other sequential container. It still uses linked lists as an intermediate representation (the type class consists of a function `fromList :: [a
936.
by mbrock 10y ago
Would you care to show such a trivial example, and maybe we can see if it can be translated into Haskell?
937.
by mbrock 10y ago
Do you know of an example of another general backtracking DSL implemented in another language that is significantly easier or more concise?
938.
by mbrock 10y ago
Do you think the value of BTC tomorrow will probably be nonzero? If so, you are participating in the faith, right? Monetary value may be an illusion, but if offer you some bitcoin at half the market price, you'd be quite irrational to
939.
by mbrock 10y ago
A few times I've wanted to make a script to download all those highlights into a text file, but I've never bothered... would still be really nice though.
940.
by mbrock 10y ago
For the record, you can also write Lambda programs in C, Haskell, Rust, Ocaml, Go, or basically whatever compiled language you want, as long as you can manage to produce a binary whose dynamically linked library paths are compatible with Am
941.
by mbrock 10y ago
Even in Haskell, writing state is as easy as += or <- and this is used in nearly every actual program. A cryptocurrency implementation like this doesn't need a language that makes state impossible. It needs static analysis, model ch
942.
by mbrock 10y ago
> About your wider point: you seem to put a lot of importance on societal roles ("expected to", "narratives"), and I don't think much of this (if at all) is caused by society rather than self-directed. Why do you
943.
by mbrock 10y ago
As a counterweight against drivers competing for customers on price, maybe customers should compete for social status through publicly verifiable tipping?
944.
by mbrock 10y ago
Solidity is not a "variant of JS".
945.
by mbrock 10y ago
I'd love to hear some ideas about almost excessively opinionated designs for this stuff.
946.
by mbrock 10y ago
There's something to be said for just reading manuals. Like, I can mess around with Gimp and get basic stuff done, but I bet if I read a book or manual I would pick on fundamental things that would help me really learn to master the to
947.
by mbrock 10y ago
Well, GHC does have a runtime, and in some way XMonad also uses the compiler at runtime because configurations are written in Haskell...
948.
by mbrock 10y ago
Approximately how much memory would XMonad use for you?
949.
by mbrock 10y ago
175% on my laptop, full screen.
950.
by mbrock 10y ago
If it turns out that someone is indeed constructing logic gates out of CSS selectors, I'll happily consider them a coder.
951.
by mbrock 10y ago
I think I've been talking casually about "coding" HTML or CSS for many years. To me the word can mean any process of converting your ideas into "computer codes". However, if someone says "I'm a coder"
952.
by mbrock 10y ago
I'm super interested in all that stuff, but I also feel that it's not for everybody. Like just yesterday I saw someone on the Rust subreddit who mentioned that they think Haskell is cool but it tends towards too high abstraction l
953.
by mbrock 10y ago
Dell XPS 13 Developer Edition running NixOS.
954.
by mbrock 10y ago
I was using abstraction in the sense of "lambda abstraction", like a formally specified function with parameters. Well, I had to remind myself what the actual design patterns "movement" is, and I get the impression that
955.
by mbrock 10y ago
I think the "follow your bliss" meme is a decent heuristic. So much of the weird useless stuff I spent lonely hours learning about have actually turned out to be crucial to my career opportunities and generally made me a better en
956.
by mbrock 10y ago
There are downsides to abstraction, too. The result of the urge of explicitly abstract every pattern can end up being a brittle network of dependencies. It can become really hard to adapt the formal abstractions to small requirement changes
957.
by mbrock 10y ago
I think it's a mistake to conceive of Reddit as a place to "waste time." It's also the new platform for lots of important online communities to discuss and disseminate information.
958.
by mbrock 10y ago
The reddits for Ethereum, Rust, and Haskell, and the IRC channels for Haskell and NixOS.
959.
by mbrock 10y ago
I don't think they're obviously great and I believe them when they say they don't consider themselves so. They're not Donald Knuths, you know? Making somewhat novel web frameworks takes a bit of inspiration and knowledge
960.
by mbrock 10y ago
That's how I feel about Unix, too.

More ›