skysight-inc/HackerNews huggingface dataset:
Given that this is what he had to say on priming, the authoritative tone starts sounding a little less authoritative: "When I describe priming studies to audiences, the reaction is often disbelief . . . The idea you should focus on, however, is that disbelief is not an option. The results are not made up, nor are they statistical flukes. You have no choice but to accept that the major conclusions of these studies are true."

https://replicationindex.com/2017/02/02/reconstruction-of-a-...
Funnily enough, the company I'm at has struggled to hire women jr/sr ICs. Most of the women in the engineering organization are managers or higher level ICs.
So Molyneux, who is a libertarian and hardly a "white nationalist", can't even have access to email services where he was utilizing his right to free speech to send mail to subscribers? People who _voluntarily_ signed up to get this communication?

This is asinine and just a further erosion of our rights in the name of "keeping us safe" from people instead of engaging with their complaints. I'm sure this will never bubble over into real problems in the world.
> If Microsoft spent a few man-years mathematically proving the correctness of that code, they could have the saved the world about 10,000 man-years.

Formal verification takes a tremendous amount of skill and effort. The most impressive formally verified operating system we have today is seL4, as you mentioned. Its functionality is very limited, though.

> A ballpark figure for proving the correctness of 7500 lines of very complex code[2] is about 30 man years[3]. If even 1% of the 1 billion Windows users and sysadmins has to spend a couple hours on things related to this patch, it works out to 9615 man-years of worldwide waste (based on an 8 hour workday and 260 workdays a year).

1. I doubt this idea is practical

2. Assuming it's possible, the cost would be enormous

3. The resulting system would likely be hard to change without breaking its formal guarantees

4. Microsoft would have to justify this cost on their own terms. If the code is already 'stable enough', they would do better to spend that money developing other features. Which of course they did.

> 100 per cent bug-free and therefore immune to crashes and failures

seL4 are careful to state that it does not offer guarantees against timing-attacks or other side-channel attacks.
> the yubikey is the possession that gives me the most delight. I savor the click when I plug it in. I take it out and look at it sometimes, tipping the gold USB contacts towards the light, muttering about how it was a birthday present. One day someone will win it from me in a riddle contest.

Yeah, just don't try to follow the winner having gamer remorse. Rumors are Mordor Security Agency gets serious searching for used keys...
Banning for municipal use. I assume that means private companies are still allowed to use facial recognition for anything they want? Is it legal, for example, for departments stores to use security cameras at the entrance to run facial recognition on customers, and then advertise to them online?
You're right. I should have checked more carefully before noting that. The LA startups currently lined up and based in Los Angeles are: FightCamp, FLOWER, Relativity Space, Sorting Robotics and UpKeep.

I'm working to have a few others LA YC startups join us as well. The rest have founders & teams coming in from SF (and one from Chicago), and are eager to chat about remote or SF roles.

If these LA startups and/or the opportunity to relocate to SF isn't possible, you're right -- it's not a good fit.
Show HN: React-library-template – Jumpstart your team's shared react library
Accessibility Insights for Web
If you remove regulations, businesses will raise barriers to entry. Businesses don't like to compete. Competition is a zero-sum game that they might lose. Instead, they prefer to form cartels and turn it into a non-zero sum game where they all win (and consumers all lose).

World history clearly shows that lack of regulation inexorably leads to trusts, cartels, price fixing, price dumping, and all sorts of other anti-competitive agreements. It's trivially easy for a monopoly or cartel to raise their own barriers to entry to maintain their hegemony.

In fact, there's a good argument that the governmental barriers to entry you are lamenting were in fact driven by entrenched businesses as an example of regulatory capture and not a flaw in regulation itself.

