skysight-inc/HackerNews huggingface dataset:
> A far more feasible approach (though still very expensive) -- and probably a more "correct" one, even theoretically -- is to verify existing C code using some of the many excellent verification tools (from static analysis to white-box fuzzing and concolic testing) that exist for C[1].

Most static analysis tools for C suck:

(0) Few of them are actually sound. An unsound tool is basically worthless if you really want to be sure that your code has no errors.

(1) They suffer from modularity issues. As you say, they rely on analysis of the control flow of the program (abstract interpretation), which means that, more often than not, the different parts of your program end up related by monstrous preconditions and invariants that expose more implementation details than any sensible programmer would like.

(2) Finally, from a purely pragmatic point of view, they impose the burden of “jumping” between more levels of abstraction: C's syntax (which is already two-layered, thanks to the C preprocessor), some hopefully correct formal semantics for C, and whatever concepts (e.g., sets of states characterized by an invariant) that formal semantics is defined in terms of.

With type systems:

(0) We have a methodology (due to Wright and Felleisen) for proving that a language is type safe.

(1) The type system's intrinsic complexity establishes an upper bound on how intricate the interfaces between modules can be.

(2) For the most part, the programming only needs to care about the denotation of syntax in terms very close to the problem domain. The actual boring syntax processing is the type checker's job.

> It is more "correct" because, while perhaps not providing some of the other benefits, those tools can prove more properties than the Rust type system can, and such tools don't (yet) exist for Rust.

Using a single formal system to prove absolutely everything is impractical. Some things are more convenient to enforce mechanically and internally:

(0) Case analysis exhaustiveness: Humans are comically bad at this. OTOH, it's very easy for a type checker to make sure that a pattern matching block has an arm for every constructor of an algebraic data type.

(1) Separation of concerns: Parametric type abstraction guarantees that abstraction clients aren't exposed to the implementor's design choices.

While other things are easier to prove manually and externally:

(0) Equational laws: Not all algebraic theories are decidable, which means that there's no single search procedure that can decide whether a given equation (with all free variables implicitly universally quantified at the beginning) follows from others.

(1) Routine invariants that are obvious by inspection, and would be too burdensome to annotate in the syntax of a program.
The Scriptol Programming Language
Broadway's 'Hamilton' cast to receive unprecedented profit-sharing
Commercial UNIX that then got trounced by Linux, or as RH-ites themselves put it: "we won!!!".
I'd argue otherwise. The constitution sets out the defining goal of a society. Call it the rule-set for the society as a whole. If you disagree with the defining rules, that is fine. You can chose any number of governmental models on this planet. But don't expect the rest of us to agree to your rule-set.
As a kid in coastal Northern Florida, I could see the Milky Way by night, and the moon rockets by day. The two sights left a very positive mark.

My wife and I camped near the Grand Canyon the night before a raft trip there. I'd forgotten how beautiful the Milky Way was, was amazed she'd never seen it, and delighted at her delight to see it.
Japan has a stagnant economy, bad prospects for the young, horrendously long working hours and higher suicide rates.
Err, things like upower existed as independent projects before systemd. But now upower is just a wrapper around systemd-logind (of all things).
Well yes and no. Remember that they have a really well connected board of directors and a lot of people put their reputation out there based on information they believed to be true. The managers at Walgreens don't know how to design, validate, and certify laboratory tests and procedures so they are kind of at the mercy of the folks who tell them they do. And while it would have been within their rights to send an outside pathologist on site to audit the entire workflow, to come up with that idea you have to at least suspect that they might be trying to pull a fast one on you.

I speak from experience when I say that it is easy to be fooled into believing people when those people actually believe they are telling the truth.

