skysight-inc/HackerNews huggingface dataset:
"Anyone thinking of installing Firefox should check out the Multi-Account Containers addon. I'm pretty sure such functionality doesn't exist for Chrome, and it makes it possible to isolate different sites and logins from each other."

Remind me - is this different than the "Container Tab" choice in the File menu ?

I find the built-in container functionality in Firefox to be surprisingly awkward and poorly thought out ...

For instance, the very first use-case that I attempted (create a Window, not a tab and have all new tabs inherit that same container) is impossible.

It also appears to be impossible to clear the history of just a container.

These are basic use-cases that came up, immediately, in a cursory exploration of the feature - I wasn't digging deep to find these ...
I like the concept. Text summarizers come to mind.
Good grab!

So basically they both seem to act like their larger scale selves, but in this case affecting physical characteristics of atoms. Special relativity is going to make the electrons more heavy and thus change their ionization energies and interactions with other atoms and energy. Gravity is going to affect their physical geometries? Idk.

But this reminds me of muonic atoms. I wonder if there’s some sort of point where the periodic table of electrons and protons/neutrons starts to mirror its lower energy self with heavier muon atoms.

Just thinking in a text box here, don’t kill me please...

Edit:
The muon to electron mass ratio is about 206 for a square root of about 14.4.

I found an equation that says the energy of that electron is on the order of 1/L^2 so to get muonic effects for the electron the box size of the bound electron, L, needs to decrease by about 1.5 magnitude.

Electron equation: https://chemistry.stackexchange.com/questions/19212/why-does...
That’s awesome. I’m curious, what are his languages of choice?
I'm very confused about what this blog post is trying to argue. Most of what it discusses isn't related to the Curry-Howard correspondence at all?

At the risk of sounding anti-intellectual, perhaps Orwell's "Politics and the English Language" [0] is relevant here?

[0] http://www.orwell.ru/library/essays/politics/english/e_polit
Reminds me of http://www.sansbullshitsans.com
I wish I could upvote this more. This is such a pain for me, to see a reported story and see an obvious question that any serious journalist could answer just sitting there, unanswered. It made me wonder what they teach in Journalism school these days.

As it turns out, not much about investigation. I looked through the curriculum at Berkeley[1] (a respected journalism school) and found things like J260[2] which is a seminar more on "why" of investigative reporting than the "how". There is also a "web skills"[3] class, but this is just about building a web site.

They really should consider adding a 'using the Internet to find people, corroborate sources, discover links between individuals and corporations, and to track ownership relationships.' Something that, as the author points out, is really a bunch of useful web sites and how to click them.

[1] https://journalism.berkeley.edu/curriculum/

[2] https://investigativereportingprogram.com/

[3] https://journalism.berkeley.edu/course-section/j215intro-to-...
Yes, for an attempt like this where every marginal gain is necessary https://www.runnersworld.com/training/a20823445/does-draftin...

Even a 1% benefit is significant, considering that he beat the 7200 second goal by just 20 seconds (0.28%).
Power-to-liquid is an extremely interesting avenue, but why on artificial islands ?
I think the creators also probably agree(d) that 13 people aren't needed to build this thing. However, to get funding you need to have a head count...

Basically it's the fault of the bizarre SV venture capital funding model.
I was in the room when the decision was made, and it wasn't about more users.

That's the kind of thing people say because they assume it must be so. If you do that about unconventional things, which this software was/is, you'll simply reproduce the conventional view.
No outlet published this. It is a user on reddit.
As of January 2018, uBlock Origin has 10 million active users on Chrome. Where did you get 9,000?
Wow.

> [Cook] became the first CEO of a Fortune 500 company to come out as gay in 2014.

This led to one Russian institution taking down a statue of Steve Jobs, I recall.

It was only 5 years ago, but it was a first for someone with that career status.
Employees at Google - fix this now.

I’m rather disturbed that on HN of all places not a single comment is talking about anything other than going to another browser. Google should fix this, and there should be plenty of people here who can voice it internally.
Can anyone provide the tl;dr on this?
I'm excited for the Blade Runner support. Been wanting to play that game since watching Ars Technica's fascinating little video[0] about it.

[0] https://www.youtube.com/watch?v=Zkwpa5YPhx8
They try to develop most new features as extensions first these days. It keeps the release cycles from impacting each other and lets them make sure that the extension APIs remain useful for other developers. If it turns out to be a good feature they'll either bundle the extension or build it into the browser from the extension. That's not always something people celebrate though, see the pocket stuff.
Thank you. And yes, look into European institutions!

