skysight-inc/HackerNews huggingface dataset:
Your failure to do the actual renaming doesn't make the renaming a failure. No one has claimed that the set of squares is extensionally equal to the naturals. The existence of a bijection has nothing to do with extensional equality of the given sets. It's not even a particularly strong equivalence among those in everyday use. I guess the category theorists have a cute name for this (morphism? Who knows...), but it is to set cardinality as homomorphism are to groups.

But in fact even if the claim had been about extensional equality, HoTT shows how this can be carried out correctly: the equivalence between two types (which is supposed to be actual Leibniz equality, not merely equinumerosity as in the example) must be used, as if a function, to transport actual terms between the two types. Using this mechanism, the subtype of square naturals is in fact extensionally equal to the naturals. For example, the term `f 4` where `f` is the transport along `squares = N` is in fact the sum of the multiplicative identity with itself. This is what I meant by actually doing the renaming.
> Pick any large bound you want from the set of integers, whether it's from 1 million to 10 million, or negative a trillion to positive a trillion trillion trillion. It's always going to converge to integers being twice the size of even integers.

I think you have to understand this: Even the largest of numbers you can fathom (ie: 10e5000, as in gazillions of trillions) is still closer to 0 than to infinity.

We know the set is smaller (or half) for a determined infinity. What we don't know, is how big the size is going to be when you "go" to infinity.
Does uber count?
the original article says "distinct, positive." It was mis-transcribed to HN.
It's a thread: https://artem.krylysov.com/blog/2023/04/19/how-rocksdb-works...

> RocksDB runs a dedicated background thread that persists immutable memtables to disk.

They are using "process" to mean "mechanism", something that happens, not a literal OS process. I agree that it's a bit confusing to use the word both ways.
The problem requires that n and m are distinct integers.
And the British decide to make things more confusing by referring to the sides of the boat as strokeside and bowside.

Strokeside is always port, even if in that particular boat stroke's oar is actually on the starboard side- and even in a sculling boat!
Learn as much as you can from Dreem - there’s just something about the sleep space that’s a tough nut to crack.

