skysight-inc/HackerNews huggingface dataset:
Diginex | Blockchain startup | Hong Kong | F# devs | Fulltime employees ONSITE preferred, VISA sponsors (for freelancers we might accept part-time and/or remote work, if you prove yourself to be worth it)

We are a blockchain start-up based in Hong Kong. Our business consists of cryptocurrency mining, financial services, Initial Coin Offering (ICO) and blockchain technology consultancy, and software research. Among our products, we are developing an opensource crossplatform multicurrency wallet app for desktop & mobile devices and we have plans to build a cryptocurrency exchange platform. Our goal is to become a legitimate, regulated, go-to global blockchain service provider. Our core values are based on high professional standards, where the ability to work effectively and independently is a must-have.

We are looking for filling several vacancies for the following role in the next few weeks:

F#+Xamarin Developer (no previous blockchain experience required): must be comfortable working with opensource workflows (pullrequests, code review, git, etc). Typescript & selenium experience are a plus.

Work onsite (relocation package is offered) is preferred but not a must. Please send CV and short cover letter to andres.aragoneses at diginex dot com.
Aside from the entertainment value of fixed-in-stone contracts, there is also the issue (touched on in the article) that the result would slow the economy drastically.
Local Resistance Builds to Google’s ‘Smart City’ in Toronto
NGP VAN - Washington, DC and Somerville/Boston, MA

We are hiring for several technical positions:

* Software Engineer, Security - Somerville, MA - https://ngpvan.applytojob.com/apply/rwDjRckod1

* Software Engineer, Security - Washington, DC - https://ngpvan.applytojob.com/apply/ZOf9GO3UJp

* Lead Web Designer - Somerville, MA - https://ngpvan.applytojob.com/apply/7ZZRx1liOn

* Lead Front End Engineer - Somerville, MA - https://ngpvan.applytojob.com/apply/wUSeC2fs0c

* Devops Engineer - Somerville, MA - https://ngpvan.applytojob.com/apply/OgKu2d

* SQL Developer - Somerville, MA - https://ngpvan.applytojob.com/apply/us5x3eOevM

* SQL Developer - Washington, DC - https://ngpvan.applytojob.com/apply/RcF7c0KJHR

NGP VAN is a technology company whose team members do exciting and meaningful work that has a significant impact on promoting civil rights, social justice, and environmental responsibility.

Employees enjoy an unusually generous set of benefits, including 12 weeks paid parental leave, profit sharing, 100% premium-paid health/dental, and an ongoing education allowance. NGP VAN is one of only a handful of companies to be recognized as one of the fastest growing companies in America by Inc. Magazine for 10 years. Inc. Magazine also recognized us as one of the 50 Best Places to Work in 2016.

Join our team and work alongside more than 200 smart, passionate, and innovative co-workers, many of whom are industry recognized as experts in their fields.

NGP VAN believes a diverse, inclusive staff makes us a stronger company and better partner for our clients. We’re committed to hiring people of all races, ethnicities, ages, sex, genders, sexual orientation or gender identities, marital status, religions, and disabilities. Women, people of color, LGBTQ individuals, and members of other minority or marginalized groups are encouraged to apply.

Keywords: ONSITE
Yes, the evolution of Lisp was guided by brilliant people. I regret throwing out so many of my old Computer Science related books over the years (e.g. the Interlisp Reference Manual) because the few that remain remind me of the history of programming that has occupied so much of my life.

