skysight-inc/HackerNews huggingface dataset:
If you believe there are no diminishing returns, I'm interested to hear your reply to the author's question about why we don't all use Agda or Idris.
Location: San Francisco, CA

Remote: No

Willing to relocate: No

Technologies: React, Redux, JavaScript, Node.js, Loopback, HTML, CSS, React Native, Android, Git, Python, Ubuntu, Linux, Bash, JSDoc, Bash, OAuth, SQL

Résumé/CV: https://docs.google.com/document/d/1JojXeNTXwPpDqHI7w8AgISXh...

Email: roshkins@gmail.com

Github: https://github.com/roshkins

LinkedIn: https://linkedin.com/in/rashiabramson

I have a non-traditional background. My work, projects, and awards demonstrate competency. References available upon request.

----

My strongest skills currently are in front-end engineering with React and Redux. I learn quickly, which I've demonstrated by winning hackathons with novel APIs and design paradigms. Feel free to contact me at roshkins@gmail.com if you have a position that might fit, or know of one, or are just willing to chat about software engineering in person.
Nintendo no longer welcoming YouTube livestreams of its games
Kangoo – We power your last mile delivery
Have you been rejected by Google?
The thing about magical refactoring though is that it often isn't a good idea. You usually don't just change the name of something, but you change it conceptually. If you just let the ide go and change the name everywhere, you create bugs because you never actually went and made sure the old code was updated for the new concept, rather than just the name.
Plex Research | Boston, MA | Onsite | Full-Time | Visa |

Plex Research is the Boston area startup working on technology to fundamentally change how new drugs are discovered. Our team has decades of experience in drug discovery, cheminformatics, bioinformatics, and big data analytics. We're committed to finding better medicines faster.

We're looking for a talented, versatile engineer who's excited about the challenges of building large-scale data systems that provide answers across huge data sets in milliseconds. We value pragmatic, experienced engineers who are strong problem solvers, and can learn new technologies quickly.

More here: https://plexresearch.com/careers

