skysight-inc/HackerNews huggingface dataset:
I was looking for a technical cofounder in 2016.

1. I created a Google Spreadsheet with a description of my idea and my goal was to inspire readers of this document.

2. Then I made a Facebook post where I shared this document. I received few dozens of likes/shares from my friends.

3. After that, I used Linkedin Premium (it is free for 30 days) to find developers in my region. I asked them if they are considering new job offers. And if they answer was yes, I shared a link to my Facebook post.

They came to my page and see likes and shares (social proof). Then they read the document and if the idea was interesting for them, we scheduled a skype call.

That's how I found the CTO for AcademyOcean.com : )
Trexo Robotics | Toronto | Full-time | Onsite | VISA | www.trexorobotics.com

Trexo Robotics is an exoskeleton robotics start up working towards making mobility a reality for the disabled and elderly. Founded by Waterloo mechatronics graduates we strive to provide a strong engineering culture and believe in getting things done. Currently Trexo Robotics is working on a rehabilitation exoskeleton for children with lower body movement disorders such as Cerebral Palsy and is looking for it first robotics engineer to help implement software for control, modelling and testing of our robot.

Skills: C/C++/Python, ROS, control systems theory.
Benefits: Competitive salary and equity, first employee, opportunity to help children with mobility issues.

If interested please email at ru@trexorobotics.com
You're right, of course. There are ways around this: for one, without optimization (i.e. -O0) you don't have any rewrite rules firing, so any discrepancies in behavior can be tracked down this way.

In practice, most of the libraries that include tons of rewrite/specialise/inline (ab)use are either "core" libraries (like vector/bytestring) or have a large userbase (e.g. Conduit), and rules don't really change too much from version to version, so this has never actually had the detrimental effects that "silent replacement of code" might have in the worst case.

This might[0] sound similar to apologetics for dynamically-typed languages: the only real answer to your question is that rewrite rules are ultimately a way to improve performance, and they come with caveats usually associated with replacing clearer algorithms with faster ones. (I'm thinking of the adaptive sort from the C++ STL, which iirc uses different sorting algorithms for differently-sized containers to maximize expected performance. It's not exactly intuitive that vectors of size 100 and vectors of size ~10000 are sorted differently, is it?)

Of course, the only verifiably-correct way to do these things is through the use of machine-checkable proofs of the transforms. The well-known "foldr/build" rule that many optimizations of linked-list functions reduce to, for instance, has been proven outside of GHC, and there are usually similar proofs for other rules known to the library author. The appeal of dependently-typed languages is how they are a nice vehicle for the inclusion of those proofs in library code: if the compiler can't verify that your rule makes sense, it can complain instead. You then end up supplying a proof, or saying "just believe me, okay?" ;)

[0]: "In practice"? Seriously? Next thing I know I'll be parroting "in the real world" and so on...
I grew up in the 90s in the Chicago suburbs and the rhyme was as you described. The first time I can recall hearing a variation was when I saw Pulp Fiction at 17.

edit: actually, I remember that "my mother said..." one as well, as an occasional ad-libbed variation.
You can encrypt all you like. It won't help.

Suppose you encrypt all your SMTP/SUBMIT traffic. If your upstream is a commercial provider, then they will be subject to subpoenas. If you run your own upstream, then watching who it connects to will often be sufficient to gather metadata of interest.

Consider TLS. Before you can use it you must have used DNS. Today all DNS resolution goes in the clear. So game over right there. Eventually your client's DNS communication with a shared recursive resolver will not be in the clear, but the operator of that resolver will be subject to subpoenas, so game still over. Let's say we did deploy DJB's encrypted DNS solution. Well, you can still see which domains people are talking to, roughly, at least as long as they don't share nameservers, and if they do... You can see where this is going. Now let's say you did get DNS resolution securely anyways, well, now you have to connect to some IP address, and if it's not hosting many services, then game over, and if it is hosting many services, then SNI will be game over anyways (TLS 1.3 requires SNI). SNI cannot be encrypted.

