skysight-inc/HackerNews huggingface dataset:
I think this is a situation where I'd have to trust my network to:

a.) Critically evaluate my own skills to let me know if this is something I could feasibly do with a bit of mentorship/guidance.

b.) If it is beyond my ability, consult to help me find someone who would be capable of doing the work.

Without this outside help, I fear that I would make a hiring decision without knowing what I don't know. That's a very bad place for me...
Mixmax | Full-Stack Engineer or Fall/Spring/Summer Interns | On-site San Francisco (relocation provided), remote an option w/experience | https://mixmax.com/careers

We're a profitable fast-growing startup looking for all types of engineers: full-stack, backend, site reliability, data, machine learning.

Mixmax is the future of email and external communications. Just like you use Slack to talk within your team, you use Mixmax to talk to people outside of your team. Primarily, we help sales and recruiting teams achieve more and with greater consistency by automating their most common workflows and integrating with their existing toolchain - Gmail, Inbox, Salesforce, Slack, text messaging and more.

You'll work on a modern cloud-based web app built on universal/isomorphic Javascript using open source technologies, including: React, Node, Mongo, Elasticsearch, Electron (more: http://stackshare.io/mixmax/mixmax-for-web)

Check out our engineering blog: https://mixmax.com/engineering

Email careers@mixmax.com and let’s chat!
Sure, but the apps the blog talks about aren't two-man teams. And some of these firms were already touted as dogfooding their apps under resource constraints-

https://thenextweb.com/facebook/2015/10/27/facebook-starts-2...

They should be doing better than this.
Abstract:

-------------------------

Recent progress in automated reasoning and supercomputing
gives rise to a new era of brute force.
The game changer is “SAT,” a disruptive, brute-reasoning
technology in industry and science. We illustrate its
strength and potential via the proof of the Boolean
Pythagorean Triples Problem, a long-standing open
problem in Ramsey Theory. This 200TB proof has been
constructed completely automatically—paradoxically,
in an ingenious way. We welcome these bold new proofs
emerging on the horizon, beyond human understanding—
both mathematics and industry need them.
Presumably you weren't reading books on music theory.
Attune | Frontend Architect/Developer | New York, NY | Full time

Attune is a new joint venture between Two Sigma, AIG, and Hamilton Insurance Group, and is serving the particular needs of the $80-billion SME commercial insurance market in the United States.

Looking for frontend developer and architect roles to lead development of a new application with the ultimate goal streamlining risk submission and the insurance underwriting process for small businesses.

Great opportunity to be part of a well funded startup with great perks and huge potential in NYC.

https://www.attuneinsurance.com/careers - to apply
http://www.businesswire.com/news/home/20160928005770/en - for more information
Yes, they were the first I was aware of. Though, not sure if I could/would trust them again.
Quorum international lighting
quorum_lighting_2017_families_a
Or my favorite: stamp.io

If you have an Estonian ID, Stamp.io lets you sign it too!

Full disclosure: I know the Stamp.io team, and they're awesome.
Modern Android phones have a fingerprint scanner that also acts as a home button.

I just got a $130 Moto E4, and its fingerprint scanner can actually be set to mimic the back/home/recents on-screen softkeys, if you swipe left/tap/swipe right. A long press (until you feel a vibration) switches the phone on and off, and a double-long press (two vibrations) launches Google Assistant.

It works well and is very intuitive, allowing me to remove the traditional Android softkeys, making the 5" Moto E screen seem closer to a 5.5". I assume Moto's more expensive models also do this, and possibly other phones as well.

It made me wonder how I lived for so long with the old setup, so I'd be surprised if Apple goes the other way.
> Doesn't load massive images or scripts. We should all care about people who still use IPoAC

That makes no sense. IPoAC doesn't really care if you add a few megs of scripts and images. Hell, it doesn't care if you add a few gigs. It will load at more or less the same speed as a single text document.
The one big lesson that I learnt while working on something similar to a technical blog [1] was that the process of writing technical articles slowly gives you a fairly good understanding of the field. The other part I would add is maybe write about things that help people with some issues they are having. Good examples of these are frameworks or concepts that people complain about being too confusing or libraries that are poorly documented. Also, writing about technical concepts in a simple way that helped you understand will very likely be useful to a lot of other people.