Or ping me directly: drew@firststar.vc (I'm an investor / board member)
IP Fabric | Senior Backend NodeJS Developer | Prague, CZ | ONSITE

We build software for visualization and control of global IP network infrastructure, fully mapping IP connectivity all the way down to the electrical signals.
Our work helps prevent deadly network outages or find the exact cause of that spinning wheel slowness.
What you create will benefit all IP network infrastructure engineering, and will enable the Internet to grow at its foundation.
We're looking for top software engineers with significant experience and understanding of the best practices to help the founding team with the development of a global product.
We have a very scalable business model, and we're offering ownership in the company through stock option plan.
Experience with APIs and nosql databases is a must.

Our stack

* Node.JS, RabbitMQ, Socket.IO, React, ArangoDB,

What we offer

* Initial Equity, and additional equity as bounties.
* 25 days paid vacation, 5 paid sick days, 30 days paid sick leave
* Flexible working hours and home office
* Equipment of your choice, various budgets to make your workplace feel like home
* Non open-space offices in the center of Prague with a lot of light

Email me at pavel@ipfabric.io
Never underestimate the ability of Adobe to make a computer feel slow. I'm a user and fan of their Premiere and Illustrator products, but I believe they need to invest a lot more energy into: 1 - making their stuff crash less often! and 2 - optimizing some of the unreasonably slow features. In a way, ever more powerful computers like this have enabled Adobe to stay lazy.

But it is what it is, and at the end of the day an extra $1500 to not hate life every time you try to pan around in a piece of art is worth it.
Paywalls are a dying gasp being uttered by the publishing industry.

Here's why they don't work:

- If I respect a publication and feel that the content has value for me, I'll happily subscribe.

- If I click on a clickbait headline only to arrive at a paywall, it's like a small and unpleasant electric shock, punishing me for clicking the link.

- Paywall creators think that the combination of clickbait and paywalls is magical and gets people to subscribe, but it does not, it only creates negative emotion and irritation.

- There is no such thing as a free lunch. If publishers want subscribers they need to consistently produce high quality content day after day, week after week. They also need to forego the sugar high of clickbait.

- That means there can't be some sort of social virality genius telling the editor how to title articles and showing charts of all the clicks from Reddit, etc. Doing this may generate some incremental subscribers, but it does so at the cost of the publication's brand image.

- The approach Salon used of showing the first third or half of the article is better than a "You obviously love great journalism" banner. Let the content stand on its own and earn the subscription.

- I have not been able to bring myself to subscribe to the NYT or WaPo for one simple reason -- around half of the articles they publish are very low quality and many have clickbait headlines. The article headlines have the feel of being ads themselves that falsely represent the content of the article. In many cases the articles are pretty solid reporting, but the headlines oversell them as being the article that will bring down the Trump presidency.

If I were a journalist I'd be pretty outraged if I took the time to write a thoughtful article and then some virality genius retitled it something silly and tribe-oriented to get the shallowest of readers to thoughtlessly click it.
If we live in a computer simulation then there will be most likely bugs and edge cases and buffer overflows and all those things. So if we knew for certain that we live in a simulation then a lot of people would start looking for exploits.
I can't comment on the situation in eastern-europe, but what essentially killed any chance of standardization here in west-europe was the dominance of MSN messenger that came bundled with Windows. Their embrace/extend/extinguish approach towards IRC didn't help either.
Since you're at the beginning of it all, you might want to take a step back and think about your sales process. Here are some other questions to ponder as you're thinking about your CRM:

- Are you a B2B or a B2C startup?

- What are your goals for your CRM? (i.e. close more deals, relationship management, etc.)

- How many people are in your organization? How many people are in your sales team?

- What existing systems do you have already? Do you need the sales data to feed into other systems?

- How do you plan on updating your customer information?

- How skilled is your sales team? Will they primarily be in the office, working remotely? Do they need additional capabilities from the CRM software?

- Which communication channels do you expect your customers to be?

Without a clear picture of your organization and your sales process, it's difficult to pinpoint the right solution. I used to be a consultant and have seen clients implement all kinds of software without fully understanding their own capabilities and the software's capabilities.

However, given that you're at the beginning of things, what would make the most sense might be to try a few different free tools to see what works for you. I wouldn't spend too much at this point - something simple and easy might be best. Heck, even Google Sheets or Excel might suffice at this point.
Yes, it's my hope that Service Workers will be recognized broadly as the standard API for this.

FWIW I've seen several different folks saying they're working on implementing a Service Workers API shim on top of Node, which would be a great way to get an on-prem version, and should not be very hard to do.
It's ridiculous to state this is definitive proof that we are not living in a simulation. First, there are probably ways the simulation can fool us, on levels that we can't even comprehend. Second, who's to say that the simulation can't provide those levels of computation. Maybe the entire "universe" is but an atom in a larger computational universe.

I'm not arguing that the universe is a simulation, only arguing that I don't see this as definitive proof.
That's one argument that these "We're living in a simulation" arguments are confoundingly stupid. You end up with these unfalsifiable hypotheses indistinguishable from a quasi-Lovecraftian deism.
Pixfizz | London/Los Angeles | Onsite, Remote

Pixfizz is looking for a Frontend Engineer or Full Stack Developer with experience working on JS applications.

You'll get to work on online tools that allow users to create millions of unique printed pages from their photos. Help us connect users, storefronts and printers.
We're a small company but with a client base around the globe, so you should be independent but can expect to have a direct impact.
Our stack includes a reactive JS framework, Ruby, Node.js and Cassandra.

Email me directly daniel@pixfizz.com with your background and interests.
At a place I worked at once, it was "use Microsoft for everything". So yeah.
This is dumb. Why does everyone (including these scientists) assume that the "outside world" would be of the same size and nature as the one we experience, and that simulation would use computational models we currently understand? Even if that WERE the case, a simulation this powerful and complete could also involve mucking with the internals of our minds to make us think there is a definitive proof against it existing. There is no "definitive proof".
I guess I'll be that guy and say that I highly doubt the author has taken more than a cursory glance at more than half his list. He certainly hasn't had the deep epiphanies he's implying from each of them.

Seriously, he expects people to believe he's evaluated the code of the Linux kernel, the Chrome browser, Postgres, LLVM, Tensorflow (just to name a few, less than half of his list), deeply enough to be able to make statements like "finest codebase in [x, y category] that I've seen", while also being the CTO of a company?
I think it can make one feel trapped. Trapped to a schedule.

But you have to think of it as something that you choose, i.e. your own limitation, not some external limitation.

Having a normal circadian rhythm makes the rest of life a lot more enjoyable (fun) than not. Especially after 30.
Just change your web browser's User-Agent to the Google crawler?
I don't worry about malaria per se; as another poster noted, if it had a different vector, we'd see it already.

I do worry about removing critters from the food chain; we've seen plenty of second- and third-order surprises from that. What do the things that eat mosquitos find next-most-tasty, for starters?
Yes this is what everyone who is bad at math will want to take away from this finding.
Are you saying I'm a bad programmer because I can't recite the palindrome algorithm from memory?
That's really strange. Why would encryption affect APFS so badly but not HFS+?
If I can't have a custom name for your Home Operating System then that is a big fail to begin with. I have 2 Homes and man that is annoying having to say Google to activate it. They want branding and recognition that it is Google but I think that will hurt in the long run.
I think maybe it depends a little bit on which university it is: perhaps a small university will not have enough money to hire a big dedicated PR office, so they will rely more on materials submitted directly by the scientist and stick closer to reality. But the PR offices of big universities (in particular MIT) put out pure hype which is very precariously connected to reality. A lot of work goes into these press releases (they will send someone from the PR office to interview the researcher and so on), but the work is not really aimed towards providing an accurate summary of the research...
In which case you'll find a small but annoying set of new problems. Dell can make some great stuff, and Ubuntu can be great. Dell+Ubuntu can be great, or fine, or ok, or a disaster. Unfortunately, and inexplicably, you can't ever really be sure which case you'll get until after you've plunged in. Ask me how I know this :).
What's the definition of "real" here?
Mixed Messages: Measuring Conformance and Non-Interference in TypeScript [pdf]
*sexually attracted to cat urine
Suppose you knew your ant farm contained sentient ants and you comprehended everything there is to know about them from their biology to their behaviour, would you care if they wished to talk with you? I assume if you wanted to talk with them you would've done so already instead of waiting for them to figure things out and reach out
With a few more features, but similar in spirit, is Gina Trapani's todo.txt: https://lifehacker.com/5155450/todotxt-cli-manages-your-task...
It's easy to be glib about this, but this is actually pretty interesting to me!

