thoughtpolice

42 ms·

31.
by thoughtpolice 11y ago
In many (but not all) cases, yes - because you don't just write programs. You have to read them and maintain them and update them too - sometimes 'forever'. A DSL is designed with the whole lifecycle in mind. Also, these tool
32.
by thoughtpolice 12y ago
AFL already has support for using QEMU for blackbox binary instrumentation. The NixOS packages (maintained by me) automatically have it supported out of the box. There is also 3rd party support for using Dyninst to statically instrument bin
33.
by thoughtpolice 12y ago
I've updated NixOS to include 2.0.0-1: https://github.com/NixOS/nixpkgs/commit/fe6ec3d13a1554458e64... - any way we can get it mentioned on the website?
34.
by thoughtpolice 12y ago
GCC has supported `-fprofile-generate` and `-fprofile-use` for profile-guided optimization since (at least[1]) GCC 3.4, which was released over 10 years ago: https://gcc.gnu.org/onlinedocs/gcc-3.4.0/gcc/Optimi
35.
by thoughtpolice 12y ago
You say this, but most Libertarians do not really give a fuck about competition, only that the government does not interfere with corporations in any way, and they get theirs (no matter the cost to anyone else). Despite the fact there is bo
36.
by thoughtpolice 12y ago
LOL, it's even better than that, AFAIK. ARPANET was a (D)ARPA project that to my knowledge was started to have computers start interoperating with each other so researchers at universities could easily and generally transfer data and i
37.
by thoughtpolice 12y ago
How is this different from the information stored in `git reflog`, which allows you to rollback to commits before their rebase? You can just as easily revert back to the old version, since it never goes anywhere. Besides, the need to perfec
38.
by thoughtpolice 12y ago
Yes, I suppose my larger point was more to illustrate that nothing is free. GHC is software like any other piece of software and it has a lot of competing constraints we must balance. If the cost of supporting reusable IRs like you want is
39.
by thoughtpolice 12y ago
> As someone interested in functional programming and compilers, I recently tried to use GHC's intermediate output. However, I got a little disappointed about the documentation that's available for compiler writers. From what i
40.
by thoughtpolice 12y ago
If you want an excellent book on kernel security, I'd suggest buying "A Guide to Kernel Exploitation: Hacking the Core". It's a fairly technical book, so I wouldn't recommend it unless you have exploit and modern op
41.
by thoughtpolice 12y ago
I'm confused by the Window manager comment. As far as I understand, essentially, ConsoleKit development was stopped, and work on systemd-logind etc began as a better way forward, rather than rewriting ConsoleKit. During this timeframe,
42.
by thoughtpolice 12y ago
TIL Rust will be single-handedly used to rewrite every single GC'd program in existence, and furthermore only VR systems like Oculus will be relevant after that, so why bother dealing with any of the actually-hard problems of the real
43.
by thoughtpolice 12y ago
Because sometimes it's annoying and simply stupid. Case in point: posting stupid reductionist arguments about "exporting math" are obnoxious and completely frivolous, especially when it literally ignores everything substantia
44.
by thoughtpolice 12y ago
Did I ever say otherwise? I don't blame Azul for making this work proprietary. I'm taking a stance against the rhetoric - this isn't a realistic choice for most people. Most people will buy more hardware over licensing expens
45.
by thoughtpolice 12y ago
> When they can choose (and there is a choice) to use collectors that don't pause, the pressure to keep allocation rates down changes, moving the "this is too much" lines up by more than an order of magnitude. You mean - l
46.
by thoughtpolice 12y ago
Do you really get a modern kernel on the Samsung Chromebook (v1)? Last time I tried, Arch still stuck with their hardwired 3.4 kernel, IIRC.
47.
by thoughtpolice 12y ago
> Compiler enforced static typing rejects many correct programs, which is a disadvantage. Only if you care about these programs. It is entirely possible many of these 'correct programs' are not useful at all, or arguably useful
48.
by thoughtpolice 12y ago
Ubuntu is the least of my worries; Ubuntu backports is an even smaller blip on the radar. What about all the software running on CentOS and RHEL 6.x systems? Those aren't going away soon. And yes, I understand the implications of what
49.
by thoughtpolice 12y ago
You're not going to be able to adequately rely on this feature by itself for years, probably. I'd guess a 5-6 year window before it's widespread. Considering there isn't even a LTS kernel/system out with it coming a
50.
by thoughtpolice 12y ago
I believe the CEO said in their last post here that certificate pinning and custom certificates (even EV ones) would be supported by their new plans. (Can't remember if you have to pay $$$, though) I imagine it will take a short amount
51.
by thoughtpolice 12y ago
Good to hear - I just signed up and put in the $20 myself (not a very large barrier), and I'm glad features like custom certificates (& other things) will be available as mentioned elsewhere in this thread. CloudFlare seems like a
52.
by thoughtpolice 12y ago
In the interest of promoting friends/coworkers: The contest this year is a really cool challenge, and was set up by one of my partners in crime, Duncan. (Of course, ICFP is always a cool challenge and is always set up by good people :)
53.
ICFP Programming Contest 2014(icfpcontest.org)
139 points by thoughtpolice 12y ago|18 comments
54.
by thoughtpolice 12y ago
We use the names of Final Fantasy characters.
55.
by thoughtpolice 12y ago
Please note this homepage is NOT final and it's going to see revisions before we push it out to the actual website, including many tweaks to the content and probably some styling tweaks too. There are a lot of other things we still nee
56.
by thoughtpolice 12y ago
To be completely honest, the namespace/module situation with Haskell could certainly be a _ton_ better, but after 8 years of it I can't ever remember a time when it was ever at the top of my mind as game-breaking. Occasionally qui
57.
by thoughtpolice 12y ago
GlobalSign helped out Haskell.org and gave us a nice wildcard certificate quickly and easily. We really appreciated it.
58.
by thoughtpolice 13y ago
Agda has a compiler that can extract Haskell or JavaScript, yes. But Agda doesn't seem to be very heavily used for this purposes - Coq on the other hand seems to have very mature extraction capabilities for Haskell/OCaml/Sche
59.
by thoughtpolice 13y ago
That's because they're measuring the tarball, which is a worthless metric anyway (for example, we just switched to supporting .tar.xz, which reduced the size of Linux binary distributions close to 50% for a ~65MB total. But that d
60.
by thoughtpolice 13y ago
The dynamic switch isn't without its pain points. In particular, the way we currently implement it leaves some things to be desired, and it's lead to some other rather unfortunate ramifications for Windows right now. Truthfully, m

More ›