skysight-inc/HackerNews huggingface dataset:
Gender norms are reflection of society expectations.

Society expectations evolve/change with economic and war conditions affecting a particular society at that time.

Those things, unfortunately, go in waves.

So we can pick different parts of history and we will likely see 'gender norms' are being adjusted for the particular environment at that time period.

On top, there are biological projections, and genetic predispositions that are projected on 'gender norms'.

Things that 'change less' are genetic traits and biological differences.

Combining economics/war conditions, with genetic traits + biological differences, creates a sort of 'superposition' that we are observing.

As a society, it makes sense to accommodate the desire of individuals, but not force people into particular choice.

Accommodating a variety of legal choices, is what we should be striving for, rather than trying to influence a particular path.

It is sort of like trying to introduce new type of species (animals or trees) into a new environment -- and expecting that we know about the ecosystem, to predict the effects of invasion.

Most of the time, with our current knowledge and prediction capabilities -- we fail.

---

Which is why, I think accommodating choices (and not predicting or promising outcomes) -- is what we should be doing.
Xenobot, a new kind of programmable organism
This whole IR35 thing is bollocks. And HMRC does not care. Companies big and small are against it, I'd be surprised if any contractor is for it, most contractor organisations are against it. But HMRC does not care. Absolute bollocks.
I suppose the car crowd would say environmental factors tilt toward cars over airplanes.

In the US, trains are for freight. It would cost too much to create a new passenger rail network compared to automating existing intercity roads.

Now, increasing the throughput of rail using self-driving trains could make a bundle in the US.
>Printers at my work place are network only

Think you're misunderstanding OP. This applies even to keycard/pin printers.

Basically all those big fat enterprise printers have harddrives in them that capture prints. Really don't get why, but apparently that's a fairly universal thing in enterprise printers. As best as I can tell even IT dept isn't always aware of this so a lot of them get sold/disposed with that hdd in it....
He never said it wouldn't happen, “Maybe it will never happen.”
collanon.app
Feel free to try it out as much as you want, it's a communication tool based on timely anonymous topics with limited deep dives(3 levels deep), a star system on solutions and only after the time ends you'll be able to see who was behind the messages and who had the most liked solutions.
>I can’t imagine paying $40,000+ on a new car that isn’t a Tesla right now

Aside from the fact that the Tesla is not available where I live, if I was only going to own one car, it would not be a Tesla. A Tesla (or any other EV, really) does about 80% of what I need a car for, so it would be perfect to buy as a second car for me, to be used most of the time and have the other car be a backup for when I really need to.

If I had to settle for only one car, it would probably have to be something like a Chevy Volt, which I am quite sad got discontinued. Even then, that would get me about 95% of the way there.
There's lots of reasons for congestion existing.

https://www.geotab.com/blog/traffic-congestion/

Given the same number of cars on the road, a self-driving fleet would eliminate many mechanical failures and many human failures, and be able to adapt to sub-optimal infrastructure at a network-wide level.

Infrastructure would also be easier or more efficient to improve, because you'd have removed much of the human variability that makes identifying choke points difficult.
Planes are different in that there is a large ratio of passengers to "drivers". There isn't the same economic incentive to eliminate pilots when the cost of flying a plane is still going to be quite a few dollars a minute.

The thing is, there are some conditions where people probably just shouldn't be driving. Like we shouldn't be driving in a heavy snow storm, at least not for most trips where you can just wait it out. Planes will wait out storms, even with human pilots. I don't see a problem with "level 4.9" cars that occasionally say "I'm going to wait out the storm" or that will avoid certain routes (such as "crazy mixing bowl" intersections where you can instead just take a side street)
Huh. My recent time's been on the west side too, my neighborhoods have been decidedly middle-of-the-road (def not most bougie), transport stops close, homeless people camping nearby fairly common, sometimes in alcoves of my current building. Still haven't drawn the property crime lottery. The biggest thing for me, though, has been visiting places like Carson, Gardena, and Inglewood realizing they seem safer (though safer than the early 90s might not be a really high bar).

