skysight-inc/HackerNews huggingface dataset:
Good account of Ethereum that cuts through some of the abstraction. I thought his comments towards the end were particularly compelling:

"I went to this hackathon expecting to learn about a “better bitcoin”, but pretty soon I started to think that this is in fact a re-envisioning of the internet, where centralized servers are replaced by a network of peers, urls are replaced by addresses on the blockchain, http is replaced by a low-latency torrent protocol (its called Swarm), and websites are replaced by distributed apps. No individual owns this kind of network, nobody controls it. That seems to me to be the vision."
I'm not advocating not understanding the technical side. Given the way that the question is framed, I am advocating not doing developer things as a manager (nails and hammers so to speak).

I am advocating fully pursuing the things that a manager is in a unique position to pursue and not pursuing activities for which responsibility can be delegated, e.g. development when managing a team of developers. Part of being a good manager requires a willingness to walk away from direct production tasks.

In particular one difference between what I am suggesting is that the manager's role is not to play politics but to protect their team from the negative effects of office politics. That means managing upward is as important as managing downward. Doing that right leaves little time for micro-managing the team's work.
Why are stores scanning your drivers license
Isis approves of this pro islamic link. Hacker news no longer a place for programmers, its a place for politics.

Religion of peace is the best, we should allow sharia law controlled jurisdictions effective immediately. Now is the time to usher in the Islamic golden age.
Piano Tuner Shows Classical Repertoire Performed in Historical Tunings
Arab can be a very generic and overly used term in many conversations. Please define who you think are Arabs.

Also the link this whole thread is about on wikipedia is about a Scientist from Turkey, not Arabia.

> "Badi'al-Zaman Abū al-'Izz ibn Ismā'īl ibn al-Razāz al-Jazarī (1136–1206) (Arabic: بديع الزمان أَبُو اَلْعِزِ بْنُ إسْماعِيلِ بْنُ الرِّزاز الجزري‎) was a Muslim polymath: a scholar, inventor, mechanical engineer, craftsman, artist, and mathematician from Jazirat ibn Umar (current Cizre, Turkey), who lived during the Islamic Golden Age (Middle Ages)."
I am the author of this medium post.
Thank you for bringing it to this forum and for the intense debate around it, some comments were highly interesting and brought me to re-assess my own lessons learned.

I will set aside some time in the next few days to write a response to most of the points raised. I'll then post the link here (or you can follow me on twitter @mbohanes)

Again, many thanks for taking the time.
Show HN: zipzap 8.0, zip file I/O for iOS and OS X
Traveling Light
Some More https://www.youtube.com/watch?v=tu5CUUFtl6A
While I agree that the FBI's explanation as they gave it is impossible, I see 2 possible explanations for how their explanation would make sense. I don't know why they would glaze over these details, but:

1. They could have meant simply viewing all the HTTP response headers with something like Chrome's dev tools, Firebug, or possibly a proxy like Burp Suite.

2. They may have set up Tor to essentially use no hops and use only their own host as an exit node. That way they would be able to directly observe traffic from a clearweb IP address in a PCAP. Or they could set just a single hop and specified another host they control as an exit node. This seems way overboard just to find an exposure like this, but it's possible that the FBI or NSA have such test environments to probe for other Tor-related vulnerabilities and misconfigurations.
> Instead they said "this totes happens all the time, trust us".

They're the FBI. They probably do see this all the time. Your "bragging rights" is likely just another example of the same stupid mistake that the investigator sees in criminal activities of less fame all the time...
They are almost certainly aware of Mizar. Mizar's foundation is ZFC+Tarski's axiom. If you are developing a foundation based on homotopy theory/type theory you probably don't care about results formalized in Mizar. Also the type theory people in general prefer constructivist mathematics, and would reject Axiom of Choice and friends being in the foundation.
> What does Netflix gain at this point for instrumenting DRM free streaming for a small subset of their content rather than just piggybacking off their current infrastructure?