The problem really is that metadata can't really be encrypted.

Mind you, criminals are defeated by data encryption -- mostly anyways.

And forcing governments to use subpoenas does mean increasing the cost of metadata gathering. Plus there won't be infinite retention requirements, perhaps. So, encryption does help somewhat, which means we must do it -- it's just not a complete solution.
How the Trendiest Grill Cheese Venture Got Burnt
"or career building" is an undersold point.

for some reason, hopping onto the hypetrain and shitting out a github repo over the weekend that does the minimally possible thing for a really new technology is about as much career building as having been the PM responsible for google maps.

"having a repo" is somewhat equal to claiming non-"provable" 5 years of experience.
I welcome our new robot overlords.

The data mining and the ads are the price I pay for such incredibly useful services, that don't cost me anything but a small bit of attention. And even the ads are good, because they're so nicely targeted.
SEEKING WORK - Remote/Freelance

Python/Django/Mobile/React/React-Native, with extensive experience building of web applications, e-commerce marketplaces. I've worked a lot AWS, Docker, Ansible

I have a research background in data analysis. I also have experience with Golang, React, Clojure, numpy, pandas, scikit-learn, nltk, TensorFlow etc.
Some recent examples from my portfolio:

* http://www.moonliteapp.com - An app for freelancers and clients to work together.

* https://www.healthasaservice.co/ - An HR analytics dashboard to manage company health events and employee health reports.

* https://www.igrowfit.com - A corporate fitness subscription platform

* http://www.grapevinelogic.com - A platform for advertisers to work with Youtube content creators.

* Turbotax CPA Select for Intuit, to help select accountants. Formerly Teaspiller.com

* http://publish.saxo.com - publishing platform(for print on demand) and online courses.

* http://www.hypedsound.com

You can look at http://www.sidmitra.com/portfolio

Github: http://github.com/sidmitra

Homepage: http://www.sidmitra.com

Linkedin: http://www.linkedin.com/in/sidmitra