Sorry about the bike, though, maybe that's a signal for me to be a little less casual with stuff in the garage, and I definitely feel you about encounters with people on public transport.
I started using Roam last month and it's been very effective for me. The linking between documents literally stitches all my work together and let's me flow and wander, improving and adding each time.
Most drivers on the road are effectively being subsidized by bankruptcy protection, because most cannot possibly cover the liability they are exposing themselves to by driving. This "subsidy" is far less valuable to a self driving car manufacturer than individual drivers.
This is where I always wish they demonstrated some of the mathematical notation with some variant of quantum Lisp (even if it couldn't be executed in any practical way). The Regetti guys are always around here, so maybe one of them can chime in.

I skimmed the PDF, and it's more than a tad heavier than my usual fodder.

What I think I understood from the document, keeping in mind that given enough time a complete Turing Machine by definition should be able to emulate anything a quantum computer can accomplish, is that a quantum computer should be able to efficiently identify whether a problem run on a classical computer will exit without achieving a complete result. Not that you'll actually get to the result itself, but whether you should expect to be able to, given enough time and compute power.

Because of the density of the paper, maybe I only picked up on a tiny piece of the puzzle. And even then I probably botched it.
Url changed from https://github.com/FStarLang/kremlin, which points to this.

A tiny thread from 2016: https://news.ycombinator.com/item?id=12753788
@emptybits

PLEASE, PLEASE, PLEASE do an AMA somewhere (even in this thread)

1. What do you think about products like SpotHero & others? (Can those comp

2. Do you think parking lots will be an attractive investment in the future? (Autonomous or bet on it for next while)
Square cash?

https://www.theverge.com/2019/10/24/20930659/square-cash-app...
But people are typically very apprehensive of paying for apps (even though they may spend the same amount or more on eg coffee every day). And if apple get you to set up Apple Pay then surely you’re also able to pay for apps easily.

Maybe they just want people to be used to getting a monthly invoice from them. Or to used to paying for cloud storage (and so willing to increase the limit if needed). But then the $1 tier is pretty generous so maybe they want you to store a load of data in their cloud so you’ll continue to buy their products.
This seems like a really convenient way for schools to pass the buck on to their students, while administrative bureaucrats continue to rake salaries in the hundreds of thousands of dollars per year.
I recently ordered food from a Bay Area Mexican restaurant. I was floored by the $63 total from Door Dash, so I decided to pick up the order myself. Upon arriving to the restaurant, the price came to $60. I found that the prices at their restaurant were higher than the DoorDash menu prices by about 15%. This means that the restaurant is forgoing 15% for their food just to be affordable enough to get orders.
Freeways can handle much more traffic, but people get jumpy beyond a certain density and cause traffic jams "for no reason"
By offering laminar rather than turbulent flow. Take a two lane highway where traffic moves at 100 kph. It contracts to one lane at 100kph. Humans will pull up close, stall in one lane, do a flaky and awful zipper merge. Latency will be higher than necessary and throughout lower.

Self driving cars can plan the whole exchange, negotiate (or be directed by an intersection controller) to decelerate, align, merge, and maintain high throughout at low latency. ATC does this for planes already; we have the coordination technology. It’s just about getting drivers to listen to precise instructions without deviation. For everywhere I know of, that’s going to take automation.

Reading up on standing waves taught me a lot; you might like adding that wrinkle to your model.
Thanks for your feedback, I'm still working on my writing skills :)
The school should pay for it out of their capital funds from their endowment. A lot of Midwestern schools have literally no public transportation so if you want to go anywhere you need a car. Stop looking at basic services as cash flow generators.

Also, schools frequently are in charge of public transportation in the form of shuttles, buses, safe rides, etc.

Regarding subsidies, yes everyone should pay because it's a community and that's how communities maintain large collections of shared infrastructure equitably. Spreading the costs over a large group keeps them down for the individual users. Also, you can extend that logic infinitely. Why did I have to pay for football fields I never got to play on? Why did I have to pay for performing arts theaters I never used? Why did I have to pay for community facilities that weren't targeted towards my race or religion? Why did I have to pay for expensive research labs in departments other than mine? If you abandon the community model then everyone ends up getting slammed with highly variable usury taxes that they may not be able to pay.
Teams use tracing for that now. I imagine that some of that data could be extracted and made more generally available, even shared among users of oss libraries.
If Bezos started a book company, then failed and admitted he's not sure if it's possible to sell books... then I would question whether or not he has the background to sell books... especially if I look around, and other experts in the field don't agree.
The issue I have is cases like at my school where they basically had entrapment. At the start of every year there'd be like 2-3 months where it's a free for all and students could park wherever. The certainty was nowhere near adequate parking and not everywhere that people parked was readily obvious to be illegal. Some spots had the yellow on the curb worn away 90%, others were things like too close to a corner or hydrant by everyone was doing it those 2-3 months that you get used to it and think it's okay and when there's no other spots left you park in one of those spaces (kind of like when people start creating a new parking lane in the center of a full parking lot).

After a few months of no enforcement and letting the students get used to parking like this, then they'll crack down with brutal enforcement. I'm talking about them sniping you a few minutes after you walk away. Every year they'd reset and do the same thing over again to get some fresh meat.
Sure, fully agree. I didn't mean to imply it was just Tesla's issue, it's an issue with "Smart tech" in general, which was the topic at hand.
That's a great advice.

Another one is to only look at memory allocations. Usually when there is a lot of allocations, a lot of data is being handled. This gives a bit of a different perspective where you start thinking of folding chunks of data together.

The nice thing about those two approaches is that they don't vary between CPU and architectures.
Maybe this exec should be fired for incompetence and lack of vision.

While self-driving is obviously a challenging problem, I am still bemused by people who think "it will never happen".

An auto exec who believes that, is unfit for the job and definitely unfit for the future of that job.
> thousand dollars worth

So that must be at least, what, 3 of them?
Apple is in the top tier of self driving cars though.

And since he recently worked there I am sure he knows quite a bit about where the industry is at.
Could that be coming from the smart home device manufacturer noticing the device was abruptly disconnected?
Between vacant homes and second homes, there is enough vacant space in USA to home all the homeless multiple times over. If Americans had no brains, this would be done.
Coefficients of demographic characteristics of "Harbringers of failure" zip codes:

Age -.2971

High school -.1710

Home value .2865

Bachelor’s degree .1197

Income .0646

White -.3919

Single family .4047

African American .2232

Multifamily .4132

Asian .3426

Distance -.3740

Hispanic .4854

Comp. distance -.4156

Coupon discount -.2333

Nbr. households .3160

Coupon frequency -.3741

Urban .4190

Unit price paid -.0523

Urban clusters -.1603

Meaning of these variables is here: https://docs.google.com/document/d/1d8O9ja_p08w6cSkOPZ-L1sDZ...
>>A spot in a multistory parking desk costs upwards of $30,000 per spot

>for a new parking structure is $21,500 per

That only leaves 8500 to cover land charges, maintenance, and any other costs involved (fitting barriers, terminals, paying for electric) to come in at $30k, so perhaps the cost of pricing a place isn't "much lower".
"mediocre children of alumni" This is an unfair description of the advantage of legacy at an elite school. It's typically an edge, like playing a sport or belonging to an under-represented demographic.
The point was that you shouldn’t be charged for the hour you spent waiting in the line to pay.
When roads belong exclusively to self-driving cars, they can increase speed, reduce gaps between cars and eliminate traffic wave effect.

Imagine highway where everyone drives 80mph with 5ft of distance between cars. No one suddenly changes lanes, no one suddenly slows down for no reason.

Here is illustration from Waymo testing facility: https://youtu.be/hKfEivMfDPU
The only company that knows what they are doing is Waymo (which actually launched self-driving taxi service in Phoenix), Tesla and others are kind of "fake it until you make it" crowd.
Self driving trains seems like an excellent problem space. Are you aware of any companies working on this?
Show HN: Docsify-bitbucket – Docsify plugin that help using it with Bitbucket
Google Street View is full of artifacts, it's not even close to being accurate. The same goes for satellite imagery of rugged mountains. I'm not even mentioning the vegetation, snow cover, river levels, etc.
The busybox one works too
JXPath Implementation in JavaScript
If I were to put wires in roads, it would be for wireless charging, so that autonomous taxis and delivery vehicles could keep driving forever (or at least until they require maintenance) without needing to stop to charge.

I can see this happening gradually, beginning with docking stations, followed by parking spots with wireless charges and then downtown roads and highways. With each step reducing the required amount of space destined to parking.
"Removing legacy preference in favor of merit is not penalization."

Yes, but almost all selective U.S. schools do have racial preferences in admissions, which do disadvantage students who do not receive those preferences. My son is applying to college this year. He will benefit from legacy preference at one school he is applying to, but at every other school, he will be discriminated against because he is not an under-represented minority and because his parents are well-educated -- he will not be a "first-gen" college student. Today the Left is inconsistent in its advocacy of merit-based admissions, opposing legacy preferences but not other preferences.
I mostly get there by search results. I don’t specifically go to medium and search it.
Fantastic idea and execution. Now I can dissolve nearly 95% of my rss feed on this subject matter.

Thanks for the website...it's going to be a wicked year!
Ask HN: My Suspicion Regarding “M247 Ltd”
Around a year or two ago I noticed almost every single self-proclaimed No-logs VPN had started opening new servers with a provider called M247, which is based in Manchester, UK. At first it was nothing suspicious and maybe 20% of the VPN servers I used were operated by M247, and these were all servers in Europe, and there were no red flags or anything suspicious to me at the time.

However fast forward to the present day and I notice that M247 Ltd is operating an estimated 65-85% of these VPN servers, and 90% of the USA servers are operated by them. Now they have VPN exits everywhere. All over USA, all over Europe, they have some in Asia, even Australia. The fact that so many VPN servers are using their network concerns me for a number of reasons, the first being that with all the VPN traffic flowing through their network, there is now a target on their back by government organizations, etc, what's stopping them from putting DPI boxes on their upstream ISP, or forcing them to log all traffic?

The second is more concerning: What if M247 is just a front, not really a network provider at all but really an intelligence operation, created specifically so that VPN provider owners would rent servers with them so the traffic could be analyzed? I heard from some other sources that M247 has been known to conduct shady deals, etc. What if the government is offering up these servers for dirt cheap to VPN providers purposefully, and that is why they are all using them?

Another fishy thing that concerns me is the number of false names that M247 VPN IP addresses are registered with, previously I noticed they were all registered under the name "M247 Ltd" , "M247 Europe SRL" , "M247 Miami/Phoenix/etc Infrastructure" , but recently I notice they are registering their IP addresses under completely false names that don't turn up any results on google, such as "Ppman Services SRL" , "Secure Data Systems SRL" , "Venus Business Communications Limited" , "UK Web Solutions Limited" , "FirstClassIT Solutions" , and a few others that I can't remember at the time. These IPs all use the M247's ASN (AS9009) , and under "Organization" it does say "M247 Ltd" , but "ISP" says those false names.

Another strange thing I noticed was that they even used "Cogent Communications" as one of the false names attatched to some of their IP addresses (however just like usual Organization was M247 and AS was 9009). If they are a regular legal company, how can they possibly be making up ISP names out of thin air and using them, as well as using the name of an already existing network provier, Cogent.

All these signs point to M247 conducting some less than kosher business, whatever that may be. I'm now very suspicious of connecting to VPN servers where the ISP is M247, for fear that they are some kind of government front/data collection firm/etc. Has anyone other than myself felt suspicious of M247 and thinks they are up to something? Or better yet, is there anyone who knows more about them than I do who is willing to shed some light on them?
I've gotten to the point where I automatically and instantly discount any theory that proposes blockchain as a solution. I'm not saying blockchain technology will never be a good solution to a real world problem, but I have noticed that it is very often an ignorant assertion of faith rather than an argument based in fact. It walks like a religion and quacks like a religion, so I'm not sure why I should think it's something other than a religion.
> Given that planes, which rely on a class of specifically trained professionals with minimum hour requirements, still have issues with this from time to time

Most of this issues come from the fact that planes can't just stop in the middle of the road and wait for help, they have to land somewhere and do it fast enough not to be out of fuel.

Cars don't have to drive themselves to nearest service center when they encounter any hardware malfunction, they can just stop and unload passengers. Self-driving company would use another car to drive you to your destination (not even necessary self-driving car).
Because you need to be where the car ends up stopping!
> It's personal & subjective, and nobody will persuade anybody in a thread, but FWIW I absolutely positively can.

I wasn’t trying to paint a broad picture because as you suggest, it’s subjective. But there is some evidence that I’m not alone.

https://www.wheelsjoint.com/tesla-model-3-is-wreaking-havoc-...

> I'm looking for a "HOTAS" type UI, where I can do anything I want without taking my eyes and focus off the road.

I agree, the cockpit design on the Tesla is not my choice and may actually be a deal breaker. But since there is a 30 day no commitment period I’m willing to give it a shot and see how it works in actual use.
> and the server keeps copies of everything scanned and printed.

The end result is the same, it's all logged and stored.
2nd comment because I remembered some additional tips:

1) If you're considering a device...google the device name & github. Generally if I can find some github code of someone managed to get this to talk to python then we're probably OK to buy

2) The Xiaomi equivalent (Yeelight) of Philips Hue Lights are really good quality/value for money. If you can swallow the associated question marks on brand I'd go that route.