This trope shows up in so much sci-fi because it's a pretty quick way to undermine any philosophical questions. What's my purpose? To help run this simulation. Maybe I'll live long enough to find out when the outside computer shuts us down. It's never bothered me personally, because there's not a lot to be done about it. On some level, though, it's a though experiment that I didn't have a good answer to.

Of course, it's still unprovable: the outside simulation might have oodles more atoms than our universe, or different physics, or magic! But that's fundamentally less interesting than knowing there's a "higher" universe with roughly the same physics. That looks much less likely at this point.

It's really cool to read an argument that so strongly disproves something I thought was untestable!
I never quite thought of it that way. The first challenge would be mapping out the computational underpinnings of the simulation. I can't even begin to imagine how that might work, though I bet it would look something like physics.
Yes!!

You can email us at jobs@sessionm.com !

Be sure to put "Enterprise Solutions Internship" in the subject line and someone will be in touch!
Kick Health | Software Engineers | San Francisco, CA | Full-Time | REMOTE / VISA

https://www.kickfear.co

We're combining psychology, pharmacology, and mobile apps to help people become their best versions of themselves. Our first app and prescription drug combo addresses social fears, helping introverts and extroverts overcome shyness and build confidence.

Our stack is cutting edge - React Native and Golang, and we're looking for strong product-focused startup engineers.

Sound intriguing? We'd love to hear from you.

Email us at hnjobs@kickhealth.co and tell us your story.
In addition, this doesn't really prove that the "simulation" can't use extremely aggressive "level of detail" culling, only simulating such intensive things like the quantum Hall effect when it directly effects the events of the simulation, or when a particularly curious simulatee decides to measure it. When the simulation can afford to gloss over such intensive details, it could use some much less expensive approximation, and we would never be any wiser.

