skysight-inc/HackerNews huggingface dataset:
When he was actively CEO, he had an entire team devoted to sorting through those emails. They would filter the obvious spam and send the genuine customer complaints directly to him. Which usually led to the infamous question mark emails and a lot of people scrambling to resolve the issue and ensure it remained resolved. (The only time I've seen a question mark email have more than just question mark was when Jeff noticed this was a repeat problem from a previous question mark email.)
It’s worth pointing out that the most useful and difficult synchronization is not between desktops, but between mobile device and desktop. Switching to a new machine is hopefully a rare process, but copy and pasting between my iPhone and Mac is a near daily experience. Ditto with sharing open tabs.

Some of the stuff you mentioned seems to cover computer to computer, but isn’t relevant to computer to mobile scenarios.
Keep in mind that China's figures include their rural and minority-heavy regions in the west, which have had higher allowances for children.

Shanghai is estimated to have had a 2010 fertility rate of 0.6, according to Wikipedia: https://en.wikipedia.org/wiki/Demographics_of_Shanghai
By physical limitations, we also include space. If you could represent each digit of Graham’s number (G_64) in a Planck volume, you couldn’t fit even an incomprehensibly tiny fraction of it in the observable universe.

No only that, but the number of digits in G_64 (~log10(G_64)) exceeds the number of Planck volumes (V_p) in our universe too. As does the number of digits in that number (~log10^2(G_64)). And so on and so on, for a number of times itself exceeding the number of Planck volumes in the universe.

P_v ~ 4.65e185
P_v < G_64
P_v < log10(G_64)
P_v < log10^(2)(G_64)
…
P_v < log10^(P_v)(G_64)

And yet

G_64 < BB(18)

We don’t yet know if it exceeds BB(17).

That said, we can grow bigger still. Scott Aaron defined a closely-related concept called a Beeping Busy Beaver that grows uncomputably even if we had an oracle for BB(n). That is, even if we had access to a magic genie that could tell us any BB(n), this function BBB(n) even still grows uncomputably. It’s almost as if there’s “sizes” of uncomputability much the same as there are distinct sizes of infinity.
I'm no physicist, but doesn't the Standard Model fit on a few pieces of paper? That the universe has rules that are a lot simpler than the behavior that emerges from those rules doesn't seem like novel claim. Wolfram's idea to examine the universe by exploring CA-space is the novel part I think.
Singapore had an official "Stop At Two" policy through the seventies and eighties, although it was nowhere near as strict or coercive as China's. It certainly did work though, it's very unusual to meet Singaporeans with more than 2 kids today.
Uppity up, worth a read. Thank you for writing this.
Terra (YC W21) Is Hiring Sales Engineers in London
More like "You don't need any tools for this, just use your thumb."

The idea being that every computer you own and happen to come across has a browser already. You will not need to install a client so it doesn't matter that you don't have rights to do so or don't want to pollute someone else's computer.

It is pretty straight forward.
"Now suppose for all sets of n horses, every horse in the set has the same color"

This sounds so obviously false to me, that I initially thought that he must have meant "now suppose for all sets of n horses such that every horse in the set has the same color". I.e. take all sets of n horses and then filter them to only get the uniformly colored sets.

But he doesn't mean that, it is meant as the induction step:

"Now suppose a world where for all _possible_ sets of n horses, it turns out that every horse in the set _necessarily_ has the same color."

In my mind, the article is a bit poorly worded, but then again, maybe it makes sense for mathematicians.
power efficiency was proven to be in the same orders of magnitude as MPU / GPU. see e.g. https://arxiv.org/pdf/1906.11879.pdf. The ability to mutate its firmware gives another crucial edge. And my point is that FPGAs have evolved is small paces until today. While dedicated silicon has been optimized to the bones. Given the same dedication of companies to FPGAs - isn't it going to evolve into a better, cheaper device?
More interesting info: see RiscV soft cores, SDRs, MCUs with internal logic fabric.
You can't even buy a non-vegetable chainsaw oil in my country.

The only time I used such a thing was when I was a kid and I put regular machine oil into the chainsaw. My father never explained the difference between different oils to me. I will never forget the frown on the chainsaw repairman's face.
Besides hygiene and health, don't even want to attempt the rest

If nobody likes me because of that, then let them, i'm not a product that needs to match all the checkboxes
Other things to note. One big one is that the world height limit has increased from 256 blocks to 320, which allows for much more verticality.

I think the whole field of world generation is awesome. Perlin noise, and the concepts of "smooth noise" that have come from it, and the clever ways people have found to layer noise and use it to map biomes and heights, and spawn locations, etc. And then, even more impressively, with games like No Man's Sky, you have this concept applied to spherical geometry. I just think it's all so cool.

Incidentally, his (Sean Murray, creator of No Man's Sky) is the best talk I've ever seen on the topic:

https://www.youtube.com/watch?v=C9RyEiEzMiU
Every anybody with a thimble of knowledge about "hacking" understands that you cannot "take this down" for more than a few days at a time.
I used https://watch.angelstudios.com/thechosen to stream it.
I have an online dashboard, and Amazon won't take anything other than a card statement with my card number (all but the four last digits to be hidden) and the billing address on it.
My comment was not meant as a slight on VLC. If I was incorrect about load time that does not invalidate the other points. The concept of a "feature" is subjective and if someone finds them valuable, then they are valuable features by definition.
jeff@amazon.com was common knowledge almost a decade ago already.
I hate it when companies use an "open secret" for important things like support. They're telling customers "Screw you if you're not part of the secret club!". That behavior is fine when you're a child, but for a trillion dollar company to do it just sucks.

Knowing that email address exists makes me less likely to shop with Amazon, and any startup that considers copying it should think very seriously about whether they actually care about their customers. No one should have to email the CEO to fix a basic problem.
Ah yes it is. I only skimmed it
Why shouldn’t you look at the worst case scenario? Using a hosted service is valuable too, except in its worst case where they kick you off of it.
2007 was an interesting year for tech, and whatever one thinks of Apple, most agree that the iphone was a leap forward.

However that doesn’t give enough content to fill 2 years of subscription.
Tbf, I wouldn't want to deal with someone who can reverse age like that, either.
This still confuses me. Are you saying:

A. Cable physically consists of:

1. 60/100W power wire pair

2. USB2 speed data wire pair supporting 0.48Mbit/s

3. 2/4 high speed data wire pairs (“high speed lanes”), normally 4

Each high speed lane supports at least 5/10Gbit/s depending on cable length.

4. Separate wire for negotiating power supply and data host and peripheral

5. eMarker cables are required for rapidly changing wattage of power supply (Programmable Power Supplies, PPS)

Note that two DisplayPort cables (not USB-C) could support 50gbps, more than a USB-C maximum of 40gbps.

B. Protocols (all over high speed lanes apart from USB2):

1. USB2

2. USB3 (by default using two high speed lanes at 10gbps, four high speed lanes at 20gbps theoretically possible but rarely supported by hosts)

USB requires negotiation of host and peripheral (upstream and downstream).

3. DisplayPort 1.2 (8.64Gbit/s video data over 2 high speed lanes) / DisplayPort 1.3/1.4 (12.96Gbit/s over 2 high speed lanes, double over 4). MST technology allows splitting the aggregate video data bandwidth across monitors. DisplayPort 1.4 supports video compression, but this is rarely supported by monitors. If using only 2 high speed lanes the other 2 can be used for USB data.

4. ThunderBolt 3/4 (needed for Mac video). ThunderBolt 4 is USB4 with optional features mandatory, however in practise these optional features are likely to always be included so they can be treated as the same.

C. Device support:

1. Power: 5/9/15/20V. Requirements signalled by resistors on the device side if only 5V. More than 5V negotiated between devices: 1. Agree source and sink, by default the data upstream/host is source but this can be negotiated, 2. Source indicates how much power it can provide, either 3A or with a 20V cable optionally 5V. This assumes fixed power, some devices now support PPS.

2. Data bus types: 1. passive (supports USB and DisplayPort) / 2. ThunderBolt 3 (PCI Express and DisplayPort, USB as hot-plug root hub(?)) / 3. ThunderBolt 4 (PCI Express, DisplayPort, USB)

ThunderBolt controllers needed on both sides to support ThunderBolt.

3. Bus bandwidth is maximum 40gbps. If cable is long bandwidth may only be 20gbps. Laptops with one ThunderBolt port typically support DisplayPort 1.2 bandwidth on the bus, laptops with two ThunderBolt ports support two DisplayPort 1.2 bandwidth. (There is some distinction between “full” and “non-full” ThunderBolt that goes away in ThunderBolt4.)
Exactly. Even if I can manage some self hosted systems, sometimes I prefer to just buy the service to save some time and effort.
Just because it isn't connected to a bank account as you understand bank accounts to be, doesn't mean it isn't connected to a bank account as banks understand them to be, and you're not entitled to request a statement.
I guess the issue is that one type of cable is more expensive than the other? Otherwise I would prefer to have cables that can simply do everything.
User Level Thread using C++
Hi, I always wanted to learn how can we create User Level Thread. So, after learning a bit about stack switch and x86 calling convention, I implemented a very basic user level thread switching capability in C++. I also wrote about it in my blog :

https://ddeka0.github.io/post/2021-01-16-tour-of-registers-1/

(But the blog series is not complete, although I have completed the implementation in here:

https://github.com/ddeka0/UserSpaceThread

).

I am planning to update the code with async IO operations also in the upcoming months.

Thanks!
It would be fascinating to know who owned all that.
What problem does adding hysteresis solve on a digital thermostat, though?

Is it a problem that it stays closer to the asked temperature?
That is your takeaway? Mine is to avoid amazon at all cost.
Maybe I’m lucky, but I have only ever had 1 problem with USB C, and it was a really minor case[0]. I just keep getting anker cables when I need them, and it always works. I keep reading about these spec issues, but I haven’t had any issues myself (aside from the one I listed).

0 - My double wide qi charger has a USB C socket, but came with a USB A brick and an A to C cable. That works fine, but when I plug it into my kitchen receptacle with built in USB C, it doesn’t work. I ended up moving that to another room for unrelated reasons, so not a big deal either way.
> the immutability of your birth date.

Another falsehood programmers believe about dates. ))

