skysight-inc/HackerNews huggingface dataset:
The idea sounds good, but I don't think it could work in the real world. The result wouldn't be people endorsing the quality of an article, but rather whether the article weighs on their political side of an issue
Also there is precedent for Nobel-level papers coming in within months of each other and still be considered for Nobel prize.

See circadian rhythms with Michael Young and Michael Rosbash. They both got Nobel prizes, but one of the papers are several months after the other.

In the gfp case the three winners also dis their work independently if I am not mistaken.

The Siksnys case was discrimination against unknown institutes from unknown countries plain and simple.
>Are they sure it was definitely the same author?

Perhaps there is a better analysis available, but the lines of the phallus appear to me to have been cut by the same author of the letters in the words.

Besides that, having dated an archeology student who left their interesting books around, I seem to remember there being a standard for identifying the cut of these objects. Perhaps it was more easily verified than we might think.
Webcams are good enough for their purpose which is video conferencing and calls. In the end your video is likely going to be encoded in like 360p low bitrate. I personally prefer not being in razor sharp detail on calls anyway.

Anyway this is the one I've been using. https://www.amazon.com/Logitech-Webcam-Built-Stereo-Micropho... I like the integrated shutter better than the cover thing for the c920.
The severe headache the next day felt like what's called "keto flu" which is caused by an electrolyte imbalance. It's not really a flu but happens to many people when transitioning into keto if they don't take care to supplement electrolytes (primarily salt). The mechanism is well-understood. It happened to me when I first started keto because I foolishly ignored the warnings about supplementing electrolytes. The headaches and other keto flu symptoms usually start 24-36 hours after stopping carbs and can persist for a few days if not addressed with electrolytes.

I haven't needed to supplement electrolytes since my first month of keto because I'm fully keto adapted. I think the episode where I stupidly 'overdosed' on sugar my metabolism was no longer adapted to handle, pulled me fully out of keto and caused an electrolyte imbalance similar to what I experienced early in keto.
> Yet, there doesn't seem to be anyone who actually did any such thing in a few months with 4-5 people.

What about https://liberapay.com ?

Also, keep in mind that once a well-funded player with infinite money to spend on marketing enters a market it's often no longer worthwhile for a bootstrapped player to compete even if it's possible on technical grounds.
Independent studies concluded that hydrogen will not be widely used for heating
I had a Logitech C920 that died a couple years ago and when I went to find a better replacement I ended up buying a... Logitech C920. I couldn't find anything that seemed significantly better that wasn't a lot more money. I regret the purchase, but I'm glad I didn't just spend 3 times as much on a still-not-that-great webcam. I was thinking of finding a second-hand digital camera on eBay, but maybe instead I'll see if a friend has an old iPhone.

Though you'd think with the WFH revolution there would be at least one company out there making a high-quality purpose-built webcam.
I did math in undergrad and struggled with proofs at first.

I learned a lot from working through An Infinite Descent into Pure Mathematics by Clive Newstead. It's designed to get someone with minimal math background started with the basics of pure math. Becoming comfortable with proofs happens along the way.

https://infinitedescent.xyz/

Lately, I have also really enjoyed 99 Variations on a Proof by Philip Ording, which is not a textbook. Rather it is an Exercises in Style type book that explores many different ways to express a mathematical proof of the same simple fact. Some of the proofs are whimsical, and others offer genuine insight. If you're looking for something lighter than a textbook that is still interesting and somewhat useful, this book is more approachable.

https://www.amazon.com/99-Variations-Proof-Philip-Ording/dp/...
Ballistic parachute for the pilot or craft? I guess whoever is under it is SOL, as in a plane or helicopter crash.
Love how Google is advocating this for cost savings and sustainability.

If only my School District could use Chrome OS Flex to get some more life out of the fleet 4 year old Chromebook's that can no longer get updates
I am writing this comment on Chrome OS Flex and can not say enough good things about Chrome OS Flex. I installed it on my wife's old macbook air (~2013) and it brought new life to a machine that we had written off as useless.

