skysight-inc/HackerNews huggingface dataset:
Look at how he started, and he wasnt super human. I think youre elivating him to a place he isnt in. I honestly think you him less credit by doing so. He was one of us, which makes his feats even more impressive.

Feynmann ENJOYED working on puzzles. He started with radios, and fiddled with electricity... and learned hid math as a kid from bools written for „working men“ (which i read and workd through) .. their language is not what you see in textbooks.

He also invented his own notation (talking pre-uni, not physics notation hes also known for) and says he finally switched because he realized he wanted people to understand him, and partially due to conventions.

He played, he didnt get taught, he explored. He learned math to pursue his passion, not vice versa
>"Microsoft rarely, if ever, allows anyone working there to reach 55 and have their pension become vested."

Don't pensions usually vest within 5/10 years of working for a company (possibly in tiers) rather than when reaching age 55? I'd assume anyone who has been at MS long enough to be eligible for a pension (which was probably last offered in the 90s or earlier) would have vested decades ago. You simply can't draw upon your pension until you reach 55 but you lose nothing. Makes me question the whole article to be honest.
Dark Forest: an RT game built on zkSNARKs
I generally install phpMyAdmin on all my servers, it is especially useful if you forget your database password.
That's technically true, but it doesn't do anything to advance the discussion of the issues the article raises. In particular, I really doubt that anyone who read the article was mislead by its use of the technically incorrect term "Silicon Valley."
according to searchableguy, that’s happening right here: https://discord.gg/8kQhp6
I would be curious to see:

- RubinReport
- ProfJohnLennox
- TonyReinke
- RickWarren
- MattChandler74
- RFupdates
Is there no database where they can lookup "drugs for x" as a quick refresher? Aren't they paid like 300k/yr?
Safari's content blocker API isn't really comparable to something like Ublock Origin.

It'll definitely help with the web if your goal is just to speed things up and make things look better, but if you're worried about privacy, iOS's browser is going to be less thorough than other platforms. It doesn't even support page-source rewrites, let alone protecting against more advanced anti-adblock techniques like CNAME cloaking.

Funnily enough, this has come up a few times in the context of Chrome's manifest V3 changes, where people have asked why it matters since Safari already works pretty similarly to what Google is proposing. Ironically, the answer is that the similarity is exactly why we know it's a bad idea for Chrome to go in the same direction. Safari has less effective adblocking compared to where the rest of the industry is at.

It's always going to be easier to bypass what is effectively a declarative DNS blocklist than it is to bypass a system that can run blocking logic per-request.
True that, MPV is solid. Paperview gives me ~3% cpu usage and ~9% GPU usage on an old x230, while MPV gives me 40% cpu usage for a similar mp4. MPV works great on desktops with mp4s, while paperview is great for laptops and battery life if 15 frame gifs are being rendered (pixel art, of course!)
Correct. Sorry for the confusion!
Thank you! This book is actually on my night stand right now, next in line.
I'd think the same way you know you won regular chess. You capture the opponent's king. Checkmate is just an acknowledgement that the current player has no way of avoiding their opponent from taking their king on the next move.
Some pretty lazy maths concerning the statistics:

Assuming there was a 0.545% chance for visitors to start a conversation, and the chance didn't actually change between the tests.

In that case you'd have an ~8% chance to get 34 conversations or less for 8004 visitors, and also an ~8% chance to get 45 conversations or more for 6622 visitors, and there would be just a ~0.66% chance you'd actually see a gap that large (or more accurately: gap between any x<=34 and x=>45) by random chance, suggesting there was probably some change in p in between the tests.

Mind I just played with a specific p of 0.545% here, and also halfassed it.
We skipped right over the opportunity for non-integer fractal dimensional chess! In all seriousness, this looks super interesting. I’d love to see some live gameplay of it.
The strategic advantages of Phosh for mobile Linux
Reproducible builds make it a lot easier for compiler/build system debugging.
I think that the most people reading that comment understand that this that is shorthand for "startupy tech company".

When people refer to silicon valley, it is partially a reference to a place, but also partial a reference to simply culture.