Good luck!

[1] Serverless Stack (http://serverless-stack.com)
Legal Tracker (Thomson Reuters) | Senior Software Engineer (.NET JavaScript) | US | REMOTE, FULLTIME, https://legaltracker.com/
These are WFH positions but you must live in the US and have proper work authorization. You will join a entire team of full time remote web developers, working with ASP.NET, JavaScript, SQL Server, NServiceBus, Azure, etc. in very well established product in the legal matter management space. We've been exclusively remote for well over a decade, with great success.

We are hiring for these roles:

- Senior Software Engineer

- Lead Software Engineer

Please contact me (sergio.pereira@tr.com) for more details and specific question. Unfortunately at this time we really cannot consider candidates from outside of the US.
There are however historical cases where books were bound using human leather.

Edit: vague words
>"<style>
:root {
--body-color: white;
--body-bg-color: black;
--color-primary: #09d;
}
</style>"

....what? Is this even valid CSS?
In many places, water is scarce enough to discourage industrial-sized washing machines.
> 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.

Sigh. The chance for overlap with educational videos is going to be pretty damned high. Just like past efforts to stop porn have also stopped a large number of sex education sites.

Also, how are they judging accuracy? That's one key bit of information they're missing here. What's the escalation path for videos improperly caught up in the automated sweeps? Their existing copyright flagging mechanisms shows the inadequacy of their automated systems to date. Who reviews the human flags? The Alex Mauer YouTube debacle (a contracted worker taking down let's play videos to put pressure on a developer unrelated to the videos) has shown that the power is too far in the accuser's hands.
Check out MTailor to see this vision in action! https://www.mtailor.com/
> but if it makes an honest effort to be ergonomic for embedded

There are constant improvements but I wouldn't say we're there yet. I think we will be though, embedded is something a lot of folks care about.
> I just wish it was .. faster.

They're working on it, to see the progress, install nightly (which is already a huge improvement) and turn on servo CSS for an extra boost. It feels much faster.
"do what I want" usually means "simple ABI that is trivial to interface with" which means you "can layout structures the way you want" and "calling conventions are simple so you can call C from assembly and any HLL FFIs and vice-versa".

Really, that's all. If it was possible to build C++ classes in C or assembly, it would be done. But it's not because C++ doesn't have the kind of ABI (or any) that would allow one to do that.

Of course, in practice C only gets you 95% of the structure layout functionality you need, as the rules for packing structures and bitfields(!) aren't sufficiently nailed down. Still, 95% out of the box is pretty good, and with some care you can get 100%. This matters when writing, e.g., drivers, but also codecs for another example.

Any systems programming language aiming to replace C has to provide support for a C-like ABI.

I'm not praising C here, mind you. It can't be replaced (with Rust or similar) quickly enough.
There's a whole chapter in the second edition of the book devoted to error handling https://doc.rust-lang.org/book/second-edition/ch09-00-error-...
This is true in the abstract. However in the real world Bitcoin is in such a bind right now. While the USD had been stable in that sense since it came into existence.
Interestingly, it would be very difficult to censor compressed data that is stored in Bitcoin addresses and impossible to censor encrypted data that is stored there.
> Guns are, on average, not so useful / safe.

To be fair, I don't think many people are killed by toy guns. One thing I'll never forget from the land of Orwell is this from 15 years ago (virtually to the day, ironically enough):

http://news.bbc.co.uk/1/hi/england/2168430.stm

