skysight-inc/HackerNews huggingface dataset:
"I want high reliability code that I would literally trust my life to, that can be verified both by the compiler and by any other arbitrary external tool that may assert proofs of things that may be desirable, such as "it never crashes as long as the hardware operates correctly" and "there is never a null pointer exception".

I had a cool idea last night, and I want a website up that implements it by next week."

We're closer to that than you think. The pieces of it are just scattered in quite a few CompSci subfields. Some are done, some getting closer, and a ton of integration work will be necessary to pull it all together. There will still be a gap between the two. Yet, it's nowhere near as big as people think with the right tooling available.

Example of the first such tool from the same woman that founded robust, software engineering:

http://htius.com/Product/Product.htm

A NASA evaluation indicated difficulty with notation, performance hit, and something else. Thing is, modern work in each area that report griped about got to point where gripes should be eliminated. There's also more automation available in some areas with better results. The good DSL's and tools like Cyc showed the body of knowledge necessary for semi-automating the dev process can be developed. Hell, so did StackOverflow's cut-and-paste-driven development. So, the dream is a dream but a similar reality isn't far off if the labor is put in. :)
Tegas babak kedua dari VfL Borussia
But if they did that, they might find that it's either not alien or not life at all!
Tutorial: Make an Awesome Logo for Your Startup with Sketch
VW Golf is sold with the same outward chassis in electric, plug-in hybrid, regular hybrid, gasoline and diesel models.

(The electric has a practical range of about 80 to 120 km, i.e. around 100 miles, so not a great success.)
http://thenextweb.com/opinion/2016/03/21/apple-hypocritical-...

Damned if they do, damned if they don't.
I no longer wonder about such things. The simple fact of the matter is that the system is designed to work against wage earners. It focuses on the benefit of our corporate overlords.

For example, I use to work for a company as a wage earner. I left, moving my 401k into a self-directed IRA. Since the market has been bad lately, I remained in cash. I want to put that money somewhere else: property.

I would love to buy a building downtown (which is theoretically possible). I would convert the top floor, about 5k sq/ft, into a co-work office that charges $10/day. The first floor I would rent out to someone, like a grocer. Sadly, the system works against this dream.

First, I can't use the building directly if I purchased it with the IRA. I, as the IRA holder, cannot utilize any properties within the account directly. There goes the co-work. I can't put sweat equity in because that is an illegal contribution. There goes fixing the building without loosing money on labor. I can't directly take the checks and deposit them in the IRA. The law requires that all checks go directly to IRA holding company (who will take a percentage). Finally, I have to get a special IRA account that holds property. Trick is that there is almost no one that does that since they don't make a lot of money. The few that do, take a big chunk.

So I, as a lowly wage earner, can't tap my largest asset directly. I can only use my money to feed the pockets of others via stocks and bonds.

As the Simpson's sung, "It's the American way!"
Well in theory, if your shares are diluted /2 but the company's capital is x2, and all that capital is used efficiently, you have not lost anything either. Half slice of twice the pie.
This made me smile. :)
Right. The remaining shareholders own a larger percentage of a company that now owns less cash.

Say the only thing my company owns is a bank account with $100 in it. There are 5 shares outstanding worth $20 each. The company buys back one share for $20, so now there are 4 shares outstanding in a company that owns $80.
> It's also a fascinating bit of hypocrisy, to say that the US is hung up on being right, and yet you feel free to bash the US while promoting the things others do right (you listed healthcare, education, roads). How does that work again?

He's not bashing the US, but rather being realistic about the sorry state of American healthcare, education, and infrastructure. And it's perfectly valid to suggest that both American exceptionalism and a general lack of exposure to the ideas and experiences of foreign citizens, are partially to blame for America's failures domestically and abroad.