Most people understand this, and quibbling over the exact physical location is just valueless pedantry, when the meaning was fully understandable.
What is the best online data backup service provider?
What is ammonium nitrate, the chemical that exploded in Beirut?
Yes. Anyone who want the protection from the SIM swap attack should remove phone 2FA from their accounts, and should consider accounts that do not support such configuration as vulnerable.

Whether you consider the SIM swap attack a threat worth protecting from would depend on many factors, even though the threat itself is very real, and almost all phone numbers are vulnerable to the attack. I have yet to learn any phone service provider that is not vulnerable to this attack. I've heard people speculating that Google Fi might be one such provider, but I don't know if Fi customer service actually is not vulnerable.
I recall at the time of the purchase some, I think it included Cringely, said that Red Hat culture was going to take over IBM and save it. Alas, it looks like that is not going to happen.
A Primer on Ethereum Social Governance
Oil will certainly move on you, but it might not destroy your components, depending perhaps on the specific oil chosen: you can actually buy or build fully oil-cooled PCs.

https://www.pugetsystems.com/submerged.php as an example.
The guy is a living legend, not sure why he hasn't yet received a Turing award for creating Arc
If only I can get Chromecast working on Firefox. I would never touch Chrome ever again.
The more precise statement of it is that physics and much of applied math is done in the topos of synthetic differential geometry, where by removing the law of excluded middle from the logic, you can basically make all of this true.

Well, except the Taylor series part. Numerical analysis is perfectly happy to take you to the cleaners even in ultrafinitist settings.
I find connection redhat has with the Linux community about the same as Intel's since at least as far back as 2008. I also know people who were as likely to get jobs at redhat as and of the other big Corp techs, I.e. Dell, Cisco. Is there really something distinct about red hat beyond the trademark and distant memories?
They are expenses, but companies do try to avoid paying for stuff they don't have to. Legal risks are a thing, and some manager somewhere is going to get backup from legal when they argue against doing this, using this story as an example.
This is a good counterpoint.

I do wonder though how close the articles that GPT-3 produced were to the articles it had been trained on. For example, the Methodist Church Split article that it produced has a lot of very specific facts about the Methodist Church and about the split, which shows that it had texts about that spefic event in the training set.

It also has a sentence which contains a pretty obvious non-sequitur, but it's easy to miss it or assume that it's a mistake that a human made.

So overall, I'm guessing GPT-3 may actually be pretty decent at re-telling a story with different words, which sometimes is very hard hard to distinguish from a human doing the same thing.

They also don't describe the way they programmatically selected the output, though I am willing to believe that they more or less randomly sampled the output from each model.
FWIW, Firefox is slower for me on certain pages. I keep Chrome installed for things like Google Docs. For example, in the word processor, it tries to save the document every few keystrokes and Firefox will hang for 5-10 seconds whereas on Chrome it's so fast it isn't noticeable.
> `fmap _ (Leaf v) = Leaf (f v)` right? (s/v/f v)

Compare the Functor instances of the original inductive Tree type with TreeShape a:

instance Functor Tree where
fmap :: (b -> c) -> Tree b -> Tree c
fmap f (Leaf v) = Leaf (f v)
fmap f (Node l r) = Node (fmap f l) (fmap f r)

instance Functor (TreeShape a) where
fmap :: (rec -> b) -> TreeShape a rec -> TreeShape a b
fmap _ (Leaf v) = Leaf v
fmap f (Node l r) = Node (f l) (f r)

You see that in the latter the function we map over acts on the rec type which is the induction we factored out and is only present in the Node case. You can view the Leaf case as the termination case where Fix stops expanding. It's useful to write out the evaluation by hand on a small example to see how it works.

> I'm also curious about "the compiler is more than happy to do it for us" - is that in the form of `deriving Functor`?

It is indeed the deriving Functor. You can even examine what the compiler does by dumping out the instance using the -ddump-deriv flag.

For more background reading as to why this is possible here are a few links:

- https://mail.haskell.org/pipermail/libraries/2011-February/0...

