skysight-inc/HackerNews huggingface dataset:
Location: Los Angeles, CA

Willing to relocate: Yes (San Francisco Bay Area or other major city in SoCal)

Technologies: Java, Kotlin, Go, Javascript, PostgreSQL, Spring Boot, React

Website: https://vincentxiao.com

Email: vince@vincentxiao.com

Hi, I'm a software developer coming from a non-traditional background in finance. I'm looking for a role where I can help design and build APIs, services, and improve tooling.

If I'm not familiar with your stack, send me an email anyways, I'm willing to learn other languages. I'm also open to internship-to-full-time hire programs. Thanks for reading!
I don't know if it's the same person, but I believe I may have spoken to Tang about a draft of work she did in the POSA book about EtherCalc. I can understand from just that interaction how she became digital minister. I have never had someone parse and respond to an email so thoroughly or had a better technical discussion in my life. And the work she did on that project scaling EtheCalc with Node and LiveScript, and also the creation of webworker-threads years ago, to me those were very inspiring projects. Never interacted with anyone with better technical abilities.

That interaction gives me the idea that if I am critical and she happens to enter this thread, it will not fall on deaf ears. I don't really like sounding negative, and especially in this case they are much better than most countries.

What is described is better than China, but it's not ideal. However I do think they should be commended from explicitly avoiding censorship to the degree that they do.

However, communications from the government to counter other communications identified as disinformation are government propaganda. If they are not identified as such, then they have the same problem as the original disinformation.

Secondly, making it easy to flag propaganda in apps and then blocking it as she describes is in fact building in a type of censorship. It's just a brilliant type of crowd-sourced censorship. I know the theory is that that would only be applied to false information. However, censorship doesn't work like that. The end result is going to be a worldview that is reduced and shaped by a dominant group rather than the free flow of information. Especially if it relates to all of the information that people in a country can see. This can be very dangerous.

So I will just say what I think would be ideal even if it may not be very realistic. The history of government propaganda and censorship should be part of the public context. I think it is good to be able to flag articles as being propaganda and from what source. However I think that removing things from being visible entirely is very dangerous for freedom. Taiwanese/US/Chinese/etc. government propaganda or counter-propaganda should be identified as such if possible. Perhaps a generic way to say something is propaganda or bias and a generic way to indicate where you think it's coming from (could be a political party or country). However the news that I see from large media, about 90% of it qualifies. I don't think it should be possible for these flags to remove information from the stream. Although certainly there can be standards related to removing things like gore -- but this needs to be monitored to make sure that it does not get used for political censorship.
> The UK is a permanent member of the UN Security Council and has veto power on all substantive matters taken up by the Council.

> Doesn't that mean that they can pretty much ignore anything the General Assembly or most other international bodies tell them to do, just like the United States, Russia, and China do

No, the fact that they are world power backed up by the US and a number of other major powers in most things usually means that, though.

> because actually enforcing anything usually involves something that ends up requiring some kind of action that will require Security Council approval?

Facing the potential of Soviet veto producing a Security Council deadlock in the Korean War era, the US came up with a solution to that which was adopted in A/RES/377A (3 Nov 1950), the “Uniting for Peace” resolution, under which the General Assembly makes recommendations for coordinated action in the event of a Security Council deadlock. This has been invoked roughly a dozen times since, and effectively provides a General Assembly route around Security Council vetoes.

The first use outside the context of Korea (in the 1956 Suez crisis) was against a UK/France joint veto in the Security Council.
Same with BART in the SF Bay Area. When the escalators are working, they're usually working the wrong way (i.e. the only escalator is going down instead of up, making that escalator effectively useless except as a fitness machine).
Make some groups, teach them an easy method to encrypt messages (like Vigenère cipher) and let them play writing encrypted messages between groups or think about a game in which they need to decipher a secret code. It worked quite well for some adults I taught few years ago.
I see then as hackers of society and laws. That they will probably end up with a replica is not the point. We hack to hack, to grok the systems. Let's not stop hackers hacking because we know better.
just make sure you lock the screen rotation before your demo then.
Apple accidentally leaks iPadOS existence ahead of WWDC '19
I haven’t switched yet but you are correct the general consensus is that vscode is superior to atom. That said Microsoft slowly suffocating vscodes largest competitor still feels like extinguish.

