skysight-inc/HackerNews huggingface dataset:
Dia&Co | New York City | Onsite | Remote OK | https://www.dia.com

Dia&Co is the leading personalized styling service for women who wear sizes 14+. Our business meets a profound need, and we are on a mission to democratize fashion — not only by providing easy access to quality clothing, but also by building an inclusive community of women who use fashion to celebrate their bodies.

To learn more about who we are, our engineering culture, and whether this is the right place for you, read our Key Values profile: https://www.keyvalues.com/dia&co

Our open positions:
* Lead Software Engineer: https://grnh.se/eekdkocj1

* Senior Software Engineer: https://grnh.se/eshew45o1

* Software Engineer: https://grnh.se/j3egdukt1

* Machine Learning Engineer: https://grnh.se/k2r8iyqt1

* IT Technician: https://grnh.se/w4dokck31

* Statistical Analyst: https://grnh.se/sirmilts1

* Senior Product Designer: https://grnh.se/ndsjr3cw1

* Data Team Summer Intern: https://grnh.se/d564110c1

Tech Stack: Engineering: Ruby on Rails, React, Postgresql, ElasticSearch
Data: Python + Go, Docker, AWS services (e.g. Kinesis, Lambda, ECS, Fargate…)
First confirmed image of a newborn planet revealed
Microsoft catching up to Amazon in security clearances for cloud
I was hoping that this would be the opposite: [clean up] dirty code [on] Monday. I'm concerned enough already about whole dirty code months back when we were "moving fast" to get the iterations of MVPs done.
The rationale behind this "mess" is precisely that people cannot write code like in the first example of the blog post, effectively relying on undefined behaviour, and have this ugly code work most of the time.
I don't like FB, but that was in 2015 before people went crazy with Russia hysteria.
I think that doesn't change so much either...
‘How one Berlin neighbourhood is fighting off the Google giant’
>> Grade inflation refers to the phenomena of getting an "A" despite having what used to be a "B" or "C" level of knowledge.

> If an institution gives grade A based on some objective criteria and students getting the grade C turn out to be successful business people then methodology of the institution will be considered flawed by the vast majority. Soon, the institution will lose its relevance.

What you describe is grade inflation.

Grades aren't meant to be predictors of career success, they're meant to be indicators of past academic performance. My understanding is that once upon a time, a "C" grade meant your work was average or typical, which was perfectly respectable. An "A" or "B" mean your academic work was above the norm or outstanding. People could get C's and go on to have successful, non-academic careers (such as in business) with little comment.

With grade inflation, when "average" is an A or B, it's much harder to distinguish the truly academically talented based on their grades, since they're grouped into the same category as average performers.
LoanStreet | Senior FrontEnd & Fullstack Engineers | NYC Series A Startup | 100K - $150K | Equity | https://www.loan-street.com

THE COMPANY:

At LoanStreet, we’re building a platform that makes the sophisticated process of lending into an intuitive and delightful experience. We help Credit Unions, Banks, and other lenders originate, syndicate, and manage loans. LoanStreet not only benefits lenders and their borrowers, but also brings transparency and stability to the lending industry. We are determined to transform lending in America.

Please contact careers@loan-street.com to apply.

ROLES:

Senior FrontEnd & Fullstack Engineers:

We are seeking to grow a team of engineers with the vision to build a powerful platform and the talent to do it the right way. Currently, we're a small team of 6 full-time engineers, and as one of the early members you will have a significant voice in both engineering and the company as a whole.

This type of platform is sophisticated with technical requirements spanning a broad variety of disciplines. There are already hundreds of millions of dollars flowing across the platform, with billions anticipated. It’s an exciting time to join and we are looking for brilliant people to share that excitement with us!

Key Technologies: React, GraphQL, Flow, Python, Django, Docker, AWS

*	Preferably 6 or more years web development experience
*	Place great value in testing and writing readable, maintainable code
*	Understand the complexities of developing and maintaining production software
*	Strong disposition towards collaboration and communication
*	Analytical and skilled at deductive reasoning
*	Intellectually curious and willing to voice opinions and support them
Technically, neither does ARM. Although you can enable emulation for unaligned accesses. One of the first things I did when setting up QNX was enabling emulation for unaligned accesses to eliminate a SIGBUS termination on some of our applications.
Full-time, remote within US, UK, France