They gain more trust by showing that it's not their intention to use DRM. Since they don't, they are viewed as liars when they claim that they don't want to use it. And they very well can be liars. Let them prove their intentions with actions rather than with empty words.

> That someone is consumers, not Netflix.

No, that's false logic. Users of course should push for it too. But you can't compare the scale. Individuals voting with their wallets are less visible to publishers than distributors voting with theirs. GOG already demonstrated it. And that actually feeds the cycle. Once some distributor breaks the wall of stupidity by making some DRM-free deals with publishers, then more users start supporting them from those who care about buying it DRM-free.

The bottom line, Neflix are not interesting in fighting that fight. They oblige insane publishers willingly and their claims that they "have no choice" don't sound sincere.

> Netflix has little incentive to care about it also

That's exactly the point. So they can't claim that they don't like it. In the best case they don't care, and in the worst they prefer using it even for their own content and push for that garbage into HTML standard. Incentive for caring about it should not come from estimating how many users care about it.

> ll that still doesn't change the fact if Netflix could, they would most likely drop DRM, if not for all the technical reasons

That's what they say, but no one is inclined to believe them when they don't do it for their own content as above. There is no technical reason for them to use DRM where publishers don't demand it. And when they are the publishers themselves it means they demand it themselves too.
TV producers asking for original functionality (or art) is par for the course. When I did live robot demos on CNN, they asked me to code up some new functionality to display in the commercial break transition (surreal coding on the newsroom floor ensued). If Picaso were alive today... yep, on-the-fly napkin sketches.
Can anyone recommend books on the cross-cultural history of mathematics? I've found these:

1) Georges Ifrah, "Universal History of Numbers", http://www.amazon.com/Universal-History-Numbers-Prehistory-I...

"the first complete account of the invention and evolution of numbers the world over ... Dubbed the "Indiana Jones of numbers," Georges Ifrah traveled all over the world for ten years to uncover the little-known details of this amazing story. From India to China, and from Egypt to Chile, Ifrah talked to mathematicians, historians, archaeologists, and philosophers."

2) Paul Calter, "Squaring the Circle: Geometry in Art & Architecture", http://www.amazon.com/Squaring-Circle-Geometry-Art-Architect...