Same thing with the uncertainty principle: electrons are only an approximation until we take a good look at one!
Agree. Also, the websites that try to get you to unblock ad blockers are equally irritating. Usually I just leave, and find another source of the same news. In many cases their ads are super annoying and CPU-intensive, which is the main reason I block them; it's not that I hate advertising itself. If they were just a simple <img> tag and a hyperlink without a huge pile of JavaScript bloat I would probably not bother blocking them.
Cool work! We made this demo using the same style transfer network in TensorFire: https://tenso.rs/demos/fast-neural-style/! Your size slider was a nice touch :)
GlobalSign | Software Engineer, Project Manager, Customer Support | Portsmouth, NH/Boston/Maidstone/London/Manila/Singapore | ONSITE (Some REMOTE) | Full-Time

GlobalSign is a Certificate Authority and identity services company providing cloud-based, highly scalable PKI solutions for enterprises needing to conduct safe commerce, communications, content delivery and community interactions.

Multiple positions open globally, most on-site and some remote: https://www.globalsign.com/en/company/careers/
Neckarsulm, Germany | FUJITSU TDS GmbH | IT Engineer Linux und Datenbanken (w/m)

Mit über 800 Mitarbeiterinnen und Mitarbeitern betreiben wir Lösungen im IT Outsourcing und SAP Consulting für mittlere und große Unternehmen. Die Fujitsu TDS GmbH, unsere Kolleginnen und Kollegen sowie unsere Arbeitsweise zeichnen sich dadurch aus, dass wir pragmatisch handeln – oder, wie man auch sagt, „machen“. Und Macher gibt es viele. Bei der Fujitsu TDS erst recht: Werden auch Sie Teil dieses starken Teams in einem internationalen Unternehmen mit mittelständischen Strukturen.

Welche Aufgaben erwarten Sie bei uns?
- Sicherstellung des reibungslosen Betriebs und Supports der heterogenen Systemlandschaften unserer Kunden
- Betreuung unserer Großkunden im Banken- und Automotive-Sektor
- Einrichtung, Konfiguration und Betrieb der Server-Betriebssysteme auf Basis von Linux und MS-Windows
- Installation, Wartung und Überwachung der eingesetzten Datenbanken und Applikationen
- Integration und Weiterentwicklung bestehender Systemumgebungen
- Durchführung von Release- und Versionswechsel sowie Automatisierungen und Performance-Tunings

Welche Qualifikationen Sie mitbringen sollten:
- Erfolgreich abgeschlossene Ausbildung als Fachinformatiker oder eine vergleichbare Qualifikation
- Erfahrungen in der Administration mit mindestens einem Server-Betriebssystem (Linux und/oder MS-Windows)
- Kenntnisse in der Administration von Datenbanken (Oracle und/oder MySQL, PostGreSQL)
- Erste Berührungspunkte mit Open Source Produkten, wie Apache, Tomcat, etc., wünschenswert
- Kommunikationsfähigkeit sowie eine selbstständige und zielgerichtete Arbeitsweise zeichnen Sie aus
- Gute Englischkenntnisse in Wort und Schrift runden Ihr Profil ab

Gegenseitiges Vertrauen und ein wertschätzender Umgang bilden die Basis der Zusammenarbeit im Team der Fujitsu TDS. Unsere Mitarbeiterinnen und Mitarbeiter schätzen besonders, dass sie eigenständig handeln können und dass wir kurze Entscheidungswege haben. Wir bieten Ihnen individuelle fachliche und persönliche Weiterbildungsmöglichkeiten sowie attraktive Perspektiven für Ihre berufliche Entwicklung.