Ksplice is a key technology in Oracle's Linux offering and powers our engineered systems and public cloud, patching the Linux kernel, user-space and virtualization stack without any downtime. We're a distributed team of engineers forming part of the Linux and Virtualization group at Oracle with a passion for working on exciting technology, software craftmanship and all things Linux.

We're looking for a systems engineer to help scale as we continue to expand into the Linux stack, developing custom tooling and automation for patching thousands of kernels, hypervisors and packages to rapidly respond to security updates. This is a varied role that will see you building Python based tools to manage large numbers of virtual machines, writing C based patching and analysis tools and debugging hard problems in a variety of Linux distributions.

Required skills include:

* Experience building complex systems in Python or other systems languages.
* Strong understanding of low-level programming in C/C++ and associated tooling.
* Experience of Linux virtualization solutions including KVM/libvirt+Xen.

Other useful skills include:

* Experience developing the Linux kernel or other low-level applications.
* Performance tuning and optimization.
* Excellent problem solving and debugging skills.
* Familiarity with configuration managment tools such as Puppet/Chef/Ansible.
* Experience in developing cloud native solutions.

More information about Ksplice is available at http://ksplice.oracle.com/ and you can contact me by email at jamie.iles@oracle.com if you have any questions. Oracle is an equal opportunity employer.
SPARETECH (www.sparetech.io) | CFO/Co-Founder | Stuttgart, Germany | 55-65K, 15-20% equity

An enterprise cloud-service for manufacturing companies. We are committed to unleash the potential of collaboration in complex production networks. Our IoT/data driven approach for spare part management helps manufacturing companies increase machine uptime. First automotive customers signed.

Bringing software innovation into traditional industries is great fun, believe us :)

More info: https://angel.co/sparetech/jobs/380931-cto-co-founder-for-io...
https://en.wikipedia.org/wiki/Double-negation_translation
> The article describes a lot about the workflow, but only two sentences about the advantages

The article is a good complement to one that I wrote about specifically the advantages - https://begriffs.com/posts/2018-06-05-mailing-list-vs-github...
Because static typing primarily focuses on showing that your types align. This is completely tangential to knowing that the code is doing what you intended.

In fact, it's often at odds with understanding the intent of the code because you're limited to a set of statements that can be verified by the type checker. This can make it harder for the human reader to understand what the code is meant to be doing.

For example, it takes nearly 300 lines of code to encode insertion sort using types in Idris https://github.com/davidfstr/idris-insertion-sort/blob/maste...

A human reader has to be able to read that and understand that the types are encoding the intent correctly. I don't know about you, but I have a much easier time knowing whether the dynamically typed version in Python is correct or not:

def insertionSort(lst):
for index in range(1, len(lst)):

currentvalue = lst[index]
position = index

while position > 0 and lst[position - 1] > currentvalue:
lst[position] = lst[position - 1]
position = position - 1

lst[position] = currentvalue

Complex type definitions effectively become their own meta-programs that the compiler uses to verify your program, but now you've just pushed the problem back a step since somebody still has to read and understand the meta-program to know that it's verifying the correct thing.
> When I was very small (2-4), if my parents were painting a room, I was also in old clothes with a paintbrush "helping". Same with spring cleaning or whatnot.

One of my favourite childhood photos is me mowing the lawn (with a plastic "bubble spewing" lawnmower). A thing I used to walk behind my father as he mowed the lawn.

It never really had the soap to make bubbles in it. Didn't care about that. I was helping
I don't see what being a successful business person would have to do with learning the material in a course, such as calculus or physics.
Private banks also create money, not just the Federal Reserve. Look up fractional reserve banking. The system is implicitly inflationary.
My guess is type based alias analysis. The classic example is casting an int to a float like so may crash your program due to undefined behavior:

float my_bad_function(void)
{
int x = 5;
float* y = (float) &x;
return y;
}
Sorry for assuming! My first thought was a CDN or caching layer, and Cloudflare is the first that comes to mind. I should've investigated a bit more
Unless you're explicitly looking to experiment with a specific technology or framework, I think its a good practice to start your implementation reasoning from a boring perspective. What this means for you personally will vary based on your skillset. However, if you can pull something off in an "engineering-easy" way, you can be wildly productive.

