skysight-inc/HackerNews huggingface dataset:
Courex - www.storeviva.com | Multiple positions in Engineering | Singapore/Malaysia/Indonesia/Vietnam | Full Time

# What the company does

Courex is an 8 year old ecommerce logistics company driven by technology. We help our customers manage their supply chain so they can focus on selling. We do the following

- last mile delivery
- warehousing
- omnichannel integration

Our operations is driven by technology. Some interesting stuff

- We run a hybrid crowd-sourced(uber style) + fixed fleet model.
- We built an automated parcel dimension measurement machine using Kinect
- We have autonomous robots coming in late 2017 to pick and sort parcels

Experience a different sort of scale. Not bits and bytes, but parcels, machines and people. Your work affects the real world in a huge traditional industry.

# What the job entails

We are expanding to South-east Asia. We have a few positions

- Front-end lead
- Head of Data Science

# Contact

Please email zan+hn@courex.com.sg if you are interested.
That is to say, a net addition of over a million lines in one release.
Tezos, the self-amending cryptographic ledger [pdf]
California Dem Speaker killed his own party’s plan for single-payer healthcare
I'm sorry, but I posted different positions.
The ICO operates under a framework of legislation.

The list of legislation is here: https://ico.org.uk/about-the-ico/what-we-do/
Apparently those hordes of lawyers told them it was OK, as did the government itself (the NHS is the government).
Many interruptions are q3 - unimportant (to my goals) and urgent (to the person interrupting)
Indeed, probability and statistics make a lot of sense to include in a high school curriculum. In addition to the practicality, they are very colorful topics that can serve to make students more interested in math.
"A malicious DNS server can exploit this by responding with a specially crafted TCP payload to trick systemd-resolved in to allocating a buffer that's too small, and subsequently write arbitrary data beyond the end of it."

When your program doesn't handle a malformed input, and this leads to a buffer overflow, it's your fault. When this program is something as important as systemd, the problem is even worse.
Revcontent LLC | Full Stack Developer | Mumbai | Onsite | Fulltime

Revcontent is world's fastest growing content recommendation network. We have a small team working out of Mumbai. You will work on cutting edge of Machine Learning and build things that instantly gets billions of pageviews in traffic.
Not OP, but at my workplace, we never discuss sexual orientation, race, religious belief or gender of coworkers, because that would be very unprofessional.

So, no, I can't ignore all that and just us the language. I can't use a language in a professional context when I consider the core team to be unprofessional. But that's a nice social experiment and I'll probably use rust for my personal projects.
Location: New York, NY

Remote: Yes

Willing to relocate: Yes

Technologies: Haskell, Rust

Résumé/CV: https://alexeyzabelin.com/assets/resume.pdf

Email: zabelin.alex@gmail.com
*Well ... Superman does Good.

(I'm aware it's humour)
This isn't a thing on Windows. You are not required to go through the store in order to install or run UWP apps.
Also forgot to list that we are looking for a Lead Data Scientist.
Most of the images have been sourced from wikimedia and are all considered in the public domain.

See [1] for an example of wikimedia's position on licencing:

'The official position taken by the Wikimedia Foundation is that "faithful reproductions of two-dimensional public domain works of art are public domain".'

Also, it's a $9.99 one-off payment, not monthly. Serving tens of thousands of high-res images a day adds up, so there's some extra paid features there for those that particularly enjoy the app and feel like supporting the project.

[1] https://commons.m.wikimedia.org/wiki/File:Van_Gogh_-_Starry_...
UK regulators take a light touch approach. They ask people to stop doing what they're doing; then if the behaviour continues they take further action.

This has an advantage when action eventually is taken: the offender finds it harder to claim to not know what the law is, or that their behaviour is compliant with law.
The entire point to the site is that programming challenges using STDIN/OUT is not how you write code. So yes, you can cheat - but who cares. At least you get to write real code. Not to mention the number of things that can be tested for since you are able to use real testing frameworks.

