skysight-inc/HackerNews huggingface dataset:
I've been doing a lot of low-ish level programming with video hardware on an embedded system. I mmap a buffer, which gives direct access to the hardware. I trust that the driver reports the correct size of the buffer, and that the hardware puts the bits in that buffer in the way its spec promises. How the fuck do you formally prove any of that? I can prove that my software, for example, moves bits from offset x to offset y in the buffer correctly, but how do I prove that it makes sense to move those bits in that way? Or that I have interpreted the driver's documentation correctly, or the v4l2 API correctly, or that the hardware or driver does what it says it does? Keep in mind that this is C++ of course, so there's no mathematically rigorous type system; I just have a uint8_t pointer to a place in memory.

I can potentially lay down a bunch of assumptions, and prove that, given those assumptions, my program acts correctly. However, most of the bugs arise from incorrect assumptions.

One concrete example: When feeding pixel data to the onboard hardware h264 encoder's driver, after having set a resolution of 1920x1080, the resulting h264-encoded frame will be displayed in a h264 decoder with a resolution of 1920x1080. This turned out to be wrong, because the hardware can only deal with blocks of size 16x16, so the width and height must be a multiple of 16, and the driver isn't smart enough to add the necessary metadata to make a decoder crop it, so there's 8 green (because YCbCr) pixels on the bottom of the video. The solution to this is to manually splice the h264 bitstream, to insert my own metadata which has the correct cropping. How the fuck do you formally prove any of that?
Indeed - I recommended Strang's book in this article and the previous one.
GraphQL Schemas on Steroid
It's my opinion and you're a flagging bully. If you're smart enough to be on HN, you're smart enough to discern and determine where to invest. If I happen to learn about ANS and let others know about it, I don't see the harm in that. They can inspect the truthiness of my recommendations via pagerank.
Max's randomized living apps: https://maxhawkins.me/work/randomized_living.html
I love reaching out when a possible misunderstanding is in progress. Appreciate your reply.

You're very correct about the false dichotomy -- it's happening way too often and too much people fall into that trap. It's saddening for me to watch, especially having in mind that me and my wife are doing both.

But as she would say -- "yes, me and you are far ahead in that regard but it's very likely that the people who just discover this aspect are far ahead in other regards, and we're likely very behind in those".
Most are in response to petty crime, such as stolen bikes, bumping into someone. The parties involved are rarely 'innocent' themselves having committed a petty crime against the aggrieved idiot with a bottle of acid.
That's exactly what happened. To keep the system working given both rising inequality and rising productivity, the money was loaned to workers instead of provided as salary; see Richard Wolff: http://www.mediaed.org/transcripts/Capitalism-Hits-the-Fan-T...
Will Blockchain Ignite Fractional Ownership Market for Homes?
As exemplified in http://startuperlife.xyz/36 and http://startuperlife.xyz/48
If new coins are distributed as block rewards, then collectively, miners will spend (nearly) the monetary value of those coins in competition to solve as many blocks as possible. In other words, any gains in marketcap will translate to increased mining efforts. Paul Sztorc has written a lot more about this in http://www.truthcoin.info/blog/pow-cheapest/
> If you believe that, in the aggregate, "white" people are intellectually superior to any other race of people, you're a white supremacist.

Good, then we can agree that all these people who believe that Asians are smarter than whites aren't white supremacists.
Round 2: The Core SaaS New Techstars Companies Should Consider
just buy/rent a dedicated box and put RAID1, that's all most stratups need. Your points would be valid if S3 would be allowing to disable `geographically separated servers`, `bit-rot scrubbing` (no idea wtf is this). But those who say S3 is a cheap solution for more than few GB are fools or shills
On an infinite square grid where lines are 1 unit apart, if a circle of radius "r" is centered on an intersection, how many intersections lie within the circle? Answer in terms of "r".
Pycon Australia 2017 [videos]
I take heart in knowing that most of the people who made money were developers, especially from ethereum which I bought to play with.