If you let businesses get so big that not only are they not regulated, but they have taken over control of regulation itself, you're in a real pickle.
Death to the To-Do List
It's not a problem in of itself. I think the main issue is these are questions frequently asked by other podcast hosts already, and the people here are hoping for something more in-depth on topics the guests are more qualified to discuss.
This is pure speculation and garbage.
Thank you for the kind words. I think it's important to think both about the mathematical/technical foundations of an idea and its place in the big picture of human civilization.
Modern FE tooling, for all the hate it (sometimes deservedly) gets, has some pretty great a11y stuff, eg my react projects use `eslint-plugin-jsx-a11y`, and devtools / lighthouse supports accessibility audits...
You can use the free version in whichever way you like as long as you don't remove the telemetry.

If you don't like nor what the telemetry, it cost 50€ one time fee.

It could be much worse!
I don’t know. He could ask Jeremy Howard about the architecture of fast ai and we’d get some interesting answer that becomes dated and irrelevant very quickly. But when he asks what Jeremy’s favorite programming language is and Jeremy comes back with Microsoft flippin Access, you get a view into Jeremy’s commitment to making software accessible to the masses. Or when Elon pauses like Elon does and asks the AGI what’s outside the simulation, which simulation is he talking about? Is he asking the AI to describe its God or ours?

I don’t know, i really like these forays into the philosophical.
It isn't, and it is a known enigma. That said, I'm inclined to think our entrepreneurship rates would be even higher in this country if we had a non-employer based health care scheme. I base this on the anecdata of having met easily dozens of people over the years who wished to be entrepreneurs but stayed in job because of the health care benefits. Would love to see further studies of this correlation between health care costs + entrepreneurship.
That being said, I would completely love to specify stopovers as the flight path, also completely avoid airlines (even fi they're codeshared). (I.e. Leftouthansa)
> A binary distinction requires a binary definition

No it doesn't. See absolute value of x on real numbers - it is usually defined as:

abs(x) = x if x >= 0, else -x

but it can also be defined as sqrt(x * x).

You can use this trick to define arbitrarily complex "binary" f(x) as a combination of these. And there are many other tricks of course.

But math is one thing, we see spectrums everywhere in reality and yet quantum mechanics is discrete (quantized :) ).
It's just another example of the universal Chesterton’s Wild Boar fence rule

https://news.ycombinator.com/item?id=20616290
> There's a pretty high correlation between parental wealth and success as a startup founder.

I'm not disagreeing, but is there any research to support this that you can share, or is it based on your personal experience?
But yeah, I guess it won't change much if I do it MIT
This is just my experience so far.

For some reason those whom I worked with who were choosing to work in such places usually were also not overly sociable. I have, of course, at least one example of a person who works at home and is self-admittedly antisocial, but the correlation is still there.

I have this one friend who only really uses his tiny apartment for sleep and other basic stuff. He works at coffee shops and doesn't cook even though he's good at it. Getting to know this guy was a lengthy and laborious process.
Are you referring to this? https://qz.com/455109/entrepreneurs-dont-have-a-special-gene...
I don't think that's the case. $530 is nearly 10% the median household income. And that's just healthcare. Keep in mind countries with higher tax rates aren't just getting socialized medicine but vacation days, parental leave, cheaper education, and usable public transit.
How would you lower the barrier to entry into something like Facebook or Amazon? Or Google trips for that matter? Or in this example, Hipmunk?
I've recently moved to the US from Australia. The amount my employer and I pay for my healthcare is significantly more than I paid in Australian taxes for healthcare. And that's before including my deductible, things my insurance doesn't cover and the amount I pay in US taxes for healthcare.
Actually a lot of cash only businesses are probably dodging taxes.
>2. Consciousness experiences the reality in which it lives the longest.

This seems like a very strong version of the quantum immortality idea. I was under the impression that quantum immortality didn't suggest that there was only one path among the splitting universes where someone is "truly" conscious and experiencing reality.
My problem is that I'm effectively paying 2-3% in fees on every transaction for this privilege.