3) Basically everything is gonna require an app on phone initially and it will phone home...so you'll need a FW to block this after you got it to talk to local home assistant server

4) Some of these things like zigbee...frequency depends on country so look carefully what you're buying.

5) Most of this tech doesn't like 5ghz
Neural Network in Glass Requires No Power, Recognizes Numbers(2019)
This pdf of the textbook is linked to the course page at CMU:

15-819: Specification, Verification, and Model Checking "Spec and Check!"
http://www.cs.cmu.edu/~15819/

I wonder when this course was taught? I like Z but it has gone out of fashion. The course schedule page lists a Mon Jan 10. The most recent textbook, Logic in Computer Science, appeared in 2004. Jan 10 last fell on a Monday in 2011 and 2005, according to https://spu.edu/ddowning/percal.htm
Hey, after reading this article I tried to sign up at flexiple.com as a freelancer... until it asked me how much I wanted to make in rupees. I live in Canada.
I'm aware that it's typically an edge; what I mean by "mediocre" is not a personal description, but rather the state of being quantitatively less meritorious than those students who gained admission without the legacy edge.
Also, some of those companies were created a many years ago, when there were probably more cheap .com domain names available. "reddit.com" was probably pretty cheap to get in 2005.

And I bet if you look at the much longer list of all the YC companies that failed, you'll probably find out that most of them also had .com domains. If there's any correlation between domain name and success, I'm guessing it's pretty low. Companies ultimately succeed because they have a good product, good marketing and good management (and are in the right place at the right time), not because they have a catchy name.
Dataflow Programming (Wikipedia)
I actually think autonomous taxi services will be niche.

Think about Uber cars today. Their entire value proposition centres around them breaking parking laws in order to pick you up. Now the liability for that behaviour is with the driver. In an autonomous car the liability would be Uber which is why they won't do it.

An Uber that needs to look for parking in order to pick you up is never going to work in most busy cities. So I suspect you will see people opt for the driver based taxi service instead. Or maybe autonomous taxis will be reserved for emerging markets e.g. Indonesia which are more relaxed about parking.