STDOUT/IN based challenges cause developers to have to program esoteric challenges that they would never see in real life, and write code that they would never use for anything other than a challenge site.
Love it! Great idea having the different periods available, it'll help for recognition next time I'm in a museum :)
Anything Internet-facing has to accept any kind of packet without crashing, or at least without failing in an exploitable way. That's the bare minimum you-must-be-this-tall entry requirement of security.
Assuming the speed of light is absolute the odds of finding a civilization is vastly diminished. EX: Assume they are 1/2 the age of the universe and expand at the speed of light. From the 46.5 billion light-year radius observable sphere due to expansion. They have a bubble ~1/4 the size of the observable universe in size (less time for expansion of space/time). But, that's only ~(1/4)^3 = ~1/64th chance we see this super civilization even with such optimistic estimates.

Start plugging in more reasonable numbers for expansion say a smaller chunk of c and reasonable assumptions of requiring old rocky planets etc, and there could be 10^10th such civilizations and we just can't see them.
I don't how how it affects "original" stars but the "adpocalypse"[1] + the move to "punish" infrequent uploaders[2] are sure to have interesting long-term effects.

[1] https://redd.it/6cyuva

[2] YouTube algorithms like channels that upload frequently and can generate a "community" around them
The readership of Science journal itself is literate and could use search engines. But they do the obvious task of linking to relevant references.

If the Economist is in the business of distributing information, linking to a journal should sort of be one of the things they do. Even Buzzfeed and such outlets now do the common courtesy of linking to papers that they are talking about.
No, because it does not take much to become a member, and listing it screams "I think I am very smart look at this badge that I got".
https://twitter.com/DDD_Borat/status/369438104316162050
Chris Patten: Did Beijing Betray Hong Kong?
One Codex (YC S14) | San Francisco (SoMa) | Full-time (ONSITE) | https://www.onecodex.com

One Codex is a platform for microbial genomics. We are a technical, experienced (and profitable!) team working on meaningful problems that range from infectious disease diagnostics to outbreak epidemiology to improving our understanding of the microbiome. We work with top researchers, medical institutions, and biotechs, and have processed samples from all seven continents (and space!).

We're currently looking for generalist engineers across multiple positions, including both those who are backend- and frontend-leaning. Our stack includes Python, Rust, and ES6 Javascript, and we write everything from D3 visualizations to low-level bioinformatics algorithms.

Challenges include: (1) developing novel algorithms for analyzing complex microbial communities; (2) working with terabytes of genomic data; (3) building scientifically reproducible analyses suitable for both research and the clinic; and (4) supporting scientists and developers building on our platform with extensible APIs.

We are based in San Francisco and offer a competitive salary, meaningful above-market equity, and the chance to be an early employee in a well-positioned startup. Benefits include full medical, dental, and vision coverage, a flexible vacation policy and relocation assistance if moving to the Bay Area. We're also willing to sponsor a visa for the right candidate. Please apply here: https://onecodex.recruitee.com/o/software-engineer-full-stac...
TelRed – Linux client for microsft lync
Shipup | Paris, France | ONSITE | Full-stack software engineer

