skysight-inc/HackerNews huggingface dataset:
I'm now wondering if I have enough material to do an interesting writeup for my time as a CPU bug-hunter in verification.

The client (a now vanished startup) had a small 8-bit CPU design which they wanted validation for, using the technique of executing random sequences of instructions and comparing the result against an emulator. We wrote the emulator independently from their architecture description. Given that most instructions were a single byte plus arguments and most of those were valid, the test coverage was pretty thorough. All looked fine until I added support for interrupts, at which point we discovered that an interrupt during a branch would not return to the correct point in execution.

Verifying security properties of processors is really hard; you can go looking for specific types of failure, but I'm not aware of a general way of proving no information leakage.
Face detectors generally check the whole image for faces, outputting everything above a threshold, so as long as a face is present, it's getting detected.
Q&A: Inside a Smart Steel Mill
(Electrum Bitcoin Wallet) Password Protect the JSONRPC Interface
An approach I've thought of in the past would be to prioritize sites with fewer scripts and smaller stylesheets. Lots of .edu pages fit the bill
Also, Fordlandia.
How to use API-first platforms to build your websites faster
I can't help thinking that sometimes scientific and "lay" use of a word diverges beyond repair. With a linguistic hat on, who is to say who is right?

e.g. "energy", "weight", "hacker", and within the linked article "fetish". (In a sentence which also displays ignorance of the difference between smartphone and feature phone...)

The article is excellent, but I guess I'm saying in some cases you can try to re-educate while in others you just have to accept that there are multiple meanings of the same word.
I haven't read this paper, but the way deep learning is evolving is becoming more like general-purpose programming. People have even started calling it "differentiable programming". The basic driving force is that the neural network architectures people are using are becoming more and more complex, employing state and dynamically changing structures. To express this deep learning frameworks are becoming like general-purpose languages with the constraint that everything has to be differentiable for optimisation to work. So I don't think the driving force is that "normal" programs will have machine learned components, but that machine learning is becoming more like programming.
.. but it costs twice as much?
I guess entering won't be an issue since you have an exit ticket.

I had bad experience exiting the US in LAX and JFK: Getting there takes a lot of time, and clearing security needs a lot of time, and the airports are quite big.

Try to arrive early. Sleeping near the airport helps ;-).
They do: http://www.amd.com/en/products/apu/amd-ryzen-7-2700u
My team and I have been using JIRA a few years back. We weren´t really happy with the developer-features but the general usability for anyone else in the company (marketing etc.)was even more antagonizing. Now we use http://zenkit.com and everyone´s happy!
Amsterdam.js Conference wants your talk submissions
These are cool, however they will always be more limited than BCIs hooked directly into the brain. A few bits/sec might be your throughput with the former.

I think EEG (external, that is) device will be really important in controlling things that have very low entropy. For example, clicking start and choosing an item from the list is something that could be achieved with these. But, for example, writing a response to someone would be infeasible.

At some point, if VR goes mainstream, then people will be accustomed to having to wear something dopey on their heads! This would be a perfect "in" for EEG technology and the kinds of simple examples I mentioned. Maybe a future where we "think" to choose apps to use isn't too far off.

I believe "thinking" to call people will be very trivial with EEG devices if your brain does a sufficiently different thing depending on who you think about -- which I have no reason to doubt.
Meltdown and Specter, technical resources and more
Azure Active Directory – Authentication OAuth 2.0 – Type Password
Strikes me that the ability to focus and direct ones own attention will (or already has) become a new form of class divide; those who can concentrate and those who can't. And it will likely have much different boundaries than earlier class divisions like wealth - in fact the wealthy are more likely to struggle given greater access to a wide range of digital products.
Which begs the question: If the interactions with the tablet boil down to just passively consuming content, like on YouTube, are they really that different to TVs?