Fujitsu TDS GmbH
Diana Weller
Tel. +49 7132 366-1443
recruiting@tds.fujitsu.com
fujitsu.com/tds/karriere
CodementorX | Senior Mobile Engineers | Anywhere | REMOTE, https://hire.codementor.io
CodementorX (https://hire.codementor.io) is an exclusive network where world-class developers can be hired for contractor positions or large freelance projects. We have over 7000+ vetted expert developers, including book authors, top Stack Overflow answerers, popular open source contributors, and engineers at top tech companies.

We’re currently looking for a few Mobile Developers (iOS, Android, Ionic) to work on a specific project.

Requirement:
- At least 20 hours per week of availability & Availability to work in US timezones

This is a remote opportunity. We’re looking for both full-time & part-time contractors.

To apply, please go to: http://codemntr.io/apply-hn
If the people running experiments do not know and cannot be told how to do the fundamental thing that they are trying to do, then you have bigger problems.

Which is ultimately what this post points to: the author doesn't trust his team and isn't listening to them and doesn't expect they will listen to him. Regardless of the degree to which the author is correct in his assumptions, the problem is more than just engineering.
The effort to fix a defect is proportional to the time between introduction of a defect and it's discovery.

This is a basic intuition behind all good practices, including CI, QA, etc.

Types allow one to discover program defects (even generalized ones, when using some of the programming languages) in (almost) shortest possible amount of time.

Types also allows one to constrain effects of various kind (again, use good language for this), which constraintment can make code simpler, safer and, in the end, more performant.
I really don't think it does that. Most refactoring is not like that. It is about changing things at a deeper level than just the type.

I don't think they enhance code readability - I think they make it worse. I never look at the type when I am reading code, it just gets in the way.
Knotch | Senior Backend Engineers, Fullstack Engineers | NYC | On-site or remote

Knotch (https://www.knotch.it) is a series A funded ($14M) brand measurement platform used by some of the world’s largest brands and distributed on some of the internet’s most popular publications. Our stack includes Ruby, NodeJS, Postgres, MongoDB, Rails, Grape, Express, Redis, React, D3, StatsD, Docker, Terraform, Ansible, AWS, and more.

- Our backend is primarily built in Ruby, but only a small percentage of our code runs on Rails.

- We prefer stable and known technologies over the new shiny tool on the block

Benefits:

- Free health, dental, and vision insurance. Free lunch. Free metrocard.

- Unlimited vacation and sick days

- Flexible work from home / remote policy

- Dog friendly office

Senior Backend Engineers: https://www.knotch.it/jobs?gh_jid=117814

Fullstack Engineers: https://www.knotch.it/jobs?gh_jid=268197
Why does everybody assume that the simulation must be real-time? Maybe 1 second of our universe takes ages in other universe. What a waste of an article.
Pusher | Growth Marketer | SaaS | London | Full Time

There are more than 20 million developers in the world, with millions of “soon to be developers” currently in colleges, universities, coding bootcamps or teaching themselves how to code via online courses or following tutorials. These are your customers.
We believe that in the next 10 years, every company will become a software company and developers will need great tools to be productive and do their jobs.

What could you be working on?

Create & launch creative awareness campaigns (new landing pages)

SEO optimisation of our digital properties (blog, marketing websites, etc)

Performance & conversion optimisation of the critical steps in our funnel (1st visit to $$)

Leverage videos to reach developer communities and acquire new users Ads, if that makes sense

Create massive campaigns, using data and analysis, that help us make the developer life even easier
… and whatever you come up with to achieve your squad objective

Find out more here: https://pusher.workable.com/jobs/576240
Holidu | Multiple jobs (backend, frontend, Data Analytics) | Munich, Germany | Full-time, Onsite | https://holidu.com/careers

Do you want to learn something new everyday and want to build something big? Do you want to take responsibility? Do you love to deal with the newest technologies and with holidays? Then you are the perfect match for us.

Tech: Java, Play, ElasticSearch, Node.js, React, AWS, Tenserflow, etc.

We are looking for:

- DevOps Engineer (m/f)

- Working Student Frontend Development (m/f)

- Working Student Java Development (m/f)

- Intern Technical Product Management (m/f)

- iOS Developer (m/f)

- Android Developer (m/f)

- Technical Product Manager (m/f)

- (Senior) Fullstack/Java Developer (m/f)

- (Senior) Frontend Developer (m/f)

- Junior Backend Developer (m/f)

If you have any questions, please email us at: dev@holidu.com
If Visual Studio is your example, then you're making the same argument as the author: there's a sweet spot. From the python world, c# may look statically typed, but from the Haskell/Idris point of view, the java/c# type systems look really sloppy and ambiguous.
If those bugs manifest as miracles etc, then there are already plenty of people looking :)

Wonder what the language was to create the simulation, so one could have a more educated go at finding the exploits.