Shipup ( https://www.shipup.co) creates the best delivery experience for online retailers. We follow every package shipped and send proactive email and SMS notifications during delivery. We’ll be launching our second product, (tracking pages directly embedded on the online retailer’s website) this month.

We’re seeing strong traction with clients such as La Poste or Vente Privée and daily signups from Shopify retailers in China, France, US...

We are looking to hire our first engineer who will work directly with our CTO. If you feel like joining a relatively young startup and get many responsibilities, drop me a line at quentin@shipup.co

Together we can change the post purchase experience in e-commerce.
HORSEBACK RIDING AND LAMBS IN PUERTO RICO
Still can't make a (edit-added SKYPE.) call from contacts app in iOS. What's so hard about that?
EzSudoku [Sudoku solver encoded in OCaml type system]
But the mess is almost exclusively in the US.

How do you explain it?
Buffett's favorite holding period is forever. Cuban points out that non-dividend stocks aren't much more than baseball cards. Kiyosaki argues that the reason people suffer financially is that they purchase liabilities and list them under the asset column.

The difference between investing and speculating is whether you get paid for owning it or only for finding a greater fool to relieve you of it. The wheels have come off the equities market because management has realized putting on a convincing show for speculators nets more dumb money than actually succeeding as a business worth owning.
Go and Kotlin for now!
Punitive punishment does nothing to stop bad practice from happening. It does make sure that people who make mistakes cover them up.

We especially do not want that in NHS organisations[1] - we want people to freely and openly admit to mistakes made.

[1] I gently dislike it when people say "The NHS" - that's not a thing, and it hasn't existed for many years now. There are 4 NHSs in the UK, and each of those is made up of a bunch of smaller organisations that have little connection to the rest.

In this situation "The NHS" did nothing. One hospital trust made this decision. Many other NHS trusts (and the Caldicott Guardians) were alarmed by the decision.
I honestly don't understand how this issue is even arguable - I mean given that:
a) We haven't seen any evidence of life outside this planet
b) We haven't been able to reproduce life from scratch in a lab so we don't know the odds needed for it to occur, then
Isn't it obvious that:
c) We have absolutely no evidence whatsoever on which to base any range of probability regarding the existence of life outside this planet ?
I'm not saying I think there isn't life outside this planet nor that I think there is - what I'm saying is that so long as points a) and b) stand, any statement on the matter is just wishful thinking, personal faith etc. It has nothing to do with scientific thinking.
If you think it isn't obvious, I'm interested (seriously) to understand where the flaw in my logic is.
Not sure that counts as "bypassing the interview" but thank you for your thoughts! This seems like normal networking 101, get your foot in the door by knowing someone there.

However, I've seen people claim, here on HN and in other forums, that they have received offers (not just opportunities to interview), sight otherwise unseen, from companies based purely on their own reputation and/or references. That's what seems unbelievable to me.
The bill is not to answer question, the bill is for removing material
Your sigma is a bijection on rational functions of a, b, not on the evaluations of those functions at particular values of a and b. In lambda notation:*

sigma f = \a b -> f (sigma a) (sigma b) = f b a

That means sigma f = \a b -> b - a. On the other hand, g := \a b -> 2. So sigma g = g.

Looking again at your equality:

> sigma f(5, 3) = sigma (5 - 3) = sigma 2 = f(3, 5) = -2

We should read sigma f(5, 3) as (sigma f)(5,3) = (3 - 5) = -2. Note: sigma f is not equal to sigma (5 - 3), because f is not the same rational function as "5 - 3"!

* This is an abuse of notation, because a and b are bound variables inside the lambda. In this case, being more precise would probably be less clear.
it's almost impressive how skype manages to become unidirectionally worse and worse over time
I believe it was a joke about how Lennart Poettering usually responds to bug reports.
Where in LA is your LA office?
It's so refreshing to see vibrant discussion of how a domain layer should be implemented, when I have practically been run off from teams for suggesting that a domain layer pattern, any domain layer pattern, should be used.

I've seen enormously complex domains implemented as DTOs that are acted duplicately in ORM queries, in PDF rendering, in CSV exporting and then again in CSV importing.
Google has old versions of all the files, and would immediately revert them when they detected a virus going around.
Okta | SF, Toronto, Seattle, London | Full-time, On Site

We are builders and owners. We believe we are solving some extremely big problems. Join a group of amazing humans who thrive on making customers—and each other—successful.

Why work at Okta? We believe that work is a never-ending process of learning and iteration. We work on extremely complex problems. We work on products that make millions of people's work lives better. We're funded by the industry's most respected investors.

Benefits: Happy hours, Ping pong, Lounges, Food, Global offices, HQ in San Francisco's bustling SOMA district, HQ South in San Jose, Competitive salary, Stock options, Flexible time off, Weekly All-Hands, Hackathons and Volunteer events.

These are some of the ideas we live by: Confront the hard problems and solve them. Don't bullshit people. Protect the customer. Think bigger. Make it work. Never stop.

Please visit: https://www.okta.com/company/careers/ for all open positions and email: vimarsh.karbhari@okta.com
As far as I can tell, MIT didn't have a CS department until 1975 (when it was added to the EE department to become EECS; the same year Irene Greif in the OP got her PhD).

Before the 70s, many schools considered CS as part of a Math degree or an EE degree.