As enjoyable as YouTube and similar streaming services are, they are pretty much still TVs, just with millions upon millions of different channels to chose from.
The LLC is great for smaller businesses and startups. Which is why it's a shame countries like the UK and Canada have no such structure and business owners are left to choose between sole proprietorship and a corporation. I have lived in both of these places and I know the governments in both talk a lot about promoting small business and entrepreneurship but talk is easy, they need to do the work necessary to make company structures available that would work for this group. I have written to the relevant UK government department and received no response.
> In the US, I guess they aren't so lucky - if I lived there, my Humira treatment would financially destroy me - and probably my entire family, too.

What makes you say that?

Either private insurance would cover it, or Medicaid (for low income people) or they essentially give it away to uninsured people through a non-profit foundation. (AbbVie Patient Assistance Foundation)

https://www.humira.com/humira-complete/cost-and-copay
This has been on the menu for a long time. At least 3 years. Who is surprised at this?
I just don't see how other laptop manufacturers are doing as being particularly relevant to Apple's decision making.

If they ditched Intel, that would very publically rip a stripe off of Intel, regardless of absolute market share. Not something Intel wants, and is what I contended Intel have gone to an unusual length, integrating AMD graphics, to avoid.
>> Does it? A machine can indeed do a better job (in the sense of requiring negligible training) of knowing all the streets and democratized “the knowledge” which previously was the purview of a small guild.

A theoretical machine could do a better job. In practice, we can't build anything that can reason about routes anywhere near as well as London cabbies do. And I'd say that even without knowing about The Knowledge.

Pamar's comment above has a very good example of the kind of thing "a machine" is still very, very far from achieving.
Except when there isn't. https://en.wikipedia.org/wiki/Critical_point_(thermodynamics...

> "Above the critical point there exists a state of matter that is continuously connected with (can be transformed without phase transition into) both the liquid and the gaseous state. It is called supercritical fluid."
Philip Coppens wrote the web page, not the _Report_.
The original patent.
Counterpoint: in the US my employer-based insurance paid for it, while in the UK the NHS refused to cover it. I was also covered in France and Germany, so the UK is the odd one here.
the price the NHS will be able to negotiate will be a lot lower too

a natural result of the having an organisation that represents 65 million, backed up by leading researchers, instead of each individual completely on their own
"fuse" is a little strong. There's a VEGA GPU in a multi-chip module, connected with a 8x PCIe lane. It's not like Intel licensed the GPU for integration into their own silicon.

We've already seen laptops with Intel/AMD hybrid graphics, this just moves it from the motherboard to the other side of the socket without actually giving you the high-speed interconnect that an GPU-on-CPU gets.
FIY
3 out of 4 weeks are as above. 1 out of 4 weeks I might have a day or two where I take the bus instead of cycle, or feel a bit too run down / ill to go to the gym.

From September to December I was about this active (plus some pick-up ultimate or basketball here and there) and put on six or seven kilos. Some muscle, some fat. I've been eating quite a lot too; a weekday's eating is something like:

- Bran flakes cereal

- Cheese & ham sandwich

- Home cooked curry & brown rice (or equiv dinner)

- Two protein shakes (one with creatine)

- Two granola bars

- Dark chocolate bar

- Two oranges, an apple and a banana
Tom Brady Is Drowning in His Own Pseudoscience
I started working on App Fixers in late November.

Still iterating copy of the website & interacting with new customers.

https://app-fixers.com

We are growth & maintenance as a service for app owners.
What is there to fight? You will never have all the data to make a perfect decision, and even if you have all the data you can possibly have, you don't know which evaluation functions are the right ones to use that will work in your favor.

These are fundamentals of the Universe, as such.
Do people really click more ads the longer they spend on Facebook? It feels like an unreasonable assumption to me. Clicking on an advert takes you away from the app, so if you design an app that people never want to stop using then they're never going to click an ad. The 'ideal' (for Facebook, not for users of Facebook) is an app that people want to use enough to be aware of an ad that's displayed on the page, but that isn't compelling enough for them to want to stay on the page rather than click on the ad to go wherever it takes them.

Facebook would maximise their profit by tailoring the application to be something that people want to log in to as regularly as possible but not to stay on for very long so they're compelled to click away after a seeing an ad. Maybe that's what Facebook have done, but when you hear about users spending hours a day scrolling through their timeline on there it doesn't seem that way.
> Once a blockbuster like Humira happens, it seems to kill off the field.