Bottom line is this is all on Theranos, and not Walgreens.
Heaven for bid you actually have to understand how/why something works and not just have "magic" happen.
The next time I thank someone in all caps, I'll be sure to put two spaces between the word "thank" and "you"... Just in case. Maybe I should trademark it, to be safe and protect myself from being confused for a financial institution or something equally derogatory.
> Rust: Rust sits at an even lower level than D. I really like the higher level ideas and syntax but I absolutely don't want to think about ownership issues. If that part of the language were removed Rust would be pretty ideal. But then it wouldn't be Rust.

Ownership isn't a “low-level” issue. It arises in every program that manipulates ephemeral resources (like network connections), and you have to reason about it, whether the type checker forces you to or not.

> Manually controlling the ownership process is a core part of the language and would be pretty hard to change.

It's actually pretty automatic. You only need to implement each destructor once. Using `finally` or `defer` is what is needlessly manual.
And this is where I step in and point out that the idea of "natural rights" existing prior to constituted/codified societies cannot be supported by rational argument. The entire concept dates back to 17th- and 18th-century "state of nature" thought experiments that can be demolished by a moment's reflection.

The underlying assumption of "natural rights" is, after all, that if some humans were somehow born and grew up in a context where no society -- and especially no modern Western society -- was inculcating them from birth with its code of ethics or enforcing it on them, those humans would somehow spontaneously derive the core values of the modern Western code of ethics from self-evident first principles and then automatically enforce that code on themselves without any external incentive to do so.

And that is pure fantasy, and is the point in these HN threads where I often start quoting Thomas Hobbes.
strong limit bots (including 6max) have been around for a while, and are one of the reasons for the demise of online limit games.

the technology exists for strong NL bots as well: http://www.pokersnowie.com/. there is a consensus among many expert player that pokersnowie is very strong. you can search twoplustwo or deucescracked for lots of disucssion.

i am not sure if bots as strong as pokersnowie have infiltrated online games, or to what extent they have. my guess would be that they have.
A seed is a living organism essentially in suspended animation. Cells in the embryo have intact plasma membranes, DNA repair mechanisms are present (although working very slowly), each cell is surrounded by a cell wall, and the entire seed has an outer protective seed coat.

When people talk about DNA degrading, they are usually referring to DNA that is no longer inside living cells, and that doesn't have these multiple levels of protection.
Interesting. The post references sources such as Mapzen which allows you to extract portions of data for peculiar needs. Mapzen also provides an api for turn by turn navigation and there is a plugin to use it on a web based map.
I use DeLorme's street atlas on my tablet. It works great and is inexpensive. Just don't bother with any map pack additions as when you try to download more than a few square miles, delorme then promptly throttles you to 1990 dialup speeds. Viking (sourceforge) is also an option but there is no real time gps with windows.
I've often thought that 10mil (*in a suitable economy) would be enough to set you and your family up well, if you did it right. You could get some investment properties to generate a small revenue stream, enough for a decent holiday, then a nest-egg to generate some interest. You'd probably want to start a business or something to plan for the long-run, but I do agree that ten mil would be a great launch pad while not being too greedy.

Though to be honest, right now just ten grand that's disposable enough for a trip overseas would be nice, haha!
> The constitution sets out the defining goal of a society.

I don't see that in the US Constitution. The preamble talks about things like securing certain blessings, but doesn't really say what they actually are; it uses vague terms like "Justice", which mean different things to different people. The US founding document that comes closest to setting out a defining goal, at least in terms of what government is for, is the Declaration of Independence, and even that is vague: what does "pursuit of happiness" really mean?
The original thinking was to make it harder for casual snoopers. If FastMail gets compromised, then they'd need to be compromised over time and someone would need to review a lot of my email with a shelf-life of one-hour to understand who I was - I use auto-generated credentials, paid via Bitcoin, and login once a year via VPN to generate more addresses.

If Gmail gets compromised, you'd need to be looking for a bunch of Fastmail accounts in To: addresses to link my primary email with those emails.

