skysight-inc/HackerNews huggingface dataset:
The Eichmann defense for corporations. Lovely.

> unless the goal of your company is to champion a particular political ideology

The "Eichmann pathology" is even worse than most ideologies, since the content of the ideologies can change, but the conformism does not. By that logic, the problem with making deals with, say, the Nazis, was that it was illegal during war, nothing else, and if a company requires acceptance of that to exist, I require that company to not exist.

> for something that is not a universal law on the planet

Yes, and? Is there a universal law "on the planet" that you should only act according to some imaginary universal laws? Is there an universal law that a company should not "champion an ideology", or that companies just have to operate globally? Why can't people be restricted to acting in circles they are accountable in, why is that such a crazy idea?
Homigo | Toronto, Canada | Full-time | Onsite (Competitive Salary + stock options)

We’re on a mission to create a home maintenance service so simple to use that homeowners can just forget about it.

We’re a small team — every engineer at Homigo has an outsized impact, and you’ll lead the development of projects that define the future of the company. Our culture is collaborative, focused, and fast-paced.

---

About our team:
- Aggressively solving the problems in a highly fragmented and massive market
(700B industry with very poor user experience)
- Composed of 500 Startups, UofWaterloo, UofToronto, Harvard, and Next36 engineers

- Fast growing company on clear path to being cash flow positive (Serving many happy customers since day one and growing customer base MoM)

Check out our home page at homigo.com

---

Roles:
-- Lead Software Engineer

-- Front-End Engineer

-- Software Engineer, Full Stack

-- Software Engineer, Mobile

Check out our jobs at https://angel.co/myhomigo/jobs
Smarkets | Full Time | ONSITE (London, UK; now also Santa Monica, California)

We're a modern betting exchange, going technology first to enable proper price competition in a field of fat commissions. Join a small, agile, and fast-growing team, in our beautiful office in St. Katharine Docks. If our US location tickles your fancy, you get to help setting up a brand new office too.

Smarkets develops a reliable, low-latency, highly concurrent betting exchange based on trading exchange designs. We're also building a fast, modern web interface to allow for a smoother experience. Servicing our users is top priority.

The Smarkets platform is written predominantly in Python and Erlang, and relies heavily on asynchronous programming techniques. We use REST where we can. Life at Smarkets circles around people, version control, configuration management and automation. We can - and do - deploy to production several times a day.

Our entire production is in AWS. In fact, Smarkets was the first gambling operator under the Maltese regulator to get permission to run everything in the cloud. We push the envelope where needed and educate auditors when necessary.

We are looking for engineering talent in the following roles:

* Database Expert

* Frontend Software Engineer, London & LA

* Junior Developer in Data Science

* Quantitative Analyst

* Software Engineer, London & LA

If you like the idea of flat structure and practical engineering approach, see our jobs at https://smarkets.com/careers/ . (Quite some time ago I wrote an overview about our engineering challenges, which you can find at https://smarketshq.com/notes-on-interviewing-engineers-a4fa4... .)
Isn't the problem with Electron that any app built with it spawns a full browser runtime? Doesn't seem to be a problem if the app in question is in fact a browser. More like a necessity really.
Bounds checking gets in the way for simple cases but anything even slightly more complicated needs to be written extremely carefully in any language, for autovectorisation to work. It is like, essentially, writing explicit SIMD without using intrinsics and without guarantees it will work as desired.

And, that is assuming that the autovectoriser is able to synthesise the desired instructions, e.g. I believe SSE2's packssdw & packusdw ("pack with signed/unsigned saturation") and pmaddwd ("multiply and add packed integers") are useful in a JPEG codec but I find it extremely unlikely that any compiler will autovectorise to them.
Usually by trusting/auditing/verifying the program you use to verify the proof. Which will be much easier to do by hand than 200TB worth of data.
Perceive | Software Engineer | West Lafayette, IN | ONSITE | https://www.perceiveinc.com

