thoughtpolice

5 ms·

1.
by thoughtpolice 11y ago
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 so), but I can confirm I can't spin up any n
2.
by thoughtpolice 11y ago
> 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 a few: - Haskell has a best-in-class concurren
3.
by thoughtpolice 11y ago
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 spam-fighting system, that automatically and implicitly m
4.
by thoughtpolice 11y ago
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 the change had the possibility to break some extant code, due
5.
by thoughtpolice 11y ago
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 `gfverify` component djb mentioned near the end, to ver
6.
by thoughtpolice 11y ago
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 contacts. If there are matching keys, it does the exchan
7.
by thoughtpolice 11y ago
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, to describe all the packages and OS configurat
8.
by thoughtpolice 11y ago
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 frankly if you've never touched C I&#x
9.
by thoughtpolice 11y ago
> 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 reimplementing LuaJIT in Rust, and hopefully convince Mozil
10.
by thoughtpolice 11y ago
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 (but correct!) ChaCha20/8 implementation I wrote on a
11.
by thoughtpolice 11y ago
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
12.
by thoughtpolice 11y ago
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 quite the same (different evaluation strategy, dif
13.
by thoughtpolice 11y ago
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 really offer us much beyond
14.
by thoughtpolice 11y ago
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 done against Sigma in real time by other services, and i
15.
by thoughtpolice 11y ago
> 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 with the intention of it running ) - users w
16.
by thoughtpolice 11y ago
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 servers are fairly complex pieces of soft
17.
by thoughtpolice 11y ago
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 has outright lied on several occasions
18.
by thoughtpolice 11y ago
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?
19.
by thoughtpolice 11y ago
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 know, to see 'how it works', because
20.
by thoughtpolice 11y ago
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 employees - and they can't make profit with tho
21.
by thoughtpolice 11y ago
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 to use the term 'deterministi
22.
by thoughtpolice 11y ago
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 basically try to behave like OS threads as much as possible
23.
by thoughtpolice 11y ago
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. Shouldn't be especially hard, I imagine.
24.
by thoughtpolice 11y ago
There is Upcast[1], which is a different tool by Zalora and does this - it simply adds a file you can check into the repository for developers to use. It has some beta-ish limitations but the idea is what you described, basically. The remai
25.
by thoughtpolice 11y ago
Hm? The graph on the page shows 4.5% of contacts being marked as "Unable to contact", while it shows a very small 0.5% as "Refused, Code Rewritten". Or is this graph wrong?
26.
by thoughtpolice 11y ago
I also highly recommend Phabricator - it has excellent tools, active (paid) developers who are excellent people, and is very easy to maintain and use. I also think it simply scales to bigger projects much more effectively than GitHub (in so
27.
by thoughtpolice 11y ago
Well, it's saying more than that. It states that the notions of 'equivalence' and 'isomorphism' are basically the same thing in this new language (NB: I'm not really a mathematician). Equality is already a very
28.
by thoughtpolice 11y ago
GCC 5.1 defaults to having color diagnostics set to `auto`, meaning it will display nice, beautiful diagnostics like Clang does on your terminal, if that's what you're referring to. (You can also get these with GCC 4.9, too, using
29.
by thoughtpolice 11y ago
Power usage is very important for low-end devices, especially smartphones which will be talking to lots of HTTPS resources. This is the complaint on the other side of the pond, away from the people who need ASIC accelerators for whatever re
30.
by thoughtpolice 11y ago
This point is important, because there is a lot more non-AESNI hardware than the converse. But luckily, it's possible (and likely, I hope) that TLS 1.3 will include the ChaCha20-Poly1305 AEAD ciphersuite, which should improve this matt

More ›