jkeisling/hacker-news-corpus-2007-2022 huggingface dataset:
For simple cases (such as the example in the GP comment) a compiler can easily infer those annotations. Complications are introduced in languages which allow aliasing. Precise alias analysis has been shown to be NP-hard [1] (as are many other compiler problems), and thus in general compilers must make very pessimistic assumptions to avoid making incorrect optimizations, such as allowing two functions to execute in parallel.

Other issues crop up due to the open-world assumption. This is especially true in the presence of separate compilation when trying to reason about global behavior. Example: does function f() in file f.c modify global variable g in file g.c? The compiler may not be able to prove that one way or another at compile-time (consider if file f.c was already compiled to object code f.o, and only g.c was being recompiled), and so it must assume that f() may modify g. This particular example can be solved with link-time optimization, but you get the idea of how complicated the real world can get.

[1] Horwitz, "Precise flow-insensitive may-alias analysis is NP-hard," TOPLAS 1997.
Nice idea.

Bug: I noticed that it lists a lot of 3 letter .com as available when none of them are.

Also offer a choice of domain name registrars as I am not a GoDaddy fan.
I make a point to say "synthetic benchmarks" for such circumstances. It clearly conveys that the benchmark is contrived, likely to demonstrate a particular point, but it avoids the negative connotations.
Ah, that's a good term for it. I like "faked" because it has added humour value (it's rather "ha ha only serious"). Without using a disclaimer around it, though, someone will probably smack me.
IIUC, you could probably use KLEE to ease the pain of capturing the state.

http://klee.github.io/
If "building in safety mechanisms to protect human life" is a different approach than what's done now, then yes. There's a reason the US never built and licensed commercial nuclear reactors like the RBMK, and it's not because the utility companies said they preferred the design that's more expensive to build and operate.
And some states are starting to crack down on this sort of thing. Someone was telling me that their company is going to start tracking time spent in different locations based on expense reports so that they can take appropriate actions (and have the employee do so as well) if they're above thresholds.
> over-educated

That part makes me think of "those who fail, teach." Which could be a confounding factor in your anecdotal assumption that they failed at teaching because of the X, and not b/c they're failures...

And in an affluent area, school behaviors are barely an issue. Teachers that fail here, think schools with a PTA, these people will fail anywhere.
Impoverished schools are another story, as in multiple kids acting out from abuses at home, on a daily basis. Having to recognize and help kids who aren't even getting their basic needs met. Only real badass teachers last in the impoverished schools, and they are the ones that make a real difference, literally heroes without capes.

What people here on HN are calling babysitting is more like the one opportunity a child gets to scream for help from often horrific abuses at home.

Might that affect your perfect gifted child's one-on-one time with a public school teacher? Give me a break.
For the record, I don't think code will be law, ie. that blockchains will replace our current system of adjudication. Rather smart contracts will be changed to allow for an interface with the current system, for example via a master key held by the originator of the smart contract.

Regarding your second point: Look into newer projects like Solana, Polkadot or Cardano which are already live and have much better scalability.
Seeing that this seemingly launched as "BraveDNS" only a couple of months ago (thus still using bravedns.com as domain), did Brave Browser knock on the door?
Yeah Brazil and specifically Manaus in the middle of the Amazon rainforest is doing a great job.
It is the best technological university in Sweden, but it's also one of the biggest universities, if not the biggest. It accepts a lot more than the elite, in any sense of that word.
That's not what they are concluding. If they are tasting it blind (with no preconception), their taste is accurate. It becomes inaccurate when there is external bias (like cost or a particular label). Note that the actual article was based on the assessments of students. I wouldn't classify them as trained experts, as I'll detail below.

I used to work in a brewery, and part of my job was beer tasting. We used the same nomenclature and tasting training as the wine industry. It's a qualitative assessment, but there is a lot of science behind it, and the training is actually quite difficult. You actually train on specific samples with a single taste, initially very unsubtle and clearly labelled. Then to pass certification you have to do it completely blind. Next level up you progress to subtler tastes and repeat. The really advanced people are genuinely capable of discerning very specific chemical compounds with a very high degree of accuracy.