Perceive is a computer vision startup based in West Lafayette, IN working to improve customer service in retail stores. We’ve obtained over a million dollars in seed funding to create the first digital assistant for a physical store. We’re looking for a full-time software engineer interested in building a reliable, cost-optimal pipeline to run computer vision and machine learning modules in the cloud. This person will work independently on open-ended problems and own the infrastructure behind Perceive’s advanced video processing pipeline. The day-to-day includes diving headfirst into complex topics, including: cloud security, distributed work queues, distributed monitoring, real-time messaging, and database schema design. Strong communication skills and a “go-with-the-flow” attitude are also important as we are a young company that is moving fast. Compensation includes salary and equity befitting an early employee. Semi-remote work available.

Required Skills: 2+ years writing Python, Software engineering skills (version control, issue tracking, code review). Cloud or server programming, Able to effectively communicate complex technical ideas

Experience with at least one of the following: Securing cloud software, Database schema design, Django or equivalent web framework, Celery or equivalent distributed task queue

How to Apply:
Email your resume to hello@perceiveinc.com along with a few sentences telling us about yourself, why you might want to work at Perceive, and what you think of Elon Musk’s description of AI as the “greatest existential threat facing humanity”.
The article: https://cacm.acm.org/magazines/2017/8/219606-the-science-of-...

