Viewing profile — thoughtpolice

That's unfortunate. RunAbove was very nice and gave us one last year for Haskell.org (so we could port to PPC64le), and our instance is still running well (176 cores/48GB of RAM or…

> I was saying that it brought no great advances with respect to side effects, Sure it does. Well, side effects are boring. It's how you actually do the dance that matters. Here's …

Haskell does not eliminate side effects. It allows you to control them. You do realize that system you described - Facebook's Sigma - is a real-time, massively concurrent online sp…

Two very clear problems are that it introduces more complexity up front for beginners (because now to understand `length` you need to understand the concept of type classes) and th…

Overall, pretty layman slide deck (for DJB anyway) and some good notes. Was just talking about RC4/BEAST with someone yesterday. Related slides from Peter Schwabe, documenting the …

IIRC, Signal/RedPhone takes a (truncated) SHA-512 hash of your phone number/email after verification of your account and sends that to the server, and does the same for your contac…

Nix is what Guix is based on. You can think of Guix as the 'GNU Version' of Nix/NixOS, meaning it provides free software packages, and IIRC it uses Guile Scheme, rather than Nix, t…

The point isn't the LOC. If you've never even touched C, you're not just going to have to learn that, you're going to have to learn how to write an optimizing compiler (because fra…

> Well, when the previous announcement was made, I immediately Amazon'd some C books, which I plan to devour in my free time. At which point I'll be learning Rust, and reimplementi…

I think the horsepower on those machines shouldn't be underestimated, because they are not entirely as equivalent as you think... I was thoroughly surprised when an unoptimized (bu…

One thing that makes it 'worse than nothing' is that it contributes to amplification attacks due to large response packets: http://dnscurve.org/amplification.html

You'll probably be fine either way, IMO - OCaml has a lot going for it, it's fast and incredibly quick to compile, and has a pretty straightforward execution model. Haskell is not …

We already have a cloud-orchestration solution, built on NixOS, and in a lot of ways it's already considerably nicer than some alternatives: http://nixos.org/nixops/ Docker doesn't…

Sigma is quite advanced; it's essentially an online DSL where authors can push anti-spam rules (written in Haskell) into live production by reloading code at runtime. Queries are d…

> Surely, it'll never run! Oh, the hilarious irony of giving language-lawyery, glib responses of "obviously, the code will not run" to users (who probably, you know, wrote code wit…

Are you being serious, or just trying to sound super philosophical about why "less is more"? I assume it's the latter, because it shouldn't take very much thought to see why HTTP s…

https://www.metabunk.org/dr-kirkby-2009-cern-presentation.t5... whoa man, it's almost like you can use google! BTW, Harold Saive is a well known chemtrail conspiracy theorist who h…

I don't know, will the Fed also use Jedi Mind Tricks to mind control us into submission while flouride and chemtrails are just a red herring? News at 11! I find it thoroughly hilar…

You didn't answer his question as to where this 'clear mass disillusionment' is. Where is the actual proof fiat is on the way out?

Hacker News: where some people legitimately believe that the entire world will abandon the current credit/monetary system, because reasons (or alternatively, "just because" - you k…

If they can't abide by the rules that the state have set for them - in this case, what seems to be a fairly reasonable a ruling saying that their 'contractors' are actually employe…

It's worth clarifying this a bit because there are a lot of subtle implications about what it means to be 'reproducible' or 'deterministic'. To make the terminology clearer, I like…

The runtime is SMP-capable and lightweight threads are preemptable, multiplexed on top of epoll (or kqueue) based event loops. So it's a preemptive N:M model. Haskell threads basic…

As far as I know, that's never really been a reason as to why we haven't implemented it in GHC. It's much more likely just that nobody has ever gotten around to implementing it. Sh…