Email: sidmitra.del+hn@gmail.com
Yeah, the efficiency the article claims is "per square foot of space" which seems irrelevant. (Well, at least until you learn that they're going to need hundreds of thousands of these things to have a useful impact.)

But even worse is the complete and utter lack of any mention of the amount of energy needed to capture a ton of CO2.
FOSSA | Software Engineer | http://fossa.io | San Francisco, CA | Full-time ONSITE

FOSSA provides the technology to help organizations understand what’s in their code and automate license tracking/compliance without slowing development.
The job: Spend your day hacking and modeling the sophisticated behavior of open source build systems and package managers like Gradle, Maven, YARN, pip, npm, go get, and more. On a small team, you will design opinionated systems in a variety of languages (JS-heavy) to analyze, graph and understand the universe of software packages, dependencies and builds at large scale.
Please send your resume to alex@fossa.io and mention Hacker News.
Mesosphere, Inc. is hiring a variety of software engineers to help build the Datacenter Operating System, based upon Apache Mesos. If you're looking to work on distributed systems, large clusters at scale, containers & microservices, and big data frameworks, we'd love to hear from you. Languages we use include Scala, Java, Erlang, Go, C++, Python, & Javascript.

We start the process with an intro call, then a coding challenge + review call, followed by a full day of onsite interviews.

We are hiring for full time roles in our SF, CA and Hamburg, Germany offices, but interns, remote, visa are all ok.

All openings:
https://mesosphere.com/careers/
Note that he also scoped it so that he'd be able to finish it in one day. The first version of gmail only searched his own email.
Kill your current life if you don't like it. Buy a ticket and go to a totally different country -- start anew there.

Health aside, there's no problem you can't just run away from and ignore in THIS world. Even the most seemingly pressing problems are BS we impose on ourselves, especially in the first world.
while I don't have a cable subscription, I do like your set-up. got any more info on what you are using and how you set it up? thanks in advance for any info!
I disagree completely. I love the characters of Fëanor, of Beren and Lúthien, of Elu Thingol, of Tuor, of Elwing... Also, the plots of the stories hold a lot of the attention (at least for me).
DocSpot | Entry-level Back-end Developer | Santa Clara, CA | ONSITE | http://www.docspot.com

We're looking for a full-time entry-level back-end developer to improve our service that helps users find doctors and other healthcare professionals. We do not require a college degree and we also do not require previous professional experience. See the relevant link at https://docs.google.com/document/d/11vfv3tR5WMeQ84K5gdQu-C_2...

Once candidates have submitted a complete application, we typically let them know within one week whether we would like to meet in person. There should be at most two rounds of interviews, and the process typically includes some basic coding questions and logic problems.
EquityZen | Front-End Software Engineer | NYC | https://equityzen.com/careers/?frontend | Full Time | Onsite

EquityZen works with 60+ of the largest private tech / digital health companies, and acts as a matchmaker between shareholders (VCs, employees) and investors (HNWIs, Family Offices). With ~20,000 sophisticated investors from 30+ countries, EquityZen's platform is expanding rapidly with a small team (~20).

We're looking for a talented front-end engineer that wants to build secure, performant, visually appealing technology. Our engineering team is already building a world-class investment platform that transacts $10M's routinely. Strong JS/CSS skills must; familiarity with specific FE frameworks preferred.

Learn more about EquityZen: https://equityzen.com/press/

Check out the opportunity here: https://equityzen.com/careers/?frontend
Pied Piper’s New Internet Isn’t Just Possible – It’s Almost Here
EquityZen | Engineering Lead | NYC | https://equityzen.com/careers/?englead | Full Time | Onsite

Quant and EquityZen Founder here. We're looking for someone to take over A-Z of engineering in building the best in class investment platform. We're looking for experienced folks to teach us: 3+ years software engineering & 2+ years in engineering lead/manager role. Tech experience must; FinTech experience preferred.

EquityZen works with 60+ of the largest private tech / digital health companies, and acts as a matchmaker between shareholders (VCs, employees) and investors (HNWIs, Family Offices). With ~20,000 sophisticated investors from 30+ countries, EquityZen's platform is expanding rapidly with a small team (~20).

Learn more about EquityZen: https://equityzen.com/press/

If building technolgy that (already) routinely transacts $10M's excites you, check out the opportunity here: https://equityzen.com/careers/?englead
I actually already do that with pass and a GnuPG smartcard since pass uses gpg to handle the encryption.

You can also provide several PGP encryption keys if you want to share your passwords across several people. I believe pass lets you specify the keys on a per-directory basis, although I never actually tried to do that myself.
Glad to see your concierge service decoupled from Upverter, as nice as Upverter is. It will make it easier to try w/o the full commitment of changing software.
HashiCorp put out good stuff. CoreOS can be hit or miss; Torus was nice, etcd is a wreck. I like https://github.com/go-kit/kit and https://github.com/oklog/oklog. Definitely avoid Kubernetes and Docker -- they're Go by committee, look and feel like transliterated Java.
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 on 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:

* Frontend Software Engineer (London & LA)

* Junior Quantitative Analyst (London)

* Mid-Level Quantitative Analyst (London)

* QA Engineer (London)

* Software Engineer (London & LA)

If you like the idea of flat structure and practical engineering approach, see our jobs at https://smarkets.com/careers/ . (Some time ago I wrote an overview about our engineering challenges, which you can find at https://smarketshq.com/the-challenges-of-running-a-betting-e... .)
Ask HN: Thoughts on Ethereum?
Has anyone used it or developed an app on it? What are your thoughts on the technology? What about on solidity as a contract language?
ReviewTrackers in Chicago is hiring Product and Marketing positions. Also Sales. Always sales.

http://reviewtrackers.com/jobs
How does LIGO separate vibrations caused by a nearby truck from whatever reading that is required for gravitational waves?
Standard lib source is good. I gained a lot of insight from Dave Cheney's blog: https://dave.cheney.net.
Using CRISPR to Make Beer Glow
Introducing Kozmos: A New Bookmarking Platform
Location: Remote, willing to relocate

Remote: Yes

Willing to relocate: Yes

Technologies: Python, Django, Mobile(iOS, Android), jQuery, Bootstrap, React, React-Native, Docker, Vagrant, Ansible, AWS, Golang, R, Hadoop, Spark, TensorFlow

Resume: http://www.linkedin.com/in/sidmitra

Homepage: http://www.sidmitra.com

Email: sidmitra.del+hn@gmail.com

Portfolio:

* http://www.moonliteapp.com - An app for freelancers and clients to work together.

* https://www.healthasaservice.co/ - An HR analytics dashboard to manage company health events and employee health reports.

* http://www.igrowfit.com - A corporate fitness subscription platform

* http://www.grapevinelogic.com - A platform for advertisers to work with Youtube content creators.

* http://publish.saxo.com - publishing platform where anyone can publish e-books, and soon printed books (print on demand) and online courses.

* Intuit CPASelect - An online marketplace for tax experts. [Formerly Teaspiller]

* http://www.hypedsound.com
Viewer-Friendly Interface
Sometimes it doesn't have to be the same Country, but rather timezone.
The research is more centered around a specific use of Kolmogorov's classical probability theory, which takes context into consideration. This realization has allowed "classical probability theory" to be used in a characteristically "quantum" way, by paying attention to higher dimensional probability distributions, and how "observation" tends to draw these probability distributions through lower dimensional subspaces. Some people doing this research also employ fancier probability theories, but to me it is profound that classical probability theory can be used in the same basic way.

So yeah, the research relies on linear algebra, sure, but specifically in the same way quantum theory relies on linear algebra: as a way of projecting probability distributions into different subspaces during measurement ("collapsing the wavefunction").
Weekly Free Fonts Collection #5
None of this is solved by having a modem in your computer though.

Though Windows 10 does let you mark a connection as metered, though I don't think anything except the OS pays attention to that. But again, that's orthogonal to whether your laptop has a modem and will likely not be solved.
Teralytics | Software Engineer, Systems Engineer, Data Scientist | Singapore | ONSITE, VISA, Full-Time and Intern, https://www.teralytics.net/jobs

As stated, hiring for above roles, and for interns. Our systems engineer job is not listed there so feel free to contact me directly for this or recruiting.asia@teralytics.ch. Salaries are extremely competitive and perks are good but we're also extremely selective. For interns, the work and environment is very good: I'm ex-Microsoft, and I'd say it's better than the MS intern experience in those regards (we can't match their intern salaries though).

We are an analytics company (ETH Zurich spinoff) that operates across a very large swath of the problem space: integrating deep into the "sensors," through the processing and analytics, and then the visualization. We are solving some hard problems around realtime streaming, geospatial, and predictive analytics and work closely with customers to improve how data-driven cities and businesses work. The Singapore technical team is small (approximately 10) but growing in size and capabilities. Unfortunately, our work and opportunities are outpacing us, so come and help us!
The info on eLISA is great.

I am just waiting for the $10,000 shielding for high end speakers to keep gravity waves from interfering with the acoustic purity of the sound they produce. :-)
It's silly because the depiction does not show a "dead" butterfly per definition: this is something that the human viewer makes of it (through reference to the prepared butterflies), and in this case the article writer is trying to enforce that view on us.

For all we know, a butterfly could find such pictures attractive.

Half-baked analogy. A person in split-leg position is not natural. We rarely see people in such position. But to say that [1] is a picture of a dead person would be clearly nonsense.

[1] https://images.clipartof.com/small/28591-Clipart-Illustratio...
I really enjoy reading books about re-living your life, I think the best two I have read are Replay by Ken Grimwood and the first fifteen lives of Harry August by Claire North, very recommended.

In terms of movies also About time incidentally explored some of the same concepts.
Hello there jensvdh, pleased to make your acquaintance.
>No, you don't. Source: I've had an account for years and am not paying anything.

From https://www.plex.tv/blog/well-do-it-live/
Remember, Plex Live TV and DVR is a Plex Pass only feature, and is immediately available for Plex Pass users. You can find out more info about Plex Live TV and DVR here as well.

>You add folders to a TV and Movies collection once. With Kodi, you're doing it N times, where N is the number of Kodi installs in your house.

Never had any success in Plex detecting all my content properly. It's a luck of the draw if you want your content tagged appropriately. I use a MySQL database to store my media library, all I need to do is point Kodi in that direction and everything is synchronized.

> As others have stated, this is not the case. My Plex server is an old Core2Duo MacBook Pro that also runs virtual machines.

You all must have a small media library
I honestly don't know. Maybe read one of the books mentioned here, eloquent or the good parts, and enroll in a course specific to a framework (i got a free subscription to front-end masters, that has a few good courses) and go from there.
> If you aim too high in your sensitivity aspirations, the cost hits a point where the experiment simply can't be funded.

Agreed. I misunderstood your meaning then; I'd interpreted your wording to mean that "overpaid" was still within the bounds of reasonable expectations for funding. "Overpaid" didn't imply "too expensive to build", to me.
Smile Identity – Senior Android Engineer
https://www.smileidentity.com/android/
We're looking for a mission-driven Indiana Jones (or Jane) of Android, who wants to join a rapidly growing early stage team with more enterprise customers than employees. The job entails trips with the CEO to meet our partners in Africa, Asia and LatAm, and continuously improve our Android code to work under the harshest possible network environments and device constraints.
Could it be you?
Well, for one, there are two detectors, one in Louisiana and another in Washington.
I'm sure some people will still fly, but all the airlines would go out of business, so it won't matter. Perhaps we can go back to sailing caravelles across the ocean.
I'm in the UK and it was reported in the media here, but even so the main news sources I used with the best info were American.
Thanks for the info, that is...unexpected, but a good approach.
https://www.smileidentity.com/android
This is a complete guess, as I don't have any firsthand knowledge ... but I can only imagine that they have a whole array of seismographs on the premises, which they can use to clear noise from the main LIGO readings they are interested in.

Curious to know if this is the case from anyone who happens to know one way or the other :)