With that said, you have to be smart and know when boring is not enough. 3-tier apps are great until complexity pushes them into gnarly monolithic messes that resist change. And with some sensible UX thinking adopting SPAs can push your user experience forward. NoSQL databases might not be the best choice as your primary datastore but might be a better alternative than materialized views (Graph databases are often utilized by some organizations as part of their secret sauce)
I'd specifically ask the Racket or Erlang folks. Racket because of academic rigor and Erlang because of serious production usage. That said, every large Erlang codebase gets Dialyzer Treatment [1] at some point.

The two systems are converging, it is inevitable.

[1] http://erlang.org/doc/man/dialyzer.html
This is the one I was thinking of:
https://web.archive.org/web/20120218185250/http://agbi.uni-l...
Released GoJSONQ v1.3 with some new features
I use a ~35x40cm, 8mm thick, ~8kg slab of iron as a baking steel. It does take a while to heat up, and conversely also to cool down again, but it produces extremely consistent and good results.

As someone who's cracked several conventional baking stones, I would be seriously surprised if the Slab O' Steel doesn't outlast me. I can highly recommend getting one, it's definitely worth it.
I had the same question and the only thing I could find was maybe a reference to ASIC, hardware specifically designed to mine Bitcoin. But I'm not 100% sure if that's what gwern was referring to, but seems to make sense in context.
Butterfly Network| NYC or CT| Full-time | Onsite | https://www.butterflynetwork.com/

Butterfly Network, Inc. has raised >$100M to develop and commercialize a smart, pocketable ultrasound device. We have the audacious mission to democratize ultrasound and enable all healthcare professionals to routinely perform diagnostic and therapeutic imaging at the point of care.

Our successes have been profiled in various media outlets including MIT Technology Review, IEEE Spectrum, Forbes and Wired Magazine. Butterfly Network, Inc. (as a 4Catalyzer company) is privately held and well-funded by a small group of extraordinarily successful serial entrepreneurs.

We are hiring across the board on our engineering team:

- Senior/Principal Full-Stack/Back-End Engineers

- Senior Site Reliability Engineers

- Senior/Principal Android Engineers

- Device Software Engineer (c++)

- Senior iOS Engineers

- Senior Data Engineer

- Senior Product Designer

- QA Engineer

For more information, feel free to visit our careers website https://careers.smartrecruiters.com/4Catalyzer/butterfly-net..., or send me an email at maria@butterflynetwork.com
And git was specifically designed for that workflow.
Location: Netherlands

Remote: Yes

Willing to relocate: Yes

Technologies: Go, JavaScript, TypeScript, React, Docker

Resume/CV: https://nikitavoloboev.xyz/cv.pdf

GitHub: https://github.com/nikitavoloboev

Email: nikita.voloboev@gmail.com
Yet they're saying 6000/week by the end of next month. It's a never-ending sprint for the production line workers.

Why not aim for sustained 5000/week, increase QA/reduce re-work and go from there? The fact that Musk is unable or unwilling to take that stance is a red flag for me and underscores my unease.
Major League Hacking (MLH) | Developer & Designer | New York, NY | ONSITE | Part-time, Contract, Freelance

Major League Hacking (MLH) is building a small team of developers and designers to help us educate and empower our community. Every year, thousands of developers, designers, and makers attend MLH events where they learn new skills and develop a deep passion for technology. You'll help us translate our goals into compelling web and in-person experiences with pixels and code!

- Front-end Developer – https://careers.mlh.io/jobs/product/front-end-developer/?sou...

- Graphic Designer (Print) – https://careers.mlh.io/jobs/product/graphic-designer-print/?...

- Web Designer – https://careers.mlh.io/jobs/product/web-designer/?source=hn-...

---