Here’s to hoping Xi does well and delivers on its promises
Cruise Automation | San Francisco, CA |Seattle, WA | Onsite | Full Time | getcruise.com/careers

Leadership Roles:

Engineering Manager - PaaS (Full time, San Francisco) https://bit.ly/2H9Bl9b

Engineering Manager - PaaS (Full time, Seattle) https://bit.ly/2EKyWjB

Engineering Manager - Developer Platform (Full time, San Francisco)
https://bit.ly/2J6Wtio

Engineering Manager - Simulation Platform (Full time, San Francisco)
https://bit.ly/2UuqASZ

Site Reliability Manager (Full time, San Francisco) https://bit.ly/2O00HI7

Open Roles:

Senior Platform Engineer - Engineering Productivity (Full time, Seattle) https://bit.ly/2wJkdBb

Senior Platform Engineer - Engineering Productivity (Full Time, San Francisco)https://bit.ly/2CgbkSy

Senior Platform Observability Engineer (Full Time, Seattle)
https://bit.ly/2Wu4HEf

Senior DevOps Engineer - Engineering Productivity (Full Time, San Francisco) https://bit.ly/2WnJWOz

Senior Site Reliability Engineer (Full Time, San Francisco)
https://bit.ly/2HR0sxC

About Cruise:

We have grown from a 40-person start-up to 1300+ FTE Company. We are hiring 1000+ FTE in 2019. 200+ Engineers in Seattle. Cruise has secured $7.25B in funding from GM, SoftBank, Honda, T. Rowe Price Associates. We're testing our autonomous technology on the all-new Chevrolet Bolt EV in CA, AZ, MI.
That graph is amazing! For the people looking at it, you should know that you can click a button to add the United States even though it is not included by default.
We don't have a policy beyond "be flexible". Some teams/managers are more open to full-time remote, but everybody within my product line (12 teams spread across US and Bangalore) are ok with part-time and full-time remote. I doubt we'd hire a manager that didn't agree.

Younger employees (college hire to 3 years or so) tend to be hired locally, with increasing levels of work-from-home allowed as time goes on, but we're flexible from day 1 in terms of "work from home to let in the plumber" type stuff. Generally, after a few months, we'll allow regularly scheduled work-from-home for "I need T/Th to do day care runs" stuff. And several a year go full-time remote, usually to flee DC real estate prices and traffic.

Mid-career employees, we'll hire remote from day 1.

With 1/3 of my product's staff in Bangalore, we have to be good at remote work anyway, so there's little, if any, cost to allowing US-based employees to work wherever they want.
NDVR | Boston, MA | ONSITE

We are a group of scientists, technologists, and makers building a fintech startup with a insanely quantitative approach to investing. Our tight-knit team is headquartered in Boston, Massachusetts with a sizeable presence in Budapest, Hungary, and is spearheaded by a tech industry veteran CEO who has led multiple companies from foundation through IPO.

- Senior UX Engineer: React, TypeScript

- Data Operations Engineer: SQL, AWS, S3, Kafka, data warehouse

- Senior Java Engineer: Java 8+, Spring Boot, microservices, financial knowledge is a plus

Although we’re a new startup, this isn’t our first rodeo. Our competitive and comprehensive employee benefits package includes premium healthcare, flexible hours, work from home optionality, career growth opportunities and a team of outstandingly capable and social engineers.

If you are interested reach out at hiring-boston@ndvr.com
Tiny nitpick: U+200B is a Unicode character, not necessarily UTF-8.
For a start, they aren't trying to live in those large swathes of water, they're trying to reach somewhere else to live. Turning up at a border waving a US flag but having no valid US passport won't get you in...
It's only a tiny, tiny part of science in a country. Ussr had nowhere close to the growth china as, even when recalibrating to the population size. The ussr economy was dying, with no innovation and no production outside of the war effort.
Where is this happening in US & Europe?
Goodcover | REMOTE (US based) | Senior Software Engineer | SF, CA | FULL-TIME

