skysight-inc/HackerNews huggingface dataset:
The existence of a bijection is 7indeed just a possibility to define "size". But since it leads to counterintuitive results (some sets have bijections to proper subsets of themselves) this is hardly the definition of our intuitive concept of size. It leads also to many mathematical paradoxes, in fact most mathematical paradoxes involve infinities and this definition of size, e.g. the Ross–Littlewood paradox and the Banach–Tarski paradox.
CC BY-SA-4.0 https://creativecommons.org/licenses/by-sa/4.0/

"You are free to copy, redistribute remix, transform, and build upon the material
for any purpose, even commercially. No additional restrictions — You may not apply legal terms or technological measures that legally restrict others from doing anything the license permits."
> This post persuaded me to not take much of a look at Janet.

That's a curious statement, given that the stuff discussed doesn't exist in Janet.
I haven't read Bloodlands, but I'd note that the characteristics of the entities mentioned in this paper match those of what are often described in other work as "local militias". The claims of "local sovereignty" match this description, and the description of their actions also match:

> local groups collected taxes, printed currency and postage stamps, policed, meted out justice, and even fielded their own armies

Things like "collecting taxes, policing, met[ering] out justice, fielding own armies" are all things we see today in the chaotic edges around wars. For example, in Afghanistan, Iraq, Syria, Libya, Sudan etc we see this exact pattern.

Printing currency and stamps is interesting. I wonder how wide spread that was.
"- It is true there are more points on a plane then on a line (Cantor's theorem.)"

There is a bijection between the points on a line and the points on a plane or in any n-dimensional space.
I don't think there's anything stopping us from doing it today
Elon Musk Sells Tucker Carlson His Conservative Vision of Progress
I completely agree. I think a slightly more actionable version of this is: be interesting to people to who can give you opportunities.
It does make me think, isn't there another way to easily share things? But twitter is the one to beat for network effect.
If I could go to college cheaply, I would. But try to be $20k or less in debt when you get out. If you can do that, just study whatever you want. Or even better just go and have fun. You’ve got your whole life to be a miserable adult, put it off a bit.

Career-wise, keep your expenses as low as you can, and do whatever you want for awhile.

Finally remember that essentially all advice you get is terrible. Most people are very wrong about most things.
> If Apple didn't mandate that Apple TV productions use FCP it would probably already be dead.

That’s false. Even Apple commercials aren’t required to use FCPX.

FCPX is no slouch. Two of its biggest problems are (1) a lack of serious “multiplayer” (large team workflow) capabilities and (2) an industry perception that FCPX isn’t as “safe” a long-term bet as, say, Avid solutions. If you’re a smaller creator, it’s still a better and more reliable choice than Premiere in my experience.
It's trained on English corpus exclusively AFAIK.

As for whether it is ready for prime-time, it is an "Alpha" of an uncompleted training run. So it's not finished cooking.

Also, that is the 7B model. They're cooking 15B, 30B, and 65B right now and planning to start 175B soon.

For comparison, 15B is already larger than GPT-3.5 (which is likely a finetune of Curie 13B) while 175B is the same as full size GPT-3 v1 175B which 13B LLaMA already beat on benchmarks. So we can expect all four models larger than 7B to be better than GPT-3 when they are done training (at least in English).
Not as gravity lenses, but as both planets have atmospheres they can be used as refracting lenses at much shorter focal points at orbits, if using earth, just beyond the moon.

https://www.science20.com/tommaso_dorigo/the_terrascope_usin...
It's always a treat to fly on. I managed to score some first class award tickets on Etihad's A380s from Sydney to Abu Dhabi to London... for July 2020. As you can imagine, that didn't work out.

I fly Sydney to LAX on Qantas usually once a year and somehow I always get swapped from an A380 to a 787 :/

I understand that this plane isn't the most fuel efficient, and that the A350, 787, and 777X are replacing it, but the A380 just feels a little "golden age of flying". The multiple decks, the bars on some planes and the crazy first class suites (and their showers) really made it a cool plane. It was the first plane that flew on that had enhanced pressurization (Qantas economy LAX to MEL back in 2010), as I mostly flew AA's old 737s back then.