COMPANY: Major League Hacking's (MLH) mission is to empower hackers. Each year over 100,000 young technologists and innovators around the world attend MLH events and join our community. Our events provide a self-driven environment where community members learn from each other outside the confines of traditional academia. The MLH team grew out of this movement and is dedicated to making it accessible to the entire world. http://mlh.io/
My memories from flashing phones circa 2003-2004 may be a bit rusty (btw. back than "flashing" meant something completely different than nowadays ROM uploads, it was more akin to poking machine code memory locations in BASIC on 8-bits :) ), but if I recall correctly, the device periodically scans all the BTSs it can see and sends that list with signal strengths to the network (and the network decides which tower should the device connect to!).
Something tells me that the device even stayed connected to multiple strongest BTSs at once, but that may be a false memory.

Of course, that was old GSM days, it may be something completely different today in 3G/4G/LTE, but so is on the other hand the location hardware and algorithms of carriers.

But no, no handoffs were needed to track you very precisely even back then. There were ways around, but given the poor opsec in the case, it is doubtful something like that was used here.
At the high school I worked at some years ago we pushed the margins for letter grades up a little. For example, where a C used to be 70-80% it became 72-82%, up to A which is 93-100%. Whether or not that affected the overall GPA distribution I could not say.
Altering rat behavior with optogenetics
No worries. Perhaps Fastly's having a bad day in your area. It happens. #hugops

FWIW I can get to reddit.com and rubygems.org without any trouble for London.

Perhaps: https://status.fastly.com/incidents/pxsc7wj4sbds
>prices tend to increase because good land is scarce in most places people want to live.

Prices are driven by demand. A crash will inevitably reduce demand. Just like equities, real estate involves speculation. It may not be as bad as 2008, but we will still see a significant drop in real estate prices.
cjdns[1] is an encrypted ipv6 overlay network that uses the firstbits of your public key hash to generate your ip address.

theoretically, multiple keys can share an ip-hash, but the handshake will fail if the intended recipient doesn't have the expected keypair[2]. so far this hasn't been an issue, but you are better off if you know the destination's pubkey beforehand.

[1]: https://github.com/cjdelisle/cjdns

[2]: https://github.com/cjdelisle/cjdns/blob/master/doc/faq/doppl...
I could never figure out how to parse something between evaluating inside out (strict) and outside in (lazy, well ignoring the complexity around multiple evaluations). Every informal definition I thought of seemed too weak to be useful. This was due to the core problem that generally speaking the coder needs to know if a particular expression will be evaluated using local reasoning (e.g. if I get here will `A` or `B` be evaluated) and without by-demand or strict you can't make that guarantee.

Taking a quick look at pH it looks like they haven't figured out the semantics quite yet so that isn't a true answer to the question either.

Have there been any other non-strict languages with well known semantics? (Excluding things like Prolog)
UpTrending | Front-end and Sr. Full Stack PHP Developers | Westlake Village, Los Angeles, CA | Full-Time | Remote

UpTrending is a technologist-centric digital agency, originally founded in Silicon Valley to service the marketing needs of venture-backed B2B software startups. Our clients include SAAS products, big data, AI and data security companies. We are experts in the marketing of B2B technology businesses, with our core service offering of strategy, website design, development and marketing integrations.

UpTrending has been a globally distributed team for our entire history. Though our HQ is now planted in Southern California, we have core team members across the globe from engineering to leadership.

We are growing our expert team to support the increasingly complex needs of enterprise-scale clients, and incubating game-changing data products of our own.

We are looking for a full-time experienced Front-End Web Developer and a full-time Senior PHP (Wordpress) Developer, to work with our clients in building their web presence. This is primarily PHP Wordpress, HTML, CSS but also looking for strong skills in Marketing Automation / Integrations, Javascript, DevOps, Laravel, React, Vue, Angular devs as well.

Remote is OK as long as you are within a 5 hour time difference of USA Pacific timezone.

Details for Sr. Full-Stack Developer: https://uptrending.recruiterbox.com/jobs/fk01pem?source=HN

Details for Front-End Web UI Developer: https://uptrending.recruiterbox.com/jobs/fk01pef?source=HN

Also seeking to build out a bench of freelancers in PHP, frontend, Django, Python, Ruby on Rails, React and software architects / data engineers to work on our homegrown BI tools. Details here: https://uptrending.recruiterbox.com/jobs/fk01peq?source=HN

Or reach out to me at ron+hn@uptrending.com .