When immigrants move across borders, often if there is no record of date of birth the date used is the first of January on a best-guess year, and sometimes even the year is wrong. Later this information could be updated. I know of a case of a man whose birthday (immigrant from China) went from January 1st, 1900 to some date in the late 1890s upon documentation being found, just slightly before his 100th (living) birthday.

There are, of course, also reasons for deliberately falsifying a birth date. Accessing an online service is one, false claim of benefits (e.g. pension) may be another, avoiding or enlisting in armed forces, purchasing age-restricted material, renting a hotel or vehicle, the list goes on. A robust system must account for these possibilities.
This is almost all astonishingly sensible. If static provisioning works at all for the application, it is obviously better.

If you did have a need to have dynamic tasks -- e.g., drivers for an unbounded set of USB peripherals -- one of the static tasks could be the executive for those. They would still be unable to interfere with the other, static tasks.

I have to agree with the rabbi that the Rust evangelism detracts from the talk. E.g., the runtime borrow checking example, which does not rely on any Rust mechanism, would work as well with any language.
I always wonder how to interpret fertility rates for cities where people arrive and leave a lot. San Francisco famously has more dogs than children for example. But I also know a lot of people who moved out of San Francisco to somewhere cheaper when they were expecting a baby.

I assume this happens less in Singapore because it's a city state, you can't just leave the city without actually emigrating.
Yeah, you just spent countless hours of your precious time so you have "I have no idea of the actual cost for this crap" now. ;-) I have a closet full of half, 3/4, 9/10 completed projects that were going to be so damn cool and cheaper. Be laid plans blah blah. However, with each and everyone of those not completed projects, I learned a lot and I have not regrets on any of it. I'm guessing you don't either on your IoT gadgets.
From Texas, and can absolutely confirm. I was one of my area’s top Number Sense (mental arithmetic) scorers in middle school and high school, and made it to the state MathCounts finals two years in middle school, and always got high A’s in my math classes. I squeaked by on the IB Math exam, which should have been a sign that something was off about my math education.