Special shoutout to my alma mater ETH Zurich: It's essentially free to attend if you can get in and, more importantly, stay in. Classes are in English. And, very important for Asians ;), it's the highest-ranked university outside the Anglosphere (e.g. QS 2020 ranked it worldwide 6th, the WSJ/Times Higher Education even ranked it No 1 in CS in 2016, ahead of Caltech, MIT and other heavy-hitters (not sure how the ranking held up to today)). Bonus: Zurich has good jobs for technical people, with Google and Disney animation research labs here although only a mediocre startup ecosystem.

Yes, about time to break Anglosaxon dominance in elite education. Even more important if they are so warped and racist that they prefer to uphold their pseudo-"meritocracy" to the detriment of excellence.

Spoiler: the discrimination is not really for the benefit of African-American or Latin-American students; it's for European-American students of privilege (the latter qualification very important):

Each of the ALDC [athletes, legacies i.e. children of alumni/ae, those on the dean’s interest list, and children of faculty and staff] preferences primarily benefit white students. Over 43% of white admits are ALDC, compared to less than 16% of admits for each of the other three major racial/ethnic groups. Indeed, due in part to the nature of the sports that Harvard offers, recruited athletes alone make up over 16% of white admits. We show that removing legacy and athlete preferences results in shifts in admissions away from white applicants with each of the other groups either increasing or staying the same. At the same time, fewer high-income applicants would be admitted.

[1] P. Arcidiacono, J. Kinsler, and T. Ransom. Legacy and athlete preferences at harvard. Sep 2019.
Yes, this seems likely. If Apple is anything like most tech companies, the people who interact with third parties like Astropad would be in a division called something like Partnerships, at a far remove from the core macOS product decision-making.
"I do get it. I've been using it for several months, and I run into problems fairly often. Nothing wrong with the implementation, AFAICT, but it takes a fair amount of thought to assign sites to different containers, and you can easily end up following links that cross container boundaries and then don't work right because of the context change."

See my comment above - I think the obvious workflow for containers is a container window, not a tab, and all tabs created in that window inherit the container settings.

As I also note, above, I don't see how to manage per-container cookies and history ... I can't clear history for just my "banking" container (or whatever).

I really want to make heavy use of a container-like feature but keep stumbling over things like this.
I thought life on earth favoring a particular chirality was supposed to be primarily because of like common ancestors and stuff. If you flipped the chiralities of everything, would stuff no longer work?
Or, I guess really my question is, would it be nearly impossible for life on another planet to use the opposite chirality instead?
Anecdote - After TMI the NRC mandated that all nuclear plants install a system to automatically initiate auxiliary feed water to the steam generators if certain criteria were met. The Combustion Engineering version of this was called Aux Feed Actuation System or AFAS. During the next refueling outage it was being installed and I was giving lectures on it's design and operation (I had moved from operations to training by then) and the very first question from the very first operator training session was
"How do you turn it off". My answer was "you can't". They were not happy.
I strongly suspect that marathon runners always try to be very quick. (At least if they actually try to break a world record.)

However, a very concrete example would be bringing him water, as opposed to slowing down and grabbing it. Something that I can easily imagine brings 20 s, and therefore we still do not know, if a 2 h marathon is possible.
FF has never been rock solid for me. Massive CPU usage. Causes my fans to turn on on any MacBook I’ve ever had.
nit: instead of doing as a bookmarklet, could someone let me just put in a URL and have it fetch and run?

I seriously want to use this on my own content, as someone when lazy I resort to buzz words.
The rise of social justice is the evolution of our society from red/orange through high orange to a green society on the Spiral Dynamics model of psychological / spiritual evolution.

We're seeing the limits and the ugliness of unhealthy/low orange in the environment, politics, culture, et al.

The transition to green will be painful and violently resisted by orange/red portions of our society, but it is necessary for our survival and for rescuing the ecology of the Earth from the excesses of unbridled stage orange capitalism.

I'm so curious what our economic systems and culture will look like in stage green, but it'll likely not happen in my lifetime, which I just have to accept ...
Apple use Clang - they’re one of the main contributor (also on LLVM if I’m not mistaken).
And they’re optimizing the innard of Objective C too.
Along these lines, my stats professor recommended a really nice book that offers a case studies based approach for grad level stats: http://www.statisticalsleuth.com/

I've been going through it by implementing the solutions in jupyter notebooks. They have the datasets and code in R so it's easy to work with and work out the solutions.
I often use Airplay as a second monitor to my 4K TV. The only thing that prevented me from Airplaying to my iPad was Apple didn't support an iPad as an Airplay target. Now they do except they renamed it.

Astropad is mostly sour grapes. Sure I feel sympathy that their market dried up but the feature (Airplay, Chromecast) has been just a compile away from being available. Yea I know they support input too but you can make similar arguments for imput. How far of is the standalone bluetooth touchpad code from just running the same or slightly tweaked software on an iPad to use as a touchpad, etc... Heck, I wrote a touchscreen driver for the Amiga. I'm sure it didn't take more than 2-3 days. It's not like the device doesn't have that feature already built in and transfering that data over to the mac is not a some crazy impossible never been done before process.

