skysight-inc/HackerNews huggingface dataset:
Stock SSL on iOS doesn't have NPN, which is needed to negotiate SPDY on the internet.
I changed the original title "Making of FF Franziska" since it's not very descriptive.
> The quote pretty obviously is referring to checking a proof (series of logical statements) not an arbitrary logical statement.

Checking a series of logical statements, and generating a series of logical statements, are not fundamentally different with respect to the issue of undecidability.

> Compared to most reporting on technical subjects, this reporting was wonderful.

Until I got to the passage I quoted, I agreed completely, and I agree in general in spite of it. It's one of those often-heard statements that make more experienced readers say, "Umm, wait, you really don't want to say it that way."
would you have done just a straight clone or would you improve the visual output in some way? what sorts of things could you do while retaining pinout compatibility?
Internet flapping due to 512k routing table limits for bgp routes
Richard Stallman has just cried. I can't even think how mad he would be to know people use his Emacs to compose gmail messages.
New Hacker School for Big Data – NYC
I think it means something, but I agree with you I wish the patent troll wasn't getting away with it.

This seems similar to a house that had an alarm system. The thief opened the door and started to look for good stuff to take then heard the alarm go off and ran away. Mainly I would say the home owner "won" in that case by not having their stuff taken. Though it is annoying that the thief could come back and they have to deal with the thief's break in attempt. And it is annoying the thief wasn't caught and put in jail to prevent them from just going to the next house and breaking in there.
There were some smaller chunks in the experimental days, but note that in 2006, each RIR was given a /12, and since then there have been zero allocations at the top level.

8 years of stability is hardly a "poorly planned mess".
I wanted to make something like this a few years, really cool to see someone actually go out there and do it.

This design seems to be framebuffer-based, a straightforward hardware acceleration of the method you would use for software 2D rendering. If you aren't aware already, you should look into how the classic 2D graphics chips on consoles like the NES worked. They evaluated the background and sprite rendering logic as the video signal was being scanned out, causing some hard limitations on e.g. the number of sprites per line, but generating the signal with less latency and without requiring an expensive (for the time) framebuffer.

http://wiki.nesdev.com/w/index.php/PPU_rendering

Obviously the approach falls apart if you want to introduce scaled/rotated sprites or go 3D.
Quote: "That’s why the Das Keyboard 4 is so exciting."

Less grating translation: "That’s why Das Keyboard 4 is so exciting."
https://secure.ciscodude.net/blog/2014/08/12/major-internet-...
Maybe its a close question for the first 2 or 3 patent lawsuits.
But when someone's filing 10+ patent lawsuits at a clip, its difficult to imagine a legitimate scenario.
He went on to found Tarsnap about a year after that exchange.

Your chronology is a bit off -- I started writing code about a year before that thread. I had my first alpha testers at the time, and opened Tarsnap to the general public a few months later.
Oh, I'm quite aware of where the money goes and the motivations for making TicketMaster be the fall man for it.

What I don't like is that if I saw an ad for a washing machine for sale at Sears for $300 then went to Sears and they would only sell it to me for $450, that would land Sears in some serious legal trouble. Somehow, it's just fine to blatantly advertise goods at a price for which they are not obtainable on the internet.
This attitude is not helpful and actively damaging. Small sample sizes in science do serve a purpose: to get larger studies funded.

It's as if the top comment to every ShowHN post was: "Not at $200mm in funding. Nothing to see here."
Despite popular beliefs women outnumber men in Iran universities. Sadly government is trying to "fix" this but academic community always resisted.
Yep - Ticketmaster knows everyone hates them. They are happy to be the "bad person" when it's the venue that's charging the bulk of the fee.
At the beginning of WWII, the U.S. did not have a large standing army or significant defense contracting industry. That's why the full-nation effort was needed.

Today we have the most well-funded and technologically advanced standing military in the world. We would not need a full-nation mobilization.
there are also plenty of plastics that don't use bpa. bpa is only used in polycarbonate bottles.
This company has the marketing team of the year.

1. They open a contest only to women

2. Some women submit naked pictures because they want free stuff

3. The marketing team adds in a disclaimer

4. This blows up