Goodcover is building an insurer with the radical idea: We give unused premium back to the customer. We are starting in California with Renters insurance. We are looking to expand engineering and will be launching this year.

We are looking for someone senior who can hit the ground running. We are a pragmatic functional shop, who develops entirely in Scala, including the frontend (Scalajs).

Email me if you’re interested. Dan AT goodcover dot com I’d love to hear from you!
Polaroids from space - http://www.timzaman.nl/polaroids-from-space
BitMEX | San Francisco | VISA | On-Site | bitmex.com/careers

What is BitMEX - and why do we exist?
BitMEX is a derivatives trading platform that offers investors opportunities using only Bitcoin. We are not a spot exchange where you can buy Bitcoin with USD or other fiat currencies.
Across the globe, and particularly in Asia, we have over half a million open accounts, of which approximately 100,000 belong to active users.

Effectively, BitMEX offers commercial hedgers, Bitcoin miners, and professional and retail traders the ability to speculate on the price of Bitcoin, and to exchange Bitcoin risk, with other market participants on a level playing field.
Our platform was developed by ex-bankers who were (and are) well-versed in computer science, financial engineering, and traditional finance. BitMEX launched in 2014 and subsequently has grown to become one of the most important marketplaces in the crypto space.

Our hottest positions are listed below. Please apply if you are interested in learning more. For questions, reach out to people@bitmex.com

Senior Data Eng- https://grnh.se/f602ee3a2 Senior PM, Web - https://grnh.se/a43b96db2 API Engineer - https://grnh.se/499fb4222
The actual report:

https://www.mmiwg-ffada.ca/final-report/
Yeah. Like some libertarians who want to live on a space ship with no darn environmentalists.
> Anyone who didn't think this was happening is simply not paying attention.

This is not so simple. Previous replies to similar claims: https://news.ycombinator.com/item?id=20052749 and https://news.ycombinator.com/item?id=20052851
SQL server data modelling: how to choose a clustered index
I believe China does in fact have a federal system. Everything is integrated all the way up to the top but every province does have its own government with some degree of autonomy as far as I know. When I lived in Hunan for example the Hunan government was doing some projects with foreign lawyers to develop laws protecting victims of domestic abuse.
Location: Chicago IL

Remote: Preferred, experienced

Willing to relocate: No

Technologies: JS, TS, CSS, HTML, SPAs, Angular, etc

Resume: https://drive.google.com/file/d/1YAp7JLca9qCtv2fxZ4_NfX98UPX....

Email: ${hnUserName}chris@gmail.com

Site: https://thoughtpalette.com
It's actually not exactly that inconceivable if the you're using the traditional 5 fl oz cup size for tea/coffee.

I've just finished my morning coffee - a 34fl oz French press's worth, black. That's almost 7 "cups" by traditional measure, but it's not a particularly outlandish amount.
Flying the flag is not what matters. It is the registration of the ship in a country that matters. The flag is just the announcement where you are registered. And the US will probably not register a refugee boat and of the them the protection that comes with the registration.
The structure in a spreadsheet is “all the stuff is in cells” and in a raw binary file it’s “ all the stuff is in a binary blob” in a txt file it’s “all the stuff is in lines in a file”.

As I wrote initially, if you losen the definition that much, then a txt and literally everything is a database.

There are many different definitions but my personal completely subjective perspective is that the bare minimum is that whatever structure you claim the data has must be enforced and be translatable to a semantic connection. For most sql databases you have a schema enforcing the structure and at a minimum there is a connection between different pieces of data in the same row.

In a spreadsheet having different sets of numbers/text/code on the same row or column might mean something but doesn’t have to. So whatever “structure” there is, is not enforced.

This is in the same sense that a txt document that contains 4 book chapters have in them 3 email addresses is a “structured list of emails” sure you could find them and there is a structure to it, but calling it a database is a stretch in my book.
The outcome of the scene is weak. Coming in cold, I don't know why a detective would be interviewing a subject, but the natural disposition for any detective story is to have the guilty party resist questioning, and here we see a party offering resistance.

