jkeisling/hacker-news-corpus-2007-2022 huggingface dataset:
An analogy might be chess with derided "computer moves." The aren't necessarily more complex that existing human heuristics, especially at the grandmaster level, but they lack at least one of several traditional "aesthetic" attributes.

I'm not all that familiar with generated proofs, but from those I've seen, they will point our pedantic linkages other proofs might avoid. I suspect that can easily be overcome though be building-in aesthetic conventions in the proof presentation layer, such as we do today with ASTs and compiler optimizations. Wild speculation: automated proofs use assembly constructs and goto's when they could be using higher order constructs - but this isn't always clear because there isn't a separation of abstraction layers (or a least a a clearly articulated one).

I could imagine a project that regenerated many well known proofs (these exist in form in the solvers already, but these are intentionally redone) without some of the existing heuristics abridgments that exist in the solvers. Then pair them with the human curated proofs of oft-considered elegance and train a system to convert from one to the other.
The author blames Google for the fact that recipe sites force you to wade through a long preamble before you get to the recipe. But if internet advertising didn't exist, then the recipe site would be charging him for the recipe. Recipe authors have to make a living somehow. If he doesn't want ads in his recipes, then he could always go out and buy a recipe book.
The incentive is to appear informed about an important trend in their industry. It's a pretty good analysis. Do you have a problem with a specific piece of his content?
Sorry about that. I haven't tried this myself, I was told by a Rust user that its CTFE was on par with D's. I guess he was mistaken.
Please don't do this here, regardless of how terrible an article is. We don't want the online shaming and bullying culture on HN.

https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...
Your silence illustrates mine. Read my response to
gruseom.
1) Power off the server

2) Unplug all of the cables

3) Enclose the server in a lead box

4) Encase the box in concrete

Repeat steps 3-4 as necessary

5) Bury the box in a mile-deep hole at the bottom of the Mariana Trench

6) Don't tell anyone where you put the server.
As someone that worked at that exact office for many years and then thankfully got out of that rat race I can sympathize with someone being exposed to the culture that exists there.

Generally people work ridiculous hours because they want to. They do it because the environment is highly competitive and the rewards can be huge. It is not the place for sensitive people, or indeed people with ethics and morals. It is all about the buck$ and screw the rest. People that can make money are Gods, even if their decisions only make money in the short term, no-one cares - all that matters is the next quarterly result and the annual bonus.

There is a reason that Merrill Lynch is now called Bank of America Merrill Lynch, their short term decisions came back and bit them in the ass and they got bought out. I doubt that any lessons were learned. Lots of lip service but I would be beyond stunned with surprise if any meaningful changes have taken place - the fact of this intern's death probably means I am correct, although of course nothing has been determined as to any link or otherwise.

I am probably over dramatizing here but if you value your soul, stay the heck away from Big Investment Trading & Commodities Houses.
Should've named it Large.
In reality nobody gives a shit about the false negatives. If you want to make a statistical argument you have to base it on the false positives. It looks like there is no such thing as a "false positive" in Google. They've been hiring puzzle-solvers and phone-dictation-coders for 10 years, only to suddenly turn around and say "puzzles are not a good predictor for success, nevermind we used it for 10 years, still no false positives".

I doubt Google's false positives are better than anybody else's.
Regardless, it should be measured on per capita, and China are WAY a head. So you are arguing to measure different countries in different ways. This seems inherently unfair.
They do have the right to do so, and in fact we expect them to independently evaluate it.

But much like a court of law, the presumption is that the order is lawful if given by proper authority, and the servicemember must then prove beyond any reasonable doubt that the order is unlawful, and be willing to take the risk of court-martial if they are wrong.

It also somewhat depends on the community you're in. Enlisted nuclear technicians on submarines probably disobey an order every other day at least, to keep an EOOW (or ENG) from doing something stupid to their nuclear propulsion plant.
There are two meanings of "expect" which are often in conflict. Consider:

"A mother walks into her living room to discover her teenage son playing video games the night before a big math test. Reasonably upset, she says, 'I expect you to do well on that test tomorrow.'"

Now, does she think that her son will do well on that test? No, she wouldn't be upset if she did. Does she nevertheless consider it his responsibility to do well? Of course. She does not expect him to do well on the test, but she does expect him to do well.

It is not reasonable to expect a 19/20 year old who is signing up for the military to have a full appreciation for the implications of his action and the actions of the military he is joining. Nevertheless, society expects exactly that of him.
You could only modulate gravity as fast as you could move energy close to you or far away from you. An implausibly powerful gamma ray flashlight flicking on and off would let you do this. Get the beam powerful enough, and it will have a gravitational field.
IANAL, but generally, you need a license if you're using open-source encoders or decoders and you're the one who actually compiles them. (Again, not a lawyer, but that changes ffmpeg from "a source code description of an encoder" to "an encoder.")

MPEG video stuff is generally pretty cheap or free for low volume. Audio codecs are fairly expensive, on the other hand. AAC + MP3 + AMR is >$20K in minimum fees.
I think a desktop and/or mobile software for P 360 would make more sense than an online solution. It could simply integrate with people's Flickr accounts and get out of the way.
I doubt they could charge that cc in that situation.

Would only prevent recurring fraud per cc.
original text:

Out of their Minds: The Lives and Discoveries of 15 Great Computer Scientists

http://books.google.com/books?id=-0tDZX3z-8UC&lpg=PA79&#...
Yeah the casual game industry is exploding, and my startup's a big part of it!