The OS does a great job of exactly two things: web browsing and linux stuff. It won't do more than that, but if that's all you need it is great.

I honestly think you could make some decent cash just by buying 9 year old laptops off the internet, installing chrome OS flex, and selling them as perfectly usable chromebooks.

Any questions about what the OS can do? AMA
Yes indeed, and let us not forget that the Romans had slaves.
Specifically for big tech companies there wasn't much difference. But then again, most of the companies are American companies so I imagine a lot of the same interview culture was brought with.

Most final round interviews would have 4 rounds with 3 technical and 1 behavioral. The behavioral seems very similar in that you would discuss past experience and how you handled challenging situations, etc etc.

The technical rounds are where I noticed some divergence. In the US, I think there is a stronger focus on doing Leetcode and doing the LC problems quickly (FB asks 2 medium level questions in their interviews).

However for the EU interviews, I've noticed that typically 1-2 of the interviews will be more practical based with debugging, code review, design classes rather than just straight Leetcode. In a 5 round interview you may expect 1 less LC question and 1 more "general coding" for lack of a better term. It almost feels like the EU companies were interviewing like slightly smaller tech companies do in the states and have a slight preference toward practical coding skills.

That being said, there are still 2-3 LC-style interviews so it's a lot of overlap nonetheless.
Untrue on both counts.
> I think our project management would totally give us the time to improve something, if we can argue that it's needed.

You shouldn't have to argue for it. It's something "project management" should care about as a top-level concern, scheduling time for it. Stability, documentation, tests, performance, security - these are all "features" just as much as "make a button dump a CSV for a user".
20K + prestige, he's gonna have strong cards at his next $nicely_paying_company interview

>Good way to ensure others who find similar exploits to sell them to highest bidder on darkmarkets instead as they'll be able to get way more than that.

Sure, sell it for how much? twice? thrice? as much

instead using it for your own branding, cv, to negotiate salary which will pay you way more over years
The author is extremely naieve if he never considered that candidates would Google the solution. How did they make it through the rest of the interview process, let alone years of working there, without him noticing that they actually couldn't code?
From what I've seen, V's author (along with other contributors and sponsors) have been constantly improving the language. Of which, these efforts are applauded by V's users and supporters.

As far as I'm concerned, V works as described in their documentation. As with any language, there are some specifics that are subject to interpretation or debate, but that is to be expected.

And, V is not doing anything that other languages also try to do in terms of sponsors and investors to sustain progress, increase popularity, or make improvements.
Ha, for a minute I thought Google actually built a Cloud-native OS. Maybe I'm wrong, but I don't really see the use-case for this. Sounds like it could be an orchestration solution for schools or bootcamps at best. What's incredible about real cloud-native operating systems is that "OS" is merely an acronym. The reality is that companies like Mighty are working on cloud-native computers, where even hardware upgradability is handled without you having to pay attention.

The endgame is that you don't have upgrade your laptop anymore, not just install apps fast.
When eating lunch, I look for a place with big windows and then I put my bike where I can see it from the inside. Also, attach your helmet with the strap through the front wheel and the fork.

If I wanted to go on a hike, I would start the hike with the bike and then maybe 500' in I would veer off about the same distance and stash it out of sight.

If I was in a city that had no organized storage I'd just stop at a bike shop and ask if I could stash it there for a few hours. If you were for real with panniers and stuff I can't imagine them saying no.
Exactly. Technical measures are important, but if someone wants to play a game or do something that's been banned on Apple's stores and finds a site that claims to have an installer (which is actually malware) with instructions to disable Gatekeeper or SIP or what not, social engineering can work. Their goal is to do the thing they wanted to do, probably not thinking of security in the meanwhile. Popup alerts are going to be interpreted as something to get rid of so they can do the thing.