I did ok in college Cal I and II (I’d been warned by older friends that our high school calculus class was a joke) but hit the wall in Cal III and ended up dropping Diff Eq before I could actually fail it. I barely passed Discrete Math by memorizing a bunch of proofs.

Turns out, I’m really great at memorizing arithmetic tricks and wasn’t actually that good at math.

“The remainder had parents who taught this kind of thinking from a much younger age.”

Fortunately for our child, my husband was a success in Germany’s math education system, and will therefore have the lead on how our kid is taught to think about numbers - I’ll just give the English words for things.
I'm surprised OP mentioned New York State Department of Financial Services (NYFDS), but this might be the local regulator if Coinbase's home state is New York.

I would still file with them, they can still escalate on your behalf since they are the regulator, or refer you to the agency you should file a complaint with.
Their most well-known device responds to your touch, and anticipates your needs. I've had relationships with humans less intimate than that.
Most people can't manage amazon services (properly) either. And the downsides and consequences are even more fatal.
Are you saying that the low birth rate is due to lack of support for starting a family? I spent a lot of time in Singapore and that didn't seem to be the case and the government website list benefits for people starting families. It's not the best in the world but neither is it bad.
Any other books in this genre of weird?
The company will only fix problems for customers with sufficient social reach in that case.
That's why I suggested doing something like Rewilding. Nature doesn't care who you are. As long as there is a need for someone to introduce biodiversity and native plants in the area where you live, then probably no-one else is helping. So you can make the number of people in your neighbourhood caring about that go from zero to one.
>”but I also have never seen a self-professed christian come out to call those folks out.”