To put the hero in the deepest hole possible shall maximize the climactic anticipation of their escape. If the police are heroic, a brilliant criminal will best them at every turn to build suspense.

We see this here, and yet they dump it out on the ground. The unbelievable resistance to the interview is expended and the detective wins. For most of the game, the subject stalemates without even looking, but toward the end starts to peek. Then we see the winner emerge. This frames the police as counter and equal in supernatural powers of seeming clairevoyance. It even throws the comedy in the trash. It's not funny at that point. It ruins any underdog status and levels the playing field. Why do we want the police to have super powers? What fun is it to watch the hero play a game they stand a chance of winning?
I wonder what built this, becauqe clearly it's not new. China use to do it 2000 years ago too.
I'm not sure why people are being so negative here. This is a good thing. The general public are finally starting to catch on to the true cost of something being free.
If you're not handsome, at least be handy ;) Got into knots partly as a hobby, partly because they actually come in handy when camping or when the license plate holder of your car gets knocked off from a low curb and you need a quick way of reattaching it. You know, good life skills.

If you want to experiment, there's really only three knots that will solve 80% of your common needs:

1) Bowline: https://www.animatedknots.com/bowline-knot -- secure loop that doesn't slide, easy to undo (mnemonic: "rabbit comes out of the hole, goes around the tree, and runs back down the hole")

2) Midshipman's Hitch: https://www.animatedknots.com/midshipmans-hitch-knot -- sliding adjustable-tension knot for tying down gear or guy lines

3) Square Knot: https://www.animatedknots.com/square-knot For quick tying of two ropes together. Fun fact: the square knot is also how you already tie your shoelaces! You're just using a loop (a "bight") instead of the end of the rope because bights are commonly added to quickly undo knots (see, you're already using advanced techniques!). And funner fact: if you understand how you accidentally reverse the square knot to make it weaker, you can understand how NOT to tie your shoelaces in the way that makes them come undone easily!

Bonus Points: the Trucker's Hitch for tying down gear. It's basically any number of fixed-loop knots like the bowline to create a "pully" (mechanical advantage), fixed by any number of adjustable tension knots like the midshipman's to hold it down.
I hope this will create an interesting discussion. I have two hearts. I try to avoid services like google as much as possible since I understand what their business model is based on and I don't want to support that/put myself at risk. But, if any of my friends asks me why they should not use it, the risk stays at exactly that meta level: you should not, because they will "scan, parse, analyze, ...". But then people ask: so what? I do not care. It will not affect my life. And, they are probably right. I would love to hear some "real" non-meta level risks associated with carelessness in privacy matter.
This is the model the UK followed when dealing with BTs natural monopoly on phone lines. Openreach owns and is obligated to maintain service to every home in the country and all providers compete to build differentiated services atop the physical hardware.
SEEKING WORK | New York, NY | Remote Ok

Over a decade of experience building digital products. I’m a juror at The FWA and also had experience as a teacher for React's Nanodegree program for Udacity.

I’m available for part-time freelance work; project-based or mentorship/consultancy opportunities.

Some of my recent client work features Apple, Epic Games, Oscar Health and T‑Mobile.

Technology I use the most these days are React/React Native, Electron, TypeScript, GraphQL, Node.js and AWS.
I also have experience with Clojure and am very interested in distributed systems.

Email, GitHub and more information available on my website: https://rinaldi.io
Airtable looks great, but seems incredibly expensive at $10-40 / user. There are a lot of situations where pricing like this makes no sense, e.g., if you want every employee to have access to your data, but most of them only check or enter data once every few months.
SEEKING FREELANCER: Electrical Engineer

Do you want to be a part of the EETech Freelance Engineering team? Do you have the technical expertise or experience to develop high-quality content?

From blog articles to advanced research whitepapers, we develop highly technical materials for some of the biggest players in the electrical engineering industry.

Our editors are looking for experienced engineers with impressive writing skills. We take the time to pair your expertise with our extensive roster of programs to ensure your project is the right fit for your skill set and the client’s needs.