Note that most people believe that co-NP /= NP, which implies that an unsatisfiability proof via SAT solving in general won't be efficiently verifiable.
FaceTime seems to be way more popular than most realize. Anecdotally, my children use it daily to talk with grandparents and cousins and I see people on public transportation using it in place of telephone calls (makes more sense there because they're not driving). And, I use it when traveling to talk to my family.

The issue going forward is the lack of standardization across protocols. Despite Apple's mention in the keynote when FaceTime was announced that it would be open, FaceTime is iOS/Mac only for now. And, I don't see Facebook's playing nice with Amazon's, etc.
Sunsetting Documentation
I tweeted some frustation about this a few days ago (https://twitter.com/GregoryOriol/status/889859849353383937).

What is surprising me, is that in the Facebook iOS app, there is a "FBSharedFramework.framework" that has a binary file of 215MB. What the fuck is this? How a single binary can get that big?
Tachyons-animate – orchestrate your CSS animations
Yes. Don't understand the airquotes. The blog has over a dozen of extremely well thought out articles, detailed analysis of Herbalife, including the author attending multiple events, getting to know the distributors, etc. in an effort to understand what is going on.
I heard someone explaining how the phone hacking worked the other day (Steve Coogan in a great chat with Adam Buxton on YT for anyone who likes them). Two journalists would phone the target at the same time. One kept them talking, the other could be sure to get their voicemail because the line was busy. They'd try the default password of 0000 which 'nobody bothers changing' (I may have the number wrong, I'm going from memory and don't use voicemail) and frequently, it worked. So in terms of skillz it's somewhere up there with the fappening... default passwords, encryption wouldn't have prevented it.

(not that I disagree with your general point btw)
Yes, but it's a "special" circuit that has to be wired specifically for that purpose.
I suspect Amazon will, if this isn't already part of that discussion and or negotiation, acquire Stripe.
From a technical standpoint, this is a terribly written article.

First, giving an example of solving an algebraic equation using brute force is misleading, because you can't enumerate all values of a real number.

Second, the risks of secrutity regarding brute force computing having nothing to do with SAT.

Also, their description of SAT is inaccurate. It's not new, and it was actually one of the first formal problems studied in computer science. Also, the original, linked paper notes that it is not brute-force computing that is itself the breakthrough, but the addition of heuristics in SAT solvers that make brute-forcing feasible.
I am very disturbed by the prospect of losing Touch ID. It works so damned well and in so many situations that I can imagine facial identification either failing (when wearing a balaclava, if the phone is partially occluded discretely beneath a desk, when unlocking it from bed when I am horizontal with my face smashed into the pillow) and functioning when I do not want it to (if somebody picks up my phone and flashes my face at it, has a photograph or 3D printed head of me, etc.).
The United States of Unicorns: Every US Company Worth $1B+ on One Map
London | Full-time | Software engineers and data scientists.

We're a young, new, and investor-backed data-mining startup. We provide fast and accurate analysis of documents related to real estate investments. We're currently four people, and recruiting experienced engineers to help build out our MVP.

We are agnostic about which technologies you prefer, we're chiefly interested in your capacity to learn and your experience shipping software in the past.

Contact myself (in profile) or Peter Bredthauer and Charlie Williams (pbredthauer@triviumre.com, cwilliams@triviumre.com).
Nibs and storyboards are full of this stuff. They instantiate classes by name, call methods by name, etc. Some example documentation if you're curious:

https://developer.apple.com/library/content/documentation/Ge...

https://developer.apple.com/library/content/documentation/Co...

https://developer.apple.com/library/content/documentation/Co...

Objective-C's dispatch is built around looking up methods by their selector, which is effectively an interned name. Looking up the selector can be slow, but once you have one, invoking a method using a dynamic selector is as fast as invoking one with a selector that's known at compile time.
> They can't do that

Well, it works for China, so I don't see why it wouldn't elsewhere.

As a techie, I'd like to believe that there are limits to what can be passed as law, but the history shows that it is not so. Just because something is technically impossible doesn't mean it can't be required by law, with all the consequences for not complying. It's uterly futile to go against the people in power with technology or even science alone. The best you can hope for is for you and me, personally, avoiding problems. For a time.
I suspect the average mathematician won't consider that "elegant".
Awesome, just what I've always wanted: Machine learning and unelected, unaccountable groups of experts to tell me what videos I'm allowed to comment on.

So happy to see free speech is alive & kicking in the west.
The writing style of that article was excellent. No flourish, no bullshit. Also:

> An aside about clocks: This is as good a time as any to reset your computer's internal clock. For I.B.M. and I.B.M.-compatible machines, type ''TIME'' at the DOS prompt, and for Macs bring up the control panel. Then call 900-410-8463. You'll get a recording from the United States Naval Observatory's atomic clock, and you can't get much more accurate than that. The call costs 50 cents.

Does it still work?
For error handling, I'd encourage you to look at error-chain. It makes it pretty simple to propagate all your errors with try!/? so long as all your functions return a Result. And the quick_main macro can handle the panicking if you let it propagate all the way to main. Hopefully once the ? In main RFC gets released, quick_main won't even be necessary.

There's a couple of annoyances to it. The documentation is really sparse for something as integral as it aims to be. And there's a frustratingly large number of third-party crates that don't use standard error types and prevent you from calling chain_error to convert from their error types to yours.

But once you get the gist of it, a few lines of boilerplate gives you the ability to handle errors concisely and correctly throughout your program.
Which Internet registries offer the best protection for domain owners? [pdf]
Yes, let us never forget how many exploits there are in trivial codecs like ICO and BMP, because they're written in C(++): https://bugzilla.mozilla.org/show_bug.cgi?id=775794#c0
JumpCloud | Sr. Software Engineer, Sr. DevOps Engineer, Sr. Security Engineer | Boulder, Colorado (Greater Denver Area)

ONSITE, REMOTE possible for candidates with a good fit

Like solving BIG problems? Want to solve those problems with cool people? Then JumpCloud wants you. We’re looking for you to be the next member of our awesome engineering team. If you enjoy solving challenging technical problems using the latest technologies in a great team, then this is the job for you. But wait, you haven’t used those technologies? No worries: we’re open minded and we believe that good engineering is not technology specific.

About us:
JumpCloud is a well funded, venture backed, cloud directory business based in beautiful downtown Boulder, Colorado. We offer cutting edge hardware and tools, full benefits (medical, dental, vision, 401(k), etc.) and a fast-­paced but casual start­up working environment. Local or relocatable applicant preferred. Our office is right on the Pearl St. Mall in Boulder, stumbling distance to dozens of restaurants, not to mention the epic hiking, biking and climbing opportunities in the Flatirons.

Stack: Postgres/Mongo/Redis, NodeJS/Golang, Docker/Saltstack

Contact: jobs@jumpcloud.com
I've seen all the promo videos, and some questions remain unanswered:

1. What's Send encrypting with? It doesn't show anything related to setting up a password during the video.

2. What's Notes syncing with?

3. What's Voice using to analyze the voice commands?
TrueForm | QA / Tester | ONSITE | Woodinville, WA | Full-Time | https://trueform.io/

TrueForm | UX/UI Designer | ONSITE | Woodinville, WA | Full-Time | https://trueform.io/

Trueform is trying to re-invent how retail works. We are offering retail as a service. We rent slots in our store to brands who have one off products that they want to get into the hands of their customers. We have flexible options about selling.

Our stack is C# ASP.NET Core backend with a React, Typescript, WebPack front end. I want to throw Orleans in there eventually but right now we're focused on our front end.

About you: We need someone who is a self starter and takes ownership of the tasks they are assigned. If we ask you to design something we'll give you feedback as you see fit but if you have an idea we want to hear it! We don't expect the tester to have technical knowledge but interest in automation would be a huge plus. I'm sorry no developer positions right now.

Please email me elarge [at] apolloroboticstechnology [dot] com. (The company name is ApolloRoboticsTechnology, but we are Doing Business As TrueForm for our storefront)
I think it is even better than that, screen savers were a hack that existed in the interstitial time between CRTs and LCDs because technology would not move fast enough.

The first CRTs were actually used as memory[1] and the fact that the phosphor 'remembered' what it had shown was an engineered thing. Then CRTs were used as displays that you could 'burn in' the contents was a problem [2].

That started the notion of not keeping the same thing on the screen all of the time which was "hard" to do for character driven terminal screens, but possible with bitmap driven screens. The first 'screen saver' I saw was at PARC on an Alto of all things which was drawing lissajous figures during idle time. They also appeared in arcades where screen burn was an issue so the game would display something else to avoid screen burn.

And THEN the energy crisis hit and everyone was looking at saving energy so CRT manufacturers added a simple circuit that if you disabled vertical sync they would detect that and actually turn off the electron beam completely. (horizontal sync was still needed to maintain the high voltage field at the front of the CRT). But by now a lot of people had grown attached to screen savers so turning off the screen was avoided.

And then we got to LCDs where running a screen saver was actively bad for the screen since there was no way to turn off the LCD backlight which was the weak point of the LCD screen and running a screen saver put more hours on that resulting in a faster death of your LCD.

[1] https://en.wikipedia.org/wiki/Williams_tube

[2] https://en.wikipedia.org/wiki/Screen_burn-in
Have you tried Halide? http://halide-lang.org/

I've seen it used for various video/photo processing operations.
Some more information in the official blog post: https://blog.mozilla.org/blog/2017/08/01/new-test-pilot-expe...

I was especially interested in the Voice Fill (speech recognition) technology. Landing page: https://testpilot.firefox.com/experiments/voice-fill

It seems the project is here: https://github.com/mozilla/speaktome/

This seems as if it actually is a webservice. From the code (https://github.com/mozilla/speaktome/blob/master/extension/c...), I see: const STT_SERVER_URL = "https://speaktome.services.mozilla.com";

Actually, I think this can be very easily done fully client-side, with good accuracy. Even on Android, the voice recognition can run client-side / offline.

I wonder if the project is in any way related to their DeepSpeech project (https://github.com/mozilla/DeepSpeech). Maybe they use DeepSpeech on the server-side? At some other place they call it Pipsqueak, not sure if this is yet something else.

And maybe also related is their common voice project (https://voice.mozilla.org/). Recent discussion here on HN (https://news.ycombinator.com/item?id=14794654).

Some more information also here: https://research.mozilla.org/machine-learning/
There actually is a way to do that, which is to return Results, with error types that implement From so the nested errors can be "wrapped" in the generic ones, and then you can just use the ? postfix operator as an alternative to unwrapping in order to bubble up the errors.

If you're designing your own errors then there's some boilerplate you need to allow for the error wrapping, though you can always take the cheap way out and use Box<Error> as your error type (as any error can be wrapped in that).

And there's an RFC that's been accepted (https://github.com/rust-lang/rfcs/blob/master/text/1937-ques...) to allow main to return a Result, so you can use the ? operator in main, which will let you avoid even more unwraps, especially in example code.
And don't underestimate the power of new and... different. Many founders pass on markets they think have no room for innovation or new entrants, only to leap into some small marketless crevice.
Wow, didn't know about that feature. Thanks for mentioning!
I honestly don't know what to do about this situation. I don't even know if it is a situation, or just some drama whipped up by the right wing press.

I'd love to see some real stats. How many videos are we talking about here? How many views do they get?
The nice thing about Shoelace is that it will only get more relevant as browsers evolve and old ones go away. In the meantime, you can polyfill with Myth.io or cssnext.io.
Standard Notes Announces Security Audit Results
Even for integral/rational solutions, the problem is still Turing complete since there may be no solution at all.
True. Aim to reduce your code to one button that does one obvious thing.
I was wondering why not use SVG (or any other vector file format) files and render all the graphic on the device, instead of including tons of PNG at various resolutions.
Wait, the /your-server-side-code bit seems like the most difficult. Did Stripe not implement this aspect as well? I would have no idea how to securely process credit card transactions server-side.
“When people search for sensitive keywords on YouTube, they will be redirected towards a playlist of curated YouTube videos that directly confront and debunk violent extremist messages.”

How much you wanna bet that “feature” is going to be used to alter/redirect the video results for other things like political opinions that Google doesn’t approve of? I foresee the right wing extremists like Breitbart and InfoWars getting affected by this. Not that I like either of those, but I think this is going to be a super sneaky way to curate the feeds that people see and the videos that are searchable online. Twitter did something recently that was very similar to this and people were finding that their followers weren't seeing their tweets.
The latest on this front: http://blog.japaric.io/rtfm-v2/
This is my mistake. I assumed shared pointer semantics and applied it to the wrong type :\
I was thinking the same as you until I learned about Result<(), Box<Error>>.
It’s super quick and not really that far off from the detailed hand-roll solution.
Toast doneness can't be adjusted. Lame.
Once most of the coins are mined doesn't bitcoin basically become a global settlement network for other crypto currencies. Although ethereum might do that easier.
With U.S. News Rankings Delayed, PatientBank Releases Medical Records Scorecard
Quartzy | Palo Alto, CA | Onsite (Relocation provided)

Quartzy helps hundreds of thousands of scientists improve the efficiency of their research by saving them time and money. Our team is passionate about accelerating scientific research through well-designed, meaningful tools for labs in academic institutions as well as pharma/biotech companies.

Front-end Engineer: http://grnh.se/286iwp1

Software Engineer - Marketplace: http://grnh.se/7nl1uo
Can't `Vec<u8>` serve the same purpose?
Not only do you need to verify the code, you also need to generate the proof multiple times since there is a significant possibility of hardware error with that large of a dataset.
I read them and see how all these smart entrepreneur types dicked around in class reading books, just like me, except they turned out to be geniuses, and I ended up just derping around Asia and frittering away my youth.

What did I do wrong? I blame WoW :P
Don't you have to be concerned about differences between the structure of individual variability as opposed to population variability?

Perhaps for the distinctions you are trying to draw it is not an issue?
Definitely some good arguments. Nothing is perfect, of course, and I'm always open to feedback like this.

In the meantime, a borderless table could be a modifier: table-borderless (i.e. like table-striped or table-bordered).

Just a different approach than what a lot of folks are used to :)
> Premature refactoring is incredibly harmful to readability.

Is that a thing? If it is, I've never run into it. I always run into the opposite - never refactoring and everything turning into a god object. It never occurred to me that premature factoring would be bad because I can't recall ever running into it!