I do acknowledge, that a lot of the things I'm lamenting are premium products, I really do. The cost for first and business class tickets on most A380 flights are ridiculous, and frankly the only time I've flown business is either via upgrades or award tickets (thank you credit card bonuses). Still, you've got to admit they are cool planes. What other plane could you actually take a shower on?
Data is going to get locked up tight and only released for a king's ransom. Must be some investment opportunity here? Who has the shovels in this gold rush? LexisNexus? Elsevier? Suggestions welcome.
Why do you think that? Most people don't have the energy to keep track of people they disagreed with once in the past.
What defines creative ability?

How about the ability to create a new story?

Such 'new stories' always seem to build on old stories, however, and the attempts to create entirely novel creative works that don't relate to past history have never gained much traction. Avant-garde art, who remembers that? People want something to refer to, so it's always the fact that popular new works of art and music are derivative of past works in some sense.

Let's consider some of the great works of creative fiction and literature in recent human history, as examples. The Lord of the Rings and Dune come to mind, but if you read all their antecedent sources, you do find in that list the Bible and the Quran, respectively don't you?

Now about those ancient cuneiform tablets and their influence on their own derivative works, ahem.
So you are saying that your system needs me to do all the testing (it is infeasible to watch our users, because we test the product before it is released to any users) so it can learn how to test?

How can it know, by watching my clicks, how I decide if the behavior is correct on the backend?
That's why TDD is about testing requirements and not implementations. The problem is most people dont know what TDD is: https://www.youtube.com/watch?v=EZ05e7EMOLM
Traditional vaccines of any sort. The kind you inject, and don't inhale.

> Because aside from mucosa it sounds like you're describing the short term durability of mrna vaccines that need to be perpetually redosed months not years later.

So...it's worth saying this out loud: we have no absolutely no good evidence that we need to keep re-dosing these vaccines. None. The bi-valent booster was approved based on a trial with a handful of mice. Do these vaccines improve outcomes in young people? We have no idea. People who have had Covid? No idea. Old, sick people with 5+ prior doses? We can maybe guess, but we don't know. There's no data.

I'm not exaggerating. It's an absolute embarrassment that the FDA keeps approving these shots without proper trials. It's all a nasty stew of partisan politics, financial incentives, and "science" so bad that it wouldn't pass muster at a high-school science fair.

Anyway, point is that you can't conclude anything scientific from the mRNA Covid vaccine dosing schedules, since they're fundamentally not scientific. The best science we have suggests that the initial two-dose series provided long-lasting cellular immunity.
Did this just make numerical computations, something Erlang is known to be very slow at, 4x faster?
>I don't think this is unique to social media.

Not just that, it's one of the biggest themes in modern American fiction before social media. Most of PK Dick's work deals with the opressiveness of middle class culture, mental illness, people who don't fit in and how these things overlap. You had Fight Club or Taxi Driver on violence and isolation particular of men, or American Beauty on the conformist and almost totalitarian nature of the suburbs, etc. It's been a major topic in American culture for decades.
Hadn't heard of this concept before but it sums it up well
I remember listening to a talk where the presenter suggested the history of radio telescopes development was driven by the need for intelligence gathering. The telescopes could be used for spying but were justified on a scientific basis.

I imagine a lot of space development is similar. The real reason for the huge investment is for defence applications, but it is more acceptable to justify it by the scientific ‘value’ of the projects.

If you asked someone if they wanted $1billion to go to health research or space research the answer would be obvious.
Creativity flows so naturally, it sure takes a lot to stifle it.

As often seen, whatever it takes to limit or inhibit creativity altogether, too much of the time there's more than enough to prevail.

