codemac

72 ms·

931.
by codemac 12y ago
The ijulia notebook proves to me how much it would be wonderful if the iPython notebook took org babel's direction and made multiple backend support in the same document possible. It'd be neat, however I realize it would increase
932.
by codemac 12y ago
I used this tool in a very large engineering org (100+ engineers on the same project), and it really held up for our C and C++. I highly recommend this tool for anyone considering what to do about builds with c/c++ and don't want
933.
by codemac 12y ago
If you enjoy fluxus, you should also check out extempore http://extempore.moso.com.au/
934.
by codemac 12y ago
https://www.youtube.com/watch?v=YHTyH2nuFAw Been following this method for a few years, and worked really well. I also suggest just not buying fitted sheets if you make your bed everything morning.
935.
by codemac 12y ago
This is why they brought up the language that uses the same syntax for types as it does for your function definition. It really sounds like you haven't played with Coq or Agda.. because expressing these things are not that much code at
936.
by codemac 12y ago
Absolutely not, at least not to me. I'm not a huge type theory guy or anything. But saying that "proofs are a burden especially for things with side effects like shooting a gun" when systems that shoot guns specifically do
937.
by codemac 12y ago
Um, maybe you missed the point about dependent types? You can express a function, that takes no arguments, that returns primes below 1,000,000 as it's type! That's kind of the point of the talk, and is supposed to be possible in l
938.
by codemac 12y ago
The biggest problem I had with Mac OS X was it's user space unix tools. Everything GNU is ancient from before GPL3, everything BSD is crazy ancient from FreeBSD 5.. it's pretty awful. Thus why macports for me was king. HomeBrew tr
939.
by codemac 12y ago
It worked pretty well on my macbook air once I figured out the marvell ata errors (the sata controller behaves poorly) and the backlight (magical recompilation every boot on a new kernel with dkms solved it).
940.
by codemac 12y ago
I'm curious: Why is the init daemon what a local process should communicate with? A daemon that managaes other daemons doesn't need to be PID 1, even to reap zombies. Secondly, daemons shouldn't care what process is managing
941.
by codemac 12y ago
You know academics is a bit fucked when someone being anointed a MacArthur fellow was a "lecturer" at UNH from 1999 until being promoted to "professor" in January of 2014! The plus side being someone like Mr. Zhang gets
942.
by codemac 12y ago
M-x evil-mode
943.
by codemac 12y ago
> Your post is a bit ironic seeing as the [..] Ironic? I think you're saying that they're incorrect, that the power usage of the voice chip isn't that bad and that it can differentiate between voices but not command phrase
944.
by codemac 12y ago
Awesome, thank you!
945.
by codemac 12y ago
Any non-flash version of this video?
946.
by codemac 12y ago
> All other categories, which are single oriented, increase. Well except for single females, which stays pretty steady at near 14-14.9% from 1980 on. To me those kinds of misses are due to this graph.
947.
by codemac 12y ago
What an awful graph. Anything other than the bottom value is hard to figure out what the trend is over time, showing they add up to 100% is kind of a waste. The x axis ticks are not equidistant (10, 5, and 2 years between columns).. Thanks
948.
by codemac 12y ago
Cool, that looks like a great resource. And thanks for the code conversion tips :)
949.
by codemac 12y ago
Neat, thanks for the link. Also - tld of .tips? I need to register some funny names now
950.
by codemac 12y ago
THANK YOU That's what I was looking for. Really appreciate it. iOS/Xcode as a first programming environment is really odd and foreign to me, but my brother seemed excited about it, and I want to encourage him. He's really tal
951.
by codemac 12y ago
My brother has been using swift to learn some programming. I don't have a mac, let alone iTunes. Is there a legal way for me to download/purchase a manual to help him with his progress?
952.
Ask HN: How do you manage your secrets (gpg keys, etc)
5 points by codemac 12y ago|6 comments
953.
by codemac 12y ago
I started implementing some of it into magit, but I could never get magit + ediff working in a way I liked more than just invoking ediff myself. Knowing the thorougness of magit, there's probably a way to successfully do this with mini
954.
by codemac 12y ago
I almost sent an email at work in all caps rejoicing this. Redid the casing, then sent it. Very pleased to see this. I had implemented my own git fetch pr -> emacs ediff -> commints in org file -> add comments to github flow due to
955.
by codemac 12y ago
Thinkpad t440s has been great for me besides SATA link power management issues (which I had on my linux macbook air as well).
956.
by codemac 12y ago
I disagree. I don't see where blockfinder is actually reaching out and pinging servers to see what's up where. blockfinder seems to be downloading well known data sources as to where IPs are. The project the government is being ac
957.
by codemac 12y ago
Not only that, but HN parses the full link incorrectly (the last } isn't included in the link) such that the only way for the link to have worked is to use some indirection. Like you know, a url shortener.
958.
by codemac 12y ago
Things seem to be more expensive than amazon, and then of course even more account fuckery from Google: > Purchases are not available > > Channels linked with a Google+ page, such as codemac, can't make purchases
959.
by codemac 12y ago
Interestingly, in my first job all of the code I worked on my first 3 years was all "in-house" code (because from the bootloader to my code was all proprietary). I think places like Microsoft also have groups that have the same
960.
by codemac 12y ago
sudo pacman -S intel-ucode

More ›