skysight-inc/HackerNews huggingface dataset:
I wasn't intending to be condescending. More like tongue in cheek. I'm American. I'm aware that Americans look at how the Netherlands does it and we go "That doesn't make sense! That is terrible! etc."

I'm not saying they never get hurt. I don't have studies and articles at my fingertips, but from what I have read, the decision to not require a helmet is part of what makes cycling popular in the Netherlands. From what I understand, studies show that requiring a helmet reduces the adoption of bicycles as a mode of transit. My recollection is that they decided they wanted bike-friendly cities in part because too many children were being hit by cars.

There is a concept called "lying with statistics." When you cherry pick a single data point to support your conclusion and how you think things should be done, sure, you can make it sound like you are clearly right and this is crazy. You can do that on just about any subject.

There are other ways to look at this problem, such as:

1. How many more serious injuries and deaths are prevented by having a bike culture instead of a car culture?

If the answer is you have fewer injuries overall and they are less serious, then accepting the injuries from bicycling makes sense. My understanding is this is what the Dutch found to be true.

2. How much measurable benefit does society get by creating a society where women, poor people, children, etc can still get around?

In some parts of the US, it's nigh impossible to get a job at all if you don't have a car. No one wants to hire you. Public transit is too bad, so they assume you can't get to work reliably. This becomes a poverty trap. You can't buy a car because you don't have a job. You can't get a job because you don't have a car.

Poverty traps foment crime, cause minor health problems to balloon up into expensive major health problems, etc. There are myriad ways that preventing people from getting around unless it is some optimal means to get around can negatively impact society more than just letting them take a few risks on their own recognizance.

I'm not going to look up the articles, studies and data. I'm an American who has lived without a car for more than a decade. I wanted to be an urban planner before life got in the way. Reading stuff about how to get people to walk and bike more is something of a hobby of mine and the Netherlands is generally held up as a gold standard.

I was just trying to give you the nutshell version of what I know while feeling like it was probably pointless because it probably doesn't matter how well I say it or how much evidence there is, American prejudice looks at those pictures of both adults and children riding around without a helmet and goes "Nope!!!!!! That's wrong and bad and terrible and evil!"

The same Americans who say that about bicycle culture in the Netherlands will be all "Meh. Accidents happen." if you try to argue that car culture is maiming and murdering people on a daily basis here in the US and we desperately need to do something about it.