While being nostalgic about the early days of programming languages, I am not as pessimistic about the current state of the art. There were plenty of old programming languages that have faded away despite being important in their day (IBM's PL/1) and lots of work on new languages is pushing in interesting directions (Haskell, Idris).

Common Lisp has hung on and perhaps survivor bias has made it seem special, but to me, it is special. While working with it I feel that I am working with a language of the future from the past.

The landscape of calculation is much bigger than it was half a century ago, when I started programming. It is populated by an enormous ecosystem of processing units from tiny to enormous, embedded to networked across the planet, with single processors to high performance multiprocessors. All of this is controlled by programming and the programmers that wrestle the world of computing into submission. In this Hobbesian ecosystem some languages have prevailed for many years, like Java and C, others have survived even longer like FORTRAN and LISP, and some have simply proliferated rapidly, like Python, all for reasons that are complex and involve human abilities and computer architectures. Not all of them are beautiful, Lisp is, but all of them have a place even if only to reveal what does and doesn't work.
The costs you mentioned, though they sound physically imposing, do not approach the 2% gross on all transactions charged by card issuers.

In addition, with cash, there is another abstract (collective) benefit. It is anonymous. An entity can neither trail a single dollar bill as it moves through individuals, nor arbitrarily prevent certain individuals from spending. Electronic forms of payment are less free and less secure from a very broad social standpoint.
Do you have a link to the source?
Gaia GPS | Junior Software Engineer | Focus on iOS | Full-time | www.gaiagps.com

Remote (So far: CA, PA, OR, SD, MT, OK, WA, WI)

Help build the future of outdoor mapping at Gaia GPS. We're looking to hire a developer who wants to work with a strong team and learn a lot. You'll join a 5-person dev team whose past experience includes Google, Facebook, Mapbox, and the founding of Gaia GPS.

This position starts with a base salary of $65K, and is our first explicitly junior hire. You'll be focused on iOS development at first.

We heavily favor candidates who do a lot outdoors.

You might be:

* a CS graduate with 0-1 years of experience

* a new-ish programmer who switched from a different profession

* an experienced developer, who hasn't been part of a strong product team

Lifestyle and Benefits

* We have the most flexible, remote work environment, which lets all of us balance family and other interests, with work.

* We offer 4 weeks of vacation, and another 12 paid holidays that can be shuffled around. We provide 2 months of paid maternity, 1 month of paid paternity, and additional unpaid leave.

* Non-salary financial benefits include bonuses based on company performance (you'll learn the formula while interviewing), health insurance, and 401K matching.

* We provide the best computers, monitors, tablets, and other home office equipment. We reimburse home internet and mobile phone bills. We comp expenses for any sort of books or other materials for learning.

* We have a retreat every 9 months, alternating with and without families (past ones include Tahoe, Zion, Rocky Mountain NP, camping, backcountry skiing, etc), to hang-out and mingle the remote team.

~~~ jobs@gaiagps.com ~~~
It is worth noting that Pyramid Web Framework is also awesome to use. I see it as a middle ground between Django and Flask. The scaffolds make some design decisions for project and you can pick from what you like the most. Pyramid allows for extensible applications and never gets in your way.

The most critical Python infrastructure (PyPi) is now built with it, if you haven't tried it give it a shot. It is one of most well thought out frameworks for python in my opinion.

I've made a tutorial for it: https://docs.pylonsproject.org/projects/pyramid-blogr/en/lat....
I have no idea how FORTH stacks up (haha) to other languages on modern machines insofar as speed is concerned. Modern FORTH is compiled so the difference may be quite less than the 3x you are proposing.

On older machines, you will find published benchmarks showing FORTH to be 10 times slower than assembly. Compare this to BASIC which was usually 30-40 times slower than assembly in the best bases.

I think your 3x speed difference between C and FORTH to be on the ball for these earlier machines.

The other advantage of FORTH on these old microcomputers/microcontrollers is that threaded code tends to be quite compact, so you can write larger programs. Efficient use of memory was tantamount on old machines and controllers.
> Too much Lennon is whiny, and too much McCartney is syrupy and cheesy.

That's an overly simplistic - and I'd say wrong - characterization.

On the early albums leading up to Rubber Soul, Lennon handles a larger share of lead vocal duties. He sings ballads ("I'll be back", "Anna"), rockers ("A hard day's night", "Twist and shout") and mid-tempo songs that fall somewhere between rockers and ballads (like "you can't do that").

When he does start sharing vocal duties with Paul on Rubber Soul, there's not a single "whiny" Lennon song. There's "Norwegian Wood" and "In my life" (not to mention fillers like "Run for your life") which are written, sung and arranged in anything but a "whiny" style.
Tron is a great game for fitting into a very small space. Back in high school I spent a lot of time optimizing Tron on the TI-82 to fit in as few bytes as possible. It looks like I got it down to 152 bytes: (only about 80 bytes of actual Z80 assembly code)

https://www.ticalc.org/archives/files/fileinfo/227/22747.htm...
In related news, RAND just finished its study of the Gates Foundation's "Intensive Partnerships for Effective Teaching initiative".

RAND found that "With minor exceptions, by 2014–2015, student achievement, access to effective teaching, and dropout rates were not dramatically better than they were for similar sites that did not participate".

It's refreshing to see a holistic approach to helping at-risk students, instead of assuming that teachers are the most important component. Good nutrition, safe transport to school, and support for parents all seem like ideas that should be more experimented with.

https://www.rand.org/pubs/research_reports/RR2242.html
This reminds me of the documentary "Waiting for Superman". It's kind of poetic that LeBron James is making this effort.
Pacifical MSC Sustainable Tuna Now Traceable via Ethereum Blockchain
is you suggestion that if they had of used 3/4 bit ANSI colors (basic but not high intensity) that you could have remapped "white" to be something that shows up in your white terminal?

That.... works i guess but it's pretty limiting and only helps people who happened to have completely reworked the definitions of basic things like "white" and "black" and "blue" which would result in a completely unpredictable result for the app creator. A much BETTER solution would be for them to set the background color because they've got a UI specifically designed for dark background.
>The vast majority of charter schools are non-profit.

According to this article [1], schools can technically be registered as a non-profit, but contract out day to day operations to a for-profit management company owned by the same people who run the non-profit.

This setup allows the school to take in tax free donations, but it means that from a profit motive standpoint it's identical to a for-profit school.

I have no idea how common this is, but it does mean that it's not quite as simple as saying that the vast majority are non-profit.

1. https://ourfuture.org/20170615/are-nonprofit-charter-schools...
"Dont be evil" is nothing but a cute marketing statement. It has never been a serious principle in the life of the company and ceases to hold any meaning once it became a major multinational corporation.

I dont understand why this phrase keeps being brought up by the HN community which usually doesn't buy marketing gimmicks but in this case seem to be completely befuddled that a company that just said 3 words could somehow do things they may dislike.
Here is a site which does pretty print of RFCs - https://pretty-rfc.herokuapp.com

Also, while reading RFCs, following is handy -

MUST (absolutely required)

MUST NOT (absolutely prohibited)

SHOULD (highly recommended)

SHOULD NOT (highly not recommended)

MAY (meh)
QBE | Data Scientists | London, UK | Full-time, ONSITE, VISA, DETAILS: We're one of the world's largest insurers, managing $3bn of policies in Europe alone, covering a large number of domains. In Europe, we focus on commercial insurance, where we use a broad set of machine learning tools, natural language processing, and data visualisation to solve business problems. Data is critical to our decision making process, where it influences pricing, risk assessment, fraud, claims, customer acquisition and others. We are on a journey to be the most progressive user of data science within the insurance industry. You will be working with a diverse team (12 and growing) using the latest technologies, while working closely with experts with a vast knowledge in each specific domain, and strong corporate sponsorship. The Data Science team has a largely flat structure, and you will have the freedom to solve problems as you see fit, to really make a mark within the company.
Stack-wise, we currently use the PyData stack (pandas, sklearn, statsmodels, etc), Kubernetes, Terraform, Gitlab (and Gitlab CI), Bitbucket, Superset (and some Tableau still). The data science team is also planning to use Airflow and migrate entirely from Azure to Google Cloud.

What we offer

* competitive compensation and benefits

* HQ at the heart of the financial industry, working alongside industry experts

* a diverse set of problems, our products span across several domains

* flexible working

* hot desking, all desks adjust to standing

* VISA sponsorship

RATE: Attractive Package including Health Insurance, Bonus, Pension, Flexible Working CONTACT: ds.jobs@uk.qbe.com (please mention Hacker News when you get in touch)
Salesforce - SIQ/Einstein | Backend, DevOps, Data Engineering, ML | SF / PA / Remote | Visa | $100-180k + equity & bonus

Help us find Insights from activity data. Our stack is primarily in AWS. Main languages are Kotlin, Scala, Java. Tech includes Spark, Storm, Kafka, Cassandra, Postgres, Docker, GraphQL and more. Plenty of challenges to solve. Good fun too like Russian River trips.

Please reach out to me, Scott, at s.young@salesforce.com if you’re interested and want to learn more.
Scholze's win has been predicted for quite a while now, as it turns out. He's a number theorist of stunning originality primarily known for developing a new kind of geometry, that of perfectoid spaces, for arithmetic purposes.

Here's an interview with him that will be accessible to nonspecialists:

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

At a higher level, here's an appraisal of his work by a professional in a closely related area:

It's not often that contemporary mathematics provides such a clear-cut example
of concept formation as the one I am about to present: Peter Scholze's
introduction of the new notion of perfectoid space. The 23-year old Scholze
first unveiled the concept in the spring of 2011 in a conference talk at the
Institute for Advanced Study in Princeton. I know because I was there. This
was soon followed by an extended visit to the Institut des Hautes Études
Scientifiques (IHES) at Bûres- sur-Yvette, outside Paris — I was there too.
Scholze's six-lecture series culminated with a spectacular application of the
new method, already announced in Princeton, to an outstanding problem left over
from the days when the IHES was the destination of pilgrims come to hear
Alexander Grothendieck, and later Pierre Deligne, report on the creation of the
new geometries of their day. Scholze's exceptionally clear lecture notes were
read in mathematics departments around the world within days of his lecture —
not passed hand-to-hand as in Grothendieck's day — and the videos of his talks
were immediately made available on the IHES website. Meanwhile, more killer
apps followed in rapid succession in a series of papers written by Scholze,
sometimes in collaboration with other mathematicians under 30 (or just slightly
older), often alone. By the time he reached the age of 24, high-level
conference invitations to talk about the uses of perfectoid spaces (I was at a
number of those too) had enshrined Scholze as one of the youngest elder
statesmen ever of arithmetic geometry, the branch of mathematics where number
theory meets algebraic geometry.) Two years later, a week-long meeting in 2014
on Perfectoid Spaces and Their Applications at the Mathematical Sciences
Research Institute in Berkeley broke all attendance records for "Hot Topics"
conferences.

- Michael Harris, "The Perfectoid Concept: Test Case for an Absent Theory"

https://www.math.columbia.edu/~harris/otherarticles_files/pe...
Show HN: enex-dump – Extract notes, attachments and metadata from Evernote
What I am wondering is why they chose 25519.

It would seem to me that offering NTRU Prime or one of the other NIST finalists would be a prudent future protection.

https://csrc.nist.gov/Projects/Post-Quantum-Cryptography/Rou...
The reason the school days are long is because the kids generally have nowhere to go and are susceptible to gang violence or other trouble since there are rarely adults who can pick them up at 3. It is trying to give them shelter and a place to stay out of trouble.
Bots Are Playing a Bigger Role in the Election Than People Realize (2016)
Blue Bottle | Senior Full Stack, Senior Rails, Mobile, Senior Data | Oakland, California | Remote OK | Full time

Blue Bottle Coffee is hiring for several Senior developer roles to support our E-commerce platform, Internal Tools, Data Infrastructure, and Mobile projects.

Blue Bottle is undertaking a variety of greenfield projects in the next year and excited to nearly double the size of our team—huge amount of opportunity for ownership and leadership. (this is why we're currently only hiring at the senior level)

Also, c'mon, the coffee is great...

We are currently using Ruby/Rails, Go, and Python as our primary languages for dev. Moving towards React. Everything is on AWS, mostly using Docker, we also have CI/CD, and use the ol' github.

Some job descriptions: https://jobs.lever.co/bluebottlecoffee?department=Digital&te...

Email me at bryanbischof@bluebottlecoffee.com if ya wanna.
Summer | Full Stack | New York, NY (NYC) | Full-time | ONSITE | https://www.meetsummer.org Summer is a startup committed to helping student loan borrowers track their loans and identify the best repayment options based on their unique financial situation. Our platform provides essential resources including a personalized loan payment dashboard, payment notifications, student loan policy updates, and customized repayment plans. Through our sophisticated algorithm, we can save borrowers thousands of dollars and hours of headache by helping them through the process each step of the way.
Summer is based in NYC and is quickly scaling to help borrowers across the country after launching at Yale University in 2017.

Tech stack: Node, PostgreSQL, React, Redux

Apply directly: https://www.meetsummer.org/careers/
Inpher.io | Privacy Preserving Analytics | New York (USA), Lausanne (Switzerland)

Experienced Software Engineers:
We are a startup developing a novel technology for privacy preserving analytics. We are seeking high performing individuals that will work on the design and development of our XOR Secret Computing™ Engine. You should have proven experience with development of large software systems as well as taking responsibility for testing and reviewing code and customer facing roles. You will join a smart, geographically distributed development team.

Other open positions include:
-Data Scientists and Machine Learning experts
-Applied cryptography engineers, UI/UX designers and developers
-Technical Business Development

Send your resume to: careers@inpher.io.
I've been working with the Fusion.js team for the last year now, and I think it's evolved into a really interesting and modern web framework. Internally we've started rolling this framework to a few dozen web applications, and soon we will have hundreds of web apps running it. I think it's a great choice to use as a base for high-performance and complex web applications.
Derren Brown did a great series of tricks based on probability.. your comment reminded me on the one that showed a video of him flipping 10 heads in a row on an unbiased coin. He revealed them that he had done it by flipping a coin for hours until he got that sequence.
I don't understand the desire for all the git integration into the editor. I mean, it might make sense because Atom is owned by Github, but why otherwise?

I feel like a lot of their resources are being put towards git integration instead of improving the editor and performance... which are some of the primary reasons people leave for VSCode.

Maybe I'm the odd man out though, since I like to use CLI git directly.
"You can't throw more money at a problem, then declare you've come up with a general solution."

Yes you absolutely can!
No one is (practically) using Docker on Windows. It’s all Linux and .Net Core is built from the ground up to be a first class framework for Linux.
The landfills often tap the fill for methane generated by the contents. I happened to run into a guy the other day who worked at the power generation plant for one of these. The theory is that burning the methane to produce electric, and breaking it down to CO2 is generally preferable than the slow leak of it into the atmosphere where methane has a stronger greenhouse gas effect than CO2.

Edit: stronger not "strong"
It's fair to point out the limitations of libraries like this, but it's only a mistake if you don't understand what you're getting into.

There's a definite tradeoff: short-term productivity vs. long-term flexibility.

I think there are certainly cases where it makes sense to choose short-term productivity, as long as you understand the potential tech debt you're incurring.
Public schools have been doing this for decades. Creating at least one good school for high intellect students. They are called magnet, governor's school, or experimental school. Where it is hoped the teaching methods tried there can be passed into the broader public school system.

Charter schools do not share that motivation. If they find a teaching method that works better their objective is not to share to but instead use it to capitalize and enrich themselves.

Finally, charter schools are publicly funded. If they are taking tax-payer money the results should absolutely be replicable.