Even with the shocking restful night of sleep with mouth tape (a visceral need fulfilled), I’ll still forget nights and rip it off. That’s much smaller and “more convenient” than a headset.
(I'm not dismissing, your position, just adding context.)

A very similar argument can be made for particle physics and their colliders. Yes, telescopes produce pretty pictures, but fundamental particle physics occasionally produces practical results.

Well, they used to (the colliders I mean). Modern particle physics seems to be more in the confirmation stage of current theory rather than a discovery phase like it used to be maybe 40 years ago.

Meanwhile astronomy keeps opening up new questions about the universe that require even better equipment to attempt to answer.

Building better colliders and better telescopes are interesting end goals, but also consider what goes along with them.

Building them means funding multiple generations of new theorists and engineers. A lot of those people do fundamental research and then branch out to both found new commercial companies based on those discoveries and to work for those companies.

I think it's better to look at "big science" in a much broader perspective. The new collider or telescope might "cost" $10 billion, but that isn't the cost of building the machine and its materials.

Most of that money goes into paying people across a very diverse field of professions to do the research and engineering required to make that big pretty picture machine work. That's the stuff that drives technical innovations at the edge of what we apes currently understand.

When we fall back to asking why build pyramids, cathedrals, highways, rockets, or anything else that requires a vast number of people to work towards the same goal, don't forget about what everyone gets from the journey on the way.
> After lasting over double it's original planned mission duration. Once you get that far out finding more science for a lander (not a rover) to do is hard.

That's entirely orthogonal to whether the wind storms eventually clear dust from the panels.

The linked article makes it pretty clear that the opposite is true; eventually the panels are completely obscured by dust, not cleared.
Copyright does not inhibit archiving. The problems begin when people want to distribute those archives.
> But compilers never do that automatically.

This is a thing to think about in itself. One problem here is languages that have semantics hostile to significant data layout transformations. Practically to get there the language design and the data-optimizing compiler would have to co-evolve I think.
Thanks I understand better now. Sorry my other comment was rude. Probably I'm just frustrated that I will never be able to make a sentient bot because it will cost literally a billion dollars, and I just have to sit on sidelines and watch the billionaires play with their sentient bots.
Let m = n.
For m^n = n^m.
There are infinite solutions.
Am I missing something?

Edit: “Distinct”
For what it’s worth, I’ve found ChatGPT to be an effective weekly meal plan tool by just asking it to generate the recipes. It’s a word generation machine, and it can’t currently browse the live internet. I think it’s more suited to its design to ask it to create all the output than to summon accurate links from its knowledge set.

If you want links to recipes by other people, I think Bing Chat would be more useful for you, since it can search the internet. There will eventually be a browsing plugin for ChatGPT, but it’s not available yet.
Refresh my memory. Cantor's argument is that you can number the primes in order, right? So as long as primes are infinite (we believe they are but they just get more sparse), you can map every single whole number to a distinct prime number.
In the short term, you could use https://repo1.maven.org/maven2 - but both the regular (repo, repo1).maven.apache.org and uk.maven.org aren't okay right now. :/
How do you think the server does it in a couple of seconds? Maybe we should get rid of gaming rigs because servers are fast, right?
Someone downvoted that? WTF?
The problem is on detecting the corner cases. That's what stops self-driving level 4.

Understanding you have a problem seems to be about as hard as solving the problem.

But well, if you are talking about call centers, yeah, companies are already using "AIs" that can not understand speech not give out any information. You can put some intelligence there without destroying anything that isn't ruined already.

But it's not true that problems don't matter. What is true is that corporations have way too much power. (Maybe it's time to rewatch RoboCop.)
> all the same benefits of a lifetime tenure

Well, unless the person strongly values the contribution to society that being a judge represents. If there's another career they could go into and still practice into their 90s, maybe they'd prefer that.
Yeah that's awesome. I honestly think the next 'leap' in AI will come from these 'domain specific' models.

Also I'm not talking about just 'prompt' output model. These ones are great and I'm sure they will be extremely impressive. However I'm talking more about being able to 'operate' something.

Imagine this, an AI able to operate some specific API in a deterministic / reliable way. I'm talking about complex operations.

SO the output is not so much a text prompt but an SOP and then actually Operating the SOP.

Imagine going into an app and say "can you boot up a cluster on AWS and run a wordpress site, point domain example.com to the site".

Imagine this "you know my database for app X, what was the latest snapshot", it replies with the date / time of the snapshot, and you reply with "can you move that snapshot from google cloud and create a new database from that snapshot on AWS cloud?", and it does it for you.

That's what I look forward to.
QEMU 8.0
How to Spin Helm Ephemerals with Reliza Hub
That's what happens when you break backwards compatibility.
It ends with another threat - it's ok you copied, but don't copy more things (what things?)
Also big in Beirut, fwiw.

Example: https://www.instagram.com/steakcrush

Halal as well.
It's actually repo.apache.maven.org that is failing.

The repo.maven.apache.org is a CNAME for that.
Flour was originally only the highest quality grade- the "flower"- of ground grain.
I thought it might be haram to mix cheese and meat, but apparently that’s just a kosher restriction. Philly Cheesesteaks are perfectly halal.
What’s worse is I’ve seen developers “encrypt” secrets by then base64 encoding it.
Wouldn't driverless car failures count?
My instinct is to send the person to count their infinite set and when they get back I'll give them a billion dollars.

If I can find an interest bearing bank account with a $5 minimum I should have plenty of money to pay off that bet.
This is not exactly an AI like we are seen right now, but there has been at least one instance where a robot killed a human in 2015.

https://www.theguardian.com/world/2015/jul/02/robot-kills-wo...
Weird, not sure how I missed that. Thank you.
What do you mean there's an issue? The status page says everything is fine! ;)

https://status.maven.org/
After JWST ran thousands of percent over budget and decades behind schedule I'm tempted to suspect any new telescope project of being a grift. If they get Congressional approval for a fifteen billion dollar lunar telescope it's going to end up costing fifty billion and somehow that won't result in anybody going to prison.
Why do you need or want links for a recipe? ChatGPT(ESPECIALLY with gpt4) will tell you the full recipes in a nice concise easy-to-follow list.

Why are you grading a chatbot on its web search result abilities instead of its answer-providing abilities? It’s like saying that horses are better than cars because the cars hurt when you sit on top with a leg down on each side.
GP's point is that those meaningful changes shouldn't also include breaking backwards compatibility because you don't want to support the old stuff.
> +engineering

what sort of extra engineering is required to make it road legal? I assume paperwork is really just certification to prove it meets existing regulations, but if the car requires "extra" engineering, then that's a big problem isnt it?
And good things are sure to follow when it becomes the hottest new status symbol/ego magnet...
I guess at the end of the day this is all that really matters. If there are specific goals that Theo has around this, then there's no point in me second-guessing whether those are "reasonable"; it's a matter of values and preferences and whatever.

Whereas if this conversation was about something with broader stewardship, like _Linux_, I'd be saying this is silly, you shouldn't be compromising other things just so you can build your RPi kernel on an RPi.
"property" is the simplest form of governance, whereas a resource is assigned to a person which takes all the decisions regarding the subject including transferring the property to another person. it's really a very old governance model well understood in most societies.

now IP is a confusing form of governance because all the contradictions mentioned by gran parent comment while being named "property" and because it's being applied to something that is not a resource which means it does not even need governance in first place
I think it is better to use candlesticks for this kind of data. This makes it easier to detect when humans start to have an upper hand, so that we can strike back decisively with our secret weapon - natural stupidity.
FedEx is going to scrap all the DC-10s/MD-11s you see in the photos. I always loved those tri-jets (along with the 727) as a kid.

[0] - https://theloadstar.com/cost-cutting-fedex-express-to-retire...
see also a nice video by inigo quilez exploring the same problem - https://www.youtube.com/watch?v=p-R0druZiTs
Having more users helps with reinforcement learning, but as a user, I want an unaligned AI that isn’t constantly babysitting me with bullshit about what it can and cannot do, so there’s like a negative network effect, lol.
That is not what that idiom means.
Bringing runtime checks to compile time in Rust
Guess this is the dilemma never talked in the philosophy circle or arts and humanities department.
don't blame it on the airlines. Boing shouldn't have been able to certify a plane without redundant sensors.
As software engineers this is easier to explain I think.

Create a listA with all integers.

Create a listB with all multiples of 3.

Is listA.length > listB.length? No, it is not.
Did you reply to the wrong comment, by chance? One of the child comments to mine compare to the UN, while I made no such specific comparisons.
I agree that DB papers will typically overlook the impact the filesystem has on the database (not just rocksdb - what you wrote is true for everything except something like BlueStore). It’s particularly depressing when you look at how they measure write amplification which tends to ignore things they’re just offloading to the filesystem.

However, I think you’re making a mistake on a core part of your argument:

> More fragmented free space makes the allocation algorithms have to do more work, sometimes more I/O, just to allocate space for the LSM tree's "linear" writes.

The file system in no way needs to guarantee on-disk contiguity for read or write performance, nor does any online defrag need to happen. Indeed, the whole premise behind LSM trees is to try to optimize around solid state storage. AFAIK if the filesystem can only find 1 MiB blocks it will allocate them at the cost of a larger set of extents (there’s also defrag happening). Typically the filesystems do a fantastic job of defrag too. That’s certainly an important part but I’d say those parts of the filesystem are likely the first things implemented and never/rarely changed (just a hunch - I haven’t actually bothered looking at the Linux changelog).

Also no one is really going to care about performance on an almost full filesystem (kind full like 75% but old so lots of fragments is valid but I doubt it’s actually a problem because of how good filesystems are).
Good article - but couple of points.

I'm not formally trained Mathematician, but I think this is not an analytic proof - it lacks rigour. It is more a graphical approach that appeals to the reader's intuition. I could be wrong here though.

Second, I really really thought the last graph will include y = x line and was very surprised to not see it :)
> my son and his friends have a small discord server. And they play minecraft on a shared server.

Maybe a little off-topic, but I think both choices made by your kid are good if not the best.

Discord is relatively a private place with specific usage (chat and game). The social pressure it creates should be far less than what's been created by a "proper" public-publishing social media network such as TikTok or Instagram. On top of that, a small friend circle might have natural tendency to guard against outsiders.

On the Minecraft side, assuming it's just a server where your kid and his friends play on, then it should have the same effect as a small friend circle. Which means far less unexpected attack (less chance of generating hate) while keeping the benefit of sharing their creations/creativity with others.

Of course, you still have to know your kid and his friend to ensure the safety of the entire circle. But that's far more controllable than just letting your kid free-playing on TikTok Instagram etc (and get hurt by a total stranger who don't gives a damn care).
The pickup in this link is not legal (neither as automobile like normal cars/pickups nor as non-motor vehicles like bicycles/electric-bicycles) in China, too. But the BYD one is totally legal in China.
None of which required breaking backwards compatibility as demonstrated by "Linux, Windows, OpenJDK, Clojure, Emacs, or FLTK" (and I'll add Xorg too). You can add new things without breaking old things.
No, in Canada there is no limit to the tax exemption for primary residence.

> the US where mortgate payments are sheltered

Not sure what you mean by this. In the US, the interest on your mortgage is tax deductible up to a certain amount. But the amount of this tax advantage is fixed at your purchase price. You don't get increasing tax savings as the value of your home increases. As for capital gains tax deduction, this is limited to $250k for a single filer, or $500k for married.
Fog basically means no wind or turbulence. So, smooth landings would be expected and easy. More challenging would be lots of cross wind, wind shear, and turbulence. The plane basically has to land at an angle and then yaw to straighten out at the last second all while constantly correcting for changes in lift and vertical speed. So you are shaking around the plane and passengers quite a bit.

A rough landing is actually considered a safe landing when the conditions are not ideal. A smooth landing means flying the plane close to stall speed. So close that it gently touches down with barely any vertical speed left. You don't do that when there's any risk of wind shear causing very sudden and extreme drops in air speed of tens of knots. If that happens you drop below stall speed and basically the plane drops out of the sky. If that happens low enough, you crash and die. It's extremely unsafe to do anything else than plonking it down decisively under such conditions. That means a larger vertical and horizontal speed and eliminating airspeed via the shock absorbers instead of floating over the runway. That's what shock absorbers are for. As long as the plane doesn't bounce off again, it's all good. Bouncing is dangerous though because now you are slow and stalling.
Some of those infinities are the same, others are not.

There's a one to one mapping between the integers and the cartesian product of the integers (I^I == I), but (I believe) that's not true for the reals (someone correct me if I'm wrong about that).

However, you can take some subset of R^n and stretch it to infinity across all dimensions, giving you back R^n.

So:

There are the same number of integers as odd integers,

There are more points on a continuous plane than on a continuous line.

The number of points on a line is the same as the number of points on the edge of a circle.

The number of points in a plane is the same as the number of points in a semiplane.

There are the same number of rationals as integers.

There are more reals than integers.
Tech CEO Applauds Employee Selling Their Dog for Return-to-Office Push
Doesn't matter. Now we know he flies Air France First class.
Replit (YC W18) is hiring to rapidly scale infrastructure
I was annoyed by having to write the same boilerplate code over and over again to handle "failures" that would never actually occur, so I took matters into my own hands and came up with what I think is a pretty elegant (if slightly complicated) solution. As it turns out, the architecture of this solution can be applied to other issues!
Discord is very similar to Slack. It's not just for gaming, but for almost any kind of community. Any Reddit sub would and could function similarly on Discord.
Just because a driver has less things to attend to does not mean he is less attentive. In fact, I would argue a person becomes less attentive to any given thing the more things there are they have to pay attention to.

Burdening a driver with more (arguably unnecessary) cognitive load is not a good idea.
In Italy oral exams are still very very common.

It's unfortunate because my mind becomes completely useless in those setting.
To add to the list, strike (as in to refuse to work as a protest). In nautical terminology, to "strike" something is to lower it- sailors demanding better conditions or higher pay would lower their ship's sails and refuse to go to sea.
Programming without a stack trace: When abstractions become illusions
Question , what do we do if/when it gets to that point?

Tech keeps advancing, most people just seem to say, “it’s not there yet”, the entire point of the tech industry is now moving to get us “there” with absolutely no idea what the consequences are. I don’t find this intelligent at all, ironically ?

I like the idea of progress but stating to feel like enough is enough without a at least some clear idea about where we want it to end. I really really don’t want to see terminators in my lifetime anymore than I want to see human cloning, which is banned.

This IMO is the point where tech starts to go from cool and helpful to potential sci-fi disaster.
Plenty of Qatar flights during that time. Maybe you headed to the US, thus United.
I did not read it this way. I read that post as arguing that fast writing is neither particularly important (which is what I read to be the main point) nor that hard (which, I think is what you focused on).
Because Americans are driving tanks

https://twitter.com/edburmila/status/1254544337855275008
> I’m suggesting that it’s very easy to be dismissive of teenage problems as trivial or easily solved when we’ve already long recovered from that particular malady.

Okay that sounds reasonable, but how does that relate to my prior comment?
Electric vehicles may be too heavy for old parking garages: report
To be fair, you did respond to a comment about smoking cigarettes by saying that water can also be bad. I've never actually heard anyone compare the two before. This whole thread is becoming nonsensical.
MoMA's film library (created in 1935, moved to a special facility in the 90s) now reports that it has 30,000 films in its vaults - including "the Museum’s holdings of 5,000 fragile nitrate films, dating from 1894 to 1951..."

https://www.moma.org/research-and-learning/film-preservation...
Snowboarder's left is either up or down the slope depending on the snowboarder...
You can have very fast results by getting more poll workers. It's not that big of a deal, as people willing to work the polls scale with the number of voters.

Nobody really wants "instant" results, if you get 90% of the count the night of the vote, that will be good enough. I come from Romania, and we only count by hand, and by 10PM you usually know the results with pretty high confidence. Romania only has 10 mil votes, but as I said, it scales very well.
Go to https://homicides.news.baltimoresun.com/?range=2022. Only 10 white people and 1 Asian were murdered in Baltimore last year. 210 African Americans were. It sucks, and it’s unacceptable socially and politically, but in terms of my own personal safety, it would be absurd for me to fear being murdered more than I fear getting hit by a car or whatever else.

That’s not to say I’m totally disconnected from it. I know I’m one degree from someone who was murdered, and I’m sure if I knew all the two degree separations, it would be staggering, but again, in terms of my life, I don’t do drugs and I don’t live in a neighborhood with gang shootings, so I’ll be fine.
> Depending on how the mem-table is implemented, they can write at practically RAM-speed.

Proof needed I think. When last I looked I could get it to just under a gib/s. The disk itself could do 2-3 and ram is 20.

It’s fast but it’s definitely a long long way off from RAM speed. The reason is that the memtable is quite pricey to maintain - you’re having to constantly keep a non trivial amount of data sorted and that sort is expensive.
That’s a very generous interpretation of what happened because it wasn’t a “mistake” when he threatened the intern, it was something he purposefully and intentionally did, and doubled down on, even after having significant time to reconsider. Only when there was widespread public criticism of his actions did he backpedal.

I’m curious what he’s said or done to make you a fan?