People make these arugments before. Networking drivers were not part of the OS in the earily 90s. Companies selling network cards complained when Microsoft added networking to Windows. TCP/IP stacks were not part of Windows pre 1993. There's an long list of features that got added as standard features to most OSes. Thumbnails for images in Finder/Explorer (use to need 3rd party software). Memory management. Anyone remember buying QEMM? Browsers started out separate from the OS. They are separate now but I can't imagine desktop OS shipping without one.
Ah, well I actually use Path::Tony's slurp functionality mostly, depending on if it's already available in the project (which it is in any I set up).

It's easier to just say File::Slurp in mixed company so people immediately know what it is if they look it up, rather than them be confronted with a grab-bag of functions.
It is just that Googles tooling around code works really well together. Code search to view code and directory based history so you aren't swamped by others commits, tap to run all unit tests all the time but with sectioned projects so you don't run all tests on every presubmit, sponge to gather every test log ever (even for the tests you run locally) so you can link full test logs to coworkers when you have problems (also note that the logs source file links are actual links into code search), critique for easy versioned code reviews where you can diff code between any sets of comments so you can see its evolution and running presubmit checks and sponge links for tests, blaze to make a structured directory dependency management system to make partial checkouts and distributed cached builds work well.

I'd like a set of tightly coupled tool like that working outside of Google, but I guess it might be a just a dream, it is a bit too big of a project.
> I don't buy the tacit premise that most political disagreements are primarily about issues of facts and knowledge.

I don't think that's the premise at all, tacit or explicit. I think the idea is that belief has very little to do with facts and evidence. That's why bringing facts and evidence to a political conversation often destroys the conversation and actually strengthens your partner's beliefs instead of instilling doubt.

Trying to deliver a message to enlighten my ignorant, emotional partner isn't going to work. It's condescending, confrontational, and will instantly trigger every defense mechanism.

Sometimes it's better to ask questions about why they believe what they believe, and how they know what they think they know. Instead of proving them wrong, ask them what evidence they would need to see to change their mind.

Some people believe story of Noah's Ark is literally true. They can cite can many "facts" to back their belief. But, hypothetically, what evidence would they need to see to make them even 1% less confident that one boat actually sustained two of every animal on Earth for 150 days?

Is there any evidence at all that would diminish their belief? Or is their belief not based on evidence at all? Perhaps they believe the story because if they didn't believe it, then it would mean the Bible wasn't literally true, which would undermine their faith and identity and make them a bad person.

Conversations like this often turn up gaping holes in my own beliefs and rationales. So at the end of the conversation, I've learned something, whether or not I've changed my partner's mind about anything.
What I think you mean to say is that luck doesn't teach you anything.
How would this actually improve competition? I agree there is a problem, but in my view and opinion the solution is enforcing a regulated market that protects consumers and allows for new competition to enter even lacking scale.
Don’t Sell a Product, Sell a Whole New Way of Thinking
Likely. Macs running only ARM is a definite possibility. I doubt anyone would doubt Apple could make 100% ARM based Mac Pro given a reasonable timeframe. Just a matter of time.

Only need higher performance ARM cores. And this isn't in the "impossible" or "silly pie-in-the-sky" bucket either.
> Mozilla are doing their best to make the product superior, independent of the principles difference.

Last time I remember trying to discuss an issue in Firefox was when they dropped ALSA support and started requiring PluseAudio for sound. When people complained, a manager silenced everyone by locking the bug report. This was not surprising, as other problem reports in recent years have been met with similarly obstinate responses.

It's nice to think that at least some of their engineers are genuinely trying to improve things. (If you're one of them, thanks for trying!) It is nevertheless discouraging when problem reports are silenced by both the internet public and the company's own managers.

Sadly, the current situation is that both major browsers have made themselves deficient in one way or another. I manage to get things done by switching between them, but really, I'm ready to drop them both if a good alternative shows up.
This actually makes this announcement even worse. A $250k budget is an utter joke, so it begs the question if this was all done as a troll move toward the entire startup ecosystem in SF to get everyone riled up.
Would be cool if it suggested alternatives like Grammarly does.

Or just highlight the words and calculate a bullshit ratio or something.
I think that whether to use mono/multi repo depends on whether you're willing to dump money into updating everyting at once, or not. If not, monorepos are really a big hindrance. It's better to split on the project boundary (things that may have different development paces), and use git worktree for having different versions of libraries checked out for building/bundling.

It works fairly nicely with meson, as you can simply checkout a worktree of a library into a subprojects directory, and let individual projects move at their own paces even if you don't do releases for the libraries/common code.