(Yes, I'm aware you may not actually be American.)
TiDB: A distributed HTAP database compatible with the MySQL protocol
I have a very similar list to yours. I'm also a datahoarder though, so I also have the reverse characteristics, i.e. if I don't have a copy then assume there are no copies left for me to ever access (assume adversaries have a backup though).

> - Anything written down and transmitted digitally will be available to anyone who wants it eventually. Besides my copy, the recipient has a copy, as do any number of intermediaries. Encrypted or not, that encryption will almost certainly be broken in my lifetime.

I completely agree. So we're now assuming that the information will exist indefinitely for adversaries (NSA warehouse), however if I don't have a copy then it's effectively gone (for me only).

> - Anything I say to someone in person is pretty safe, depending on how much I trust them not to record what is said.

I'm not quite there yet, but I've become leary of all the phones, laptops, cameras, personal assistants, etc. While I'm from the US (so mass spying is supposed to be illegal), and most companies like Amazon/Apple have been shown to be "mostly telling the truth" in terms of how they only transmit data after a trigger phrase, it's a lot of microphones.

Let's assume the person I'm talking to is 100% trusted, all it takes is a hacked Alexa to leak the conversation.

Likely or practical? Not really. Do I do anything specific such that I'd consider myself a potential NSA target? Not really.

But I consider privacy a human right so it's always something I'm thinking about.
Perhaps "Apple recalls 2015 15-Inch ..." would work
Try the haproxytech images, which are updated for 2.0: https://hub.docker.com/search?q=haproxytech&type=image. There is also information on using the ingress controller here: https://www.haproxy.com/documentation/hapee/1-9r1/traffic-ma...
I'd say it's a little of both. On a game like 007 GoldenEye (N64), people have been speedrunning the game for almost 20 years, and are now in their early or late thirties. But there are still younger people that are getting to the game just now and getting new World Record runs. And this is just one game as an example, every game is different.

https://rankings.the-elite.net/goldeneye
Location: Atlanta, GA or Austin, TX

Remote: yes

Willing to relocate: for the right job. Prefer Atlanta.

Technologies: Go, Rust, XMPP, message bus and event sourcing

Résumé: available by request; 6+ years of professional experience in backend development.

Email: sam@samwhited.com
Facebook’s Digital Currency Draws Response Across Europe
LinkX – Find the Right Investor for Your Startup
Show HN: Git Code Churn
> The best communities I've ever seen were zoned for minimum size 1 acre single family lots.

That isn't scalable enough without a major population correction. There are about 3.5 billion acres of arable land on the planet[1]. If we devoted all of that to rearing human families, we'd have to eat them.

(1) https://en.m.wikipedia.org/wiki/Arable_land#Arable_land_area
SK Telecom develops quantum key switching tech
It looks like it's too late for me to edit my comment, but I've been proved right. Putting a Noindex directive directly in robots.txt is frequently suggested, but this seems like definitive proof that that does nothing (at least with Google).

As far as I can tell the inception of this idea was that it was briefly mentioned by some Google employee in an interview. Maybe it was supported in the past or maybe he just misspoke, but I bet even now we'll see people still using this tag.
if you want an affordable EV, how about the Nissan Leaf! You can get them used now for about 7k to 8k
Your resume returns a 404
I'm working on one [1] and doing the inference now, which is kicking my ass TBH, so some thoughts:

> 1) Full type inference.

Really, while writing and hacking, you want it, but ideally the system should be able to fill in your types for you. Note, though, that there's a tradeoff: the more overloading and other conveniences, the less complete the inference can be.

In the system I'm working on, it's intended to deploy a library + documentation, so all types would be annotated in the artifact generated regardless of whether they are in the source.

> 2). Value types in structures would need to be nominal, not structural.

My answer to this is we want cheap sum types. In Tenet, a sum type can be constructed without any declaration by writing tag~expr. This implicitly defines Union[tag~WhateverExprTypeIs].

Since unions implicitly combine, if I have one branch return meters~55 another can return error~"something broke" and the return type overall is implicitly Union[meters~Integer, error~String].

The idea of declaring that, e.g. meters~X and centimeters~Y are interchangeable representations of the same value is something I'm thinking about; it's getting at a facility for encapsulation.

> 3) Collections of [product types] would need to be inclusively typed, not exclusive.

So, if we have syntax for retrieving an attribute `x.a + x.b` and we know + takes integers, we can deduce an assertion that x is some product type with two integer attributes a and b. I call that an open tuple, as opposed to a closed tuple.

But all product types must be closed (exclusive) in order to construct them, obviously, and for non-dynamic languages, it seems like you're liable to have code size explosion (multiple copies of functions to support each type used) if you allow polymorphism this way.

> 4) ... it would be important to have all these structural members be namespaced as well.

I'm curious what people think the best namespace schemes are, because most of them seem like a lot of complexity for what they do. But...

> 5) Now I would still need basic set logic for these types

It won't make the first cut, but the basic operations would be sum and diff (for sum types), times and project (for product types) and a renaming facility with globbing seems like it might answer #4 just fine.

[1]: https://tenet-lang.org/types.html#tenets-approach
"We're Open Source!" isn't a valid defense when you have paying customers. That pitch sounds great for your VCs, but for someone who spends a portion of their budget on your cloud services - i'm appalled.

Gitlab is a SaaS company who also provides an open source set of software. If you don't want to invest in supporting up time - then don't sell paid SaaS services.
I take plenty of trains in Europe, and booking well in advance, I never pay the "full" fare.
It is usually quite easy to take advantage of early booking offers.
I think the thing my architect friend was getting at is, these structures are here for a long, long time, and they take up a finite (and heavily constrained resource), so it's not like there's an opportunity for people to realistically decide in 5 or 10 years that fifteen new buildings that have been built should be replaced or adjudicated.