> The US does in fact improve. See: gay marriage legalization (something many of those supposed progressive nations you're referring to still lack). Body cams for police (a wide national interest in ending police brutality).

Gay marriage is a great step forward, but there are more pressing issues honestly, primary among them reigning in the military-industrial complex that has been steadily toppling democratically-elected governments for the past 60 years, stealing resources, fighting proxy wars, and selling weapons to one or both sides.

> Ending mass incarceration and the war on drugs (changes that are now supported by the majority of Americans). The ACA / Obamacare.

No way the majority of citizens of support ending the drug war. Legalization or decriminalization of marijuana are only small steps toward ending mass incarceration. How many people currently support heroin being legal, taxed, and available down the street? Not many, but until US society has that revelation, there will still be black market violence, and still be addicts ODing because their heroin is anything from 10% to 90% pure and potentially cut with other harmful substances, and because they hesitate to call an ambulance for fear of exiting the hospital in police custody.
I second the wish for a modern Psion. That form-factor started to get popular again in Asia right before the iPhone. But the iPhone changed everything. I think the best option now is the Surface 4 Pro.
DNS resolver for AWS EC2 instances – local resolver for inst ID or Name tags
Is this one way to use the cash from profit oversea instead of bringing them back into the country and taxed?
An Arch system with defaults is not an Arch system.

The beauty of Arch is that you set it up from head to toe, so you only have the things you need most. And if something breaks, you're more likely to be able to fix it.

Accept no substitute. Vanilla Arch forever.

(I accept that some people don't care about how the sausages are made. In that case, use Fedora or Debian or Ubuntu, in order of similarity to Arch.)
That one's more about returning to the mean, right?
> Tesla has a history of addressing safety in a way that no other manufacturers seem to prioritize for

In 2005 Renault achieved the first-ever Euro NCAP five-star rating across all the models in its range. Even the smallest hatchback Clio.
Some day, please let it be soon, corporations will all be treated as big LLCs, with profits/dividends passed through to shareholders proportionally to be taxed at the individual income rates. Couple that with taxing cap-gains as income, since it is, and all this nonsense goes away.

Owners (rather than todays "owners") get their share of profits, rich people pay their share in taxes, good triumphs over evil, and so on.
I don't know - can you interop with Win32 from Java on Windows? If so, possibly. I doubt Java itself would have an ETW provider for various runtime events (GC's, contentions etc).
I'm always left wondering when data is leaked or stolen, why the data wasn't encrypted at rest. Is it too hard or expensive to do so?
Can you please whitelist Tor in the Cloudflare settings for this site?
You shouldn't be downvoted for this. It's a legit comment.

I feel like there's a pretty major hidden cost in hybrids in that you now have to maintain the gasoline engine (and potentially entire drivetrain) as well as the electric one. You kind of get the worst of both worlds there -- plus you have a weight penalty of course.

I have very little use for >200 mile/day drives, so getting an electric that can handle my 99% driving case sounds better to me than getting a Volt which I'll still need to semi-regularly fill up and maintain.
That doesn't make sense to me. Wouldn't more things break if you only updated them every six months and had to retest the whole system rather than the parts that changed as you went along.

I found that upgrading Ubuntu/Debian to the next release always screwed everything up as basically all the packages changed. Heck fedora couldn't even update to the next release until fed up came out.
If you believ in property appreciation, you could by REIT stocks. Obviously not the same but maybe the closest you'll get.
>Phones and tablets? Complete write off. My smartphone is basically a toaster.

You say that like it's a bad thing. For the vast majority of people, they wish their computers behaved more like toasters, rather than finicky, customizable, yet extremely powerful pieces of computing machinery that they are.
> what benefits there are.

Benefits are obvious: you don't have to answer the shareholders for every quarter. You are free to innovate without thinking about short term profits only.

Of course there are drawbacks as well, such as access to Capital. But when you sit on a large amount of cash, this is less relevant.
If you quote these, then why not the more completly:

"CPI reports receiving foundation support from a number of foundations, including the Sunlight Foundation, the Ethics and Excellence in Journalism Foundation, the Ford Foundation, the John D. and Catherine T. MacArthur Foundation, the John S. and James L. Knight Foundation, the Omidyar Network, the Open Society Foundation, and the Pew Charitable Trusts.[31] The Barbra Streisand Foundation reports that it has funded CPI." -Wikipedia

And from their website:
"Recent ICIJ funders include: Adessium Foundation, Open Society Foundations, The Sigrid Rausing Trust, the Fritt Ord Foundation, the Pulitzer Center on Crisis Reporting, The Ford Foundation, The David and Lucile Packard Foundation, Pew Charitable Trusts and Waterloo Foundation."

From the reporting:

- Fat Cat Hotel: How Democratic High-Rollers Are Rewarded with Overnight Stays at the White House.

- Windfalls of War, a report arguing that campaign contributions to George W. Bush affected the allocation of reconstruction contracts in Afghanistan and Iraq

- CPI's report, Who’s Behind the Financial Meltdown?,[45] looking at the roots of the global financial crisis

- Tobacco Underground, an ongoing project tracing the global trade in smuggled cigarettes

(All from Wikipedia)
Apple bought back $30 Billion of itself in 2015[1]. It's market cap is around $600 Billion. It's buying 1/20th of itself every year.

[1] http://www.aboveavalon.com/notes/2015/11/2/apple-is-buying-b...
Well, usually via JNI/JNA. Not as pretty as P/Invoke. I guess the lack of PDBs might be an issue for resolving stack traces, even if you don't get GC events.
Since you used the plural: care to name two?
EV is a non-starter for me explicitly because I have to park on the street. The 'charge at home' thing doesn't work unless you have a garage-laden suburbia. The charging-at-home experience is highly dependent on whether or not the person has a garage, really.
Isn't there a (big) difference between just buying ack shares and keeping them in a pool, or actually destroying them to reduce the number of outstanding shares? Or are those two equivalent?
Perhaps both of you and the author are half-right? :)