If you wanted to track me down from an email address, you'd need a warrant in Australia (for FastMail), and the US (to find the account using those FastMail credentials), so I'd need to have actually done something wrong (which I haven't), and you'd need to convince judges in two jurisdictions of that. As I said, the threat model is against casual snoopers, rather than a determined state actor with proof of wrong-doing, as I don't think I'm even slightly interesting and I don't think I've done anything that would make me interesting.

As it turns out, you could probably just read enough of my FastMail email as it came in (before it gets deleted by Gmail) to figure out who I am, so this is imperfect.
Touching Letter Bush Sr. Left to Bill Clinton at the White House
I think it is still current, and is a decent read. Like, you should know these things, but not necessarily adhere to them. I spent a decade believing in OOP. Lately, my thoughts have changed. Unless you really need to track non-global state, or need a namespace in a language that doesn't have namespaces, I don't think you need to go down the OOP route as far as Mr. Bloch advocates. Sometimes a simple function just gets the job done, clearly and effectively.
Finding a role in another company with a nicer working environment. Stress is so bad for your health.
Flexport (YC W14) is hiring software engineers
Yet, the logical construction of the constitution is such that any powers not explicitly delegated to the federal government by the people through the constitution are retained to the states and the people. This was the Federalist argument in favor of the constitution and the Federalist argument that a bill of rights was unnecessary. The Anti-Federalist papers argued that the Federalists were a bunch of delusional idealists, and insisted on a Bill of Rights.

George Mason was what we would call in modern terms, the sponsor of the bill in the 1st congress. He was the first congressman to hold the seat for the 1st district of Virginia. His bill was eventually split into 12 amendments. 11 passed the house, and 10 were quickly ratified by the states. The 11th eventually was ratified as the 27th amendment in 1992.

The idea that powers not explicitly delegated to the federal government by the constitution are retained by the states and the people is honored more in the breach, I admit.
Game of Thrones S06E08 has leaked early
"Heroic" architecture would be Albert Speer's plan for Berlin.[1] Speer's architecture was designed to make people feel small and insignificant. He liked very tall, narrow design elements. Unlike brutalism, Speer's work had good finishes and decorative details.

[1] http://www.dailymail.co.uk/news/article-2764430/Hitler-s-gra...
"Pros
A pay check that clears the bank. A front row seat and education how to adulterate documents and strategy! Working on my CV on company tine..."[1]

[1] https://www.glassdoor.com/Reviews/Employee-Review-Theranos-R...
https://news.ycombinator.com/item?id=11891053
News? Nothing.

In depth analysis, free of government editing/native advertising/propaganda, and a clear focus on preserving fact over fiction? Yeah, I'd pay for that. However since I haven't seen this demonstrated before, the answer is still nothing.
I think I knew about you since one of the first announcements. I really liked and still like SO. That's why I care about it at all.

So, honestly, thanks for the hard work you put in. And: hopefully we/you can do even better in the future?
> “New York has long been a leader in social innovation,” Mr. Klinenberg said. “The trend of living alone happened here before anywhere else.”

I don't understand. Check Bay Area Craigslist and you will find that a rich selection of small studios is available for rent on any given day. And they're much more affordable than the one in this article too.
In addition to Windows and Mac OS X, illumos and I believe all of the BSDs require you to use libc for the same reason. I'm sure that they exist, but I don't know of any kernels other than Linux where the syscall layer is a stable interface. (I'd love to learn about some others though, if anyone knows.)
The author is taking a different approach called phenomenological quantum gravity that has some promise to be more productive in the long term.

http://backreaction.blogspot.com/2013/06/phenomenological-qu...

From what I understand, she and others are trying to understand what empirical differences a quantum gravity theory of any sort would have, and hopefully will come up with one that can be experimentally observed, which in turn would help people figure out what is the correct quantum gravity theory.
A London Subway Experiment: Please Don’t Walk Up the Escalator
My rule of thumb is McMaster for big stuff, sdp-si for little stuff.
Completely off-topic, but I'm curious what websites/services people here like to use to find a place for rent in the SF Bay Area.
I read most of it. Was quite a long read and most of the later sections were attempts to reinforce his overarching point across different areas of possible consent.

The issue that I take with a paper from 1870 appearing today regarding the governing power of the Constitution is largely one of sheer irony for the situation that we are currently is...because our current system of government was exactly what the US Constitution was designed to prevent.

It's fitting that this was written in 1870 only a few years removed from the Civil War and in the midst of Reconstruction when the US began it's current trek toward consolidated federal power in which a man really does have very little say in the matters of his own governance. State and local governments are more tangible and adaptable to the votes of the people and the ongoing interests of it's citizens as times change.

States that can experiment. Learn from each other. Compete with each other. See things in other states that they like and adopt them with their own local nuance if need be. As a bonus, states have to have balanced budgets.
Need feedback to improve it
WoW takes place way later than the movie. The story shown in the movie is during the events of the original Warcraft: Orcs and Humans real time strategy game (from 1994).
Have you considered Seattle? I used to work in Toronto and I am currently living here and I love it.
> What's the alternative, and how would you implement it?

I can think of two basic reasons for the existence of government: 1) The idealistic (naive?) view of government is that it exists because some problems in society are best solved by coercion rather than cooperation. Businesses and charities, when they solve problems, lessen the need for government.

2) Bastiat's more cynical view of government was that it "is that great fiction by which everyone tries to live at the expense of everyone else." Moral instruction and wealth, evenly distributed, would seem to lessen the need for this type of government.
Not to spoil to much, but they changed some things in the movie, and the motives are very well explained. There are Orc protagonists as well.
Ah, thank you. I had my history mixed up. Still a decent example, though—and curiously it didn’t happen with Spanish naranja.
Walgreens formally cuts ties with Theranos
Mobx needs more love.