It's not really clear why having to update every consumer in sync with library changes is beneficial. Some consumers might have been just experiments, or one off projects, that don't have that much ongoing value to constantly port them to new versions of the common code. But you may still want to get back to them in the future, and want to be able to build them at any time.

It's just easier to manage all this with individual repos.
> bad faith actions like having a 127 character pronoun means that it must be reported:

Why is that assumed bad faith? What if someone has a legitimate 127 character pronoun and that is how they identify themselves? Are you not refusing their identity? Would it not be bigoted to not refer to them as their 127 character pronoun(s)?
Can't Chromium be modified in order to use other extension sources?
I'm curious: how would most people here define monorepo vs multirepo?

On the surface, most people seem to think of a monorepo as a source control management system that exposes all source code as if it's a traditional filesystem accessed through a single point of entry. Multirepo, in contrast, seems to be about multiple points of entry.

But that's a superficial and uninteresting distinction. All the hard parts of managing code remain for both and, for a sufficiently large organization, you'll still need multiple dedicated teams to build tooling to make either work at scale. All the pros listed in the article need a team to make them work for either approach, and all the cons are a sign that you need a team to be make up for that deficiency for either approach.

Aesthetically a single point of entry appeals to me, in that it allows for a more consistent interface to code. But I'd go for good tooling above that in a heartbeat.
I'm not at all thinking that the US is exempt from atrocities of foreign policy from regime change to unfounded wars. The one distinction that exists is that elected officials are the ones that carry these things out in the US such that in some way all Americans carry the burden of those actions, in China, not so much. Xi has taken steps to be leader for his lifetime; China is carrying out mass camps where Uighurs are being systematically targeted for their religion among other things. Being an American, I know I can be blind to my government's policies and how they affect other nations, I mean, we use the fact that the US dollar is the world reserve currency such that it can use the power of the US Treasury to wield the banking system to shut down nation banks. Great power, much responsibility and all that.
I've only read the first twenty pages approximately. I'd like to see a little more disentangling of characters and strings as inputs to automata from text as something people read. The narrow technical meaning is implied in the text, but the use of "string" as a synonym for "text" is common enough that it might be worth being a little more explicit or didactic or pedantic or whatever.

The second thought is that lists smell like a type of stream. Successive calls to `next` on `rest` don't necessarily discern between lists and streams. The difference seems to be a compile time assertion that a list is a finite stream. Or in other words, a sufficiently long list is indistinguishable from an infinite stream (or generator).

I'm not sure you can have a lisp without lists, but they seem more like objects of type stream that are particularly useful when representing computer programs than a fundamental type. Whether there are really two fundamental types of sequences, depends on how platonic really really is.

All with the caveat, that I'm not smart enough to know if the halting problem makes a terminating type fundamental.
I recommend using `!s` instead, which will use Startpage instead of Google. But, since Startpage actually uses Google for search results in a private manner (similar to DDG using Bing and Oath/Yahoo), you'll get the same results as Google, but privately like DuckDuckGo.

Since !bangs are just using the URL search scheme of the site you're trying to search, it's just redirecting you to Google when you use !g, which allows Google to set cookies and use trackers. By using !g, one is sort of defeating the purpose of using DDG, so that's why I always like to recommend using Startpage and !s as a fallback instead.
Ask HN: Customer wants to acquire us before launch
Hi everyone,

We have been building a product for the construction industry for the past 2 months. We have reached out to potential customers.

In our initial sales pitch, we presented an option where we would build them the solution iteratively - they would get value, month to month. But for some reason, discussion escalated - they want some ownership. We haven't even finished building the product completely yet.

Sales are no go, they are insisting on ownership - and want to hire me, and cofounder. Everything is very mirky. Finding Hard to decipher. They also want exclusivity on the product, if they purchase it.

We are bootstrapped so far. We haven't even though of doing a seed round or making a pitch deck.

Any advice on how to approach this?

It's important for us to have first client who is very interested, as we can use their workflow and past work to assess and build the product.
True. The messages were encrypted, but ye if RIM went down, no email for you. Even if your email server was working fine.
Verify Sign in with Apple JWT Tokens Server-Side
Humans are forgetful, sometimes it’s nice to have machines help us organize things.
Apple's new Catalina operating system won't run old versions of Word
Firefox also offers the Tree Style Tab extension. If you’re working with limited screen real estate (e.g., smaller laptop) it may not be ideal, but on a full-sized monitor browsing the internet without it feels downright antiquated.

My hierarchy of browsers looks like this. FF is my default, along with an extensive suite of security and privacy extensions including uBlock Origin. Very rarely, I’ll encounter an issue with a site, and I’ll fall back to Brave. Exceptionally rarely, I’ll fall back from Brave to Chrome, but I can’t remember right now the last time I needed to do that.
We want our employees to live first, work second. So we have set it up so people can work from anywhere, and they do. A lot of employees go and work from interesting travel places for a few weeks or months.