Seems like that's a kind of surplus most worthy of complaint.
It depends on how the JPG is made. Some JPGs are not copy writable, like that picture a monkey took of itself. Model weights are probably (legally) more like a selfie of a monkey than a photographer's photo.
How does "responding" help to protect against gang bullying?
Not supporting the "thousands of years" part of your parent's comment,
but the moon gets hit by solar wind; "electrostatic charging caused the dust to levitate" [0].

Quote from "Moon Storms" [1]:

"To everyone's surprise," says Olhoeft, "LEAM saw a large number of particles every morning, mostly coming from the east or west--rather than above or below--and mostly slower than speeds expected for lunar ejecta."
What could cause this? Stubbs has an idea: "The dayside of the moon is positively charged; the nightside is negatively charged." At the interface between night and day, he explains, "electrostatically charged dust would be pushed across the terminator sideways," by horizontal electric fields.

[0] "Moon Fountains" https://web.archive.org/web/20100319112529/http://science.na...

[1] "Moon Storms" https://web.archive.org/web/20100106144102/http://science.na...
> Irrationals are uncountable, but there are fewer of them between 0 and 1 than reals between 0 and 1, by virtue of the fact that all irrationals are reals but not all reals are irrationals.

This is the important point where you are wrong. For a simpler to explain example : the naturals are a subset of the integers, and yet the set of all integers is exactly as big as the set of all naturals. We say this because we can actually find a natural number that corresponds to every integer number: 0:0, 1:+1, 2:-1, 3:+2, 4:-2,... A slightly more complicated construction exists for the naturals compared to the rationals: they are also the same size.

However, it can be shown that the same can't be done between the naturals and the reals, or even any real interval. So, by this definition, there are more real numbers between 0 and 1 than there are in the entire set of natural numbers.
FWIW, Stephen Gou, Manager of ML at Cohere, is currently doing a Reddit AMA, and is also guessing at 1T params for GPT-4.

https://www.reddit.com/r/IAmA/comments/12rvede/im_stephen_go...
Possibly but not necessary, the more important element of a PhD is its effect on your environment. A PhD is legitimizing your niche interest vs how we treat those with niche interests who don't have a PhD ("obsessed"/wasting time). It's a very powerful effect, and minimizes a lot of the external stress of a niche interest that causes many to lose hope and move on.
> A Mission Extension Vehicle is a type of spacecraft designed to extend the functional lifetime of another spacecraft

> Manufacturer: Northrop Grumman Innovation Systems

Sure
Suburbs and cars already existed 60 years ago, and that was before cell phones for coordinating meetups.
Planet once used a Dove satellite to take a series of stills (that is stitched into a video) of a rocket launch of other Dove satellites. Video here: https://www.youtube.com/watch?v=afiLd4zPoLQ.
They're going to court with the guy who made llamaDL actually.
Annotations in Kubernetes Operator Design
Investors have a tool for that.

The scientific betting principal could be used to optimally size bets on which research will benefit humanity the most.

https://en.m.wikipedia.org/wiki/Kelly_criterion
This seems like your going down the rabbit hole into an area where only the bigs can compete, its also a fools errand in my opinion.

There's a growing sentiment that the stock market is rigged, and I've seen several instances where that almost certainly seems to be the case and no action has been taken. It started with the COMEX eligible silver and gold holdings which have never been independently audited.

Then GME and FRC more recently.

Once you realize the mechanisms that allowed those to be successful, you realize they can do it with any publicly traded company, and its no longer an investment because the fundamentals have nothing to do with it. You can cause companies to fail simply by causing aggregated indebtness violations. Synthetic shares can be created indirectly which let you create more selling or buying than exist in the float. There's only one way the the basic mechanics say happens when that exists.