"the combination of the subject knowledge of design, architecture, art, geometry, philospohy, music theory, and mathematics ... Calter includes the basic lessons and explanations of a regular Geometry course in his book, but then he interweaves an integrated classical curriculum (based on deductive reasoning)"
With XDebug and proper breakpoints (or HHVM's debugger) I don't see any need to do var_dump debugging these days. Far more powerful to have an XDebug client like Codebug drop you into a REPL at your breakpoint so you can explore what's gone wrong.
It seems to me that IP logs would be even more "regularly collected" than meeting minutes though. And somewhat ironically, would not be exculpatory evidence here, but substantiating evidence of the FBI claim that DPR didn't know how to configure SR to safely serve as a Tor hidden service.
This isn't a very fair or accurate statement given that many of the greatest scholars of Islam weren't Arab (a large number were Persian for example). There were multiple centres of scientific endeavor throughout Islamic history including (but not limited to) Baghdad, Damascus, Al-Andalus (i.e. Islamic Spain) and Africa.

Much of the Islamic scholarship at the time revolved around gaining a greater understanding of the creation of God as a means to draw nearer to God.

In addition a lot of scholars in the major Islamic centres weren't even Muslim. For example, the conquest of the Iberian Peninsula (welcomed by the local Jewish population) ushered in a Jewish Golden Age which produced Maimonides, one of the greatest Jewish scholars of the time.
Hackathons are for Hacking
Rackspace Cloud does. We switched.
I've played with a few different things, but right now I just have a plain text file at the top-level of my dropbox directory, as a rough short-term notes and to-do list. Then I turn these into work task as all-day events in my google calendar. I shuffle them around the calendar to plan out my week. When completed, I delete each of them. For each month, I keep a simple plaintext record of each item finished this way. Makes it pretty easy to put together quarterly or annual performance reports.
Clozure CL and SBCL are great. I use both.

It's just that LispWorks comes with batteries included, has a cross-platform GUI toolkit, has a cross-platform GUI-based IDE, has a great runtime, has more delivery options, makes great use of CLOS, has more tools included, ... There is a noticeable step up in features from the typical open source / free software implementations to something like Allegro CL or LispWorks. Since both a proprietary and relatively expensive, often they are not a choice. But the fact remains, that they offer more and better features. SBCL shines with some features of its compiler. The topic is discussed, because for some people it is difficult to understand why one pays thousands of dollars for development and/or runtime (see for example the Azul JVM which starts at $3500 per machine per year).
They do say that "blocking" access points you aren't the owner of might be illegal.

I guess this is functionally similar to ddos.
I don't think that the UK producing excess oil was a significant factor in keeping the oil price down; peak production was in 1985, when prices were falling due to excess production (and large falls in demand) but Russia was a far bigger producer.

The money was not invested it is true, but not producing it at that point (given the large investments) would probably not have been optimal either.
He pretends people call Buzzfeed a "toy" (like 3d printers) when in reality they call it "trash" (like tabloids). Head in sand.
So you are saying Rails might make intruders' lives less difficult? Of course, the _implementation_ is what would be more or less secure, but i'm a little curious what you meant.
Blame Interlisp. We got it from there.

Still the point is, that Common Lisp prefers iteration by loop-like constructs (or higher-order mapping) to recursion, due to the lack of TCO in the standard: DOLIST, DOTIMES, DO, DO*, LOOP, MAPCAR, MAP, ... Many people prefer the design of the ITERATE macro, but LOOP is already included.
Do not ever get in trouble in Alaska - they have very long sentences on par with Federal sentences. With all that oil revenue, they can afford to lock people up for long times. I know this from personal experience!
Would that be a bad thing? Unless you're referring to the current 'golden age' ending, wouldn't it be a good thing if modern day achievements are still that well regarded 5 centuries from now?

(I suppose you could say that the current phase of western civilization falling, eventually, would be a bad thing. But isn't it inevitable that any single civilization will end, eventually?)
They suddenly got a lot bigger when they bought/merged with Qwest a few years back. They weren't one of the baby bells -- they grew independently.
There is no difference if they did not have a warrant. The FBI has the ability to break into your house, but if they do that without having a warrant they can't use anything they found against you.
> The disadvantage of set theory is that its principles are very difficult to translate into the programming language of a proof assistant.

I don't think that's true. There's an Isabelle theory for ZF, and the ZF axioms are actually simpler than the axiomatic system that Coq uses, the Calculus of Inductive Constructions.

Backing up for a second, I'm just not sure how HoTT will make using proof assistants so much simpler. I've done a couple of largish (> 1000 lines) proof developments in Coq. The hardest part never seemed to me to be that mismatch between CIC and ZF. The hard part was that proofs are actually hard to do in a careful and complete way. The proofs I did in math class were easy because we left out a lot of the details.

Let me give an example. This is from the HoTT book, Book version: first-edition-611-ga1a258c, page 368:

"The field of rationals Q is constructed along the
same lines as well, namely as the quotient

Q : ≡ ( Z × N ) / ≈

where

( u, a ) ≈ ( v, b ) : ≡ ( u ( b + 1 ) = v ( a + 1 )) .

In other words, a pair ( u, a ) represents the rational number u/ ( 1 + a ) . There can be no division
by zero because we cunningly added one to the denominator a. Here too we have a canonical
choice of representatives, namely fractions in lowest terms. Thus we may apply Lemma 6.10.8
to obtain a set Q, which again has a decidable equality.

We do not bother to write down the arithmetical operations on Q as we trust our readers
know how to compute with fractions even in the case when one is added to the denominator.
Let us just record the conclusion that there is an entirely unproblematic construction of the or-
dered field of rational numbers Q, with a decidable equality and decidable order. It can also be
characterized as the initial ordered field."

If you have experience with using proof assistants, you know how handwavy this is compared to the work required to actually get this done. Here's that development in Coq right now:

https://github.com/coq/coq/tree/trunk/theories/QArith

Does HoTT really make these things simpler to write and prove? If so, what is the evidence?
The words conservative and liberal in American politics are more of a collection of platform policies than an ideology.
Video Shows Volcanic Eruption, Sonic Boom in Papua New Guinea
> However, people are concerned that the methods used to find him were not constitutional.

However, people are expressing this concern independent of evidence to support this concern. Even if you're of the school of thought that the FBI has no extra "public authority" power to do their statutory job whatsoever, it's not illegal for anyone to go to the SR website on Tor, and to see what IP addresses the website instructs your web browser to hit in the process.

So there's a perfectly reasonable (and likely, IMHO) explanation on the record that supports the FBI position, and against the FBI position, there's only a lot of rather painful wishful thinking (as you say). So I'm not sure how the situation is that different, at least until more substantive evidence against the FBI's claims are presented.
CenturyLink— Formerly CenturyTel and Qwest, formerly US West.
I submitted this instead of one of the original sources because it both contains links to multiple original sources which summarize the story as well as a writeup of the story.

The changes link doesn't point to the DMCA request response which is here http://www.spigotmc.org/threads/our-dmca-response.28772/ which I think is equally important to the story.
You can read more about Workspace here - http://www.vmware.com/products/workspace-portal/
Run GLSL fragment shader code in your browser
Show HN: gyver – a CLI when you need ideas, inspiration or just some energy
Not only that, he had to design and create the MOLDS for the parts!
It really depends what you are doing and how you're doing it.

If you only pull a few variables out and aggregate their reporting into one printf, then your overhead is close to one printf. For something like tcp_retransmit_skb that's usually not even noticeable.

However if you're performing frequent live calculations on an oft-called function, like every single tcp transmit, like you can definitely introduce too much overhead and negatively affect the system.

I'm far from a SystemTap expert, but some low-hanging fruit is to look at what you're doing and see if you can do it fewer times, or see if there's a quicker way or a built-in way to do it already.
Ask HN: How Would you purposefully slow down a specific website?
If you could configure a VPN or Proxy or ??? How would you create a setup so that all traffic for a specific url was slowed down?

For example if I went to www.example.com, the website would still load but it would load much slower than if I were to be browsing www.example2.com.
Maybe an outlier, but they are providing 12mbs service to my rural home in S. Oregon, and 40mbs fiber service to my apartment in Portland. Both work great and are very reliable.
How Long Does Food Really Last
Not suprising - my second wife used marijuana for her back pain and it gave her quick and lasting relief.
> You're an employee. 2 weeks notice is all you need to give.

You do not "need" to give 2 weeks. You are free to leave immediately or negotiate a mutually agreeable separation arrangement.
This was on the front page a couple of days ago:

https://news.ycombinator.com/item?id=8276893
Also merged with Embarq, which was previously Sprint's local arm.
iWatch Speculation
https://news.ycombinator.com/item?id=8262381
Because he is the perfect example to follow for all humans according to Muslims?

He definitely was a misogynist and a pedophile according to Islamic texts. Would you like some links?
If I can ask a slightly off topic question: where on the clean-versus-not spectrum do you find coding based on information from a wiki, which may be derived from inspecting the code or using the item, but does not contain code itself?
Do you mean shift the frequencies when the key changes, e.g. between songs or when a song modulates? That certainly works, at least with electronic or continuously variable instruments. But even within one diatonic scale in a single key, it's impossible to have a fixed set of frequencies such that the intervals are correct in all of the diatonic triads.

I suppose you could shift individual frequencies based on the chord currently being played, but I'm not sure how that would sound.
A relatively short but complete book I'd recommend would be Ferguson & Kirkpatrick's "Internal Combustion Engine". It was used in an undergrad engines course I did. The classic, big textbook, AFAIK, is John Heywood's (MIT Prof) Internal Combustion Engine Fundamentals.

These books give you a general understanding of the functioning of ICEs. For practical design considerations, I've found "Internal Combustion Engine in Theory and Practice" by Charles F. Taylor interesting. There's a lot of other books on specific aspects of design, look for example at books published by the SAE.

I'm not sure exactly how much one would get from going through a book like Ferguson without basic notions in physics (basic thermodynamics, dynamics, fluid mechanics, materials). I think a motivated individual could certainly supplement as he goes using wikipedia as a starter for things he does not understand. No advanced knowledge of these topics is needed, as I said, just the basics.
They did. I am the founder of AppFog. CenturyLink has treated me great.
There's no evidence that is the case though. This app is highly interactive and provides immediate feedback, so the child knows whether they are doing things right or wrong.

The fact that it's more like a game means it's much more geared to the way that children learn than just working through a bunch of problems from a book or on a blackboard. It also allows the kids to progress at their own rate: spending more time on bits they don't understand until they do understand them. Class learning tends to be subject to the lowest common denominator, or conversely some kids at the lower end of the scale get left behind.

There's significant evidence that learning by interacting is the best way to promote retention. It's probably also fair to assume that the app itself does not simply promote rote learning of facts either, but rather understanding how the concepts work and repeatedly applying them to unfamiliar problems.

That seems to me to be far more optimal use of the time and creates a solid foundation for going on to understand more advanced concepts later.

Alternatively, why not simply spend 18 months working through even more problems on the app to get better and better? I suspect that the law of diminishing returns kicks in pretty quickly and you don't get much benefit simply through longer exposure at the same level. Instead, you can just introduce more advanced concepts earlier and keep on learning. That doesn't necessarily result in information overload, so long as you are continually building on top of a foundation of throughly understanding the simpler concepts and continuing to use them.

For example, once you understand addition you don't really ever stop using it and forget how to do it. Rather, you go on to learn about multiplication, exponentiation, etc. and hopefully, do so realising that they are all just fancy kinds of addition. I think it's much better if teachers can focus on ensuring that their pupils have that kind of understanding and are capable of applying it, than for example making sure that they can recite all the multiplication tables.

Of course, how you should learn maths differs a bit depending on whether your ultimate goal is to be a greengrocer or a computer scientist. Hopefully we're mostly focusing on the latter now.
I wouldn't say it gets completely ignored. Pretty much everything I read about the subjects mentions how the Muslims translated into Arabic, expanded upon, corrected and were influenced by the work of earlier cultures.
I was thinking that in the hypothetical scenario an F-16 would intercept the Concorde head on. I don't think that a Concorde had the right kind of radar to detect a BVR missile launch so it would not be able to turn and outrun the missile. But even if it was able to do so, an additional pair of F-16s on each flank of the lead fighter could wait for the Concorde to turn and run towards them after the initial missile launch.
The linux firewall includes a rate limiter module (several actually). That would be one way to slow down data from specific IP's. And websites located at that IP would be slowed down.
EL 5 and 6, just run "yum install systemtap" and "stap-prep"

Here's a basic example from my scripts folder: http://pastie.org/private/zggvir0zdflcixnvleximq

When a kernel module calls request_module(), this prints out the backtrace so you can see what calls it and why. Example output from a "service iptables restart" is included. If you want some homework, add the name of the module being requested to the printf, at a glance it should be accessible via $name
Maimonides was Jewish.
Well, I'm afraid I didn't see that Reddit discussion from 2 years ago, but quoting from it:

> Basically the breakdown was that rather than 93%+ of the people you are shown being "dead profiles" the actual number is more like 10-20%.

> But if you take these into consideration, our conclusion would say, "Match.com users get married at about the same rate or higher as people not using Match.com!"

That's not really a ringing endorsement here, at best it shows that if we change our estimates a little we can reverse our conclusions. That to me says that they were never able to come to very reliable conclusions in the first place on this issue.
Generally speaking the tradeoff is less steps in energy conversion means better efficiency, and less needed machinery (electric generator, motor, perhaps gearbox of sorts, perhaps battery), meaning less costs, weight and more reliability.