Actually what kills the field is effective drugs losing exclusivity. While the best-in-class treatments have patent protection R&D investment in the same therapeutic category is less risky than when you have to come up with something much better than the unexpensive generic/biosimilar already available.
INKONIQ, Named India’s Top UX/UI Design Company in 2018
Lucky you. Here I'm sitting in EU country, the cutoff is 1700 EUR (without VAT) and the shortest depreciation period is 4 years. Sigh.
Cringle GmbH | Berlin, Berlin | FULL-TIME | ONSITE | Senior Android Developer

Cringle is an innovative FinTech company that is revolutionising the way people pay each other. Our vision is to enable every person to send money to their friends within seconds. We are the leading peer-to-peer payment solution in Germany and are planing on rapidly expanding our business all across Europe. We are located on the beautiful Friedrichstrasse in Berlin, Mitte. Our team consists of passionate and and highly motived entrepreneurs, software engineers and designers with only one goal in mind - making Cringle the European standard for mobile payments.

We are looking for a senior Android developer to lead our mobile app development.
Interested? https://cringle.net/en/jobs/android-developer

If you’re interested in joining our team, send us an email at jobs@cringle.net
Sure, but the accounts of thumbprinting I've read made it seem like there is a strong sensation almost immediately after touching it. I also know people who have described a contact high from laying sheets of LSD. Hmm... I could be wrong though.
From what I have gathered it is relatively easy to create protocols that are not insecure in presence of quantum computing.
Ten Questions (and Answers) about Teaching Evolution
For my first music startup (not so much a business as it was a fun service), I got bored with our product/benefit-focused ads and late one Friday night decided to get weird with things. I bought woodyharrelsong.com (no longer mine) and unleashed a series of really quirky FB ads about Woody crying because of the viewer's shitty music taste. Images of Woody in a bathtub, extreme close-ups of him making weird faces, and so on. Very vague headline copy, sometimes none at all. They performed extremely well on clicks. Pure crap on conversions.

In my early PPC days I had to learn that lesson in real time. Creating interest in clicking an ad does not equal campaign success. Maybe this company was doing this for buzz/PR. Maybe they needed to learn the same lessons I did. Maybe they are simply playing the numbers game.
Yeah, it was a sarcasm. The article (quoted in parent comment) called it a secret implementation.
In Belgium we also had a similar food pyramid.

But government now decided to update it, and get rid of all the "economic" influence, which was steered towards grain, meat and dairy industry, and only base it on what is healthy.

To make their statement clear, they literally turned the food pyramid upside down.

See https://www.gezondleven.be/themas/voeding/voedingsdriehoek. Nevermind all the Flemish, just scroll to the picture.
Joke's on you, Kaiwei Ni, my screen is cracked.
I'm not especially familiar with the structure of the US health insurance system, but I think that the lower costs mentioned on the page you linked largely depends on either receipt of considerable amounts of state aid, or having pretty high-quality insurance.

Certainly, if you were to flick through various forums for those with Crohn's disease (e.g. [1]), you'd find many stories of people paying hundreds (or even thousands) of dollars for a month's Humira treatment.

[1]: https://www.healingwell.com/community/default.aspx?f=38&m=22...
since the book 'battle for sanskrit' by rajiv malhotra came out more hindus are now aware of efforts by various groups to denigrate sanskrit as an 'oppressive' language used to control the masses

this is funny because the British actually did that exactly with imposition of english education to create the obedient clerk class for their colony, and claimed it was in fact liberation

and then the germans claimed sanskrit was theirs and could not possibly be of indian local origin and nazi-fied the 'aryan' language