Its a casino, no longer a real investment and any company with better funding alternatives won't go public if they intend to stay in the business for longer than a few years. Most of the companies are zombie companies which are overvalued. Some are undervalued. Its not a good business to be in, there's some real evil schmucks playing games with information that isn't public.
LinkedIn. I filter job postings made within the last 24 hours only. Based on past experience, the further back I was at the applicant line, the smaller the chances for getting past the initial quick scan/screen
I agree, a lightbulb went off for me when it was put that way. I still wonder though, is it just a semantic trick, saying an infinity can't be indexed. I get that if you have all positive decimal numbers, you can't decide what's in the first position, but it feels like asking what's in the last position of a countable infinity - a question that makes no sense.
Isn't this why Godel went mad?
Why would you need to lean against the wall in 1st class?
The range to the imaged satellite is overlaid on the images - it's between 90km and 130km over the sequence.
Tl;dr. In my experience trying to teach elementary programming over the decades, the most important skill of the newbie has been their ability to decompose a problem into small discrete steps. And, to do so without skipping steps. What might be obvious to or assumed by a human can be left unstated. To a machine, of course, it’s a logic fail.

Those that can do this can proceed to language niceties. Those who can’t must pause and develop that skill.
Before cell phones, we didn't worry about making group plans. Everyone just went to the movies or the mall or the Taco Bell parking lot and everyone else went to.
If this was Slashdot, every reply would be a cleverly-titled link to http://goatse.cx :P
Well, based on all the data we have available now it seems like you don't get much benefit yet from going above 200 billion.
Ah, I'm sorry - I misunderstood your question :)
Here's something these posts never touch on: dealing with the inevitable routine and the boredom that comes with it. You always read that life is short, seize the moment, etc. and I call BS. I like to think I did all that, I'm well under 40 and have really travelled the world, succeeded professionally, lived in 10 countries, did everything I ever wanted to do. And now what? The problem with achieving things is that you run out of goals. I find it harder and harder to find things that excite me. I have no desire to network aggressively with "smart people" like these posts tell you to. What's the point, ultimately more opportunities i.e. money? That doesn't motivate that much anymore. I want that feeling back, the anticipation when I was about to go to a new place or have a new experience. That's the most precious thing there is and I miss it.
Meritocracy was originally a dystopian term, coined in the book "Rise of the Meritocracy" which:

"describes a dystopian society in a future United Kingdom in which intelligence and merit have become the central tenet of society, replacing previous divisions of social class and creating a society stratified between a merited power-holding elite and a disenfranchised underclass of the less merited."[1]

[1] https://en.wikipedia.org/wiki/The_Rise_of_the_Meritocracy
The base models are licensed under CC BY-SA-4.0 (not CC-NC).

"You are free to copy and redistribute the material in any medium or format, remix, transform, and build upon the material for any purpose, even commercially."

https://huggingface.co/stabilityai/stablelm-base-alpha-7b
Allow me to remind you how this happens.

https://news.ycombinator.com/item?id=13940014
Coreutils 9.2 (last ver) md5sum on Mac hash as “OK” with dash C
>no space to be yourself

not only there are multiple spaces to be yourself within, you can be yourself in different ways and under different identities. there's "side profiles", "finstas", etc., there's more flexibility and more ways to express yourself, across all different sides of you. like, if someone thinks that people just use one identity and hang out around a certain circle of people in a certain space (or set of spaces), that just doesn't align with reality. people make side pages, pseudonyms and identities, with those having different circles of people they interact with, and different audiences, within one space/platform or across multiple different ones. just like, a handful of apps, insta, twitter, tiktok, discord, all may have different circles and dynamics. and it's fine - and it works - because irl spaces/circles/identities, do play out in a similar way. (like, differences between home/friends/school/work/public/etc.)
> ...basically presumed that our eng team wasn't the decision maker (it was).

I work at an auth company as well, Stytch, and this is something that we treat as obvious but we've seen a lot of reports like yours. Auth is such critical infrastructure, it is always going to come down to the technical team in the end.
Am I understanding this right? It means a student must have a phone and must carry it with them always (or at least almost always)? Does the phone also have to have a subscription, ie, is the student required to pay one of the cell phone service providers for the privilege of having a student ID?
I've always wondered how that works. I'm all for full bore public spending on space but sometimes when you read the list of the research goals for NASA/EU spending hundreds of millions on getting to Jupiter (for ex) I often wonder "that's it"? But then I remind myself I don't know anything about this stuff compared to the people doing it as their job and assume the scientists/admins have some set of priorities which are essential in the process for some bigger important stuff.