For flexibility I am leaning towards making MobX as a choice in projects and then being able to build up towards an architecture like Flux in an application.
Indeed it behaves much better on a demo I found elsewhere, sorry for the inaccurate comment.
In truth, no, because even if one were to correctly identify this case as being about Trademark law, and complained about how "out of hand" these laws are getting, that would still be ignorant of the fact that trademark law requires companies to vigorously protect their trademarks or risk losing them.

Furthermore, trademarking generic words and phrases (such as "Apple" or "Orange" or "THANKYOU") is totally legitimate, since the additional requirement for a trademark is that the category or industry is part of the trademark and the protection only extends to that category. No, the flimsiest part of this lawsuit is that AT&T cannot be reasonably said to be operating in the banking industry- but in this case they specifically used the "THANK" word in the context of its partnership with CITI GROUP, so in this specific case AT&T was operating in the banking industry, and using something confusingly similar to CITI GROUP's trademark. and so of course, CITI GROUP is not in this case evil or litigious, but actually legally required to challenge that usage. To not pursue this would be neglect of the law.

Of course, the most annoying part about this is how easy it is to exploit the public's ignorance of how trademark law works to generate clicks and outrage.
I wouldn't assume that Toronto does a better job at income equality, just that the weather is significantly harsher.
I similarly had no idea that there was a vocal version!

Trying to find the theme from the version I owned (Worms United - basically Worms + the Reinforcements expansion) led me to this: not only the theme, but the oh-so-very-old CG cutscenes from the game:

https://www.youtube.com/watch?v=4ckbNvrM83A

The theme is still brilliant, but those cutscenes... oh deary me.
Current discussion: https://news.ycombinator.com/item?id=11882345 (225 points, 1 day ago, 151 comments)