The point I want to make here is that this is an actual discipline in its own right, and the people practicing it in industry aren't quacks. They have to pass examinations which test their skills empirically and objectively against blinded reference samples. You can't get certified without it, and no one can pass without spending some serious effort getting the training. I didn't stay in the industry long enough to become an expert, but I have done the basics.

We used to do assessment sessions where you would rank 40 unlabelled samples lined up on a bench. Each one would be scored between 1 and 10 on a defined scale for several criteria. Both experts and novices like myself would do it, and then they would do stats on the results of 20 or so people to see how everyone in the expert group compared, and how the novices did compared to the collective expert assessment. So in industry, it is used in a semi-quantitative way. (We have stuff like GC and GC-MS for more exact quantitative measurements.)
In some cases, there's a bit of self-interest. I tell Netflix about the movies I like because the recommendation system works better for me that way and improves the quality of the system in general. So, it's not a total something-for-nothing, but there is a lot of trust involved nonetheless.
I checked out Friedman's website: http://www.stantonfriedman.com/index.php?ptp=ufo_challenge

Anyone know what these 5 major studies he references on that page are?
> though it's easy to lose sight of that

I think one of the reasons people lose sight of that is because they look back and see all those products, all that improvement in quality of life that capitalism brought us. Those things are undeniable. But one can't infer from this that the system will forever be awesome. It was aligned with human goals initially, but as time goes by, it's less and less aligned.
As introductions go, this is not very good.

For example, the first sentence "Simulated annealing is a method for finding a good (not necessarily perfect) solution" is incorrect in theory, while correct in practice. I feel that it is this dichotomy that brings the most insight to the strengths and weaknesses of the approach. Further, the post doesn't give any good intuition on why it works, or how it works, or how it compares to alternatives... everything you would want to know. It also gets other details not quite right, like the origin of the Gibbs measure (the name "simulated annealing" comes from analogy to the annealing process in metallurgy, but the Gibbs formulation comes from probability theory, and the application here via the Ising model and electromagnetism). This isn't very important to a practical intro I guess, but it makes it harder to find the right places to read deeper if you wish to.

It's fairly easy to prove that simulated annealing done "properly" will converge to a uniform distribution over all global minima. The "properly" here involves a logarithmic cooling schedule and a little thought should convince you that this is in practice not going to help you any more than exhaustive search will.

It's very difficult to prove useful properties about convergence or distribution on faster cooling: therin lies the rub.

I suspect a big part of the popularity of the approach is that it is extremely easy to implement, but unfortunately naively application often doesn't work very well on complicated energy state spaces.
It's 3 lines in a build.gradle(.kts) to get running. We've been using it in production for 5 years without any issues you are describing.
Not a problem, because he bought his neighbour houses, too, so he can have his privacy.

https://www.scmp.com/magazines/style/news-trends/article/300...
>The Angkor Wat by itself was built by Suryavarman who was apparently a descendant of the Cholas of Tamilnadu, India.

I don't think there is any evidence to suggest that the Khmer dynasty was ethnically South Asian. Do you have a reference for this?
It appears that the side of a 6000m (20000 ft) mountain collapsed.

Clearly this has happened many times through the geological history of the Himalaya - which is arguably the most extreme and dynamic mountain range on the planet - but on human timescales this is an extreme outlier event, so very hard to plan for.
Use uBlock origin and it will load right after the text of the article.
> which means there's at least a non-zero probability

I am thinking this is a very low bar for anything.

If we want to be technical, according to Quantum physics, doesn't anything have non-zero probability? :P
Yeah I would like Oil to be the best of both worlds, but realistically it won't be in 2021. That dichotomy is sort of explained at the top of the FAQ: shell as a language vs. shell as a UI.