It's a difficult balance. Power users, engineers, developers - we can (usually) tell when warnings need to be heeded. People who use their devices to achieve a goal without really understanding or caring about what's happening usually won't.
Almost certainly more time than the customizations have saved me. I still consider it worth doing, because I enjoy doing it, and it makes the computer more pleasant to use. I have made the computer temporarily unusable several times, but I have an old netbook too, so I'm never stuck without a usable computer while I fix it.
I always love to see people investigating older consoles. I did some Fame Boy Advance programming in the past, which was (I believe) one of the last machines that was programmed entirely "on the metal", you just put values in particular memory locations and sprites moved and spun about :)
I recently got the Obsbot tiny 4k webcam. Even though 4k won't come through on videoconferencing software the color seems much more natural than Logitech webcams.
When I did my Pure Math undergrad this book was pre-reading for our intro to proofs course:

Journey into Mathematics: An Introduction to Proofs (Dover Books on Mathematics) https://a.co/d/csM8jRd

I seem to remember that by design it didn't require any advanced maths to get started constructing proofs. Good luck!
2 books I recommend: how to prove it, and the book of proof, get a real analysis book, and if possible take a course. it took me around 5 years to be able to prove stuff... you need relaxation, fluid thinking, and a breadth of knowledge of facts you can use to prove stuff

we can try your example

we want to show that (a^b)^c = a^bc

let's work on the LHS

by the definition of an exponent, we know that a^b is just a * a * ... * a b times, so we can rewrite it as:

(a_0 * a_1 * ... * a_b)^c

by the same definition, we can multiply the quantity inside the parenthesis by itself c times:

(a_0 * a_1...a_b)_0 * (a_0 * a_1 * ... * a_b)_1 * ... * (a_0 * a_1 * ... * a_b)_c

now, use the fact that a^m * a^n = a^(m+n) to consolidate the parenthesis, since each factor has an exponent of 1 we can use simple counting:

(a^b)_0 * (a^b)_1 * ... * (a^b)_c

Repeat the previous step c times, we end up with

a^(b_0 + b_1 + ... + b_c)

which of course is just

a^(bc)

therefore (a^b)^c = a^(bc)
> I kept freaking out and yelling in chats.

Sounds like a joy to work with.
AI is literally just algorithms.

Yes, these days it's most commonly used to describe something that we can't quite understand the inner-workings of (huge neutral networks; big data), but A* pathfinding and decision trees are also AI.
Merge Readiness Checklist
Science is really hard to make into news for three reasons:

1. Error and uncertainty. The news like concrete facts, not (paraphrased from the article), "3 months plus or minus 100 years". Also, a lot of science does not hold up over time. It takes a long time to explain uncertainty and it also dilutes from how interesting the article might be.

2. Science is mostly boring. Incremental, tiny improvements in understanding add up over time, but really are hard to get excited about individually. Once in a while we get a huge leap, but most of the time, it's "we got a few more digits of pi calculated". It's really hard to extrapolate these tiny changes into anything that the average reader will even notice in their lifetime.

3. Ultimately, science has to compete for attention with wars, politics, sport, local, finance (ok, might be as boring as most science, but at least people are literally invested).

So, it's hard. BTW - the author of the article does a great job making science more interesting. Would love to see more writers cover the subject at the level Sabine Hassenfelder does.
Microsoft has made massive strides in built-in virus and malware detection since those nearly 20 year old ads. At the time, “Windows gets more viruses” was an entirely supportable claim.
Maybe I misunderstood then. I was saying that it seems to behave basically like Java. Is that a bug?
In 2018 CPUs were still stagnating, so a 2013 CPU would likely be almost as performant as the latest one.
Fascinating, might try implementing this on an FPGA.
I have a newborn and every night while falling asleep all I hear is his cooing and laughing on replay.

It’s sort of like when you play a lot of Tetris and you can’t stop seeing the falling bricks as you fall asleep.
This. I understand that researching this is a step in the right direction, but am disappointed that there are no good solutions to problems like these because they stem from basic biological functioning at some very deep level and this affects everyone, not just a tiny portion of people.
If you are into Coursera / video lectures this lecture series fits the bill for "exceedingly gentle introduction to writing proofs": https://www.coursera.org/learn/mathematical-thinking