Cite: https://www.eecs.mit.edu/about-us/mit-eecs-department-facts
Has skype ever been good? For as long as I can remember it was a necessary evil until we finally managed to replace it with Hangouts and the like.
So, I'm only on Windows (desktop and mobile), and funny enough, Windows is the platform that hasn't gotten the update yet. But everyone from the Android and iOS camps is constantly complaining about this. :/ I feel lucky I haven't gotten the update yet, and have a feeling I'll need to find a new messaging client of choice soon.
Synapse Technology Corporation | Computer Vision Engineer, Machine Learning Engineer | Palo Alto | Onsite | Full time

https://www.syntechcorporation.com

Synapse is an early-stage AI startup founded by three MIT grads. We're venture backed, and looking to grow our team of computer vision and machine learning engineers. As our first product in the defense & security space, we automate baggage screening at TSA security checkpoints with deep learning systems.

Some upcoming/ongoing projects:

- Develop generative models for threat image projection

- Implement and deploy state-of-the-art object detection models

- Design and build data pipelines for 2D and 3D image data

- Experiment with online learning methods for our computer vision systems

Email me directly at sims[at]syntechcorporation.com! My background is in AI/RL, so happy to chat :)
I have witnessed Skype to go from almost perfect video & chat communicator to absolute crap over almost 10 years, and I feel very sad that it has come to rip off Snapchat. There is no alternative like the old Skype now in the desktop.
i was looking for a breakdown like this, thanks. newbie question: hey how about an ICO where token control actually does allow for voting out the CEO. or smart contract delivery of token after development ACTUALLY occurs (approved by stakeholders). any ideas please contact @ethpod on twitter
You could totally remove "New" and "Update" from that sentence and it would still be a very true statement.

* Full disclosure: my co. was acquired and forced to use office suite.
The link to "Storming 'The Beach'" in the article leads to nowhere, but the feature can be found on Rolf's own page at https://rolfpotts.com/storming-the-beach/
Chicago, USA | Full Time | Onsite | Embedded Linux Developer

I'm the founder of Outernet, a satellite broadcasting startup that provides a global data delivery service. We are building a universal information service to ensure that everyone in the world can have access to information, education, and entertainment—in even the most remote and disconnected environments. It’s the modern version of shortwave radio.

More About Us:
https://www.technologyreview.com/s/537411/startup-beams-the-...
https://www.wired.com/2015/07/plan-beam-web-3-billion-unconn...

We are looking for an embedded Linux developer to join our small team of four.

Responsibilities Include

-Creating board support packages/system images for ARM-boards with integrated radios

-Packaging and developing applications for targeted embedded Linux platforms

-Dealing with GPIOs, SPI, I2C, embedded displays, sound, etc

Bonus points

-Ham radio license or SDR enthusiast

-A loose understanding of digital signal processing, as it relates to wireless communications

-Handy with a soldering iron

Contact us: jobs@outernet.is
Neat! Just wish I could draw something worth while...
...Has Hangouts ever been good? Like, I totally get complaining about Skype. The P2P stuff caused it to be kinda wonky.

But your choice for "better" is Hangouts? Between the five or six alternative Google chat offerings, the attempts to merge it with the dialer and SMS apps, the cutting out of the online/offline statuses.

Google Talk was great though, back in the day.
I discovered zope some months ago and I really must say that is impressive. Once you get the ZCA and the object publishing is really easy to build things. Zodb is also a good tool! Plone has a good and rich ecosystem and as a CMS is far a way better than all django based ones... There is a lot of things outside django and flask...
"This leaves a negligible probability (1 bit in every 100,000 billion or so) that the actual potential will be less than 60% of the full +1 value. This error is the non-recoverable error rating for a drive using a single pass wipe"

100,000 billion bits is 100 terabit, or 12.5 terabyte. So, there will be, statistically, a single zero bit on a 12 terabyte disk.

Worse, AFAIK, modern disks use error-correcting codes to get the insane bit densities we find normal nowadays. That means you likely will get a single bit failure in a written zero that then gets corrected back to a zero.