- https://www.schoolofhaskell.com/user/edwardk/snippets/fmap

> I have never seen stock before!

It comes from the DerivingStrategies lang extension which makes it explicit that this derivation is "built in". Everything works the same without it though so we can just ignore it as well.

> Lastly, does `processFunctor` exist in the standard library?

If by standard you mean the Prelude then no, but there are tons of packages, eg.:

- https://hackage.haskell.org/package/data-fix

- https://hackage.haskell.org/package/recursion-schemes

- https://hackage.haskell.org/package/compdata

- https://hackage.haskell.org/package/yaya
Did Gene Roddenberry research biographies of logical people such as physicists, number theorists, and other "heavy researchers" (for a lack of a better word) before he wrote or specified the character? If not, then he was very ignorant of the personality type of heavy researchers.

It seems that Spock and Surak were meant to be parodies of stoic philosophers such as Marcus Aurelius. The fact that Surak is listed as a "great mind" alongside Newton and Einstein in the series reflects Roddenberry's high view of stoicism, so perhaps I was too extreme in the judgment of "minstrel character," seeing that he, Surak, and T'Pau were meant to reflect his favorable judgments of Stoicism, but it is still ignorant because

1. Nobody considers the stoics to be legendary thinkers in the real world. Nobody says "Aurelius, Einstein, and Newton."

2. Heavy researchers aren't at all like Spock but he does have a resemblance to people with Aspergers

3. How heavy researchers feel emotions is not at all like stoics. Strongly externally-oriented thinkers feel emotions and see emotional events in a specific way and "like Aurellius" isn't it.
As someone with an undergraduate degree in engineering and some professional experience as an engineer, I would counter that the training of engineers absolutely does deprioritize the kind of high level critical thinking I'm talking about. I'm not saying every engineer needs to be an ethics and politics scholar, but there is definitely room for improvement.

Nuance in communication and dealing intelligently with ambiguity is also a really big issue in all of STEM. Engineering is no exception. This is in fact something that COULD be improved. It's just not as profitable.
Philosophical guidelines for improving your debugging skills
This feels like a re-writing of history. There was no nuance in what the US Surgeon General said, no mention of N95 vs. "basic" just "[masks] are NOT effective." Here's the full quote and tweet that still exists:

> Seriously people- STOP BUYING MASKS!

> They are NOT effective in preventing general public from catching #Coronavirus, but if healthcare providers can’t get them to care for sick patients, it puts them and our communities at risk!

I get wanting the best interpretation, but there's a difference between that and just outright mischaracterizing what the message was from public health officials around Feb.

https://twitter.com/surgeon_general/status/12337257852839321...
> You could for example see what happens when you play this game on the p-adic numbers.

The p-adic numbers can't be turned into an ordered field, so it's unclear what the "between" in "choosing a number between A and B" would mean. It's hard to imagine a generalization since concepts like "monotone convergence" and "least upper bound" come from order theory, not topology.

The p-adics are complete as a metric space (Cauchy) but not complete as an order (Dedekind).
> Well that ain't Silicon Valley!

It absolutely is in the culture sense in which most people understand what that means, and how that those words are often used.

Words are not always used to refer to their literal dictionary definition. Instead, words can have multiple meanings, and people can use them to refer to coloquial definitions.

This is a common way of talking about these types of companies. I can't really help someone if they aren't able to understand the idea that words don't always refer to their literal definition.
I disagree, I think it's statistically significant. I ran a quick z-test:

p0 = 34

p1 = 45

n0 = 8004

n1 = 6622

z = -2.0924

p = 0.03662

So, the improvement is statistically significant at 95% confidence (p < 0.05)

As far as practical significance, that's debatable . . .
Out of curiosity, do you mind sharing what sorts of websites you use that you feel this loyalty towards?

News, community, educational, etc? Is it a small group of sites, or a wide variety?
Techrights is not a reliable news publication.
> but I'm pretty sure RedHat knew exactly what they were doing when they decided to let IBM in the door.