If you pay your credit card bill off in full every month, you're not paying anything extra unless the merchant charges a premium for credit card transactions. If you carry a balance, you're paying on that, sure, but nothing requires you to do so.

(Also, of course, you might be actually getting 1% or more back on credit card transactions, if they have cash back programs.)
All of those things have been given interactive platforms in pre-internet settings: book clubs, museums, galleries and film festivals.

It's of course important to have the option to enjoy them by yourself at times-- but you can do this with games, too.

Nearly all visual & audio art can be presented in a game-like environment (such as a customized VR setting), so in a way a game engine is a superset of every piece of art in those categories. And they will all continue to exist, because part of art is confining your expression to a defined medium to intensify your focus on it.
Mobile-First Web?
What's happening to the idea of the mobile-first web? Most of the new fancy APIs like notifications in mobile browsers are mainly used for bad purposes (spam from websites there's no point getting notifications from), while legitimate usages are really uncommon. Messenger and Slack have disabled their mobile webapps and force users to install a full-blown, standalone app (which, I suppose, in terms of user-facing functionality is more or less the same, but allows for far more tracking and precious data collection). Github has recently released a beta version of their Android app. Why not put some more work into the mobile website instead?

In my view, mobile web is getting more and more hostile towards users with all these popups you have to close, constant nagging to install apps or add shortcuts to your launcher, weird alternative-reality AMP versions and/or with (artificially) limited functionality
DO NOT EVER buy a ticket with cash. It's silly since it's the nation's currency.

Yes, it is silly you can "avoid it" by other card methods. But at least theres a longer trail associated with that, and probably puts you at a lower risk of being labeled as a concern.
Are you going to build it instantly?

If not, what happens if someone else releases a superior product in the interim? Or my business needs change?
Nice. Did you measure the performance of scrypt.js? The PBKDF2 implementation in Python and both Chrome/Firefox are similar for me and the Python documentation states something like 3x slower that the OpenSSL implementation [1]. So it sounds pretty usable to strengthen the password while still being usable.

[1] https://docs.python.org/3/library/hashlib.html#hashlib.pbkdf...
Just to elaborate a bit further, the first link is a talk on the following paper:

http://conal.net/papers/compiling-to-categories/compiling-to...

It's quite interesting to see how things like automatic differentiation get expressed in this framework.
Great, I would like to see people deplatformed for advocating illegal immigration and racism against white people. Such people are rampant on social media, yet I doubt many of the same people eager to get Moleyneux deplatformed would be as passionate about deplatforming those offenders.

The point is that if we are willing to accept arbitrary deplatforming - which is necessarily the case if we accept deplatforming at all - then speech can be arbitrarily stifled by a few executives, or a few angry mobs. This is intolerable.

Your analogy to the bartender is not appropriate, because we are talking about platforms which explicitly facilitate speech and outreach to millions. Presence in a bar is quite different.
I recently migrated a 25k line library to .netstandard 2.0 so that I can target core 3.0 and go cross platform. It was worth it.
> and if they do the manufacturer cuts the high-density pre-digested feed of feature descriptions for the product

Are you sure that's the case? Most descriptions of MAP I've seen incorporate a "shared" advertising budget that the manufacturer will stop paying if you don't abide by the MAP. This is a subtle but significant difference in actual implementation, further, while this may be acceptable under current federal law or at least the current interpretation they aren't the sole holders of anti-monopoly jurisdiction.