By the way, I like the title you used in the submission. The original is a total linkbait.
Dead Could Be Brought 'Back to Life' in Groundbreaking Project
It's been my experience that those who talk about transparency and openness are usually the ones most trying to lie, cheat and steal the most.
We need to really fix platform security.
The day we hired a blind coder
Even though we found our place on craigslist, be aware that 90% of postings are scams. In the City, you really need to remember the phrase "if it's too good to be true, it probably is".
In my experience, Craigslist is the primary source. Other websites that I looked at were at best a moderately out-of-date mirror of Craigslist.
https://news.ycombinator.com/item?id=11885411 (211 points, 1 day ago, 99 comments)
Perhaps civil forfeiture? Because apparently it is okay to do it to individuals.
I guess you could call Dr. Bansal the first "Re-Animator".

https://en.wikipedia.org/wiki/Re-Animator
An alternative proposal: Wittgenstein studied engineering before he became a philosopher, his doctorate is on planes and kites, and he did some research on how kites behave in certain situations.

Could this be another reason for the focus on mechanics in his architectural work? He had no prior knowledge of architecture (he did design his furniture though, as far as I remember), and if you'd ask me to design an entire house, I too would focus more on the areas I'd know about ("here's a plan of the house with optimal WLAN access everywhere, and good space for cat 5 cables in all walls - what do you mean there's no bathroom?")
I'm 120 pounds sopping wet, so regardless of my own opinions on my intoxication level, one standard American pint is enough to cause potential legal issues I am very happy to pay Uber to avoid entirely.

http://www.brad21.org/bac_charts.html
I rented three times off Craigslist and have not had any trouble. I did respond to a couple of the ads that were "too good to be true" just for the heck of it. The poster came back with a request to wire them money, which was pretty obviously a scam. I wouldn't rent without seeing the place first so this was not a problem anyway. But if you're trying to rent sight-unseen, then you probably should use a service with more serious vetting.
This is more roomy than many of my friend's apartments here in Tokyo. Different circumstances, I know, but just some perspective.
I've not read that Sagan book ( nor Dragons of Eden ) , but in general, you're absolutely correct - his are pure scientific storytelling.

I maintain that Adam Curtis, Nassem Taleb and Manufacturing Consent are on a subject in which it's impossible to not be a teeny bit paranoid ( Bernays and propaganda/advertising ) but yes, Chomsky is in general just scholarly. This being said, his work does involve descriptions of systems in which he believes people abuse power.
Being able to self-sustain myself so I don't need my full-time job. Either through contracting work, my own startup, or my job's options being worth something.
The point of trademark is to protect the reputation of the company using the mark just as much as protecting the customer from being mislead.
I sort of worry a little bit that the guidelines are too strict for everyday code.

goto's are useful for error escape paths. I've seen rather convoluted control flow done where breaking down and using a couple of goto's would make things clean and understandable.

Function pointers are immensely useful.

Variadic macros are useful for implementing optional debugging statements. As in PRINTF(format, args...);
Actually, what is natural to the human species is foraging by small bands, which is basically cooperative. Capitalism became dominate only when industrial technology made it possible to vastly increase wealth through large economic enterprises. Now with AI technology it looks like capitalism may soon no longer be the way to go.
Oh, that. Lysander Spooner, 1867. See [1]. It's a reaction to the Civil War.

The philosophy of the U.S. Constitution is discussed better in the Federalist Papers. It's a design document (unlike the Declaration of Independence), put together by people who wanted a system that would work. They didn't want a king (well, Hamilton did); they'd just gotten rid of one. They didn't want a loose association requiring unanimous consent like the Articles of Confederation (or, later, the United Nations); they'd tried that. They didn't want anarchy or dictatorship of the majority; the French Revolution wasn't going well. They didn't want it to be too weak, allowing Britain to come back in and reconquer. (Britain tried in 1812. The British Army got far enough to capture and burn the Capitol before they were pushed back.) Given those design constraints, the authors of the Constitution came up with something rather good.

As for anarchy: see "Failed State". You don't want to live there.

[1] https://en.wikipedia.org/wiki/No_Treason
Toronto can't even handle getting the current population on time to work. Their highway congestion is horrendous. I can't imagine it transitioning to a major tech startup center.