Call me cynical but isn't it possible that the people who were responsible for the acquisition on RedHat's side were also the ones who would benefit most from it financially so they simply sold out?
Air Canada Reports $1,75B Net Loss, Confirms 20k Job Cuts
It wasn't like they just guessed or anything. IIRC they had a test where people coughed into a petri dish with and without masks. The initial results showed that there was coronavirus on the outside of the mask, leading them to conclude that the virus is able to get through the mask. They weren't able to realize they were incorrect on their conclusion until they looked at the cultures a few weeks later and measure the amount of coronavirus in them.

I could be wrong on that, if someone is better-informed please correct me, but that's what I read somewhere.

EDIT: Just to clarify before I'm downvoted, I do actually agree they were a bit too hasty to tell people not to buy masks. Having the surgeon general tweet out saying "Seriously people, DO NOT BUY MASKS" was definitely premature and obviously led to a lot of the problems we're having here now. I just wanted to point out that it wasn't a completely unfounded take, just premature to make huge decisions like that.
Epic games seems to be using captchas for ue4 accounts that break for Firefox users who are using tracking protection. Not a complaint against Firefox, just very annoyed by game dev in general for privacy reasons.

- more or less forced to use windows for development / to access marketplace content
- have to modify engine source code to disable analytics
- have to use Chrome to access their sites and dashboards

I really miss my old Linux setup
Unsubstantiated bullshit. The entire 'article'. How this passes for 'journalism' is baffling.
I think you're right, but it does seem interesting to see what kind of recommendations he makes. I don't read as much as I wish I did, I find it easier to read websites than books, must be something about the format. I've been trying to use my Kindle more, but maybe it's the fact I always get 'boring' books.
Are you on macOS? I held off on switching until a rendering optimization landed a bit less than a year ago, which brought Firefox up to par with Chrome.
Hmm, I did toggle those flags over to no avail. Perhaps linkedin.com is using additional protections that don't show up. It _is_ a 200, but the Chrome page just shows the broken icon with "www.linkedin.com refused to connect." even with x-f-o suppressed, CSP suppressed, and those flags tripped. All on 84.0.4147.105 on Linux/Mac.

Ah well, I guess I take the L on this.
Sure, as I said, there are human tasks that may appear creative but aren't.

Also, please note that the 'essay' is assembled by human selection from GPT-3 produced output (whole paragraphs?).
2021 Planning and Global Economic Collapse
Covid tests and quarantines: Colleges brace for an uncertain fall
I’ve been very pleased with VegaLite. My one complaint is the use of column for the grouped bar chart. Unfortunately as a result it’s difficult to have such a chart in a FacetGrid.
"Hi! We at Mozilla certainly don't see that! I'm at 815 tabs ..."

Sorry ... hijack ...

Could you please implement a special:

settings://tabs

... URL that just gives a plaintext list of tab URLs currently open ?

As it stands, the only way to get this list is to poke around in /Library/ files and then use JSON command line tools to export ... etc., etc.

I just want a built-in page that gives me all the URLs of current tabs. I could then cut and paste them, or save the page, as I see fit.
Outcomes in research papers refer to the specific values that were being measured. In this case, "wrong outcomes" means that the studies that were discarded were not measuring FOR the values that they're comparing across.

"Outcomes of interest were risk of transmission (ie, WHOdefined confirmed or probable COVID-19, SARS, or
MERS) to people in health-care or non-health-care settings
by those infected; hospitalisation; intensive care unit
admission; death; time to recovery; adverse effects of
interventions; and contextual factors such as acceptability,
feasibility, effect on equity, and resource considerations
related to the interventions of interest. However, data
were only available to analyse intervention effects for
transmission and contextual factors. Consistent with
WHO, studies generally defined confirmed cases with
laboratory confirmation (with or without symptoms) and
probable cases with clinical evidence of the respective
infection (ie, suspected to be infected) but for whom
confirmatory testing either had not yet been done for any
reason or was inconclusive."
The idea isn’t so much that the sun rises only once, but rather that if you were to solve a differential equation for how the sun’s position in the sky varies over time, there would only be one possible solution (provided that you had sufficient initial conditions). The idea is that your equation is supposed to be a good model for reality and in non-quantum physics, only one thing can happen so either your equation has one solution or it is a bad model for reality.
That sounds way better, and quite possibly more effective at actually catching shoplifting. My experience in the UK, Ireland US and Canada has been the bad example as you have described.