To this I would say, the number of Christians who would enthusiastically denounce Westboro-Style beliefs and hostility to LGBT in the name of Christianity is very high. Especially in the contemporary era. There are plenty of reports in the news where Baptist churches have denounced the signs, slogans, and actions of the repugnant “god hates ***s” Westboro Baptist types and copycats.

At the end of the day, this is all anecdotal and the sheer number of Christians means you will find people that I mention, and people like you have mentioned. But based on the faithful I interact with as a non-Christian, I asset that the tolerant ones are far larger in population than the intolerant ones.
Look up Maheshwara Sutrani. Apparently Panini heard Shivas damaru and discovered Sanskrit morphology. More religious ones claim he was meditating when God appeared and presented it to him.

Most people believe Panini just discovered the amazing properties of Sanskrit. In fact Sanskrit is just any other language except Panini’s grammar which is a rigors and unique formalization of it.
It was actually the docks that were the problem, not the switch. The switch just has a standard USB-C PD controller in it, the docs had hacked together bs.

Also, the official dock only supports 15V PD apparently, which most laptop chargers apparently don't supply, so that's why you pretty much need to use their charge cable with it.

https://www.reddit.com/r/NintendoSwitch/comments/ckaiiv/an_e...
"Add to home screen" is the option you'll get if the web app doesn't have PWA support.
If PWA is supported firefox mobile will show an "Install" option instead. This works more like a native app. When launched there will be no URL bar and the status bar will take the main colour of the PWA.
He "saw" white, which isn't race neutral. It is often viewed as being a race.
I'm not sure any wording helps, because the reason it strikes us so poorly is that it's such an implausible idea.

It might help to make it more concrete, to say “assume that we've proven this for say n = 3, all sets of three horses have the same color. Then I can prove it’s true for n+1, because my set {Auris, Brunellus, Camper, Diego} of four horses is the union of two overlapping 3-sets, {Auris, Brunellus, Camper} and {Brunellus, Camper, Diego}. By the transitive property, Diego must have the same color as Auris and the result holds. But obviously this works not just for 3 going to 4, but also 4 going to 5... Any set of size n+1 is made up of two overlapping sets of size n.”