Three 12-year-old children were arrested
by five police officers who then fingerprinted
them and took DNA samples, after the youngsters
were seen playing with a toy gun.
Sourcegraph (https://sourcegraph.com) | Software Engineer | San Francisco, CA | REMOTE, Salary: $100-200K + equity

Sourcegraph is the best way to read and understand code. As a programmer, you spend hours every day trying to answer simple questions like "How do I use this library?", "What functions already exist?", and "What's going on in this changeset?" Sourcegraph makes exploring the world's code as painless as searching and browsing the web.

We're a small team founded by Stanford and Palantir alumni. Our users and customers span programmers across the world, influential open-source authors, and major companies. Our technical challenges include scaling code analysis and search to every codebase in the world.

Stack: Go, TypeScript, GraphQL, Docker + Kubernetes

Jobs page: https://about.sourcegraph.com/jobs
Codecs are actually a wonderful test-case for Rust: they're a frequent source of vulnerabilities because they have to deal with arbitrary input, they usually have to perform fiddly sub-byte and/or array manipulation, and their pressure for maximum performance mean they have to make as efficient use of the hardware and memory as possible (and any mistake lead back to the first point)

So even if you don't agree with some of the author's points, his use-case is a good test for the suitability of Rust as a Systems Programming Language.
Anyone remember Stumbleupon?
It's pretty ironic that dynamic linking's main motivation was to eliminate duplicate code and reduce code size. Deploy a DLL once, every software uses it and doesn't have to include it.

Now it has turned out exactly the opposite way. If we went back to linking object code together we would get smaller sizes. Instead we have to include huge DLLs.
Theranos has settled its lawsuit with Walgreens
Personally I've found the recent Nightly with the new Rust CSS engine to be pretty snappy. I'd say anecdotally faster than Chrome.

There was also a recent post regarding having large numbers of tabs open in Firefox (see https://news.ycombinator.com/item?id=14823807) and it did pretty well.
Hi!

I am an iOS Developer with 4 years of professional experience and 3 published apps.

I am a veteran of 4 previous startups.

While there, I have had the privilege of realizing iOS Apps from concept to release.

Location: Washington, DC (Relocating to SF 8/28/17)

Remote: No

Willing to relocate: Yes

Technologies: iOS, Swift, Objective-C, XCode, Core Data

Résumé/CV: Available on request via email

Email: HNWorkFindingAcc@gmail.com
I'm a millenial myself, not older than the people I am critiquing. (after looking up your profile I realize that I am much younger than you)

My comment was made in jest, pointing out how incongruent technical interviews can be to the job they're interviewing for, which I think doesn't imply any arrogance. Maybe you are reading it differently.
The auto playing issue is fixed and making its way down towards general release.
Sfyria is the world's most endangered language – and only 6 people speak it
No -- "smartest red head in Ireland" just an arbitrary qualifier and a throwaway comment -- if anything it just emphasizes the number of red heads in Ireland.
> This 200TB proof

How do you verify a 200TB proof?
It's only a problem if you insist on knowing everything, leave people alone to mind their own business and the problem magically disappears. We all know who the "real" terrorists are.

https://github.com/andreas-gone-wild/snackis
The innovation of Bitcoin is combining the Proof-of-Work with a signed ledger. But Proof-of-Work is only needed because otherwise anonymous people might create new nodes from thin air and get a majority.

In this case, all the parties are well identified, so if a new node appears, it can simply be rejected by the existing participants. So there's no need for PoW, all you need is for companies to sign and publish documents to each other. The only possible fraud is publishing different documents to different parties, but that's easily fixable by having the nodes confirm each others' documents.

So yeah, that's just a signed ledger. All invoicing programs in my country had that before Bitcoin even appeared, as part of the SAF-T standard (mandated by our tax authority). It's nothing new.
Airbnbigotry: Tech and Civil Rights
'More experts: Of course, our systems are only as good as the the data they’re based on. Over the past weeks, we have begun working with more than 15 additional expert NGOs and institutions through our Trusted Flagger program, including the Anti-Defamation League, the No Hate Speech Movement, and the Institute for Strategic Dialogue'

This makes me cringe. Every single one of these organisations consists of people with specific political views of acceptable and not acceptable content.

In Europe, the 'no hate speech' idea has very quickly expanded the concept of hate speech to include any rightwing opinion around certain topics (mostly religion and immigration related).

More people feel disenfranchised and excluded from the discourse, more grandstanding around fighting hate speech where the existence of countless organisations, consultants, experts and so forth can only be justified by uncovering more hate speech. Quite literally the growth of their economy requires expansion of the concept. The divide continues.
I'm all for this. We recently purchased some Echo Shows, one for us and one for my grandparents and the Amazon experience to setup communication between the two was absolutely painful.

First both need an Amazon account which, okay that's not so bad. But now both Amazon accounts need to log into the Amazon Alexa mobile app which my grandparents can not do as they do not have a mobile phone with apps on it so, instead, I have to use their login on my phone. Then I had to register their cell phone with their account on my mobile phone because they can't do the text message verification via their landline that they've had for 30 years and to top it all off now their Echo has all of the contacts from my phone because it doesn't let you manually manage contacts per Amazon account, no they have to be copied directly from your phone.

So if they can make it so all they need is a Facebook account and now they can video chat with us or any of their friends and family? That would be perfect for my grandparents.
Nope. The Stripe advantage over PayPal is that Stripe operates more like a merchant account, where the buyer sees the seller's name on the credit card statement. PayPal injects itself into the checkout process, Stripe is basically a white label. Stripe also has easier underwriting. I suspect Stripe is taking more business from merchant accounts/gateways than PayPal, because they are different markets.
The fight is no longer between fossil and nuclear; its nuclear versus renewables. And renewables are winning.
> No, it won’t be a 3.5mm headphone jack and you’ll still need an adapter if you want to connect 3.5mm headphones to your iPhone.
Yep!

https://developer.mozilla.org/en-US/docs/Web/CSS/Using_CSS_v...

https://developer.mozilla.org/en-US/docs/Web/CSS/:root

Unfortunately since IE doesn't use it, most of us won't be able to either, as much as we want to :(
I tend to get sceptical when I hear the word "disruptive" to describe something.
I'm as far to mobile development as I can be but is there no shared libraries on those platforms ?

Other than the environment provided ones, isn't it possible to bundle some dynamically loaded libraries that can be shared by multiple apps ? Makes absolutely no sense for each application to implement it's own web browser/runtime.

Can't believe we are constantly reinventing the wheel again.
It doesn't help that they keep cramming features into Firefox. Chrome feels pretty bare in comparison.
I have Chrome as reference to my FF here and since their beginning, it never was faster again. As in every FF post, there will be people saying that and the opposite. I guess the difference depends on other factors like Addons or Plugins as well as the probably narrow difference between both.

I never really came upon a reason to leave FF behind. It works good, has all the addons, and I can still make it look like a real window with options and things where they should be. I also have a "special" relationship to Chrome due to this "bundling to freeware" they use to push the browser onto people who don't want it.

@your tab problem: I just googled this up https://addons.mozilla.org/de/firefox/addon/load-tab-on-sele... No idea how good it is though since I never felt I'd need that.

There is a solution/addon for everything ;)
Generate another proof (using a different method; Coq?) of the proof? That's all I can think of.
RHEL and CentOS 7.4 restores HTTP/2 functionality on Nginx
I think that statement is a little disingenuous. There haven't been any attacks that target Etherium proper, only bugs in smart contracts riding on top of Eth.
Some words I spoke seem not to be recognized, even though my pronunciation should not be that far away.

Then I clicked on "TEA" to see if there is some guidance... It was. According to the computer voice the right pronunciation of "TEA" is "T-E-A" rather than "tea". So, I guess, some word patterns are not correct in the system?
In part because this is trodden ground for distributed systems engineers and we know that, on balance, the correct solutions all involve massive centralization.

You don't want that. So we're at a bit of an impasse.

Distributed systems these days mostly argue that you do your trusting up front, outside of the protocol itself. You then validate that the actors share the secrets you all agreed upon, and then optimize the agreement process. Only the most robust systems actually consider "active" dissent; most distributed systems engineers consider this a special case that is most often focused on the idea of "incorrectness" as opposed to "maliciousness."

You can see elements of these assumptions in more modern data structures used for eventual consistency, like CRDTs. CRDTs are amazing and fast and often abstract-able to a trivial programming model. Anyone can use them, but they have to be monotonic, so we can't ever forget bad input, just try and cancel it out.
Nyaruka Ltd - Senior SDE - Go / Python / React / Postgres - REMOTE - $90-$150k

https://nyaruka.com/

We are a small team that build an open source platform used for large scale messaging, primarily used by UNICEF in developing countries.

You can see some of what we work on on Github: https://github.com/nyaruka

You can play with the platform here: https://textit.in/

We are a fun group of passionate engineers who want their work to do good in the world. We are spread across the world, some in South America, some in Africa, some in the US. We work on interesting problems which span making a visual programming language that non-programmers can pick up scale to huge numbers of interactions. Lots of fun problems to solve.

Would be particularly interested in female candidates based in Europe timezones due to the location of some of our largest customers in sub-saharan Africa.

Email: info@nyaruka.com
TaskRabbit | Fullstack React.js / Ruby Engineer | San Francisco | Onsite | Visa considered | https://tr.co/

Each day brings more chores and less time to accomplish them. Whether someone needs a handyman, house cleaner, mover or delivery person, TaskRabbit delights clients by matching the right skilled person in minutes. On the other side of the marketplace we help our Taskers earn a living by setting their own prices, defining their working hours, and give them control to help people when and how they want in the most supportive marketplace.

You'll be a member of our engineering team, helping us build out the web applications that drive our business. We have applications for clients to hire taskers, for taskers to register with the platform, and for our internal users to administer the service. We use React.js on the frontend, and Rails on the backend. We're ideally looking for a full stack engineer but would be thrilled to hire a competent front-end engineer who has aspirations to learn Rails someday.

Job Description: http://grnh.se/pl7qst1
SumUp | (Senior) Frontend Engineer (React/Node) | Berlin | ONSITE, VISA https://sumup.com

The people of SumUp have brought the best way to accept card payments to 15 countries so far, but we won’t stop there. Headquartered in London, SumUp's major offices are in Berlin, Sofia and São Paulo. The Berlin office alone comprises more than 130 people from more than 30 countries.

SumUp could be interesting for you as an engineer in part because we cover so many platforms: we have physical hardware (made right here in Berlin), our own proprietary payment processing platform, mobile apps on iOS and Android, SDKs and APIs supporting third-party integration, and of course (the main star, in this team's humble opinion) a merchant-facing web app.

The frontend team consists of 6 devs, looking to grow by several members. We are hiring both senior and mid-level developers:

>>> Senior Frontend Engineer: https://sumup.workable.com/j/E4A7BCCB2B

>>> Frontend Engineer: https://sumup.workable.com/j/10969B9646

You'll be a great fit if you have a passion for technical excellence, enjoy implementing beautiful designs, are comfortable working in a linux environment, and strive to learn something new every day!
The features they're 'cramming' into Firefox don't slow down the browser.
Usually I'm the sort of person who scoffs at a list like this, but just reading through those T items made my mind start categorizing my to-do list. Crazy helpful
There always has to be that guy...
After 3 Months of JavaScript Linting, It's Pretty Much All Pain and No Gain
Do you trust a Facebook camera on your kitchen counter/night stand/living room table? I feel like they haven't done much for themselves(in terms of branding) as a privacy-friendly company to the point where technophobes are going to be comfortable setting these up in their homes.
When I've lived in hotels longer than a week at a time, I've sent just collared shirts and slacks to the laundry. Everything else can be satisfactorily washed in the bathtub. One place I stayed in Tokyo had this really long shoehorn in every room, which was ideal for stirring the tub.
Just Following the Buffalo (2006)
I've had the same feeling here.

According to Indeed.com's Job Trends, its a real thing:

https://www.indeed.com/jobtrends/q-ios-developer.html

I got laid off a month and a half ago. Usually when I'm looking for work it takes less than a month. For whatever reason I'm still looking now.

I hope I don't have to switch over to react.
This is true of any new burgeoning technology. Were you around for the Internet boom in the 90s?
With software.
Dig this OIDC Primer I wrote – feedback welcome