This is his statement:

> People can demonstrate acts of leadership regardless of their title and can do so in many different ways, simply by taking action on something without the explicit expectation or request for it.

A simple example of what he's saying would be a person driving a change. Some of us, developers, probably have been in a not-so-great situation (e.g.: build takes too long, culture of not writing unit-tests/automation-tests, etc) and occasionally there's this one passionate individual that starts a movement slowly but sure in order to change the situation to a better one.

I think that's what he's saying.

What you're saying is probably akin to someone lower in the rank starts telling everybody including his/her supervisor/leads how to do their job properly in order to fix the situation... :D
Location: Melbourne

Remote: Yes

Willing to relocate: No

Technologies: iOS, Android, Django, Spring framework, Linux, Databases, OpenGL, Javascript.

Résumé/CV: http://www.blitzm.com.au

Email: james[at]blitzm.com

Hello! We're a team of software engineers based in Melbourne and we're currently looking for new projects. Our team is available to work on-site or remotely (whatever works for you). We have extensive experience in the development of native mobile apps and web applications. We love a challenge and are always interested to talk tech. Let's chat today!
The soccer star is from the Panama leaks.
I thought you were joking since Australia gets in the news for surveillance laws and stuff. Then I saw the link.
The Coming Green Wave: Ocean Farming to Fight Climate Change (2011)
Way too cute.
The-second-coming-of-neuromorphic-computing
I'm normally a Linux user but found FreeNAS too restrictive and then spent 2 months worth of spare time fiddling with this thing.

The learning curve seems vertical at times but I'm finding FreeBSD quite refreshing. Ports and pkg-ng are great (although Australia really, really needs a local mirror).

The files I need to boot from live on a USB thumbdrive and I've got IPMI to the box so I'm not too worried. I think buildworld would be pretty slow on this box (Atom C2758). I'll give it a shot.

I don't really need vnet but having IPs per jail and some kind of network seperation made more sense to my brain.
Makes me wonder if any current serving Australian politicians are gonna get caught up in this.

I've got my popcorn ready regardless.
I think that if a device hops in the 2.4 GHz band it loses the connection to the AP and it goes offline. So this location system will be useful to locate carts in a shop but not customer's phones connected to that shop free WiFi. And even if the customer is not connected to the AP and the phone still has the WiFi on (extremely common), I think you need an app to do that. Furthermore I expect this to impact on battery quite a bit.
It's kind of sad, that the data is not really published. I mean i cant go to some side and take a look at the data. Maybe this is one reason:

"The leak is being managed by the grandly but laughably named “International Consortium of Investigative Journalists”, which is funded and organised entirely by the USA’s Center for Public Integrity. Their funders include

- Ford Foundation
- Carnegie Endowment
- Rockefeller Family Fund
- W K Kellogg Foundation
- Open Society Foundation (Soros)" [1]

[1] https://www.craigmurray.org.uk/archives/2016/04/corporate-me...
> "he hoped to save the world"

he hoped to save the [money of the richest people in the] world
Panama Papers: How a British man, 90, covered for a US millionaire
To many people, the sunshine that exposing scandal brings is much needed. Consider the fact that the Church Committee was formed only after Watergate.

Many of us know that establishment politicians are utterly compromised. It's similar to the Edward Snowden revelations. We just need proof.
Conference and Tradeshow Calendar May 2016
from https://www.craigmurray.org.uk/archives/2016/04/corporate-me...

"The leak is being managed by the grandly but laughably named “International Consortium of Investigative Journalists”, which is funded and organised entirely by the USA’s Center for Public Integrity. Their funders include

Ford Foundation
Carnegie Endowment
Rockefeller Family Fund
W K Kellogg Foundation
Open Society Foundation (Soros)"
The Vulnerabilities of MD5 Hash Passwords
Yeah. If you want to see what that feels like, turn on the Basic HTML version. It loads instantly, then has to reload as you click around the app.
Do you work on any side projects you might want to turn into paid products? Can you be the tech guy and the sales guy?

I have a similar problem, I get bored pretty quick.
Evite | Los Angeles, CA | Python Full Stack Developer or Senior Frontend Developer | Full-Time | On-Site

We’ve got a small, but strong team solving problems at scale. There are lots of cool projects coming down the pipe, including a bit of real-time web work (yes, you can finally play with WebSockets). As it is, we’ve got a pretty varied mix of projects, including a bit of machine learning that we’ve currently been solving using Orange.

* Code stack: Python, Django, CoffeeScript (soon to be ES6), Backbone, Sass, Bourbon, ...

* System stack: GAE, Compute Engine, Kubernetes, AWS, Docker, Vagrant, Redshift.

Apply here: http://bit.ly/21Gjvg3

or email me michael.irani at Evite's domain.
Found two bugs, one of them with a presumably BSD licensed patch: https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=177184, https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=184718

I'm not even sure why I'm helping on this - I looked at the N40L but decided to go with much newer hardware (with much weirder bugs).
Maybe you should enlighten us then. An architect who doesn't code to me is redundant. And BTW, I say this as a developer with 20 years experience who has turned CTO as my company approached 50 employees. I am extremely capable of thinking through architecture level decisions, and it is my prerogative to declare myself chief architect and fulfill that role if I wish. The only problem is, as someone who is writing very little code these days, it would be extremely foolish for me to dictate architecture down to my senior engineers.

To me, "Architect" has become an anachronism, it dates from a time when programming experience was thin on the ground, and languages were very low level, requiring a lot of bit twiddling and optimization to be viable. Under those circumstances, it makes more sense to have someone laying things out without writing any code. These days, I just don't see the point.
It's a Startup
Any chance of getting it to work natively on android as a standalone library without cordova? Being able to integrate a library over Gradle into an existing app would be really really nice.
> making 95% of other clients suffer and download images for generating box shadow is just plain stupid for me.

The images are likely a few hundred bytes if you do it right. Regardless this is an old article you dug up just to attack the guy; OBVIOUSLY it's far less relevant today than it was when it was originally written.
This is great! You've already linked to Bret Victor's work, but I'll pay you the compliment of saying this essay and demonstration is up there with some of his productions.
"There is no mention at all of use of Mossack Fonseca by massive western corporations or western billionaires – the main customers."

Such as strong claim ('main customers') would be nice to be substantiated.

Also the author needs to show the data is there.

If this is the map (linked in another comment), and it main customers were not cut out, then it doesn't look as it has a lot of e.g. US content.