Be careful of getting emotional about it. It could well be techies and goldbugs who knew about it early on and regret not buying earlier that succumb to fomo last after stewing over it too long.

It's best to buy just enough to assuage your feelings so that you're comfortable with whatever happens and then forget about it.

With so many being created, cryptocurrencies will come and go so speculating on which will become the winner is a time consuming obession. As dev Andreas Antonopolous says the best investment you can make is in learning the tech.

Solidity and other smart contract developers are in serious demand, paying stupid salaries as every finance company plows money into them. The space is still full of opportunities for developers if you look forward and around and not back.
That's a sad reality. If my father hadn't died 16 years ago, my mother would have divorced him.

People change. Sometimes a lot. You've fallen in love with a certain person and one morning, decades later, you suddenly realize this person is no longer with you.
> If one believe it's a human construct and the other doesn't and they decide to study science based on that they will end up with very different results.

Give me an example of an experiment they'll predict different results for and I'll believe you. ;) If there isn't one, then your belief isn't paying rent - and arguing whether red is "out there" is as meaningful as arguing whether Wulky Wilkinson is a post-utopian.

> http://lesswrong.com/lw/i3/making_beliefs_pay_rent_in_antici...
> But there's no reason to believe there is "an opposite"...

Nearly every disease has an opposite which is also bad. If something was an unmitigated evil then there would be strong selective pressure for it to not happen and nothing pressing in the other direction to cause it to actually occur in the population.

> Would you say there is a scale ranging from having the flu, to being normal, to... having the opposite of flu, I guess?

Contracting the flu is a failure of the immune system to fight off the virus, so the opposite of contracting the flu would be an autoimmune disease.
Seriously?

On one hand everyone is pissed that people are buying properties just to rent on airbnb (and home away, flipkey, vbro, etc...) and on the other hand we need to protect these same people from themselves?

You can't protect the predator and its prey.

If you want fewer people buying up properties for short term rentals you should want the weaker ones to have bad experiences and tell all their friends.
When something is leaked, it is leaked.

Trying to stop the spread the info after the fact is useless - the real bad guys and those happy to do more research will always find it.

Stop thinking "hopefully not too many people see my password on pastebin", and instead think "my password has leaked, change it asap".
She does however, protect the swans. Not sure where I'm going with this #beer
Then they would need to raise your prices to afford the tax, or select a more expensive locally made alternative.
Inside Apple's partnership with Cochlear
I know this place is crawling with cryptocurrency fanboys, but this is a serious issue for many sceptics.

Regardless of whether you think that criticism is valid, downvoting anyone who asks questions about how to address this does not help make their scepticism go away.
Browsers use TLS, but I don't think many of them use OpenSSL's implementation. Firefox uses NSS, and Chrome uses BoringSSL (which is related but not affected by this change).
They are. It's easier to get a good person to be honest about what they did and why than a criminal. Police are also just as criminal, the thin blue line needs to end.
Not the least of which is mass automation, which removes one of the worst aspects of socialism and communism; the permanent working underclass.

A friend of mine says Communism arrived 100 years too early, I'd say that's an excellent way to put it.
I think his point is that you can't claim 'user freedom' and 'software for the people' if you ignore a chunk of the populace.

> Free software is not about a specific feature, it's about protecting user's freedom.

"Free software protects people's freedom (except the disabled, they're stuck with proprietary stuff, too bad)." That's not exactly a rousing motto. If anything the disabled are who should be helped most given how rediculously expensive accessibility software tends to be. It seems hypocritical compared to the usual messaging coming from the free software movement.

> He shouldn't blame a community of volunteers for not fixing his personal problems for free.

If free software wants to replace proprietary software this attitude doesn't work well. These aren't his personal complaints, they're problems for anyone with serious vision problems.
That's exactly whats happening - people in the right "diversity" bucket are being hired while others who are qualified are being passed over.
Here's some "lore" around proof-of-work and why it must burn external resources:

https://download.wpsoftware.net/bitcoin/asic-faq.pdf

https://download.wpsoftware.net/bitcoin/pos.pdf

https://download.wpsoftware.net/bitcoin/alts.pdf
> Loneliness is a self-inflicted problem.

This is complete BS, at least in some cases. For example, social phobia or autism can be the cause of loneliness.
Actually, I place ETH in the same league as ANS/NEO technically with a few differences here...

https://www.reddit.com/r/Antshares/comments/6gsso4/what_is_t...

But like one of the contributors on the sub points out, ANS/NEO has some govt support (I use support lightly because there have been discussions with govt about NEO but nothing officially announced yet). Therefore, if this turns out to be the case, then undoubtedly, you'll find that NEO will be the crypto that wins in China. I think that this alone would make it very very big in terms of market cap.

Finally, technically, contract writing in ANS/NEO aims to be as easy as possible compared to ETH where unless you learn solidity, you cannot immediately jump in and start writing code for it. ANS/NEO aims to make it easy for any developer anywhere in the world to jump right in.

EDIT:

I think that many crypto-variants will exist simultaneously but that there'll be one or two that win because they implement ease of use quickly and well. Let's consider the internet in the early days; it was only useful to a select few who could withstand the pains of getting up and running with it. Crypto is the same way today. Few are willing to withstand the pain of its use - be it devs or regular users who may or may not double up as speculators.