I think the problem is that this already falls so far out of the realm of "let the market address it" because of the constraints on building and housing, especially in such a tightly-housed city as Portland; if builders build it wrong (and will make money regardless because of the constraints on this market that mean people can't reasonably take their dollar elsewhere), the city suffers in non-dollar-measurable ways for decades.

Again, this is mostly coming from my friend who likes the design review board, and sees that a lot of the new development in Portland is boring from an architectural point of view (and will remain so for at least the remainder of his life) but there's absolutely nothing in a market sense that would compel anyone to build more interesting buildings.

And, the more we talk about this, the more I like the idea of the design review board; I'm all in favor of sensible regulation, and your original complaint, that some styles are no longer permitted in LA, seems like even less of an issue if it means that new construction does remain aesthetically interesting.

An extremely small price to pay for putting pressure on architects to build interesting new things as these buildings go up all over down.

But, of course, it's all just talk and speculation, since neither of us is mayor (and at least one of us doesn't live there.)
Our current society will go extinct and petroleum resources being exhausted means we may not be able to rebuild anything like it.
I can buy a <$100 unlocked phone that does pretty much everything my $1500 iPhone XS Max can do; even the homeless have smart phones. I think we're a long way away from when the poorest in society are driving an EV, let alone one with Tesla functionality.
I think you misread the part you quoted, while GP read it correctly - it's comparing outputs and outcomes, not outcomes and milestones.
There are a couple of us who use Nix.
Gitlab has lots of problems. It runs slowly unless you throw tons of hardware at it, and has lots of bugs. Our devops guy burns tons of time keeping it running. There are too many parts to it; too many services. And ruby is just not meant to be used in production stuff, particularly not of that scale.
> Very few things are so random that "more accurately predicting the future" isn't the dominating strategy,

This is what is nice about research. Real problem solving matters.

But also what is frustrating about research: real problem solving is hard!
Location: Chicago IL

Remote: Preferred, experienced

Willing to relocate: No

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

Resume: By Request

Email: ${hnUserName}chris@gmail.com

Site: https://thoughtpalette.com
Full-Time | Carbondale, CO or San Francisco, CA | Javascript or Python | Onsite | https://appomni.com

AppOmni is a security startup split between Carbondale and San Francisco. We help enterprises secure their data in complex SaaS apps.

We’re looking for frontend and backend engineers. Our front end stack is Vue (but experience any SPA framework generally works) and our backend stack is Python/Django/DRF/Celery/GCP/Kubernetes along with a small but growing set of microservices. Please email jobs@appomni.com
Manulife University | Int & Sr Software Engineer | 85K – 150K + Annual bonus up to 14% of salary | Waterloo & Montreal | ON-SITE | Full-time

Want to redefine enterprise education and help transform a global giant in the insurance/financial services industry?

