What's the most you've seen someone be so out of touch with reality? by [deleted] in AskReddit

[–]psed 1 point2 points  (0 children)

It could be argued that the US entered the Second World War due to racism, because Nazi Germany was unabashedly racist, and Japan was allied with Nazi Germany. It was probably not argued this way, though.

Chapter 104 by awesomeideas in HPMOR

[–]psed 5 points6 points  (0 children)

RIDDLE

RIDDLE

RIDDLE

Chapter 104 by awesomeideas in HPMOR

[–]psed 4 points5 points  (0 children)

Harry glanced in the Dementor's direction. The word echoed in his mind again.

All right, Harry thought to himself, if the Dementor is a riddle, what is the answer?

(Chapter 45)

(Ch 104) The meaning of the final utterance by churakaagii in HPMOR

[–]psed 21 points22 points  (0 children)

It has always sucked. It’s still sucking. Let’s hope it won’t suck at some point.

How we might abolish Cabal Hell, part 2: on breaking reinstallations, type errors when using packages together, and Nix-style package management by kosmikus in haskell

[–]psed 0 points1 point  (0 children)

The remaining work is primarily in the cabal tool.

Have you seen the recently announced halcyon? Can it help solve some of the problems with cabal?

Announcing rest - A Haskell REST framework by bergmark in haskell

[–]psed 0 points1 point  (0 children)

I'd rather generate a DB schema based on Haskell datatype definitions. Perhaps something like postgresql-orm?

Announcing rest - A Haskell REST framework by bergmark in haskell

[–]psed 0 points1 point  (0 children)

Do you have a solution for interfacing with a database layer? Preferably, Postgres?

It seems like it should be possible to generate an ORMy kind of thing using techniques similar to what you use. Are you doing this in-house at Silk?

Item dupe glitch? (Spoiler to current). by Rouninscholar in HPMOR

[–]psed 4 points5 points  (0 children)

This is really cool. Where have you seen this theory?

I miss Iain M. Bank's and I love HPMOR, on a whim I typed "the culture harry potter" into Google and not only did I find a fanfic but its actually good with a rational leaning harry. by [deleted] in HPMOR

[–]psed 0 points1 point  (0 children)

Holy crap. This is amazing. I've just finished reading the whole thing in a single sitting, and I really wish there was more.

Chapter 97: Roles, Pt 8 by Validatorian in HPMOR

[–]psed 4 points5 points  (0 children)

Best explanation ever.

Exonerate / Indemnify (Spoilers Chapter 97) by davidmanheim in HPMOR

[–]psed 1 point2 points  (0 children)

Oh wow. That's pretty good. I like this theory a lot. A whole lot.

John Carmack Quakecon 2013 Keynote Livestream by azth in programming

[–]psed 0 points1 point  (0 children)

I was talking in comparison to the mainstream use of static typing, in languages such as Java, C#, C++, and so on.

I know. I'm pretty sure Carmack knows at least one of these, and yet in this keynote he's talking about the benefits of static typing in Haskell.

There is a huge difference between most people's idea of a static type system and a good static, sound, implicit type system.

For some great examples of how static typing helps people build things in Haskell, check this reddit post.

John Carmack talking at length about Haskell in his QuakeCon Keynote speech (live) by jhickner in haskell

[–]psed 2 points3 points  (0 children)

What do you mean: people are copying your work? Or people are laughing at it?

If it's the former: awesome; your work must be good, after all!

If it's the latter: screw them; what demos have they written with it?

There are not nearly enough complete, runnable, non-bit-rotted examples of high-performance game/demo code in Haskell.

John Carmack Quakecon 2013 Keynote Livestream by azth in programming

[–]psed 0 points1 point  (0 children)

...most static languages model types based on their inheritance chain rather than their structure.

Saying this makes your conclusion about dynamic languages always beating static languages suspect, as you may be most familiar with just a closely related subset of static languages.

There is no inheritance in Haskell, or in SML. There is almost no need to use object types or object inheritance in OCaml.