5. They nuke the entire contest and even the forum thread
This computationally intensive step is proving a bunch of inequalities originally calculated by floating point numerical routines. It does a software floating point emulation inside the theorem prover with proofs of bounds on the rounding at each step. Software floating point in an inefficient high-level language is slow!
NPR Is Laundering CIA Talking Points to Make You Scared of NSA Reporting
In most cases, if a plaintiff withdraws, it needs to be with prejudice. Thats the default rule.
In this particular instance, there was a procedural twist that make it a somewhat close call.
But all BIOSes and motherboards are made in China.
notmuchmail.org
"Or, to render it into an alternative phrasal representation: this research deliverable could benefit from a linguistic coordinator acting as an intermediary between those endowed with the innate ability for circumlocution, and those who exhibit more cognitive agility in the face of realistic, less verbally obtuse configuration of presented material ..."
Ask HN: Software Design and documentation – what do you use?
When you create software, what do you use to design, document and visualize. What do you use to help with designing software.

e.g. Use cases, Pseudo code, Gantt chats, PERT charts, DFD, decision trees, decision tables
(Your answers maybe used to help teach students)

Also, why? When have they proved valuable?
This is an efficient and sustainable model for higher education in general.
Win up to $200k with Under Armour Digital Challenge
There are multiple solutions to the "Zeppelin problem", as you call it, to the point that it's not much of a problem.

If you had a powerful enough pump to create a reasonable vacuum it's far more powerful than the pump you need to compress helium if you need to lose buoyancy.
Following up on this, the opening paragraph to the Freakonomics chapter on parenting talks about how, as a new parent, your IQ drops 10 points and all sorts of marketers will completely overwhelm you with the fear that you are doing something wrong with your kids.

Take your kids to the doctor regularly and you'll be okay. If you are doing something that 80% of the rest of society is doing and it turns out to be a subtle mistake, there will still be lots of people around you who made the same mistake and will help you figure out how to recover.

Relax. Enjoy your kids! They'll turn into teenagers before you know it.
Show HN: PrepUp – Peer-to-peer marketplace of college advisors and tutors
The four color theorem was proved by brute forcing every possible contradiction with a computer and finding that no contradiction existed. Therefore the four color theorem was proved to be true. Why is that a problem?
Build the future: Journalism’s deathwatch is over
It would probably launch some careers, considering someone would have to figure out what went wrong and get it all back up and running again!
That only helps when you know the cable beforehand. The cable that came with my Motorola RAZR i cable has the high relief on one side of the connector, while the one from my Nexus 7 has it on the other side.
Does anyone know if their POS systems still function? I imagine it could still still store the CC numbers (and everything else) until its online like most terminals.
At the time, the problem was that most reviewers couldn't understand the code that produced the result, so they felt that they were accepting a result they couldn't meaningfully review or independently confirm.

A lesser issue was philosophical -- it didn't seem like mathematics was "supposed" to be conducted. This second issue has pretty much evaporated in the intervening years.
Could you explain, briefly, how you set yourself apart from: eventbrite, ticketleap, showclix, ticketfly, brown paper tickets, and vendini?
But if dropped into the upper atmosphere where there is little air pressure, it would sink until it got to an altitude where it's weight equaled the mass of the atmosphere it was displacing.
How to turn every child into a “math person”
A female present at the top level of math achievement is not inconsistent with the 3 reasons Summers gave for the (average) lack of females there. It will still be overwhelmingly male at the top and the higher male variance in math ability is not going to magically go away.
Hydrogen, at normal pressures, isn't that reactive at all if you ignore it's combination with oxygen.
Personal Project For Learning GitHub API
We would want to do that for the same reasons that people write textbooks. Mathematica was not designed for building applications like Java or C++, but as a tool for research and learning. To that end, Mathematica is well designed and the documentation is exceptionally curated, just like, for example, a physics textbook, which also encodes public knowledge in a private (copyrighted) manner.

The mathematicians and software engineers at Wolfram Research should be compensated for their efforts, just like the authors and publishers of textbooks. And I'd much rather pay for my textbooks than see them filled with ads.

