chowells

75 ms·

871.
by chowells 10y ago
I would love to drift aimlessly while being given money for doing nothing. I recently took 18 months of work to just drift around the country visiting friends and family. No side projects. No goals. No way to succeed or fail. It was won
872.
by chowells 10y ago
It's hard to understand because it's utterly unenlightening. It's a restatement of the definition. It's like saying "the number two is just the sum of one and one." It's trivially true yet utterly fails
873.
by chowells 10y ago
> Godel numbering is infinite, because it is just natural numbers. Nothing prevents you to build the same proof for infinite number of axioms, rules, functions, variables.. That's kind of a non-sequitor. Second-order logic, the logi
874.
by chowells 10y ago
Godel's technique is a constructive proof that depends on two things to work. One, the logic needs to be at least strong enough to express the Peano axioms. Two, it needs a finite formalism of the logic to construct the proof out of. I
875.
by chowells 10y ago
Do things play out that way though? Every time you raise prices, fewer people use it, resulting in requiring another price increase. Demand for public transit is actually pretty price-sensitive. Look at what's currently going on w
876.
by chowells 10y ago
IIRC, a John Doe defendant got a young aggressive lawyer hoping to make a name for himself to defend him pro bono. The lawyer started digging hard, refused to just accept a dismissal, and went on a counter-attack that eventually dug up eno
877.
by chowells 10y ago
There's a reason I said foldr. In Haskell, even foldl is implemented with foldr. It's that powerful of a tool. In contrast, foldl is far weaker, and necessarily strict in its input. It loses nothing moving to mandatory strictness.
878.
by chowells 10y ago
It's not about side effects, it's about bookkeeping. When you have a type that indicates that you can do IO, but you're also carrying around bookkeeping data implicitly for things like configurations and data sources, forkIO
879.
by chowells 10y ago
I can't imagine using a haskell-like language without laziness. It's what makes it possible to actually write small reusable functions. Tell me, have you ever used foldr in Purescript? It just doesn't lead to reusable logic t
880.
by chowells 10y ago
Probably for the same reason I greatly prefer cabal to stack. Stack assumes it knows better than me. Cabal just does what I tell it to do. As a domain expert, I greatly prefer the latter. It does what I want, nothing more, nothing less. St
881.
by chowells 10y ago
FP people have never claimed they don't have state. That's a straw man used to argue against something no one is saying. The claim is that there is no hidden state - everything is made explicit.
882.
by chowells 10y ago
Have you considered https://www.qubes-os.org/ ? It's not exactly what you're asking, but it has similarities.
883.
by chowells 10y ago
Because the other comment didn't spell it out: effect is correct there. Effect as a verb means something like "to cause to happen". Don't pretend effect/affect is just a noun/verb split. Both words have mean
884.
by chowells 10y ago
This is sort of accidentally technically correct. It's not always right to use /dev/urandom on Linux. During system startup, it does bad things if the entropy pool hasn't been initialized yet. So yeah. You shouldn&#
885.
by chowells 10y ago
The biggest problem with classes is that they conflate two different concepts in a way that limits reusability. When you have classes, you have subclassing, and subclassing means two different things at the same time. First, subclasses are
886.
by chowells 10y ago
Note that it's a contentious issue. Lots of people think there's plenty of documentation. I'm one of them. The people who think documentation is lacking seem to be people who need worked examples of things to understand th
887.
by chowells 10y ago
No, Haskell can abstract across the callbacks/blocking choice and let you write straight-line code that works with either. I mean, that makes sense as the two are fundamentally the same thing at super-low levels anyway. Haskell just su
888.
by chowells 10y ago
There's no slippery slope. The difference is easy to distinguish. Is real money a substitute for skill at whatever decisions the game asks you to make? If so, you're being scammed. Content expansions in AAA games are obviously no
889.
by chowells 10y ago
"Professional" doesn't mean "Poorly designed". It means "designed so that people with lots of domain knowledge and experience with the tool find that it never gets in their way." In that sense, git is a p
890.
by chowells 10y ago
Yes, you really do need collision attack resistance in your standard hash table implementation. You know why? Because we've known for a long time that insecure defaults are broken. I'm glad rust makes the correct choice here.
891.
by chowells 10y ago
In this case, that's far from true. Many people have contributed correct documentation. Whoever is in charge of these things continually rejects it because of their mistaken beliefs about PRNGs.
892.
by chowells 10y ago
I don't know what you mean by sqrt(-1) not existing. What does it even mean to exist? Far better to talk about whether a number is defined in a particular numerical system . In the real numbers, sqrt(-1) isn't defined. But why p
893.
by chowells 10y ago
Haskell does OO just fine. It doesn't do nominal subtyping, but that's really a misfeature in OO anyway. That said, persistent doesn't do OO.
894.
by chowells 10y ago
That presentation makes a funny assumption that it's dynamic languages that do that. Haskell is nearly as far from dynamic as possible, with all the same advantages w.r.t. patterns.
895.
by chowells 11y ago
That solution doesn't cast javascript in a positive light. Why should you need to know that much about the guts of the language just to create an associative array that works properly?
896.
by chowells 11y ago
The big advantage to liquid types, a la liquid haskell, is that you get far more inference than you can get in full dependent typing. I still think liquid haskell is too immature (Integer is not a good theory for Int, type classes aren&#x27
897.
by chowells 11y ago
Fortunately, Liquid Haskell already exists. I wouldn't say it's production quality yet... But it's a work in progress, and achieves far more than you are requesting here.
898.
by chowells 11y ago
uBlock Origin runs just fine on Firefox Android.
899.
by chowells 11y ago
If you found yourself agreeing with article, yet have ever mocked mathematically-derived abstraction patterns like monads, it's time to reconsider. Math is, at its core, the study of abstraction. Things that have been found to be good
900.
by chowells 11y ago
All you need is to capture and view the traffic at the network level. You can easily do that off-device when using wifi.

More ›