There is a much larger risk, though: when physical sectors fail, modern disks will map spare logical sectors in their place. Specialized tools likely will be able to recover data from sectors mapped as 'bad'.
The First Real Estate in Switzerland for Sale for Bitcoin Only
The ICO site lists plenty of fines handed out for that type of lost data.

HEALTH: https://ico.org.uk/action-weve-taken/enforcement/?facet_type...

LOCAL GOVERNMENT: https://ico.org.uk/action-weve-taken/enforcement/?facet_type...
Not "may", it's already happened.

There's two versions of VS Code, the "official" one and "Visual Studio Code - Open Source", and the former contains proprietary bits that are kept that way so other people don't use it to compete with VS.

Project Rider from JetBrains accidentally ended up including one of these bits unaware it was part of a proprietary license and had to remove the functionality that depended on it (CoreCLR debugging), later writing a new implementation to put the feature back in.

This blog post by JetBrains includes a few more details: https://blog.jetbrains.com/dotnet/2017/02/15/rider-eap-17-nu...
Plenty of Spinal Tap reference opportunities in going to 11 though. The iOS 11 presentation did just that :)
Regarding the edit:

It certainly depends on your position relative to the person; but many people who are in a position to do something are also in a position to investigate -- they can take correspondingly stronger action, on the basis of an investigation.

For example, Teo had plenty of resources available to him, if he wanted to follow up on the rumors he had heard. He just chose not to do so.

The same is true at Uber: within the company there was a wealth of information available, and it was certainly feasible for Kalanick and many other people to look into the available complaints, emails, performance reviews and transcripts to determine if something was amiss.

It is true that people outside of Uber, and people not as well connected as Teo, would not have these resources available -- but then again, those people are not actually going to go into Uber and start firing people (for example), though they might refuse to associate with people they had heard rumors about.

When you say "we should treat 'a constant murmur' as much stronger evidence than we currently do.", I would ask you, evidence with regards to what? What would you do based on this kind of evidence?
I am a little confused by your example, but the definition

σf(x_1,...,x_n) = f(σx_1,...,σx_n)

is certainly consistent and I'm not sure what you were hoping to show with your example functions.

I'm really not sure what σ(2) is supposed to represent? σ acts on rational functions like f and g, so

σf(5, 3) = f(3, 5) = -2

and

σg(5,3) = g(3, 5) = 2

Of course σf and f might not be equal, but I don't see how that is a contradiction? Happy to try and clear things up.
What could I switch to (on both Mac and PC) that would give me better video chat functionality?

Edit: Just to clarify, here's what I'm looking for:

1. Free plan; available everywhere in the world (I have family outside the US).

2. Both Mac and PC clients that are actually good.

3. Video chat quality (including noise filtering and such) that matches or exceeds what Skype can do.

4. IM-like client that supports text, voice, and video chat. This disqualifies business-type solutions that are geared around groups pre-scheduling meetings. I just want to see who's online and send them an IM or video chat request.
Manifold | Backend API Engineers and CLI Engineers | Halifax, NS | Remote, Fulltime, https://www.manifold.co

At Manifold, we help developers discover and use innovative tools and technologies; so you can focus on building, not managing, your applications. Each new cloud service we use today introduces complexity in the form of another bill, account to manage, credential to secure, and code to deploy.

Today we’re solving this problem through Torus and the Manifold platform. Torus simplifies your development workflow by enabling you to store, share, and organize secrets across services and environments. While, Manifold allows you to build and offer cloud services to developers without having to worry about billing, identity, and credential distribution (An example of one such service: JawsDB).

We’re a small, remote-friendly venture-backed company based in Halifax, Canada with teams in Toronto and San Francisco. With a shared passion for making developers lives easier and our backgrounds reflect that, having worked at the likes of Red Hat, Heroku, and Salesforce.

Apply for the Backend / API Engineer at https://jobs.alongside.com/details/backend--api-engineer/160...

Apply for CLI and Integrations Engineer at https://jobs.alongside.com/details/cli-and-integrations-engi...
Assuming you are right, in that case firing their incompetent lawyers after ponying up a couple of billion pounds in fines would sound like the right course of action.
Using Ideation, Inspiration, and Emotions to Drive Personal Success