As a lover of mathematics I'm happy to see people writing and thinking about the ideas in this post. It's a noble pursuit.
NRA Is Quietly Fighting For Your Right To Kill Elephants For Their Ivory
My phone has wireless charging; I used to use it, but I eventually switched back to wired charging.

Why? Two reasons, which I think are the biggest ones that explain why wireless hasn't completely taken over wired: efficiency and reliability. Especially the latter.
They could just acquire Xamarin.
As someone who practices mindfulness and spends a lot of time learning and reading new material, the result of this study doesn't surprise me. A lot of learning happens when you're letting your mind wander 'over' recently learned material, at least for me. I've had to learn to turn mind wandering on and off so I can effectively absorb new material.
This is an idea that seems interesting at first glance, but it's really not. What's important for lift isn't the absolute weight of the gas; it's the ratio of the weight of the lifting gas to the surrounding air. What that means is while hydrogen gives you about 1kg/m3 lift a perfect vacuum bottle only gives you about 1.3kg/m3. It probably wouldn't make sense even if we had the necessary exotic materials.
Might not "magically" go away but if you actually look at the data it vanishes.
Technical Interview Book List
Can I work at Facebook with a family?
I've been given an opportunity to move to Menlo Park and work with Facebook, but I have a stay at home wife and two toddlers. I feel like this is a great opportunity, but also feel like I could be setting myself up for misery. Can a single income household even live near Menlo Park? Will I ever have time for my wife and kids? Thanks in advance for any comments.
A World First interpretation of Beethoven
Not unless Android development adopts it.

Also, as pointed out elsewhere in this thread, Java has a colossal momentum in just about every space outside Microsoft's sphere of influence. It would seem Oracle is trying, but it'll be very difficult to kill Java.

Besides, it's not a bad language, if you avoid the most common anti-patterns.
I wonder what would have happened if a Vacuum airship would have had a similar accident. Meaning a hull breach at a 200m (650ft) altitude. No fire, just a bit of a drop. Maybe shrapnel? Well, I guess it would drop much faster.
First of many.
SoGo Mini customizable Bluetooth Multi Speaker
Coming soon SoGo Mini a fully portable wireless multi speaker music system with Bluetooth 4.0, can come in your pocket or can be mounted on a wall. Capabilities like customizable base colour and ring colour, 20 hour battery backup make this multi speaker a gem in its class, can replace your bulky oldie music system for a few bucks.
http://goo.gl/r0yUzo
http://goo.gl/jM0ZF2
King Digital struggles following drop in popularity of Candy Crush game
Thanks for posting here too! Video (and on-screen slides) of the presentation from this Black Hat 2014 and DEF CON 22 Wireless Village can be found here: https://www.youtube.com/watch?v=1YvFKhJ5ThM&list=UU4PBNDLlS4...
Does anyone on HN work in a windowless office? Curious what this is like.
Nimbx Technology for technological and designing need
Be it a modern-day CMS based search engine friendly website or an intricate industrial design or any requirement of computer-aided design, 3D print, design/print a card or apps development Nimbx Technology is there to make an impact. It designs for the designer, designs from the scratch and even for the beginner in equal footing.
http://goo.gl/jM0ZF2
The patched version of It's All Text! mentioned in the submitted blog post let's you edit the non-textarea textboxes on Google+.

(The blog post mentions my patch, but it was actually Github user patjak who got IAT! working with non-textareas, all I did was remove a bit of patjak's code to make the HTML passthrough unmodified to the editor.)
Great Seal bug
1. Checking a series of logical statements (a proof) is obviously decidable; it's a mere exercise in syntactic manipulation. This is exactly what Isabelle/HOL/Coq/Agda/etc. do.

2. Yes, the validity of theorems is undecidable. But even if that's what the quote was talking about (it's not, read the context), confirming truth (soundness) is very much something computers are capable of. Correctly deciding truth or falsity (soundness + completeness) is what is not possible in every case.
Khot was one of my favorite professors at NYU and always lead on with way better and more in depth stories than the material presented initially. So great to read about his other successes.
I wouldn't be surprised if there was a lawschool that had students supporting patent trolls. There are some schools out there that are founded on ideological grounds.
Aside from spam, I mean marketing emails, what email do you send or receive that needs HTML?
I call that oil industry double speak, propaganda.

