pash

36 ms·

241.
by pash 13y ago
An introduction to type-level programming should also be on the list, I think—but there are no great blog posts yet about newer type-system extensions in GHC, as far as I'm aware. You can find some good posts on older techniques and fe
242.
by pash 13y ago
James Surowiecki also tells the story of the search for the Scorpion in his book The Wisdom of Crowds , where I first read about it. The Wikipedia article [0] gives a basic account, and the article on Bayesian search theory [1], in addit
243.
by pash 13y ago
You should also get in touch with John Fein [0], who's running the Sprint/Techstars Accelerator [1] in Kansas City. They're doing mobile health, starting (today, as it happens) with ten companies. Like the Twin Cities, KC has
244.
NASA's Kepler Mission Announces a Planet Bonanza, 715 New Worlds(nasa.gov)
2 points by pash 13y ago|0 comments
245.
by pash 13y ago
I agree with that distinction. Another notable class of mathematical "hypotheses" are those, like the continuum hypothesis [0], whose truth is formally undecideable but that many mathematicians nevertheless believe to be true in s
246.
by pash 13y ago
I suggest reading Turing's paper in the form of Charles Petzold's book The Annotated Turing [0]. 0. http://www.amazon.com/gp/aw/d/0470229055
247.
by pash 13y ago
It's not too long. :)
248.
by pash 13y ago
> If you want to go beyond calculus, almost everything (in this and related areas) is about sequences, limits, limiting processes, functions, and transformations. There, non-standard analysis tends not to help ... Why do you say this?
249.
by pash 13y ago
Google Fiber changed its terms of service in October. The terms now only forbid running a server "for commercial purposes". [0] I have Google Fiber, and I'm fine with the new terms. I do wonder, though, what would happen if I
250.
by pash 13y ago
I hope the administration's lawyers just walked into a trap. Ordinarily, when the government asserts its state-secrets privilege (which dates only to the 1950s), a judge privately reviews the evidence to see whether it seems plausible
251.
The shape of things to come: the new architecture of Silicon Valley(vanityfair.com)
3 points by pash 13y ago|1 comments
252.
by pash 13y ago
Do you have $10? In dollars, euro, yen, or whatever? Is a domain name worth $10 to you? Then buy it. If not, don't. Your decision shouldn't depend on whether your $10 worth of money is denominated in dollars or in bitcoin.† Why no
253.
by pash 13y ago
Here's a (partial) translation of the author's post on Habra Habr. ----- I didn't want to take part in this week's trend on Habra: "We can write everything in 30 lines of code!" I didn't have the time to s
254.
by pash 13y ago
> ... isn't there a fundamental relationship between a volume its boundary, involving a Fourier Transform? You might be thinking of Stokes's theorem [0] or one of its special cases. 0. http://en.m.wikipedia.org&#x2
255.
by pash 13y ago
On the contrary, the sign must reflect photons into your eyes. :P
256.
by pash 13y ago
The Germans also devised novel tactics to overcome the Belgian fortifications. In the initial attack on Eben-Emael [0], for example, commandos descended on the fort in gliders in the black of night and used newly devised shaped charges to d
257.
by pash 13y ago
Many people think "free markets" when they should think "competitive markets".
258.
by pash 13y ago
The other top-level comments are correct that copyrightable works created by the federal goverment are in the public domain. But federal agencies can and do claim trademark protections: You cannot use U.S. government trademarks or the logo
259.
NSA Using Copyright Claims to Crush Free Speech?(benswann.com)
12 points by pash 13y ago|5 comments
260.
by pash 13y ago
The interesting bits are the details about Musk's intentions going forward: - Musk will build a demonstration prototype himself. “I think it might help if I built a demonstration article. I think I probably will do that, actually. I’v
261.
Hyperloop Update: Elon Musk Will Start Developing It Himself(forbes.com)
180 points by pash 13y ago|56 comments
262.
by pash 13y ago
He meant two kopeks.
263.
by pash 13y ago
I was thinking about this the other day. Just as with joint-stock ownership, legally limiting financial liability redistributes risk (by transferring it to creditors), but doesn't reduce it in net. Creditors tend to be established firm
264.
by pash 13y ago
I don't know; Bloch does try to note what Borges knew about the math, and he sometimes speculates (for example in the chapter in which he models librarians as Turing machines). ... By the way, having now read the submitted article, let
265.
by pash 13y ago
Mathematically inclined Borges nerds will enjoy William Goldbloom Bloch's The Unimaginable Mathematics of Borges' Library of Babel [0]. It's a pop-math book, but much better written than most, and intriguing enough in uncov
266.
by pash 13y ago
Lennart Augustsson gave a talk [0] at last year's Haskell Exchange showing how to embed a DSL in Haskell and then use Haskell's LLVM bindings to generate LLVM IR for it. If you need a blazingly fast DSL, give it a try! 0. http:&#
267.
by pash 13y ago
Barring unusual claims of extraterritorial jurisdiction by either the United States or the European Union (or any of its member states), Google and other American tech companies may be able to comply with both US and EU law by handling data
268.
by pash 13y ago
There is some precedent for how things might unfold in the kerfuffles that have resulted from the U.S. government's attempts to enforce its trade sanctions against countries like Cuba, Iran, and North Korea. Under the Helms-Burton Act
269.
by pash 13y ago
Yes, the article makes clear that the EFF acquired the manual via a FOIA request and that (like all such documents) the manual is now public. We know what's in the manual (guidelines for IRS employees on how to conduct themselves onlin
270.
by pash 13y ago
> It's this kind of writing that drives me crazy. IRS may be overreaching, or they may not be; who knows? Yes, that's the point. Breathless speculation is obnoxious, but that's all we're left with when our governmen

More ›