https://briankilmartin.cartodb.com/viz/54ddb5c0-f80e-11e5-9a...
Only problem is that a lot of research has been done that show that M&A deals typically leads to destruction of shareholder value.

[1]http://www.efinancialnews.com/story/2012-01-24/large-mergers...

[2]http://www2.warwick.ac.uk/fac/soc/wbs/subjects/accountinggro...

[3]http://www.evancarmichael.com/library/stephen-warrilow/Merge...
Reality has a well-known liberal bias. Seriously: the data that was leaked is a formation agent that has it's clientele in specific places and focusses on a specific type of clients. That doesn't seem to include US senators, or, for example, senior officials from my home country, Germany.

I can assure you that the folks doing research on this have run both names from "Western" and "other" countries. They are some of the best and most independent-minded people I know (and yes, they do need a salary). Many are actually from non-Western countries, check out these three amazing folks who actually did the heavy lifting on much of the Russia stuff: http://krug.novayagazeta.ru/

The fact they ended up with more stories from developing economies may just be a bias in Mossack Fonsecas client base, or it may be indicative of who uses these services, or of the sophistication in distancing assets from their real owners. Don't know.

But it does make sense to consider that people who run countries under less-than-democratic circumstances and use state capture to extract personal and family wealth might have a greater need of offshore services. Political leaders in Europe, on the other hand, sometimes actually are almost as boring as they make themselves look in public.

(Disclaimer: working with one of the reporting centers, same as r3bl)
Not that hard. Google "hcb nas4free" and get: https://lists.freebsd.org/pipermail/freebsd-bugs/2013-March/... (Hielke Christian Braun)

The author already submitted this patch in 2013 - since it was contributed to the project, it should be fine regarding the license.
2013 Nexus 7s appear to go for $1000 in Australia, which is insanity.

I've got one here but some emails sent to me in private have caused me to hold off on running anything custom on it (email for details, not sure if I can release publically).
Transport Layer Security (TLS) Extension to Support Code Execution
Or just quit taxing dividends since you're already taxing the same investment return when it appears as corporate profit or capital gains, and adjust the rate for equivalence. Then you save on the collection costs.
Ask HN: What was the first computer in your country?
I have been reading books about ENIAC and Turing, and started to wonder about other countries' first computers (either manufactured or imported). I found a couple of articles about Soviet computing. By searching a few countries' names I found some English-language articles but I can't really verify them.

Is there a recorded first computer in your country?
Actually I think this is one of those things that sounds so obvious, and yet isn't right in practice.

I'l roughly segment projects into those that can fail a bit and those that can't.

Now obviously, for things that can't fail even a little you can't just take someone's word. But why can you take the word of two people, or ten? The failures (in programming and code review) are absolutely correlated. If one person fails at something another likely will fail in the same place or when reviewing it. When people die if there's a bug, or you're even losing a lot of money, you should not be trusting best-effort human anything. This is where imperative programming against a test suite breaks down and just can't cope. You need to switch out your internals for something provable in its domain. (eg, the math to land a space shuttle in a fixed-time infrastructure (ie before it lands itself)).

And for everything else, it's a $/$ calculation. How much do you want to spend to have some unknowably smaller amount of risk? And usually the best value for the dollar is having the original engineering team work on the tests, with outside oversight and good metrics. If an integrated team is having problems getting full branch coverage (the only worthwhile coverage metric...) in a given method, they rewrite the method. External teams have to test what's given (or waste a ton of time in communication delays) and that usually ends up with suboptimal tests and suboptimal coverage. What you can't do though is simply ask a developer if their work is properly tested and trust their answer. You need real metrics and to know what they mean for you. (Like benchmarks.)
> who don't actually produce anything that anyone's ever heard of
You know I could make the same argument that I don't spent any money on these "world leading tech companies" their value to me is effectively zero.

Is zero value somehow supposed to impress me?
Strange that they include Pushbullet, and advertise it so prominently, which is not a free service anymore and was the subject of a huge controversy when they cut features.