Why write technical engineering content for EETech?
Our Editorial Team: Not only do we do all of the scheduling, emailing, and administrative work, but your interactions with the client are on an as-needed basis, ensuring you get to focus on the writing and research.

Interested?
Send us your résumé, topic ideas, and — if available — technical writing samples to writers@eetechmedia.com

https://eetech.com/press/eetech-media-marketing-freelance-po...
(Foreward: I get the point you're trying to make, so please don't interpret as argumentative at you, forgottenpass)

I enjoy Tolkien's success. This is the point I'm trying to make. I'm a bystander here and would not even be aware of pagans beyond a superficial level had it not been specifically for the fact that their adherents have failed so badly at keeping their own tribe in check. I found out about all of this long after I got the tattoos. But I still have to feel like a party to it for no reason but superficial resemblance of runic alphabets.

And yet I'm the only one that seemed to have been interested to expand upon my position so far. There's at least 3 heathens here by my count. I guess I'm fine with the notion that I'm a bigger badass than a self-proclaimed viking in this sense. Why shouldn't I call them cowards if I'm more willing to step up for a fictional mythos than one they consider a real part of their daily lives?

P.S. I am doing part of the hard work in defending their reputation for them by making a point about context. I will not feel like a bad person for wearing Cirth runes. And they will be with me forever, and I will happily discuss the difference with anyone who asks me. And when I do explain the difference it will start with "It's not actually norse or pagan, I know what you mean but those are dying niche religions used by rednecks and slavic meth heads, it sucks but you can't judge a writing system by it".
Kalepa | Machine Learning Engineers, Backend / Data Engineers, Full-Stack Engineers | New York City, NY | ONSITE / PARTIAL REMOTE, VISA
Kalepa is a New York based, VC backed, startup building software to transform and disrupt the $1T commercial insurance market.

Engineers at Kalepa will be solving interesting and challenging problems at the intersection of big data pipelines, cutting-edge machine learning models, intuitive frontend apps, and robust infrastructure. You will be working in a small team building technology from the ground up with the latest stack.

One trillion dollars are spent globally each year on commercial insurance. However, the process for estimating the risk associated with a given business across various perils is still reliant on inefficient and inaccurate forms and research. This information asymmetry leads to a broken set of incentives and a poor experience for both businesses and insurers alike. By combining cutting edge data science, enterprise software, and insurance expertise, Kalepa is delivering precision underwriting at scale. Kalepa is turning real-world data into a complete understanding of risk.

Kalepa is led by a strong team with experiences from Facebook, APT (acquired by Mastercard for $600M in 2015), the Israel Defense Forces, MIT, Berkeley, and UPenn. We are backed by IA Ventures.

More details here: https://www.linkedin.com/jobs/cap/view/1114358414/

Contact: paul.monasterio@kalepa.co
Apple WWDC 2019: Livestream
On the other hand, constructive set theory is still rather a niche part of mathematics (this may change with the recent development of HOTT). It is hard not to use the LEM (and I am not good at it, I am not an expert on this subject. Expert say it gets easier over time to get used to not use LEM).

For instance, in the intuitionist reals, from "x >= 0 and x != 0" you cannot conclude that "x != 0". To prove x>0 you would need to exhibit a natural number n such that x>=1/n (so in other words you need a constructive proof that x>0).
But this is not always possible, you have models of R where there is an x != 0 which is smaller than all the 1/n.

There is however one nice feature of intuitionist theory: every geometric sentence which is provable in classical theory is actually true in intuitionist theory. So if you have a geometric sentence (https://ncatlab.org/nlab/show/geometric+theory) you can use LEM in your proofs, the proof will still be valid intuitionally!
SEEKING FREELANCER

Need some Android UI development work and a beautiful landing page for an app we are building. Email in profile.
Getting Started with DataOps
Introduction to Genetic Algorithms
Spreadsheets could also be understood as just a fancy pen/paper for a manual business process. Looking at it this way, the competition isn’t excel but rather doing things by hand (i.e. a non-solution vs a competitor).
You've probably got malware on your machine, which is using your browser and account for Youtube view boosting.

https://www.reddit.com/r/youtube/comments/a9y59n/rare_malwar...