mbrock

78 ms·

781.
by mbrock 9y ago
Well... but usually those are actual errors that you would need to fix anyway.
782.
by mbrock 9y ago
A lot of people who stick with expressive static type systems find the process of fixing type errors quite enjoyable. I really like the experience -- I can go really fast confidently. GHC does let you defer type errors until runtime but I n
783.
by mbrock 9y ago
Can you expand on what is meant by algorithms and computing, and what you mean that computers mostly do instead?
784.
by mbrock 9y ago
I first became interested in programming language theory back in high school when a guy in an IRC chat, who was a student at UIUC, asked me to do his homework for him. The assignment was to implement Hindley-Milner type checking with unific
785.
by mbrock 9y ago
That's an extremely interesting project! I have a need for something very much like it. That it builds on Nix is amazing, and using Smalltalk for the UI seems like an excellent idea too.
786.
by mbrock 9y ago
I use Docker as a tool for creating statically linked binaries... For example, here: https://github.com/mbrock/gf-static/blob/master/Dockerfile Making static binaries is often extremely painful and confu
787.
by mbrock 9y ago
Yeah, that seems good! The NixOS manual is also a good resource. I'll also mention that EC2 can spin up a NixOS instance from an existing public AMI, which can be a convenient way to get started. While reading up on the basic semantics
788.
by mbrock 9y ago
NixOS on my laptop, my Hetzner dedicated server, and my EC2 instances. Configuring NixOS is done declaratively, so I can easily inspect how my computers are configured, and I know that when I get a new computer, I can just copy the configur
789.
by mbrock 9y ago
I also find much of the article dense, but here's my attempt at a summary. Logicians like the idea that words and phrases have "meanings" or "references." Like, "my computer" should be interpreted, when I
790.
by mbrock 9y ago
Would it be an important matter of principle for you that you give them sufficient time to retract their claims, instead of terminating their service immediately?
791.
by mbrock 9y ago
What if that man is, for example, threatening your family or friends?
792.
by mbrock 9y ago
Well, I might ask whether you think there is a difference between selling food to an individual who happens to be a member of the Nazi party, and catering for a Nazi party event?
793.
by mbrock 9y ago
Let's say you own a café. The local political youth group "Club Hitler" submits a proposal to have their weekly meetups in your venue. You agree, and they host a number of meetups. They then begin to publicize your venue&#x27
794.
by mbrock 9y ago
I'm curious, if you imagine a possible historical situation, let's say a German business owner in the 1930s that took a stance of not offering services to Nazi organizations, does that appear commendable, or bad in the same "
795.
by mbrock 9y ago
Blockchain payment channels can have security properties that go way beyond just trusting a third party with deposits. Here's a little example of setting up a reasonably secure payment channel with the help of an Ethereum smart contrac
796.
by mbrock 9y ago
Bitcoin and other blockchains enable more or less trusted associations to form using side channels. A typical example is using off-chain collaboration to exchange signed transactions of deposited funds. It seems reasonable to consider trust
797.
by mbrock 9y ago
Nix does not particularly care about the hash of the result of a build, but mostly only the hash of the input. When you download a package from the binary cache of Nix, you use the input hash. The binary cache contents may differ depending
798.
by mbrock 9y ago
Although the following (from Wikipedia) seems to accord with usage: > The name compiler is primarily used for programs that translate source code from a high-level programming language to a lower level language (e.g., assembly language,
799.
by mbrock 9y ago
Only that most people program in GHC, not Haskell.
800.
by mbrock 9y ago
Yeah, I just don't understand what actually makes it difficult.
801.
by mbrock 9y ago
Unit testing just means running your programs or subprograms with different inputs and checking the result. Nothing about this is hard in bash. Why would it be?
802.
by mbrock 9y ago
You can output data from a function and pipe it just like any other program, right? So that's how you tend to return values from bash functions.
803.
by mbrock 9y ago
Wait, isn't that exactly how lexical scoping in Scheme works? That's how you implement "objects" using lambdas. You make closures that mutate their closed-over bindings.
804.
by mbrock 9y ago
A few years ago, most programming forums I visited considered OO the normal good way, and FP arcane, slow, and basically useless. This opinion seems to have turned. Basically Haskell was too cool to ignore so everyone played with it on the
805.
by mbrock 9y ago
In functional languages it's easy to run into difficulties with extending a sum type without changing the defining module.
806.
by mbrock 9y ago
Interesting connection for people interested in design patterns: > At the University of Oregon campus, outrage and vocal distaste for Brutalism led, in part, to the hiring of Christopher Alexander and the initiation of The Oregon Experim
807.
by mbrock 9y ago
By default I'm very reluctant to use proprietary libraries because I would have to invest time into learning something that I can't use freely in future projects, and I might even expose myself to some kind of risk of patent infri
808.
by mbrock 9y ago
"interesting work in progress on this front though" Any pointers?
809.
by mbrock 9y ago
I had a similar idea: a forum with endlessly branching threads, where important nodes get highlighted as "subforums".
810.
by mbrock 9y ago
OMG, support on IRC? That's so legit.

More ›