Good luck!
Secretly, for decades.

You don't know who secretly owns any companies in Switzerland today. Your favorite Swiss VPN could be owned by Equifax or Acxiom for all you know.
Can you list here the extraordinary claims that failed please.
What? That is just clearly untrue, even though I agree it ought to be the law. DMCA 1201 made no exemptions to circumvention of technical protection measures (for research, interoperability, fair use etc). Assuming any kind of security measure was employed here the interpretations of violating that have been quite broad.

ianal etc.
Last time I ran chromeOS it was those unofficial builds by a guy called “Lex”, needless to say it was a long time ago.

Back then it wasn’t possible to run anything other than Chrome itself outside of dev mode, but I’ve seen people running/installing VSCode on chromeOS (not in the web browser). Is that feasible?

At the same time as I was seeing this, it appeared that the OS actually has a windowing system now, so you can move windows around and have one on top of the other, is that the case? Any quirks with that?
I don't think that $20k is too little.

There's 2 types of people that will find these kinds of exploits. Black hat hackers that do it for the money, and white hat hackers that do it for themselves/openness.

The black hat hacker would have to be paid handsomely so that he could disclose his exploit. For these types of exploits I assume they would do something like sell you a PS5 with dozens of games included for $700, and tell you that you can load many more. That means that he only needs to sell 101 hacked PS5s to make more than the reward money, and he'll probably sell thousands of them before a copycat copies him stealing his profits or Sony patches the bug, which won't stop him completely since he'll probably have a big stock of unpatched PS5s.

The white hat hacker does it for fun or curiosity, a white hat hacker is usually an advocate for open source and probably trying to run linux on the thing is the main motivation for him to keep going. After they find something they'll release it to the public, usually with piracy enabling things off by default, but since it's all open source the pirates will find a way to use it anyway.

Sony is doing the smart thing and targeting the white hacker, they're the most likely to find these exploits anyway. If they made the reward money high enough that it would disincentivize the black hat hacker from commercializing his findings, it would instead be an incentive for people to find exploits. Lets say they pay $200k per exploit, they would no longer be paying these types of bounties once a year, but every month. I'd argue that paying millions a year to protect their system is valuable, but the fact is that they can get away with much less, hence $20k is just about the perfect amount of money for a bounty like this.

tl;dr: If they paid more they'd basically be creating and funding a market of exploit finders for little gain.
> But jeez, his politics are pretty insane

Are you able to do a steelman of Thiel's politics, where Thiel himself would agree with your characterization?

What are his views that you agree with most? What don't you have any direct evidence of his views for?

I'm going to be honest, I can't say I've seen many articles that really try to understand Thiel's politics or intentions. Every article I read I can easily tell who the writer votes for, because there are signs of bias everywhere. I've never voted right, but the continued demonization of those who disagree with whatever is en vogue on the left and the refusal to truly try to understand them is incredibly dispiriting.
Can you imagine working somewhere and then, one day, some guy comes over to "re-interview" you :D Hilariously bad people management.

> I kept freaking out and yelling in chats

> The people could have lacked a kick in the butt

> remote work was to blame — it made it hard for me to use my charisma

Employer of the year award?
Full ack on that last part. I got a new laptop from my employer a few months ago and the angle is so wide, I have trouble not having something like a drying rack or other unprofessional stuff in the background. It's still on my to-do list to look for a way to crop the image, and manual quality control would also be a welcome feature.

That's not to say that I don't see the use-case for good quality. The "360p ought to be enough for anyone", as you say, really is fairly crappy, and if you're doing some announcement for an audience you care about, where you're in full view on everyone's screen, it would be nice to have a bit better quality than that.