Maybe also someone can then intuit that the wool is being pulled over their eyes in this step?
Really funny. It seems not restricted in English. Any language can be translated to Emoji and I found it did work.
It’s quite a perverse situation because it amounts to the government running around legal protections (like the first amendment) by simply having virtually all societal speech exist in privately controlled spaces. They can simply use the threat of legislative action to influence that private space. Glenn Greenwald has written a few different pieces about this, like: https://greenwald.substack.com/p/democrats-and-media-do-not-...
> It's not something most tech people can

That's not really true, there are offerings on the market that make it a breeze. Take Synology. You get raid with dozens of terabytes, that is self managed and has got instructions on every aspect of usage. It's got Google Photos rip-off for every mobile platform, it's got LDAP, Email, Caldav and Cardav packages with GUI. It's got DNS server with easy to use GUI, it's got packages for NextCloud and it's got something like Dropbox that is made by Synology as well.

You don't need no port forwarding or fancy security, it can connect to Synology's cloud thingy that will route your traffic back home correctly, DDNS on steroids.

So if you really want to self host everything, it is couple grands out of pocket and couple of evenings of clicking around.

I am not affiliated with Synology, just a happy user (although I only use it as raid storage with SMB, NFS and as Docker server).
But does this do anything meaningful, or is it just pointless drudgery because Coq is a machine and can't 'understand'/assume even simple maths/logic if it isn't explicitly stated? This is not a slight on Coq by any means, just pointing out the difference between human proofs and machine proofs. (Humans can of course be tricked into thinking that subtly false statements are trivially true, which the much more meticulous machine proof would discover)

That is, what is being gained by looking at the vacuously true cases where n<2, when the only interesting base case is the one where the LHS of the implication is true?
Yeah Signal still has as an order of magnitude fewer monthly users as WhatsApp has daily users, so the "we won't do anything, block them or call the cops" approach still works.

The scale thing I mentioned is real.
The Last Temptation of Christ is, mildly speaking, complete garbage when it comes to theology. It actively subverts the gospels and tries to lower Jesus into the realm of natural man. The film has a few nuggets that might be interesting for those learned in religion, but it serves more as a reflection of Paul Shrader's personal struggles with faith at that point in his life. The latter point isn't all that unusual; Kevin Smith (Dogma) and Trey Parker/Matt Stone (South Park, Book of Mormon (musical)) likewise do the same.

The Chosen takes a reverent interpretation. It makes no apologies for having creative license, the Bible isn't meant to be a screen play after all, but it does so in a manner consistent with the character of Jesus both in the Bible and as believers understand him to be. He is fully human and fully God. He weaves the qualities of both throughout the show with the way he handles emotions, miracles, passing down wisdom, and so forth.
That is the same sentence just abbreviated and using standard words.
Nobody says "suppose a world where", you just say "suppose that".
Also, you just say "if ..., then ...", not "suppose if ..., then it necessarily turns out that ...".

> In my mind, the article is a bit poorly worded, but then again, maybe it makes sense for mathematicians.

That is the point. This example is given to first year students to show them why you need to be careful in your proofs and why properly wording/formulating statements is important.
>What are the best resources for learning about the current state of web3 projects?

https://cryptoscamdb.org/scams

https://twitter.com/scams_alarms
>It's not unusual for new accounts to make posts that reach the top 5 of a subreddit.

Yes it is. It's unusual, and mostly impossible on larger subreddits (automode). Subreddits designed for propaganda though...

>Your HN account is only 19 days old,

This isn't reddit, I'm not making karma farming posts, and there haven't been federal investigations and congressional hearings that confirmed HackerNews is a known target for propaganda campaigns.

>and your very first comment (https://news.ycombinator.com/item?id=29223698) was a politically charged message that was flagged to death.

Wasn't politically charged, it was just inconvenient facts. Also wasn't flagged, it was auto-killed.

>Are we supposed to be concerned about that?

Concerned about uncomfortable facts?

>Where is the evidence that the cancer story is fake?

It's hilariously obviously fake, don't be so gullible. The OP of the "story" got a permanent suspension.