and of course no european scholar could countenance the possibility of hindu epics like the ramayana and mahabharata let alone the vedas could be older than the homeric epics of greek civilization and conveniently 'dated' all indian history to preserve their superiority
I wonder if a system like this were used in the real world, it might simply end up behaving as a hashing algorithm, always assigning the same category of bug to the same developer - who would become skilled in handling this type of bug and provide confirmation that the system was functioning correctly. ( Obviously I appreciate that this isn't how the system is trained initially ).
Other have mentioned other aspects, so I'll just pitch in with my own specific experience:
Have a Magic Mouse 1 at home. Used Magic Mouse 2 [MM2] as a daily driver for a freelance gig for a couple of months and I was very happy with it. MM2 feels more balanced/lighter and the feet are angled better and possibly made of a different material that slides with less friction. Overall I prefer the 2 and I never had any issues with the charge port placement. Low on battery? Plug in, grab a coffee or lunch, come back: Done.
WhiteHat | Fullstack Developer | London, UK | ONSITE | Full-time

You’ll be joining us as part of a growing team to help build the first version of our platform - a greenfield Elixir/Phoenix project. You’ll be closely involved in the product roadmap and all decisions concerning the tech stack.

We’re keen to hire excellent people from any background, previous experience with Elixir is not essential if you have experience with another functional language.

Our mission is to accelerate incredible careers and develop a diverse group of future leaders. We want to address the lack of high-quality, career-focused apprenticeships on offer for ambitious young people and provide employers with the means to attract the best non-graduate talent.

Tech stack: PostgreSQL, Elixir, Vue JS.

More info and apply here: https://whitehat-2.workable.com/jobs/458249
I've begun to use the term "friendly", as it is unambiguously positive.
The question was why are bananas "ok' but potatoes "off limits" when both have almost the same amount of carbs per gram (4.7 vs 4.3).
Meet 2018's Newest Bonkers Health Trend: “Raw Water” – IFLScience
Actually, I don't think that's quite correct. The specialists that prescribed me the Humira treatment were quite keen to impress upon me the cost of the drug - i.e. that it "costs the NHS over £400 per pen" (and this was back in 2015). Of course, this is purely anecdotal but I'm inclined to believe the source as they've no motivation to mislead me.
Ask HN: What if most miners ditch Bitcoin and mine other currencies instead?
With more cryptocurrencies growing up everyday, and miners use their CPU for those currencies instead of Bitcoin. Does that make Bitcoin vulnerable to 50/50 attack, and disappear?
Untrained driver + Google Maps sits on a different point on the cost / benefit curve than Driver-with-the-Knowledge.

Different customers might prefer different total packages on different occasions.

I for one rarely need the more expensive Driver-with-the-Knowledge option, especially when I can ask Google many of the same questions.
Science Says Fitness Trackers Don't Work. Wear One Anyway
Forgive my ignorance. What's a hexagon sticker for?
What Happens If Russia Attacks Undersea Internet Cables
Forcing people to pay for the gold-plated service of the Knowledge seems like a bit trade-off though.
An Optimistic Nihilist's Take on Building a $2M Business
I hate that you can't even view Google groups without an account. It also requires us to do nothing but show text. To me groups and blogger has always represented what a terrible web application is.
Visualizing Sorting Algorithms with Sound
FIY "sticking one's thumb into pure LSD powder and licking it off"
I think your mortgage/rent should be lower instead of the drug. Why do people think giving $ to landlords is better than scientists/doctors/researchers/business ?
Hidden impact in GDPR legislation
>> I can choose to leave my phone, or buy a wifi only device, or take the cell modem out.

And you can choose to hide in a hole, or go live on a deserted island. In short, you'd have to seriously inconvenience yourself to avoid being spied on all the time.

The reason such surveillance is a problem is that it gets the majority of the population by placing itself smack in the middle of their everyday activities. If it was easy to avoid it, or if it was targeted at uncommon activities nobody 'd be worried about it.
Crossover Gifts at Discounted Prices- YahWeh
YahWeh has the best collection of crossover gifts such as as Angel Gabriel Hoodies,T Shirts, Audio Books, Holy Anointed Oils etc. Shop for $50 or more, use code CROSSOVER & get 10% OFF. https://yahweh.io/collections/crossover-gifts
There is still https://chrome.google.com/webstore/detail/personal-blocklist...

Similar extensions exist for firefox.
For added corruption under the American model:

AbbeVie runs what is called a co-pay assistance program where they pay the difference between your insurance coverage and your copay. So they book a sale at full-price, paying (full price - (amount covered + $5 )) and they get to deduct the money they payed to themselves as a "charitable contribution".

Which is so many flavors of shady. For a drug that costs literally pennies per dose to manufacture.
Yes, that is not a very safe way to drive.
Now every PPC providers need to update their terms and conditions to include "No hair on banners."!
TIL: Raising children involves complex and subtle verbal acrobatics. How on earth did the species manage this for so long?
1 banana has 27grams of carbohydrates which is about the same as an Apple (25) or Pear (27), one medium potato has 37 grams of carbohydrates. But, their micro nutrient profiles are very different.

Further the tendency is to eat one far more potatoes than fruit. Also a banana has a GI of 52, vs 85 for a baked potato vs pure Glucose 100( http://nutritiondata.self.com/topics/glycemic-index) other sites have different numbers but always place a potato significantly higher.
I am working on such a BCI for with my girlfriend who's a graduate student in cognitive neuroscience.

It's actually based on a very simple concept that most people here will have stumbled upon in algorithms 101: binary search.

The subject is put in an fMRI machine and is looking at a screen like this[0] where the middle word of the dictionary is presented.

The subject can then perform either "inner speech" (singing or reciting in your head) if the word s/he wants to spell is before the one currently displayed, or "mental imagery" (imagining drawing some figure in space) otherwise.

As you probably know the time complexity of binary search is O(log(dictionary_length)) instead of a classic letter speller which would be O(alphabet_length*word_length) so this method is much quicker in most cases.

I would love some HN input on this!

This is a demo that you can play around with: https://sophia.science/biword/ [0]

And this is a complete explanation of the paradigm: https://sophia.science/biword/Biword_poster.pdf
They're not forced to pay for it. They can use other private hire cabs if they don't want a taxi with a driver with the knowledge.
> Some of us just don't want to click or _see_ ads

Get off the internet and stop leeching content. If you're not paying for it, you get to see ads.

Having said that, I run a PiHole and uMatrix. I'll stop when;

- Tracking behaviour improves. I don't need to be fingerprinted across domains. Track me through your own site by all means, but no further.

- 3rd party networks become responsible for the content they serve. If your network serves up malware or a cryptocurrency generator script, you get penalised heavily or just dropped entirely.

- General behaviour improves. This hair-swiping trick, pop-unders, auto-playing videos, in-text mouseovers, active-content popups demanding email addresses, tiny X's that are impossible to click without activating the ad content... No. That stops.

- Forbes. Making your entire site rely on scripts from third parties to require enabling a slew of random site's JS is not the answer. Making your ads less obnoxious is.
Encrypting data at rest, for example. (Depends on how wide your definition of 'send' is.)
Telegram plans multi-billion dollar ICO for chat cryptocurrency
It's just that I know of no oppressive regime which produces writers as fluent in English as you are. So I am suspicious of your first claim.

The Arab Spring reminds us that technology is a double-edged sword.

If I've called it wrong in your case, my apologies. What do you propose we should call the hypothetical USian 50 cent army? The $50 army?
Microsoft’s Spectre-Fixer Bricks Some AMD PCs
Foxit PhantomPDF Business 9.0.1 Crack 2018 and Patch Full Free [Latest]
5 Τύποι Λίμπιντο, Σε Ποιον Ανήκει Η Σύντροφός Σου; – ESCORTS – ESCORT ATHENS |
`Crates.io` (the Rust package ecosystem) doesn't have namespaces and operates after the first come first serve principle. They won't resolve namesquatting issues so something like the left-pad debacle won't happen. I think their policy[0] is quite sane. At least I'm not aware of any issues of that kind regarding crates.io.

For typosquatting: I don't think that problem can be easily solved by package registries. They could warn you if there is a package with a similar name (and more votes, downloads, what ever) but aside from that, the developer should double check the dependency names and that's it.

[0]: https://crates.io/policies