chowells

63 ms·

781.
by chowells 8y ago
It's not a service, it's a penalty. I believe the whole point of this bill is to remove monetary penalties against people who haven't been convicted of a crime. The state pays for it as a cost of law enforcement. If they thin
782.
by chowells 8y ago
A bunch of low-reach languages have true parametric polymorphism. A bunch of common languages have polymorphism that may be parametric or may be bounded by runtime type information checks, and you can't tell the difference from the typ
783.
by chowells 8y ago
Java does not have parametric polymorphism because instanceof exists in the language. That reduces what you can say about something from the type alone to "maybe parametric, maybe bounded by runtime checks that aren't visible in t
784.
by chowells 8y ago
Most people don't even know what parametric polymorphism is, let alone have ever used a language that supports it. I find it's basically impossible to explain just how powerful of a tool it is to someone who lacks experience using
785.
by chowells 8y ago
I saw this article yesterday. I was similarly surprised about the history. I was a bit less surprised about the theory, as I did already know about the costate comonad interpretation, and once you get to that level of abstraction an idea te
786.
by chowells 8y ago
There's no discontinuity at 0. It's a limit point that is unreachable, as far as we know. That's why 1/T is a better measure. It makes it obvious that +0k is the unreachable limit of "adding a quantum of energy resu
787.
by chowells 8y ago
No modding community of note. It's the first game in a series that has three direct sequels, two spinoffs, and a crossover title that all run well on Steam. As much as I miss some things about that version of the game, the sequels are
788.
by chowells 8y ago
Any language that doesn't acknowledge programmer laziness is faulty. All programmers will have times where they do only what is easiest to do right then . Sometimes you just need to get the happy path working, damn everything else. Go
789.
by chowells 8y ago
This appears to be the same issue BlazBlue: Calamity Trigger on steam has. The game's unplayable unless you reboot before playing. Unfortunately, it's never getting patched.
790.
by chowells 8y ago
Correct. POSIX time is defined as number of seconds per (non-leapsecond) day times number of complete day since the epoch, plus the number of seconds in the current day. POSIX timestamps get weird around leap seconds. Time stamps get repeat
791.
by chowells 8y ago
Not if you want to observe animal life too. Jet skis are very loud, and not all that comfortable either. You'd be better off with a flat-bottom boat, like in that one photo. Whether you have an airboat or a small outboard motor, they o
792.
by chowells 8y ago
Haskell is unsound because of 'undefined :: a'. There you go - a proof of every proposition by the Curry-Howard isomorphism. It's still safe, though, as it diverges at run time. Much like the ClassCastException coming from th
793.
by chowells 8y ago
No, I definitely mean type-level programming. Sure, most dependent typing systems subsume type-level programming, but you can do interesting things without needing dependent types. The only requirement for type-level programming is that you
794.
by chowells 8y ago
It's usually more about adding additional constraints on code that the type checker will accept than it is about partial evaluation. That is, you're embedding additional logic in the type system. This additional logic lets you be
795.
by chowells 8y ago
As for why he doesn't define it: he's been one of two primary authors of GHC for over 20 years. He assumed anyone reading his blog would already be aware of that, because why else would they be reading his blog?
796.
by chowells 8y ago
I like the idea of your first try, but it's not guaranteed to work on all implementations, even with the type promotion fixed. The problem is that the C standard doesn't specify a maximum size for int. It could be a 128 bit type.
797.
by chowells 8y ago
I have a small program which uses an undefined behavior. How would you rewrite this so as to not do so, but maintain all existing defined behaviors? #include <stdio.h> int main() { int a, b, c; printf(&quot
798.
by chowells 8y ago
Well.. It's like 25% accurate, and you hit the part you were most worried about. But you have been seriously misled about monads in the past. There is no magic in monads. At the level of runtime operations, they're just a couple o
799.
by chowells 9y ago
They're hardly the only ones. Injustice 1&2,Guilty Gear Xrd -Sign- & Revelator, Marvel vs Capcom: Infinite, Dragon Ball FighterZ - these days, it's actually less common for AAA fighters to not use the Unreal Engine.
800.
by chowells 9y ago
Was 5 octaves really an arbitrary choice? It's the point where the circle of fifths gets back to the starting note. (Nevermind that detail that there are no positive integers m, n such that (3/2)^m == 2^n.) That's not exactly
801.
by chowells 9y ago
It wouldn't violate thermodynamics in any meaningful way unless you could actually use that increased energy to produce work. Every formulation of thermodynamics I was able to find is specifically about deriving work from differences i
802.
by chowells 9y ago
A lot of people consider greater fool assets to be financially unsound, no matter what their historical performance might be. Stocks typically provide real value in up to 3 different ways. First is paying dividends. Second is voting power.
803.
by chowells 9y ago
If I have any kind of hard CSS problem, I ask someone else on the team to handle the styling. I could do it, but it would take me 3x as long and make me miserable. No one else on the team can handle integration with federated identity syste
804.
by chowells 9y ago
It's also got 3 dimensions. That's going to make it somewhat hard to plot on a 2-dimensional display.
805.
by chowells 9y ago
So... You claim that everyone trapped in these situations deserves it? That sounds a lot like admitting the people whose existence you've been denying do exist after all. It sounds like you know it and have always known it. It sounds l
806.
by chowells 9y ago
That's not difficult to reconcile at all. A person with nothing has way more than a person with debts and other obligations. A person with nothing has no trouble changing their circumstances, because they have nothing to lose. Compare
807.
by chowells 9y ago
A very large percentage of employers don't have employees worth money. They have employees as cost centers, totally devoid of worth as humans or even resources. I know a lot of people who work for these companies. They have jobs lik
808.
by chowells 9y ago
Most employees get fired for trying that. Glibly saying "supply & demand" doesn't erase the massive power imbalance between employer and employee in most businesses.
809.
by chowells 9y ago
Because they're fundamentally about maximizing personal gain regardless of the cost to society. This is in direct violation of the covenant upon which societies are founded. Most people take this violation as an immoral act.
810.
by chowells 9y ago
I like this answer, but it leaves one important thing out. Mathematicians have been studying abstraction for thousands of years. When they decide something is useful, that probably means it has broad applicability and enough functionality t

More ›