> (for example, if sale below M.A.P. drops the bottom out of a market and kills an industry

That's an incredibly long tail argument. How likely do you think is to actually happen? Is there any evidence this would occur? Is this endemic to all industry, or just to those who rely on these pricing agreements to hold market position?
Like the readme says, this was something I created as an answer to other abandoned repos like create-react-library. Unfortunately, the information online for creating a component library, or a place to share hooks, is incredibly disparate. This was my best attempt at creating it on my own.

This utilizes the new GitHub template feature to make startup as simple as possible.

Contributions are always welcome! Yhanks for looking.
The barrier to entry is definitely not "100% over-regulation". Starting an airline would be extremely difficult even if it were entirely unregulated. You need airplanes, pilots, and a variety of flight and ground crew. You need landing slots at busy airports. And then you need a customer base big enough to fill up your flights.

Even if all of that were easy, you still want anti-trust regulation, because airlines are a cutthroat business. If you start up NerdBird Inc, specializing in SF-Austin flights, it is absolutely in the interests of United and American to undercut you on that route for as long as it takes to drive you out of business. Which will probably not be very long, as airlines are expensive to run and margins are thin.
This has irritated me for about a decade! Probably unreasonably.

Rasberry Pi was not the first ARM dev board with linux, and most of the "Make your Pi do X!" recipes out there would more reasonably be described as "How to set up your linux server do X", but that's not cool, and had no Pi, so ...

Grrrr mumble mumble, yes I know I'm an old curmudgeon.
Well, neither does 120°F summers. I think there's an argument that Pheonix fundamentally can't be pedestrian friendly so optimizing for car-and-bus-friendliness is a justifiable strategy.
good point. you can just put in a car that you have driven in the past (but don't own) and we will add an "i dont have a car" option.

thanks for the input.
As other commenters have pointed out, life expectancy is only one variable in measuring the quality of a healthcare system.

As an example, due to Europe's propensity for biking and walking relative to the US, that certainly has a positive effect on life expectancy.

Another example would be the high caloric diets of many Americans. This exists for historical reasons (see: the history of fried chicken and its relationship to the South) and for economic reasons (those in poverty disproportionately consume cheap and high-calorie diets).

Neither of these are related to the quality or availability of health coverage, but instead, are infrastructure / sociological issues.
My employer has an "apprentice manager" position specifically for engineer ICs who want to transition into management. It's a 3-6 month program where you get training and coaching, and you have a dotted-line reporting relationship where you have some unofficial direct reports to practice on, and at the end of it, you can decide to either move into the management role or go back to your IC role if you decide you don't like it.

I don't know how common this kind of program is, but I went through it and found it really effective. I was able to build the skill set I needed while having an "out" if it turned out I didn't like management; the company gained an effective manager after training me; and my direct reports didn't have to suffer too much during my incompetent phase because they still had a "real" manager supporting them while I was transitioning.

If you can get an IC position at a company with a program like this (or at least a strong track-record of promoting managers from within), you might have more opportunities to move into management. But no matter what, it won't just "happen" -- you'll need your direct manager's support to get the opportunities as they arise, so you'll need to have an ongoing "here's where I want to go, let's make a plan to get me there" conversation with your manager.
Advocates ask colleges to avoid facial recognition as surveillance grows
Why go to UA.com when you can talk to a person that can tell you about the plane loads, what has more availability with FC/B. Also if you're flying that day, they can tell you more about the backpressure on flights. Not everything has to do with the cheapest price.

Most of the airlines like to complain that people are only focused on the price. They market themselves and try to make themselves look at price. They don't offer a lot of transparency on their product and they complain why people are using their site as intended. (Or avoiding it with comparisons)
Another aspect of this is pick dependencies that are well encapsulated (so if you need to change them or update them it's generally easy to).

Of course, this is just a good choice regardless. Still, it shocks me how often people will choose libraries and frameworks that require very opinionated structure on large swathes of code, rather than having well defined minimal touchpoints.
Things like this make me think there might be value in an "elderly mode" on phones wherein the phone only accepts inbound calls from numbers that the user has made outbound calls to in the past. Businesses you haven't called yourself would have to use the postage system instead, which seems like a positive improvement. Of course, such a system would not necessarily be worth much until the number spoofing problem has been resolved. Two phones both in elderly mode could whitelist each other using NFC perhaps.

(Maybe that's not a great name for it. In truth, I think I would use this elderly-mode too.)
Is that actually the case, or is it just a rumour? The version number never matched the OS name until Windows 10, and Windows already has a very robust backwards compatibility framework that can simulate older OSs, so I'm not sure why that would be a problem.

Windows 95 is version 4.10, XP is v5.1/v5.2, Vista is v6.0, Windows 8.1 is v6.3, and Windows 10 is v10.0.
OpenWrt 19.07 Released with WPA3 Security, a Faster LuCI Web Interface
Capital one branches are basically coffee shops.
I want something I can easily carry with me. You're not wrong in that it's mostly impossible to modify these devices, but I don't think being able to mod these devices really provides you with a ton of lift anyway.

And I'm okay with getting my hands dirty, but I'm just one person with hopes and dreams. Maybe I can write one kernel module but I don't think I could build everything needed for a comfortable experience.
Seconding this, and that is one of my main points of irritation about the tech world, and the world in general. That we keep permeating outdated solutions in new articles and blog posts and elsewhere, when other actually superior solutions have been found.
I reject the premise.

I think Gamers were not infuriated by Epic. Just normal everyday complaints that happen with every new business.

Gamers were, as an example, infuriated by Blizzard. That is infuriation.

https://www.polygon.com/2019/4/5/18295833/epic-games-store-c...
Earlier today:

Mailchimp has terminated Stefan Molyneux’s account https://news.ycombinator.com/item?id=22048173

Another sudden termination from 2018:

MailChimp deleted my account with no warning https://news.ycombinator.com/item?id=18715866
This honestly reads as "working as intended" to me. No side can become the tyrant and get everything it wants and screw the other ~50%.
Entrepreneurship in Scandinavia is higher than in the US.
I was all set to try this, over the syncing in Chrome of different Google accounts. Ah, well, when they get them syncing I will try it.
Yes, and San Francisco is mostly zoned for no more than 4 stories in height. It would never be as cheap as Huston because it can't sprawl. But there is a ton of opportunity to build up.

The San Francisco height / bulk map is pretty enlightening. https://sfgov.org/sfplanningarchive/zoning-map-heightbulk-di...

All those light colored areas are max 40 feet.
An added benefit of getting rid of federal taxes in favor of state or local taxes is that taxes get less coercive the more decentralized your get.

It's very easy to move from one town to another if you don't like how the local government is running things. It's a hassle, but very possible to move from one state to another. However, moving from the U.S. to another country is incredibly difficult for most people.
Thank you Lex! After taking classes in college, I sort of drifted away from the world of AI. Thank god I stumbled upon your videos. You re-sparkled my curiosity in AI with your podcasts. Your questions are so insightful and the guests that you bring in are amazing.
> If you pay your credit card bill off in full every month, you're not paying anything extra unless the merchant charges a premium for credit card transactions.

The merchant is paying extra, and that cost is hidden in the price I pay.
I wrote a simple cgi-bin food ordering app in ~2000. Python and MySQL. The program continues to run, 20 years later (I have moved on to a new job, but I talk to the old team). The python version was updated, the MySQL server was updated, and they did a data change when they moved to a new food caterer.

I think the main attributes of the program that contributed to the longevity were:
- no ORM or other complex library to interact with SQL. Just the basic SQL client.

- cgi-bin and HTML only, no javascript. Basic HTML renders more or less the same after 20 years.

- used a very simple schema

- documented everything in the system in comments
Popcorn time...
There are also "multi-level marketting" pyramid schemes and high pressure timeshare salesmen still out there. The difference between an outright conman and a high-pressure salesman seems marginal at best.
BlackBerry made massive profits after the iPhone was released.
How does his right to free speech require Mailchimp to participate in broadcasting it?
Excited to see that Hipmunk is now a strong candidate for Our Incredible Journey (https://ourincrediblejourney.tumblr.com)!
non-paywall:

https://usf.news/the-americas/northern-america/united-states...