http://www.netflix.com/WiMovie/70129353?trkid=7203170
Title beneath picture of Einstein: "The original math person."

Well, perhaps from the outlook of the public, but math was never Einstein's primary talent. Remember that Einstein wrote t' = t/√(1-v^2/c^2) to describe time dilation, without realizing this strongly implied that space and time occupied different dimensions. That interpretation was crafted by Einstein's math teacher Minkowski, after which Einstein said, "Since the mathematicians have invaded the theory of relativity, I do not understand it myself anymore".

As to Einstein being seen as highly mathematical, I guess it's all relative.
you know, i rewrote that post several times, rephrasing and correcting it yet I failed to spot "feets".
Mono is perceived as a second-class citizen in the Unix-like space. Java, its main competitor, integrates very seamlessly and has excellent runtime tooling support Mono doesn't rival. Mono may gain some traction in some niches, but the Unix-like ecosystem is exceedingly diverse, without any dominant tool. Mono could double its presence and still be barely detectable. It could displace some of Java, but that would not affect the majority of the space.

It's impossible (and foolish) to avoid C# if you develop for Windows, but I haven't written a single line of C# since 2004.
I do not believe that Borehole 10X was the location where the Masons buried this treasure.

It would not have been logical for these educated Masons to have left the treasure below the water table where the destruction and deterioration of it could occur from salt water.

I believe what was located at Borehole 10X was a cavern created by the Masons off of the main treasure tunnel to locate an underground ``Burial Site``.

After their return from Havana and losing thousands of their comrades to sickness, it was inevitable that deaths would occur on the island and In order to keep their location secret, they could not bury them in the ground or at sea, but placed the bodies in caskets made from the ship's wood and put them in the cavern.

What was seen from the camera lowered into Borehole 10X were the remnants of this.

I believe the parchment material found with the letters VI was a piece of the King James VI Bible, placed within a casket.

The printing of this bible was done by a John Baskerville a printer, Freemason, and good associate of both Grand Masters – Benjamin Franklin and Washington Shirley.
In 1757 John Baskerville had invented a woven cloth paper which he used to print his Bibles.
http://en.wikipedia.org/wiki/Baskerville
I can find no such option in my Gmail settings. Where is it?
Excellent! The Mono website has always been pretty lackluster.
This reminds me of Buckminster Fuller's cloud 9 concept. His idea was that since volume scales so much more strongly than surface area for a sphere, if you make a larger and larger sphere you will enclose cubed more air for only squared more structure. Build a large enough sphere and heat the enclosed air a couple degrees above ambient and the entire structure would be buoyant, like a soap bubble with human breath in it.

http://en.wikipedia.org/wiki/Cloud_Nine_%28tensegrity_sphere...
Second for the mason jar train. I prefer the wide mouth 1.5 pint variety. You can safely freeze, bake, and nuke these suckers, and I do.

I bring my coffee into work every day in one, then I rinse it and drink water or tea out of it until I go home. I have a few in the freezer full of curry right now, and a couple in the fridge pickling some daikon and carrots for bahn mi.

As long as you don't constantly drop them (I have yet to break one, and I've been using them for years) you can get a ton of use without ever worrying about what they might be doing to your food.

(edit: this is not a referral link, just showing the variety I prefer.)
http://www.amazon.com/Ball-Jar-Wide-Mouth-Bands/dp/B00B80TJL...
Autosend
> // setup a honeypot file
> int trap_fd = open(…);
> // Create new function to detect writes to the honeypot
> static WRITE_FUNC_T original_write = dlsym(RTLD_DEFAULT, "write");;
> ssize_t corruption_write(int fd, const void *buf, size_t size) {
> FBFatal(fd != trap_fd, @"Writing to the honeypot file");
> }
> return original_write(fd, buf, size);
> }
> // Replace the system write with our “checked version”
> rebind_symbols((struct rebinding[1]){{(char *)"write", (void *)corruption_write}}, 1);