Manulife (https://www.manulife.com) is investing heavily in continuous learning for its workforce and we are looking for talented software engineers to join our Manulife University team to teach, inspire and invent. Manulife University or MU, as we like to call it, behaves very much like an educational institution, but within a corporate environment. We have onsite classrooms in multiple continents and MU students are expected to do nothing but learn while in class, which means no day to day distractions like team meetings, emails and so forth.

For four weeks straight, five days a week, eight hours a day, we teach students how to create microservice applications with NodeJS, how to create front-end apps with React and Redux, and much more. And if you are wondering what our curriculum currently looks like, the following is just some of the modern technologies that we teach:

JavaScript (ES6), React, Redux, NodeJS, GraphQL, and Microservice Architecture

We are also always looking for new technologies and methodologies to teach, which will allow us to stay competitive and to attract/retain talent. With MU, we are unlocking the secrets for how we can provide continuous learning at scale, that can be done in a way that makes business sense. There are still a lot of challenges ahead of us and new technologies and processes that will need to be invented, but the future looks bright for continuous learning.

In the future we can see employees not only negotiating for vacation days, but for education days as well. What we are trying to do with MU is truly ambitious, but we need talented software engineers with an entrepreneurial spirit, that can speak with credibility, confidence and humility, to help us make this happen. If you are the type of software engineer that sees problems as opportunities and can speak with confidence in-front of one or a hundred, we’d love to hear from you.

We know we are not in the same tech league as giants like Google or Amazon, but we can offer you an opportunity that they can’t. What they can’t do is provide you with an opportunity to help redefine enterprise education and transform a global giant with close to one trillion dollars in assets. By joining the MU team, you’ll have a once in a life-time opportunity to help pioneer a new way of learning and teaching in enterprise, that can redefine how we work in the future.

Waterloo

Senior: https://jobs.manulife.com/ShowJob/Id/664619/Senior-Software-...

Montreal

Senior: https://jobs.manulife.com/ShowJob/Id/489135/Ing%C3%A9nieur-l...

Intermediate: https://jobs.manulife.com/ShowJob/Id/489131/Ing%C3%A9nieur-l...
Is there a recorded talk of this? Because these slides don't cut it alone.
I wonder whether the cortex may be a kind of FPGA wired up by the limbic system, not naturally containing the machinery for general learning, and a red herring to the pursuit of general intelligence.

The challenge is to discover the nature of "general intelligence", I'd say. To me, it seems like GE would not actually be a set of specific behaviors but rather a processes that integrates, extends, mediates between, connects etc specific behaviors. Probably whatever-does-GE would both program and be-programmed-by the limbic system and whatever other systems it relates to, and given this the cortex like a good candidate given that it accompanies the human ability to active "generally" (and it is quite possible that similar functionality might reside in a different system in different brains see comment by derefr: https://news.ycombinator.com/item?id=20328311).
The Myth about Bubble Buyers
I'm guessing based on the overlay that this was a tool assisted speedrun (TAS)? If so, I wouldn't fret if I were the author. These players are able to exploit collision glitches and timings that are almost impossible for a human player!

And if not, all the more impressive.
CNBC | Englewood Cliffs | onsite | Fulltime

CNBC is the recognized world leader in business news and provides real-time financial market coverage and business information to approximately 371 million homes worldwide, including more than 100 million households in the United States and Canada. CNBC also provides daily business updates to 400 million households across China. The network's 15 live hours a day of business programming in North America (weekdays from 4:00 a.m. - 7:00 p.m. ET) is produced at CNBC's global headquarters in Englewood Cliffs, N.J., and includes reports from CNBC News bureaus worldwide. CNBC at night features a mix of new reality programming, CNBC's highly successful series produced exclusively for CNBC and a number of distinctive in-house documentaries.

We are hiring multiple for multiple onsite full-time positions on our web frontend, IOS and Android teams. We collaborate closely with product managers, designers and the newsroom to build products that help manage CNBC's content and make it accessible to our web sites, apps, developers and other experiences. We offer competitive salaries, great benefits.

You can see all open roles here: https://www.nbcunicareers.com/search-results?search_type=adv...

If you have questions about these roles please feel free to email us at tech.recruiting@nbcuni.com
I'm somewhat curious why you'd want both (2) and (3) to hold. Isn't it somewhat contradictory to want types to not just merely denote the structure, while requiring that everything with the same structure satisfies the type?

Maybe it's because I'm influenced by C# but viewed from that perspective it would be like requiring you to explicitly declare that e.g. some value is a ProductID but when you're declaring a type you wouldn't need to declare it is a Person, provided it simply implements the right fields (in C# you would have to explicitly implementing some interface to clarify that first-name and last-name do indeed refer to a person and not, for example, the head and tail of a list of names). This does mean that any external code can't implement your interfaces though, which is a bit annoying, though fixable.
I'm sure I couldn't sleep in the upper bed here:

https://www.priestmangoode.com/wp-content/uploads/2017/03/Pr...

Enclosing beds to make them a kind of cradle is bad. The good design would add space not stuff. There's a reason older trains didn't have that.

Typical design made on computer that nobody tried to use (or not enough users to say how bad it is).

I've also traveled in the newer trains in Europe that were significantly worse than the older, again for having less space everywhere. It's a bad trend.
I liked this story:

"The Iraqi who saved Norway from oil" (2009)
https://news.ycombinator.com/item?id=19594153
I had a similar comment.

We're increasingly surrounded by microphones/cameras, some of which are embedded in IOT or other appliances.

Given the NSA's track record, the risk of devices getting hacked, etc. I've become rather conscious of potential implications they could have.
"To say that nothing is true, is to realize that the foundations of society are fragile, and that we must be the shepherds of our own civilization. To say that everything is permitted, is to understand that we are the architects of our actions, and that we must live with their consequences, whether glorious or tragic." -- Assassin's Creed
Lockheed Martin Sikorsky | Autonomy Software Engineers | Stratford, CT | ONSITE | FULL TIME

We are working on a project called ALIAS for DARPA developing software to make helicopters fly semi- or fully autonomously. We have several opening for perception, planning, database, 3D/GUI, test and infrastructure. We're working on C/C++ on Linux and VxWorks.

It's exciting stuff with a great team and a truly exceptional leader. We're working under the Sikorsky Innovations program modeled after Skunk Works. We get to move quickly and try lots of new things. Our team has our own custom helicopter called SARA (Sikorsky Autonomy Research Aircraft), which we recently tests flown by non-pilot reporters from Wired [0] and The Verge [1].

You can get in touch with me directly. My email address is in my profile. Include HN in the subject line.

[0] https://www.wired.com/story/sikorsky-sara-helicopter-autonom...
[1] https://www.theverge.com/transportation/2019/3/5/18250996/si...
ETFLogic | Quantitative Research and Development | New York, NY | ONSITE | www.etflogic.com | Full Time

ETFLogic is a financial technology company providing quantitative tools, data and analytics to the ETF ecosystem. We help our clients: ETF Issuers, Asset Managers, RIAs, FA and Corporates - make better investment decisions with Exchange Traded Funds and grow their assets. ETFs hold in excess of $5 trillion in assets globally. That number is projected to reach $30tr by 2030. Investor demand continues to drive innovation and complexity in the ETF landscape.

Our goal is to bring order and automation to the complex world of ETFs.

We have a few roles open:

1. Quantitative Researcher: to further development in key areas of our business: intra-day fair-value pricing of ETFs, portfolio construction and optimization, fixed-income pricing, factor and style analysis, liquidity analysis. Prior finance experience in these areas is preferred.

2. Frontend Developer: Focused on building a rich UI/UX in React.

3. Technical Sales: Working with our clients to simplify their workflows with our web platform and analytics.

Our tech stack is comprised of JavaScript, React, Python and AWS

Please reach out with your resume: info at etflogic dot io.
Win+R still gives you that dialog.
The Level 9 tour is anything but boring, though I can see the larger tours being less interesting when you don't get to look in the Soyuz trainer or go to the National Buoyancy Lab. However, you don't need to take a tour our pay anything to go to the rocket park. It's free and open to the public, you can just tell guard at the main gate that's where you're going and they'll let you through.
ZeroTier Releases LF: A Fully Decentralized Fully Replicated Key/Value Store
The Demise of Job Board
Location: Thousand Oaks, CA (Los Angeles area - up to Santa Barbara)

Remote: yes

Willing to relocate: for the right job, yes

Technologies: C#, .NET 1.1 to CORE 2.2+, ASP.NET, MVC & Webforms, Javascript / Typescript, HTML/CSS, Azure & AWS DevOps, Java familiarity, SQL (SQL Server / postgres)

CV: By request - I have 15+ years development experience primarily in the Microsoft Stack. Looking to make the leap to Java maybe. Biggest accomplishment: lead developer and architect on a $45m/yr ecommerce site.

Email: odorousrex@yahoo.com