My biggest question is why they aren't putting tons of pressure on getting a telescope that can do gravitational lensing to see as far into space as possible ASAP. But again I'm probably just speaking out of turn not being familiar with the wider industry/culture/economics.
A pity that the Wikipedia article has artist impressions and models, but no actual photos of the satellite.
Can't repro on 9.3. The exit status is correct with "WARNING: {{N}} computed checksums did NOT match" but the individual file status shows "OK" for failed files.

9.3 has 3 test suite failures with:

env RUN_VERY_EXPENSIVE_TESTS=yes make -j check
I’m fairly uninformed with politics (I’m not American either). Please don’t interpret this as passive aggressive, but more of a question / passing thought:

Wouldn’t republicans believe more in ‘each to their own, survival of the fittest’ (I want the best for my children) where democrats would be more ‘value for everyone’ (I should get vaccinated regardless of risk to protect my neighbours)

I imagine the Christian religion is more popular with republicans, which if true is equally interesting given it would contradict the above assertions (love thy neighbour, etc)…
Intellectual property is not really a property, it's a limited time monopoly preference. If you have a chair as your property, it doesn't magically become public property in N years, it's yours forever. Because it's a real property, unlike IP.

More than that, IP is anti-property in nature, because it restricts you from using your real property, you can't use your printing press to print a book that you like.

I know that there's an argument to be made about authors wanting to eat, but that's a separate issue, it doesn't change the fact that IP is logically inconsistent and the "property" part is misleading.
Nobody knows where to find 10 trillion tokens of good data. Publicly available / data without a license seems to cap at around 1.5 trillion tokens total. The internet isn't as big as you thought! (Or at least, all the good stuff is behind a walled garden, which I think we did know)
The point is that the goods don’t need to and are often not in California when they are sold to someone in California, so it really is a difficult law to apply.

But it sounds like California uses destination taxing in that case? So most of the time, wouldn’t Apple be stuck with that instead?

But no, the Californian law from the 1950s actually says location of sale, not where the physical goods being sold are located, so we avoid the goods being out of state at time of sale problem. I don’t think Apple is going to lose this case, and California just needs better laws.
There is no sharp bend in 2012. I can easily interpret it as an gradual increase more from 2010 or so. Eyeballing charts is not science.
This is increasingly happening with desktop apps as they get rewritten to be async throughout without a good understanding of what this implies. The old single-threaded UI model with a message pump was hard on the developer (if they wanted to keep the UI response) by requiring them to manage all asynchrony explicitly with threads, but at the same time it also forced to think things through more. Now it's often just throwing async/await or equivalent around mindlessly, and it leads to the same exact kind of bugs you describe.
A lot of hay has been made of this but everyone working with ChatGPT directly A) knows this and B) is champing at the bit for plugins to be released so we can get on with building verifiable knowledge based systems. It'll be an incredibly short turnaround time for this since everyone is already hacking them into the existing API by coming up with all kinds of prompt based interfaces, the plugin API will make this dead simple and we'll see a giant windfall of premade systems land practically overnight. So that huge spike you're predicting is never going to materialize.
This is the quickest (indirect) reference I could find:

https://linux.die.net/man/8/sg_format
Before the political left/right bs starts, please cite the years when Canada (or any nato country other than the us) met their 2% target without accounting tricks. I suspect very few governments on the left or right would prosper buying military hardware rather than engaging in preferred social engineering.
The "Tuned" version is finetuned on the output of ChatGPT, which is why it is non-commercial licensed.

The "Base" version does not do this (and is commercial licensed).
yah that's the rub, to expose to a natural infection site while also overcoming the defenses of that site but not so much that things spin out of control. Tricky gambit.

But intranasal is like the pharynx and nasal passages and turbinates stuff, not all the way down in the lungs.
Is this a thinly veiled "we see you" threat to US adversaries with satellite constellations?