Please if you email me, make sure to put "HN" + who you are in your subject, with a description of who you are and a resume & profile.
If you use LEM to prove A, you can translate that proof into intuitionistic logic so that it proves Not (Not A). This is classically equivalent to A, but not intuitionistically. So the real difference between the two is that intuitionistic logic makes a finer distinction between propositions that classical logic says are the same.
Almost everything is still supported by mainline GCC. I don't know, it's a weird choice to me, given that BeOS never AFAICT supported Dreamcast either.
I feel like they increasingly inform about causes of delays too though. It has been worse in the past.
Front-End Engineer | Mimir (YC S15) | Indianapolis, IN | FULL TIME | ONSITE

Mimir is an education technology company looking to help instructors teach computer science at scale. Our product, Mimir Classroom, automates grading for instructors and gives students instant feedback on their code.
We're looking for our 5th engineering hire to help ship features that instructors at dozens of universities worldwide rely on to teach large classes.

Important Technologies: React, SCSS, ES6/7/8, functional programming, webpack.

Other technologies: Ruby, Ruby on Rails, PostgreSQL

Apply: https://hire.withgoogle.com/public/jobs/mimirhqcom/view/P_AA...
It's crazy, I saw a pedestrian walking down the street the other way, didn't have a helmet on. It's like she had a death wish.
Location: Singapore and Kota Bharu, Kelantan, Malaysia

Remote: Yes

Willing to relocate: no

Technologies: Ruby/Ruby On Rails/Sinatra, Golang/Gin,
Python 2.x/Flask/Pandas, PHP/Laravel, Elixir/Phoenix, MySQL/PostgreSQL (current preference)/MSSQL and MongoDB,
HTML5, CSS3, Javascript, Linux (any, including compiled from source)/FreeBSD/OpenBSD/NetBSD, Apache/Nginx

Resume/CV: https://www.dropbox.com/s/ch804h5fx0cqle7/Cover%20Letter.doc...

Github: https://github.com/muhammadn

Gitlab: https://gitlab.com/muhammadn

Blog: https://unrealasia.net

Email: zaihan@unrealasia.net

Looking for full-time work. Had been doing remote gigs.
This is awful advice. The tooling for things the author describes as harmful are as mature as the "stable technology"...

It's easy to forget the time and effort to accumulate the knowledge for fighting the limitations to a technology you've familiarized yourself with.

- A SOA approach requires less stack knowledge overhead and $$$ for actual deployment and use than monolithic applications.

NoSQL vs SQL? Not everything fits on a spreadsheet. Just because you've gotten good at wiggling things into one doesn't mean that you're right.

> Posted 4 times in twelve days.

Who is upvoting this?
I like to do that on fridays. Weekdays are for figuring out what to build and building it, fridays are for just finishing up, making a fresh pass over the shit you've coughed up over the past week, or cleaning up that one thing that's been nagging you all week.
Right, score inflation alongside grade inflation. The administrators of the GMAT have an answer to that:
https://www.gmac.com/why-gmac/gmac-news/gmnews/2017/july-201...

It says that it doesn't explain the "conundrum" of increased higher-end scores. But it definitely addresses that it's very unlikely the test has gotten easier, since average scores have remained stable, as they have for the PSAT and ACT.
I took this notes.

Journalist Amanda Ripley says that "Complexity is contagious" and that
"Complicating the narrative means finding and including the details
that don’t fit the [binary] narrative — on purpose."

So in some study participants talk about polarizing issue. Before
talking they read one article about it.

If article is similar to news article with 2 sides to the story,
participants take sides, argue and leave with negative impression that
conversation is meaningless.

If article is similar to anthropologist’s field notes, with emphasis
on complexity of the issue and without binary division, then
participants “don’t solve the debate” but "do have a more nuanced
understanding and more willingness to continue the conversation"
researcher and social psychologist Peter T. Coleman says.

Then in a long case study of some american talk show some specialists
propose general questions to bring more nuance to conversations.

What divides us?

What is oversimplified about this issue?

How has this conflict affected your life?

What do you think the other side wants?

What’s the question nobody is asking?

What do you and your supporters need to learn about the other side in order to understand them better?

What do you think the other community thinks of you?

What do you think of the other community?

What do you want the other community to know about you?

What do you want to know about the other community?