If a coin can't be stupidly easy to use, then there cannot be mass adoption. ANS/NEO seems to have figured that out - making onboarding devs easy and attempting to reduce the energy required to run the network.
Bitcoin yes, definitely, Ethereum maybe, other crypto tokens that have gone up as much or more like Stratis or NEM probably not without a large drop off as you affect the market (can't remember the technical term)
Yup, if you can trust the glaze not to contain cadnium or lead, pretty much the cheapest will do. Same with stoneware.
"expound isn't meant to handle the error I've been dealing with"

If you have some time, would you be willing to expand on this? I'm curious to learn more about your error. I'm the author of Expound so I'd like to make it more useful (or, at least, understand the limits of a library like Expound).
Reskill Yourself, Hiring Specialist's Message to Mid-Level Indian Techies
There is a is a recent article from NDTV titled "Reskill Yourself, Hiring Specialist's Message To Mid-Level Indian Techies"

The advice seems logical, and timely. As a matter of fact, most 'management gurus' and IT leaders are are parroting the Reskill Reskill Reskill mantra

However, What to reskill on and How to go about it is unclear, perhaps even to the 'Gurus'

read rest of the article

http://www.beyondlayoff.com/2017/08/reskill-yourself-hiring-specialists.html
Real estate is usually considered an investment, is it not?
Show HN: Usher – Golang REST framework inspired by K8s apimachinery
Top How  to Build Brand Loyalty – Buzzlogix
Note that these numbers only look at income tax.

Payroll tax, Social Security and sales taxes are not included.

However, even when you do that the top 20% pay most of the taxes.
The+first+big+step+in+eIDAS+implementation+accomplished+|+Digital+Single+Market
This author wants to be treated with respect. They want to be to able to use free software too. But the projects are basically telling them 'too bad'. And when projects break stuff that's critical to his/her use the response is... oh well. If anyone ever fixes it we'll take the patch.

That's not how you treat people, especially if you want them in your community. This isn't someone complaining that the 'close' button window control was moved to the wrong side. They've lost their ability to use a large chunk of free software and no one (more or less) cares.

And they're probably frustrated as hell.
The article mentions a decrease in both STD rates and sexual violence with legal prostitution. So it's not crazy to think that there may be a reduction in PTSD as well. And making their trade legal makes it easier to provide (mental health) services.
Is your ease of repair what most people think?

Probably not but it is what I think and well, I tend to advocate for my position more than the position of others.

Do you think 99% of people that own a Ford Escape are going to go under the car and replace a U joint whether it takes 1 hour or 4 hours.

Reading is fundamental. I was speaking of replacing an alternator and the U-joint was in the way.

Why should the 99% of folks that don't care sacrifice cost, reliability or other qualities for your ability to repair it on your own?

Just going with your figure of 99%... They should care because it will have an effect on how much it costs them to have the repair performed by a professional mechanic. If you don't think that a professional mechanic will charge more to perform replacement of a difficult to reach component, you're woefully uninformed on the subject.

The more difficult it is to repair something, the more expensive it will be to hire a professional to perform said repair.
Very well done. I really like checklists, I use them as my todo list, project organizer and general stuff. So I created Sorter to help me: is a webapp to organize ideas, tasks and information using bullet points and hashtags. It´s open source if you want to check https://github.com/vitogit/sorter
My comment was in jest, but if you want to take it seriously, it's not the tensile strength of water that matters, but that of the tube it's being pumped through. That would need to be the magically stronger than nanotubes material that we also need for a space elevator.

If you make the tube narrow enough, you might even take advantage of capillary action in some way.
I'm really confused...did you write this ironically? Are you the author? Your quote seems to directly confirm the author's hypothesis, no? E.g. that there now exists a class of affluent status who is not longer able to signal his or her value through objects anymore since they are widely accessible by all classes, so one has to find other ways to subtly show one's wealth. You then go and comment on Hacker News about how wealthy and self-realized you, "aspire to be." Is that not why the author chose the term, "aspirational class?"

Either the author is really on to something, or you yourself are an agent of the author.
I am assuming you are based in London and want to reskill yourself on blockchain tech. There is certainly a lot of hype over Blockchains.
http://www.mydigitalstartup.net/top25startup-ideas2017/2017t...

Your best bet is to seek opportunities at Financial / financial-Tech firms for such opportunities
With $299.95 per hour in rent.
Have you ever wondered why you have to provide receipts for reimbursement, despite the fact that the vast majority of people here could put together a forged receipt quite easily?

It's not because the receipt proves anything. It's because if there was ever any question, it gives a validator something to actually validate, to call up the putative place of business and confirm the transaction and the size.

It's one of those deals where the mere threat of being able to validate tends to keep the system humming along fairly well, even to the point that many of the participants have forgotten the justification for the system. Presumably there's someone out there routinely forging receipts for fun and profit but it must not be that big a fraud considered across the entire system.

Same thing here.
It's not for everyone. Some people have the appetite for risk and others don't and never will. You can invest or watch and complain while others become wealthy...all the while claiming to be highly technical and that everyone else is an imbecile who happened about their new found wealth by being careless.

Risk often appears careless to those with a weak stomach. Risk is typically very ugly. It's not supposed to be pretty. If it were, all and sundry would be participants.

Risk wouldn't be risk without risk is all I'd leave you with.
Search / filter. Yup. that's like happening today.

Search / filter

pages for Model s, x, 3

New vehicle notification alert

Market comp

Price drop.
Microsoft and Apple put a lot of time/effort into making sure their libraries provide the necessary support so people can write accessible software.

Individual programs may be bad, but the toolkits support it.

Here, none of the cross platform toolkits seem to even have the most basic support.
From a single renter's point of view, you have a big pool of places. You'll find one that doesn't mind your new profile. I get that.

From a single host's point of view, you have 0% chance of renting with me or the hosts like me.

So we're looking at this from different views. I get that people with new profiles CAN find a place, even a nice place. Please get that they won't find it with cautious hosts that are careful about their visitors.
I wasn't thinking about the cookies part.

I just learnt about Referer. How doesn't this compromise privacy? Looks like I'm woefully uninformed about web security/privacy.

Also, found this[1] for anyone who just learnt about this like me.

For firefox, go to about:config and set Network.http.sendRefererHeader
to 0

[1]:https://chrome.google.com/webstore/detail/referer-control/hn...
That's how workaholics work and why they burn out. Work above everything.
To be honest that looks like your typical sysadmins interface. A tiling window manager and/or few tmux sessions and you quickly end up with the same level of information density.
AMD Ryzen 3 Linux Benchmarks
Paul_S prefers a language which is "immediately understandable to a c coder" - I think this gets to the heart of the disagreement here. Tcl is different. Anyone who expects it look like and work like C-family languages will always be frustrated and disappointed.

But people who are willing to take a less conventional approach may find that it opens up cleaner and more elegant ways of doing things. For example, upvar is not just a workaround - it can support meta-programming techniques which are not even possible in e.g. Python.

The "Tcl way" is to have a minimal core which just supports running commands and connecting them together. Everything else is implemented as commands, including the control constructs, and any command can be redefined. This flexibility does of course allow things to go wrong in ways that could not happen in a more restrictive language. But it also provides an adaptability that is hard to give up once you get used to it.
>Keep in mind that this is C++ of course, so there's no mathematically rigorous type system; I just have a uint8_t pointer to a place in memory.

Well you basically answered your own question - you would need a language with a more sophisticated type system. You would then need an API/DSL to interact with the graphics hardware.
Domain names were the bitcoin of the dot com bubble. The digital asset that if you got in early has largely gone up ever since.
Most SLAs don't cover scheduled maintenance.
DueDil | Python Developer | London, UK | ONSITE | https://www.duedil.com/careers

DueDil’s mission is to be the largest source of private company data in the world. We want to be the fuel for a more informed and connected economy. This year we launched a new and improved version of our API and became a pan-European platform, covering 100M companies.

We are looking for a Python Developer to join the DueDil Labs team. DueDil Labs works closely with our most valued clients to understand and solve their business problems using private company data.

You will work with two data scientists and our product team to explore ideas, develop prototypes, and build new tools that produce actionable insights from company data. Collaborating with other specialists you will deploy our most successful projects to our web-based enterprise tool and API. You will also write data processing pipelines that onboard new datasets onto our platform.

For more info and to apply see the link on our website. If you have any questions get in touch: tom.phillips@duedil.com
I think the key word there was "public."
CodeReview on StackExchange, so long as the code works.

https://codereview.stackexchange.com/
Everything you need to know about Amazon and Jeff Bezos in a 10-minute read
I can beat that. $7 got me gameplay.com. That sold for $70K. That 70K I put into ww.com, which got me $1M. That's about twice as good an ROI.
Does the Android 4.3 incompatibility also apply to Chrome from the Play store, or only Browser/WebViews/system APIs?
If a cryptocurrency becomes too big to fail, then it seems inevitable that nation-states and large corporations will mine it at a loss.
Honest question... for those of you on board with this: how do you reconcile the complaints about the objectification of women as sex objects (and how that harms women) with this?
Best Currency Converter App
Maybe I'm jaded then. My professors were American and also cared about student learning. No grad students teaching courses, other than myself (just the lab section). I also have no social bonds to class mates; most were foreign and were only there to study.
> The only technical requirement for you to follow the functional paradigm is immutability.

So are you saying that for instance both CaML and LISP aren't FP ? Because both are certainly not about immutability and you can write mutable messes in either.
I think the premise is that you are not entitled to unemployment benefits in the first place. The government provides some aid but you have to be trying to help yourself first. It sounds fair to me that if you are offered a job and you refuse then you have breached that contract. Beggars can't be choosers and all that.
Can you name the group? That seems incredible.
I don't know. When I was living there, interpersonal relationship among Americans always seemed very shallow and greedy. Generally the first contact was very welcoming, then, nothing beyond that. It felt as if any socialization was first and foremost a kind of investment. If after a probe, the ROI did not looked promising, the line would go dead almost instantly. I remember very well asking myself how such a society could not eventually lead to very lonely people. Fortunately, I was not looking for friends, because I did not bring back so many from there, and most of them are actually first generation immigrants.
Not in any robust sense, no.
The Swedish Physicist Revolutionising Birth Control