(Or for science/hacking: I use my phone camera for a ton of things from capturing the night sky to the ~1000 fps slow motion feature. If webcams had similar "gimmicks", I'd probably make use of it, also because webcams are connected to a machine where coding is a lot easier than on a phone, so I can more easily do something meaningful with the image stream. But I realize I'm the outlier here.)
It's fertile ground for the formation of modern superstition.
I’ve got a bike with a belt drive and that’s freakishly quiet. Would recommend if you’re optimising for peace.
Is there a terminal emulator included? What shell is installed by default?
What would a cloud native OS look like to you?
Not strictly FAANG related. How do I get my resume past HR or even noticed a little bit? I'm self taught, from a third world country. In the US knowing HTML/CSS/JS Framework gets you a job, so its not skill that holds me down. I'm working on my portfolio right now to make it more professionnal, but apart fom that? Any input would be appreciated. What would you suggest if I'm looking for a US/EU job?
End-user facing applications usually don't consume website crawls, do they? That's impractical for many reasons, the sheer size alone being perhaps the biggest obstacle.

If you want to do something like have an offline copy of a website, ZIM[1] is a far more suitable format as it's extremely space-efficient and also fast.

[1] https://docs.fileformat.com/compression/zim/
V has global consts, they are immutable, but can be initialized with complex expressions, for example

`const x = foo()`

There's a bug that allows to trick the compiler and modify the const via another variable, it's a one line fix, and will be fixed today.

Global mutable variables are only allowed with `-enable-globals` and are supposed to be used only in low level code, like drivers and kernels.
Maybe one which says "What more more can I do?"
I’m not entirely sure about that. It feels like saying you could just use an AI tool to sketch out a piece of music and then have a composer fix it up.

I suspect it will turn out to be much more work for the artist to find what it is you actually liked about the generated output and rework the pictures based on that, rather than the usual process where the client describes what they need and the artist uses their experience and understanding of the human mind to decide how to represent that.

I guess I’m saying that the art in “art” is not the superficial skill of making pretty pictures, but the concurrently honed skill of making meaningful choices. I’m not sure you can just bypass learning one without compromising the other.
Good point.
Actually CommonCrawl provides Parquet files for their archives too.

And there's this vtable for Parquet extension.
https://github.com/cldellow/sqlite-parquet-vtable

But for my use case virtual would be too complicated.
When I took an artificial intelligence class in college a long time ago, it covered things like path finding and breadth first search.
Again!! Same video you've been throwing on whoever asks about "autofree", knowing very well that it doesn't work.

I asked this question before and was banned on discord, do you have control flow graph analysis anywhere in V? If not, how do you suppose your autofree engine would work flawlessly?
No, and yes, respectively. If you consider "Google recording and monteizing on CORS URL requests" speculation, I'm not sure you know much about the company we're talking about here. They've been sued and fined over tracking quite a number of times.

Do we know whether bunny.net is any better? In the abstract, no we don't, but we're not dealing in abstracts, so we actually do because of where they operate. A real European operation (not an international company with EU presence but an HQ outside of direct EU jurisdiction) is by default quite a bit better at not violating GDPR, and runs the actual risk of being fined into financial insolvency (rather than getting a few hundred million slap on wrist that a multibillion dollar company goes "pff, whatever, let legal sort it out" to).

By virtue of Google's track record, and by virtue of where this new service is located, and the track record of EU based services with regards to privacy compared to their US counterparts:

Yes, we can _very_ reasonably assume both of those things.
Couldn't you use a Content-Security-Policy for this?

https://developer.mozilla.org/en-US/docs/Web/HTTP/Headers/Co...
https://developer.mozilla.org/en-US/docs/Web/HTTP/Headers/Co...
Yes that's a good example. Thanks
I disagree regarding Euclidean geometry. Euclid never does any proofs by induction, which is enough on its own to disqualify Euclid as a good introduction to proof.

What you want is a book that combines an introduction to logic with a bunch of different proofs from different areas of math, such as set axioms, relations, functions, sequences, construction of real numbers, etc. There are many books like this, here is one that includes all of that plus a little number theory and algebra towards the end: http://libgen.rs/book/index.php?md5=7E4D97D2F58B91D052595E68...