(I plan to use bash interactively and Oil for scripting for awhile, which is natural because Oil runs bash scripts. Others may want to use fish; fish is too incompatible for me.)

However in 2021 I hope to remove the qualifier about slowness. That's the only reason I don't use it in production now! (There are several Oil-only features that I want to use in production, like better tracing.)

---

I've written several times on the blog about how the scope of the project is too big, especially in the last year :) So the goal is really to have Oil be the best for ONE use case, and I think that's "cloud automation". I will run Oil's own extensive continuous build to Oil as part of this.

And once people are using it for that, it should attract contributors, which will address the "scope" problem.

Oil is very compatible with bash -- the most compatible by a mile. It's very modular, and I mentioned in this thread how you could do things with it you can't do with bash.

So basically everything about the project is working, but it takes a long time. The thesis from the beginning has panned out -- otherwise I would have stopped working on it already :)

It turns out it really is the best thing for what I want to do, and I'm confident that will generalize. Shell is becoming more important, not less important! (I have some upcoming posts about this, i.e. regarding distributed systems and "the YAML problem".) We need a better shell -- that's a smooth upgrade from POSIX shell and bash.
> What would their killer app be?

Why? Facebook, of course.
All good points except the display on the Pro is supposedly +/- 100 nits brighter.
WAL replication is currently the official and best supported mechanism for replication. If WAL replication does not suite your particular use case, then that is when to start looking at Slony, Bucardo, etc.
Video just started. T minus 15 minutes. http://www.spacex.com/webcast/
That seems to work with Mars One, for instance.
They probably have to find a non-technical way to make it clear its actually a physical light and not the brand name for some new service\app e.g. spotlight, greenlight, lightroom, lighttable etc.
Putting some nightly fun on the bacon!
Yup that link is now 404
https://news.ycombinator.com/item?id=6612638

http://www.gwern.net/In%20Defense%20Of%20Inclusionism

And many others like it.
I imagine the hardest part would be to figure out what needs copy pasting?
> You’ve clearly never called a cab pre-Uber

There might be some variation with things like geography, here.
Really now? I know Western newspapers like the NYTimes have become very, very enamoured with the military-industrial complex, and I get that, de facto, the US is at war, but why should anyone feel sorry for the people mentioned in the article, people whose mission is to kill some poor peasants herding their goats in the mountains of Yemen or who are attending a wedding somewhere in Afghanistan?
Just adding to this: travelling is a deeply personal thing. You might need a few attempts before you discover what works for you.
It's pretty cool that you can literally taste caffeine. Is it more of a flavor or a smell?
We started doing this when I was working at Cisco for a CI system - rack servers with 768GB of ram and tmpfs as instance storage for Openstack servers. It worked pretty well.
This is pretty much the case now: ghosted essays are marked by ghosted professors.
I can't wait for the day that companies start saying they turn users' passwords into a "digested hash".
The .co.uk site is, they only sell to some EU countries.

You can see a full list of their languages and sites at the top here: https://www.ovh.co.uk/managerv3/login.pl
The text is grey in the white background! What the hell!
I use it almost exclusively. I've never liked using the address bar or search bar. It just feels wrong for some reason.
Not at all. If you're using email as notification, move your MTA to another port, or use something else.
I feel I could write an essay on the pros and cons of OVH but it basically comes down to bandwidth quality.