My argument wasn't that casual games have any problem, but that Flash itself is just one component of an industry that is increasingly focused on mobile.
I am involved with a startup working on this problem (http://GuruFi.com).

Fundamentally this problem is derives from the fact that it is difficult for people to learn how to write and structure their ideas. Hell thats basically the whole point of PhD programs, and people spend years finishing them.

With the internet, it becomes really easy to just pay someone else who already knows how to write to do the work for you.

The only real solution to this that I see is to make these services legitimate as a teaching outlet rather than as a cheating outlet. Force people to write a draft. In editing, don't rewrite, just comment and give people feedback as to how they can improve the structure of their document. In general have the people feel that they are getting taught rather than just getting a product.

My hope is that creating a legitimate service will encroach the market people like this target, and will actually force students to learn something through their writing assignments.
I'm not sure what her preference is, and it isn't something that has been discussed. For context, my mother is in her early sixties and still works part-time.
> I’d say that businesses that suck at managing on-prem will not magically get competent in a public cloud.

It takes time to build a competency. If you have to figure out how to operate everything from the hardware and networking all the way up to application, then you might very well fail as a business. If you can pay Amazon to manage your networking, hardware, databases, managed services, etc while you work on your application-level competencies, you stand a much better chance of succeeding ("I don't know if I could build everything from the ground up, but I can probably fumble my way to a container image"). As you become very proficient, you can cut costs, and if you're super proficient you might get off a public cloud altogether or more likely you'll just use that as leverage to negotiate a lower cloud bill.

Interestingly, you don't hear about many businesses that are so competent that they move from the public cloud to their own private clouds. Some people will shout "Lock in!", but I don't buy that--I've migrated between public cloud providers before and it's work, but if you're competent enough to run your own private data centers then you're plenty competent enough to migrate to them.
I really like Firebase but for me it is way too risky for anything but personal projects. Vendor lock on the entire stack.

Amplify tried to compete with Firebase by glueing together a bunch of disparate AWS services. It has less overall vendor lock, but you are still functionally tied to an AWS service. Again, for me, too risky.

If you're comfortable with the vendor lock, Amplify is just not even close to Firebase. Amplify feels like some hacky side project in comparison to Firebase.
I agree. It’s amazing.

> If you’re tapping keys, you’re wasting time. With Verbz, you’ll collaborate at an incredible 170 words per minute. That’s 8x faster than texting!

Just a thought, according to most typing tests I’m at 150WPM. If Verbz has no errors it’s better - if it does have errors I may not be the target niche.

That said, bravo as this will help most people who aren’t adept at typing improve their productivity.
I look at the F-22 as an aircraft that was born too soon. The ATF program started in 1981, but nobody anticipated the fall of the Soviet Union. So it really never had a real need. Now its technology is outdated (in terms of electronics), and the stealth technology is expensive to maintain and support. It's still an incredible fighter, arguably the best in the world.

It's like some of the pocket battleships produced between WW1 and WW2. The technology was incredible, but expensive. And by the time war actually came, they were outdated. I think the F-22 will meet the same fate (and the B-2 as well). Silver bullets that were never really needed.

I also think many of your criticisms are due to the small amount actually produced. Spares were never produced in adequate volumes, and when a single accident reduces your aircraft inventory by almost 1% it makes you risk averse.
Disclose what? There’s no actionable details there.
Verizon responded to that post.

http://publicpolicy.verizon.com/blog/entry/level-3s-selectiv...
If you liked this, you might also like these other fantastic two-in-one gadgets!

https://www.youtube.com/watch?v=9Hpq_spQnVM (Letter Opener and Pencil Sharpener)

http://www.designboom.com/technology/the-first-mobile-phone-... (Mobile phone and Cigarette lighter)

http://www.canon.co.uk/About_Us/Press_Centre/Press_Releases/... (Mouse and Calculator)

http://www.ilounge.com/index.php/reviews/entry/aft-icarta-st... (iPod dock and Bath Tissue Holder)
Could you talk a bit about your experience? The two points you mentioned feel more like theoretical / principled opinions rather than on the ground experience / issues
I'm curious to know what made you decide to teach Python 3 instead of Python 2? (I'm only asking because most courses these days seem to favor teaching Python 2).
The Roslyn team themselves have had a site up very similar to this for a while (http://source.roslyn.codeplex.com), but covering only the Roslyn codebase itself. It has find all references (e.g. http://source.roslyn.codeplex.com/#Microsoft.CodeAnalysis.Wo...) and various other neat features.
True, I didn’t consider that. I suppose it’s not that expensive to put scales everywhere.
My pet theory is that music is so universal because it hijacks two systems in the human brain that are necessary for survival.

First, humans are a social species and use language to communicate. Babies learn language by observing and emulating their parents. So it makes sense that humans evolved a rewards pathway that makes it pleasurable to listen to sounds.

Second, the brain is basically a pattern matching and prediction machine. Music is full of patterns, e.g., rhythm and harmonics.

That's why music is so popular -- because it allows the brain to do something which it is very good at and which it also finds pleasurable.
I don't see how it's any different than using any hosting provider. It's probably worth encrypting your databases, but if you don't trust your hosting provider you're hosed -- managed service or not.

If your paranoia is justified (which it may be, depending on your needs), you need to host the machines in your own datacenter
It's more likely the solder is cracking off the PCB. Jiggling the port around forces it back into good contact and it'll sporadically work.

The real problem is we don't bolt the ports to the chassis in most cases, we just put them on the PCB with little bracing them in the direction of applied force.
Another way I look at it is that my brain's filters underperform, meaning all the excess noise from senses and internal thoughts can overwhelm what's supposed to be what you are attending to. I really struggle to sleep if there's light or noise in the background - especially voices such as TV, where your brain has special circuits just to focus on and process them.

Ketamine is an anaesthetic and taking it makes me feel incredibly connected to my body and emotions, probably because it reduces all of that stuff around the edges.
I don't have any employees.
> We also have no clue of how to program within specs at scale.

We do, but no one wants to pay for it, outside of very few select industries with very high reliability requirements (space travel, medical devices, etc.).
True, though I'd much rather have a well funded, competently run mental health facility than a well funded, competently run prison.
The other thing is that we don't need millions of gourmet chefs who can invent their own five-star menus. We need line chefs, and kitchen staff, and even burger flippers. Right now there's so much demand that even the digital burger-flippers get paid a good wage. So why does the OP feel the need to - yes - gatekeep people from the entire field?
Warsaw being one of European capitals isn’t much cheaper than any other East Germany city
Meditation can be a chore, I think. I only persevere with it because I find that when I lapse, my life is just worse in so many ways. The least worse path I can take at the moment is meditate 2 hours a day. Though I have lapsed for weeks at a time during 'low moods'.

I only reached the discipline for a 2-hour daily habit after immersing myself in 2 vipassana courses. This is probably not suitable for many people, but I was at the end of my tether and I had no choice but to succeed.
truly ahead of his time
https://www.yodaiken.com/2019/02/20/von-neumanns-critique-of...
Which print media do you recommend?
These days, I mostly read my email on a device. I still log into stuff on my computer. Having to bring up another website, logging in (something I don't do on the tablet / the mobile phone), waiting for an email and then maybe be allowed in is a productivity killer for me.

Do not reinvent the wheel. Passwords work. Just store them somewhat sanely with an acceptable degree of security.
That's by definition a scoop and not a piece of communications from Signal itself.
Imagine if you ran a business. Meaning you purchased or leased a property, signed contracts and you are competing in the free market.

Then along comes a competitor and your local government gives them $1B+ in grants (consisting of the taxes you pay) they use to buy a property and they get $1B+ in tax credits.

You may think highly of yourself and your business but you can’t outcompete that and they will drive you out of business using in part your taxes to do it. If you don’t call that anti-business it’s at least anti-competitive.
Damn, now getting a status 503.
nice! From now on, I will be a Mexamerican.
And your two-sentence reply that didn't specifically address a single point in my post is supposed to be some deep, thorough analysis?

Pot, meet kettle.

Despite this, I'll do you the kindness of actually addressing the point you made by giving you a big, "so what?"

Activists and dissidents often go up against nation states. That's the nature of the business. And they knowingly take risks to do so.

The question is, are they simply going to use bare encryption, thereby virtually guaranteeing to draw attention to themselves in a state like China? Or are they going to wrap their encrypted message in a layer of steganography, thus giving themselves at least a chance to avoid detection in the first place?
Isn't this like pissing into the cell pool?
Anyone feel like writing a quick "VPN for dummies" then? Would love to see it.
Funny, I was rewatching old Irish "Guinness" ads this morning, especially the "Tom Crean" one :
http://www.youtube.com/watch?v=eXf93CEI4t0
Sounds like the man who got the job!
Same here, SLU. I'm currently in Seattle now looking for a place to live. Not much luck. Places are more expensive, smaller, and older compared to Dallas.

Good luck on your first day. Contact me so we can meet up sometime.
We are looking for beta testers which is our biggest hurdle right now.

Startups in a nutshell right there. For the majority of technical founders building tech is easy compared to getting people to try it, talk about it, and ultimately buy in to it. If you can't solve that problem then your startup will fail, regardless of the code you can write.
The results would have been very interesting if they switched from PHP 5.6, but switching from 5.3 to HHVM is impossible to know how much of the improvements are due to the newer PHP and how much to HHVM. Nevertheless, Wikimedia must be really satisfied.
So it's punishment. Got it.
I enjoy my Candy Japan subscription, including the occasional joy of not enjoying a strange foreign food :D
How did you get your terminal to look like that?
You live in a fantasy land if you think his comments aren't interesting.

Most ordinary people are very interested in what Apple's position on issues given how popular and progressive they are. Politicans would be even more interested given that (a) most states would love to be the next home of a manufacturing/data center, (b) Tim Cook is widely respected and is in a position to influence other CEOs.

Whether YOU think his comments are interesting or not is irrelevant.
While not in Silicon Valley, but the other Valley down in Burbank, I had a similar conversation. I was introduced to this person as we had a common interest in the proper methods of 24fps->29.97fps->23.976 video conversions. He told me of the summer he and his brother created a new method to replace the old school flying spot scanning technique that was common at the time. The new process included the ability of one of the first video noise removal capabilities. The coolest part of the story to me was that the first TV broadcast from the moon was sent through the bit of equipment he had built before being broadcast to the public.
Opening paragraph: "A team led by UC Riverside geologists has discovered the first ancestor on the family tree that contains most familiar animals today, including humans."

most <> all
Looking forward to seeing reviews of this one. I have a Galago Pro and my biggest issue is the battery size, so it's good that they went with a larger battery here. But I have lots of other issues with it so hopefully this model is better overall.

Also curious what "USB Type-C Power Delivery Compatible" means. I can charge over USB but the included charger is an old-style one?
> Just because you said "the only plaza" doesn't make it unambiguous.

That was just me compressing it to fit somewhat into English. What it really would say is "the only plaza which fits the current context", as opposed to e.g. "the specific place called The Plaza" or "the only plaza in the universe".

The specific Plaza change wasn't the intended point, though. The "to the left of X while standing at Y" as opposed to "to the left of X" is the biggest clarity gain.

It is obviously possible to express ambiguity in any language, even Lojban, but you have to work harder for it.
Amelie

http://www.imdb.com/title/tt0211915/
37signals. Sorta.
This was discussed two days ago:
http://news.ycombinator.com/item?id=1908546

And last year for the 2009 campaign:
http://news.ycombinator.com/item?id=1006438
There was an increase in vinyl sales in the last couple of years but overall it got to a certain level about a decade back and then plateaued (somewhere around a 5% market share in the UK at least). There is a fashion thing in there but that steady level over a decade suggests something more.

Maybe that's specific to vinyl and other physical media won't see a similar effect but we'll have to see.

Certainly at the prices we see right now CDs are often comparable (sometimes lower) than download prices. All things being equal personally I'll still take the physical item, if only it's because it's a free backup, and I think there are others like me.
I... cannot see any download link. Or any other kinds of links to #67.
Do you have published source for that?
I know programming, and I find wolframalpha far more intuitive than the standard interface in mathematica because I need to remember less commands, and often I can just guess what should work.

With the interactive nature of this thing people are going to learn if they want, just as people learned to type grammarless queries into google.

I don't think the point of this is for random-street-smart-kid to program complex systems seamlessly, it's more for random-physics-loving-student to try out things he still doesn't understasnd, and stuff like that.
Yes and no.

Yes, there were plenty of signs of the sub-prime crisis.

However, no one expected it to cause an investment bank like Lehman to collapse. It wasn't until the day of the crash that the people begun to dig into how the mortgages had been repackaged and sold, and it still wasn't widely know how badly the ratings agencies had failed in their analysis of this.

(Ok, so it seems likely that Goldman had a fair idea and possibly went short Bear Sterns based on their exposure, but they weren't exactly spreading that information around)
I think actually it was considered a scientific Theory. A theory in scientific terms is (I hope I get this correct) a hypothesis made from observable facts, that has stood up to many experiments that had potential to falsify it.
Shocking, ha!
You can click on the colored circle in the lower right corner of the screen to turn the "Online Check Syntax" off, by the way.
Well, I can see it being useful if you're already on the command line or if you have to set up a lot of different projects with different configurations.
That didn't take long. So much for those folks who thought the gov't would never stoop so low.
With receipts under $50k they could do a 990N, which is pretty much "what is your name?" and job done. (Their 2012 status report said they were spending $20-30k per year from a roughly $200k pot, with little attempt at raising more money for the time being.)
Thankfully, I don't have to deal with it any more, but Z/OS JCL is dealt with on a daily basis by people sitting within five feet of me.