edit: the more I think about it, the more I think that random vibrations from passing trucks would be irrelevant ... it doesn't detect vibrations, it's measuring the speed of light between two points
Pinboard Acquires Delicious
There's no downside to having this as an option, I just wonder if this feature will drive any consumer demand.
But isn't Photoshop a prime example of a program you'd want to run in 64bit mode? Mo'ram mo'better?
Seconded, for similar reasons. Even in the US, for $400/mo you can get a colo with an unmetered gigabit pipe (Hurricane Electric, FDCServers). Assuming you only use it 50%, that's about 160TB, for a final price of $0.0025/GB. Google internet egress is 32x more expensive and that's with the steepest discount. Hell, even their CDN interconnect pricing of $0.04/GB is 16x more expensive than standard egress pricing.

In Europe their pricing is even less competitive.

It's insane how much they charge for bandwidth and it severely limits the usefulness of the service.

I guess that might be the point though. If egress is expensive, you're encouraged to keep everything inside GCP.
Cruise Automation | C++ Engineers, Data Scientists, Android Engineers | San Francisco | ONSITE

Description: We're the driverless car company. We believe in improving people’s lives by making transportation safer, more accessible, and more convenient.

Our team is small and we move quickly. We’re currently testing a fully driverless solution on city streets in San Francisco. We're looking for smart, ambitious people to help build the world’s largest fleet of driverless cars.

We are looking to hire C++ engineers across the entire company so please check out our open roles!

Check out this video of our car driving fully autonomously through SF!

https://www.youtube.com/watch?v=KSRPmng1cmA

Technologies: C++ on ROS
Visa Sponsorship: We can transfer Visas
Contact: Anthony@getcruise.com