Does this code snippet look fishy to anyone else? First, the mismatch braces are messing with my head. I'm thinking the brace before the return is a typo. Also, the call to the macro looks wrong. Shouldn't they be checking for fd == trap_fd?
Ok so a bunch of people have commented on that, but what is the mechanism of toxicity of the chemicals? Can they be absorbed through the stomach, skin, inhaled? Are they surface bound or on the filling? Would you have to eat the filling to be exposed? What are the threshold levels involved to create danger?
Bet me to it by 6 minutes :)
Depends on the specific role, salary, and the lifestyle you choose to live, but Facebook has thousands of employees, many of which have families larger than yours and are still doing fine -
I was surprised that face-centered cubic was the winner; I would have thought hexagonal close-packed would be; but the Internet tells me they have identical density, which blows my mind.
There are some technical inaccuracies that make it hard to look past as a coder (mixing up POSIX and UNIX, talking about unexpected behavior as a bug). However, I think the author did an accurate job on the high-level tenor of the article and touched on a critical meta-point about this bug.
Like most tech-savvy AdBlock users that this post references, I whitelist all sites I want to support (if those sites have chosen display ads as their preferred source of revenue). I can't imagine a web without AdBlock because I believe no one should be forced to view ads... and Google, Mozilla and Apple seem to agree with me.
> Does this code snippet look fishy to anyone else?

If you can still edit your post, try block-indenting the entire code list with four spaces along the left margin -- this allows the code to appear on separate lines as intended and preserves the original indentation.
I would hope Musk's position is rooted in the knowledge that we need to get off of fossil fuels in a few decades or we're done. If hydrogen as a non-thrust fuel has any use, it has so much research ahead of it; there isn't enough time for that.

This is mainly driven home by the idea that hydrogen is very much in abundance in the universe, but here on earth it really only exists as hydrocarbons. Hydrocarbons are a tricky thing to exploit without contributing to global warming.
Stories from a Navy Fighter Pilot: Combat (2010)
1. I added an extra brace after FBFatal in a final revision :( I'll ask for a revision
2. FBFatal has the same semantics as assert(), so that's correct.
3. The 'rebind_symbols' line truncates and is missing a horizontal scroll. You can view the rest of it if you click drag.
mu4e-maildirs-extension is also quite handy:

https://github.com/agpchil/mu4e-maildirs-extension

It didn't work quite like I wished right "out of the box", but it wasn't too hard to hack it to behave more according to my wishes. Three cheers for open source software!
> Since the yard is pegged to the meter, this means that the yard is now legally defined as the time light travels in 1/274130223.5952 seconds.

s/time/distance/ ?
Im really, honestly, interested in what data you're talking about. Please paste a link.
The clinic in question is part of the students' legal education, so referring to it as an unpaid internship is misleading--they are "paid" in school credit. 75% of my third year law school course credit was via working in a legal clinic. Had I not been in a clinic, I would have been taking classes instead for the same amount of credit, and learned a lot less about being a lawyer.

I agree this isn't the solution to a fundamentally broken patent litigation process, but these students are almost assuredly better off for the experience and it's a mutually beneficial relationship for the students and clients who can't afford traditional legal representation.
"Sh*t, or get off the pot"
...and in the 70's homes were painted with lead paint and the cars burned leaded gas, the outside air was full of asbestos brake pad dust, cribs could strangle you 10 different ways, and everyone around you smoked, including your mother. We all survived.

He's right. There are worse things to worry about.
>hydrogen is very much in abundance in the universe, but here on earth it really only exists as hydrocarbons.

Uh, water?
Microsoft Launches Three New Surface Pro 3 Ads Targeting the MacBook Air
OkCupid’s Co-Founder on the Myth of the Data Scientist ‘Unicorn’
>my best layman's educated guess...

Can you elaborate on your reasoning?
What would Donald Knuth do? [humour]
Comic Sans killed it
What do you mean? The BIOS is a configuration tool - it's entire purpose is to allow you to configure the CPU. It's not that the instructions depended on the BIOS, but that they couldn't be enabled with it. If you have a switch set to off glued in the off position, you can't turn it on until it's unglued
If Video is Booming, Why are Revenues Evaporating?
Intel Disables TSX Instructions