It seems to be a classic case of bureaucratic risk aversion without proper cost analysis.
Thank you! added them to our watchlist. They'll appear on the website as soon as we find book recommendations from them.
It's not. https://web.archive.org/web/20190324191654/https://www.ibm.c...

(archive.org link because ibm.com apparently isn't hosted on a mainframe.)
> Are you sure of the truth?

Not at all, I am only going by what Dr. Fauci said in those videos - perhaps he is once again saying something that is not actually truthful. Maybe Donald Trump is not the only person in Washington who is skilled in the black art of 4D Chess...I seem to recall one or two items in the past where the public was told, in a coordinated fashion, things that were not true. In fact, this behaviour seems to be a rather common attribute in most any human being I've encountered, in any community.

> Dutch Dr. Fauci Thinks Masks Won't Work. Here's Why

Another interesting behaviour I've noticed is how doctors and the media portray the masks issue as being essentially universal consensus in the medical field.

I often wonder what is really true. I wonder if the experts ever wonder what is really true.
“Homo sapiens” would be extinct, but our legacy and lineage would live on through whatever entities evolve from the first intelligent machines that we build.
If you reduce essential complexity to minimum, such a task is trivial to experienced engineers and computing scientists, like Wirth himself.

Like many such products, it will work so long as you're able bodied and only need the same human language as the author, preferably one that doesn't have complex requirements and can fit in 7 bit ASCII.

I no longer have the source, but a great example someone once gave was that Oberon had pretty minimal support for anything, to the point that sharing information by email was hard due to "how do I share my paper" problem.
I am not suggesting we be vindictive over strategic. I am suggesting that fixing corruption in the scientific community isn't going to solve this problem because the causes of the anti-science movement don't solely originate from within the scientific community.

If my specific examples are too much of a straw man, how about climate change? The US has largely been ignoring the science on that for decades. What is the more likely reason? The scientific consensus on climate change is the result of corruption, the scientific community ignores this corruption, and the general public turns to climate deniers as a result of this corruption. Or is it the most reasonable explanation that there are countless groups that have an invested financial and political interest in downplaying the scientific consensus regarding the issue? It seems obvious this is a situation in which the corruption leading to anti-science viewpoints is an outside force acting on the scientific community and not the other way around.

I also threw in a note about the mask issue in my original comment since I was unclear. To add another note on top, I'm not sure this administration is one I would point to as somehow anti-corruption especially when it comes to their interpretation of science.
“This is why we can’t have nice things”
"driven by managers not engineers"

Yeah, uh to assume that Engineers have some special managerial ability that 'managers' do not is the wrong take.

Management is management. Some good, some bad.

We can be cynical, but without knowing the details of these layoffs, we shouldn't assume anything.

One of the advantages of M&A is ostensible synergy across many groups, for example, RedHat is unlikely going to need maintainers of its HR Portal, which will likely be rolled into the one from HQ. And probably some execs will be without jobs.

It's possible that the layoff was in the works otherwise, or that they were literally made at the recommendation of outgoing people who were unable/unwilling to do a re-structure at the time.

Right from the article: "The tricky thing is, IBM and Red Hat both have NC-based operations and a rather large number of workers there. It’s somewhat of a business hub. But we also know that IBM does not need two HR departments, two marketing departments, etc. Managers are sort of converging in duties, conflicting in terms of roles, overlapping in the workflow sense and so on."
I had employer match with a 3 year vesting period at one place. I've never had anyone else do more than 12 months, and not everyone did that. The matching is for the paycheck you just paid me for work I already did. Why is it tied to the end of the year? As an employee retention hook it's a lousy idea. It's too small, and lacks all of the dopamine of watching a stock price seesaw up and down, wondering what it'll be worth when you can finally spend it.