You're only really paying for the cost of the hardware, the rest is a heavy reliance on peering with no or little transit links (you'll see they only sell to some EU countries).
He is correct: my E71 has a front facing camera. Never used it to make a video call or otherwise.
It might be unacceptable (although as I said, you haven't even made that case). But that's a long way away from being criminal behavior.
The Poincare-Perelman theorem. That's how it's probably going to be called.
http://en.wikipedia.org/wiki/Hedy_Lamarr
It's not FUD to talk about apple's software getting buggier, it's FUD to appropriate someone's rant, sensationalise it and then put the responsibility on Arment.

It's the difference between you stating that Node.js has been forked and someone writing "The server-side Javascript community is now torn apart, according to engendered". It's technically true, but it's clear that second one has other implications.

This is Marco's post: http://www.marco.org/2015/01/05/popular-for-a-day

"This morning, my words were everywhere, chopped up and twisted by sensational opportunists to fuel the tired “Apple is doomed!” narrative with my name on them. (Or Tumblr’s name, which was even worse.) Business Insider started the party, as usual, but it spread like wildfire from there. Huffington Post. Wall Street Journal. CNN. Heise. Even a televised CNBC discussion segment."

"Instead of what was intended to be constructive criticism of the most influential company in my life, I handed the press more poorly written fuel to hamfistedly stab Apple with my name and reputation behind it. And my name will be on that forever."

Now, why do you think Marco is afraid of speaking out? Do you genuinely think that he's afraid his relationship to Apple is damaged because it might threaten future business or because he feels he's responsible for these articles?

From what I and others have experienced (and the rest of the article), there's a climate of frustration, not fear, in the Apple developer community – but even in this article, being angry at incompetence doesn't sound remotely as exciting as being afraid of a large corporation. Hence the F in FUD.
Explain to me like you are talking to a 5 year old. What can I do with this?
This is a fantastic book

http://www.informit.com/store/node.js-mongodb-and-angularjs-...
There's not much - actually no - tech-for-tech's-sake.

I'd guess that's more of a good thing than a bad one.

IMO the bio/med slant and almost (not quite...) complete absence of anything social or IoT is interesting, and possibly an indicator of future YC strategy.

I'm slightly surprised some of these projects think they need YC. E.g. if MashGin is anywhere close to working it's likely going to have investors dropping off big piles of cash at their lab day, night, weekends, and major holidays.
Is it? Still Google for me (though I have the options of Yahoo and Bing now).
As far as design basics for novices, Robin Williams's "The Non-Designer's Design Book" is far and away the best I've seen.
Essentially that's what I am going to have to do now since the installer only allows one copy of safari per PC and I can't figure out an override, even via msiexec.

1. uninstall S5
2. install S4
3. archive S4
4. install S5 to different directory
5. unarchive S4

Oh and the reason for multiple installs is of course to test what breaks in what version. Many people won't be upgrading just yet to S5.

update: this now works great and both versions peacefully co-exist
"I still have to do programmer interviews like everyone else. No matter how much code I put out, I still have to solve stupid puzzles about coconuts and manholes. No matter how many web servers or email frameworks or database servers or chat servers or assemblers I write I still have to prove I can code. No matter how many copies of my software get deployed I still have to prove I can make reliable software."

I still think that's an isolated fact though, and most software shops would offer Zed a job without asking him 'What is a pointer?' questions if he was, for instance, being interviewed by some rubyist (given the notoriety of mongrel). Maybe as he says, I'm wrong. But it could also be just like the guy that offered Ninh Bui a job where 'the candidate must have some experience with Phusion Passenger' (Ninh is one of the creators of Passenger). Some employers just mess up, and having offered Zed a sysadmin job might just have been that, an isolated fact.

Now, I would risk on saying that famous programmers could be made more of 'web presence' and 'open source code' than commercial code. Like, Zed's famous for mongrel and his other open source works (lamson, etc), but I'd say that, in my opinion, he's also famous because of his blog and being a prolific writer and, at the same time, quite controversial. Curiously, he's working on a very cool project commercially, Dropbox (very cool in my opinion anyway), but I don't think that has anything to do with how famous he is, even though, in my opinion, that might be the skill that's most relevant for me, as an employer, to know if I wanted to hire him (as most software shops are making apps, and not email frameworks or web servers).

So maybe, just like the first step on being famous is having lots of blog readers and open source projects (rather than having made a great contribution to a commercial product), the second step is getting funding, being to parties, etc. (and I just don't notice that because I'm not famous, or because I'm not on SF)
I thought they just added it as an option.

Will they remove Yahoo from the list when Yahoo results = Bing results I wonder?
True, if more hardware is cheaper it's always a better upgrade.

But litespeed will certainly double the capacity of any Apache install, no exaggeration, and it's ddos resistance is second to none. I just wish it wasn't so expensive.
> Also on the iPad why would you want a crippled "mobile version" of a website, when the device is capable of displaying a normal website?

Apparently, the device is not capable of presenting a normal web site properly. In this case, the limitation is a little ironic. The original MacOS menu system, which required click-and-hold and used a single mouse button, was an excellent example of giving the user feedback as they navigate a system. Use of hover effects on interactive elements on web pages has a similar purpose.

The linked blog post suggests that the end of this story is the demise of :hover. There is at least one possible alternative ending: it turns out that mobile browsing on devices with small screens and automatically reformatted pages, with limited interaction possibilities and no support for widely used technologies, simply isn't as useful as having a fully capable browser on a fully capable device.

Mobile browsing has a lot of potential, but no-one says that current generation of smartphones is the best way to do it. The iPhone is still a relatively new product, Android is even newer, and despite all the hype these still represent only a relatively small share of the smartphone market between them. Analysts have started to question Apple's closed infrastructure and whether it will stand up to competition as the market develops [1]. Maybe in a year or two we will wonder what possessed anyone to think that trying to have a mobile phone and a browser on the same device was a good idea. Time will tell...

[1] http://news.bbc.co.uk/1/hi/technology/10259552.stm
I'm a huge fan of his novels (I am currently working through his final trilogy now, which is a masterpiece), but this work seems like a money grab. The woman who wrote it was married to him for only 5 years and then "spen[t] the ensuing years seeking the man behind the disguise"?

In any case, he seemed to be an interesting man, so it is probably an interesting book. It sounds like it was edited well and includes a lot of the historical record on his life.
I blame github.
"This last caveat leads to an interesting economic question. As noted above, retail prices for CAPTCHA-solving vary over a wide range, from about $1 per thousand to $20 per thousand. This price spread, and the fact that it’s technically feasible to route a CAPTCHA through the system more than once, suggests a major arbitrage opportunity. We can set up a high-price CAPTCHA service and farm out all the actual work to low-price competitors. In a free economy—and what economy could be freer of regulation than a criminal one?—that situation is not supposed to endure."

Finack's comment on the original post was worth noting here: Arbitrage has far more to do with information transparency than the free-ness of the economy, as such arbitrage is pretty common in criminal economies where prices aren't public information.
Well, derivatives all have to somehow tie back to the underlying. Should be interesting to see the financial engineering on this.

Depends on the way they'll do this, one way is that they could approach some major stakeholders of Facebook (e.g., a pool of employees with vested or unvested employee stock options) and draw up some agreement with that entity to buy the rights to buy these stock options at a whole-sale strike price (let's say $0.05/share to buy the share at $75).Then the brokerage firms will chop these options to different strike price bins and re-distribute to investors (e.g., $0.15/share for the right to buy the share at $75, $10.15/share for the right to buy the share at $65; with the broker collecting a $0.10/share underwriting fees.).

So you are buying an option at a certain strike price to buy a potentially unvested option to buy a illiquid, pre-IPO stock at a certain strike price. If this was Google in 1999, someone is going to be rich. But since it is my opinion that Facebook is going to the way of AOL, I wouldn't buy into it; but then again, it depends on when Facebook is going to IPO and if it is before the Web 2.0 exuberance dies down.
Since they're actually investing in an LLC, the rules (search "506 offering") would be the same. It can only be "sophisticated" investors and no more than 35 can be non-accredited.

Note that there can be no solicitation or advertising of the offering to the general public. In practice, as you can see, this means you can leak all the details to Bloomberg but then cannot comment for the story. Because, you see, that would be solicitation.