skysight-inc/HackerNews huggingface dataset:
> dry storage in hard rock in some rock formation that hasn't done anything in millions of years

that's exactly why they chose it and it makes a lot of sense.

If the environment is so stable, you don't have to worry about earth own internal movements too much.

This is old news, it's been amply debated, there's a documentary by Michael Madsen titled "Into Eternity" where pros and cons are discussed at lenght, the movie is from 2010, 13 years ago.

You can find it on YouTube

https://www.youtube.com/watch?v=ayLxB9fV2y4
Clearly this! Surely the key part of the article, it's already happening, so you might as well grab some good press and it's worked. It's better headlines for apple than them losing after years of fighting it, and getting plenty of compromises
> But code written from scratch doesn't have that issue. I'd be interested in a counterexample -- is there a code snippet that passes the strict mode of the compiler, and doesn't interoperate with untyped code, but produces an unexpected runtime error?

You'd think so, right? But no, typescript is deliberately unsound in ways that have nothing to do with gradual typing. Here are a few examples.

Signatures written in method syntax are bivariant, which is not correct

interface Unsound {
f(x: number | string): number
}
interface Unsound2 {
f(x: number): number
}
const a: Unsound2 = { f: (x: number) => x }
const b: Unsound = a
const c: number = b.f("not a number")

Type predicate results survive mutation

const hasA = (x: object): x is { a: unknown } => "a" in x
const deleteA = (x: { a: unknown }) => {
delete x.a
}
const unsound = (x: object) => {
if (hasA(x)) {
deleteA(x)
return x.a
} else {
return "no a"
}
}

Many stdlib types are incorrect. JSON stuff is particularly bad: JSON.parse and Body.json() both return `any`.

You can spread things that aren't objects

const unsound = <X,Y>(x: X, y: Y): X & Y => ({...x, ...y})
const bad: never = unsound(5, 4)

(And even for objects, `X & Y` is not the correct type when you have overlapping keys)

Anything with optional fields can be widened incorrectly

const unsound = <T extends { x: number }>(t: T): { x: number, y?: number } => t
const bad: number | undefined = unsound({ x: 5, y: "not a number" }).y

Assignment doesn't handle `readonly` properly

interface Readonly {
readonly x: number
}
interface Mutable {
x: number
}
const a: Readonly = Object.freeze({x: 5 })
const b: Mutable = a
b.x = 4

> The OPERATION is legal, but the data isn't, which isn't something that any type system will tell you.

There are some that will, though unfortunately none that are really production-ready yet.
But above you said that our form of consciousness is incompatible with determinism?
Prior to the 2016 US election I heard with complete denial that the presidency is a reflection of the sum of our culture.

I was wrong.
unrelated: a few months ago you were asking about small language runtimes https://docs.micropython.org/en/latest/
There has actually been research that found that there are strong diminishing returns in terms of at least expanding parameter sizes. While I think there are still breakthroughs to be made in terms of window sizes and workarounds like Mixture of Experts, I'm not sure how much farther we will get here in the long term in terms of raw performance of the LLM itself. FWIW, Sam Altman agrees and has a surprisingly similar quote as found here "I think we’re at the end of the era where it’s gonna be these giant models, and we’ll make them better in other ways": https://techcrunch.com/2023/04/14/sam-altman-size-of-llms-wo...
This was the first thing I checked, too. It's really nice to see that it's HTML down to even the color input sliders/ranges.
> Image generation is still terrible and useless

Image generation is thriving and now an indispensible part of the creative process. The tools are fresh and still evolving, but the impact even in this early stage is ridiculous. You can easily take rough sketches and have it spit out fully fleshed out colored prototypes. Depending on your perspective it's either an insane productivity-multiplier or scary as f-ck or both.

Look at https://civitai.com for a taste. Look around. You really believe this is terrible and useless? Most of these images came straight from SD with some minor tweaking, usually upscaling. I think it's quite something.

It's not just MidJourney, it's the entire ecosystem surrounding models like SD, ControlNet, etc. Some artists are swinging their fists, others shrug, but all are affected by it whether they like it or not and the damn thing is just getting started. SD came out in 2022. As a young aspiring artist I can imagine it's hard to not feel like this whole thing is a massive punch in the gut.

Like an experienced and highly-skilled artist, it's easy to shrug this off when you're an accomplished programmer. It can't replace me, right? Well, true. It's a gradual thing, but the impact it has on junior programmers is undeniable. What it means for our branch if leagues of young people lose interest in the meticulous acquiring of technical and often arcane knowledge through "manual programming" is anybody's guess. Maybe it's a good thing, maybe it's not.

> Text-to-speech neural still sucks big time

This is not my experience at all. I am actually practicing French with it and it can pick up my weird accent. It's ridiculous how good it has become in such a short time.

EDIT: Oh, sorry, I read it wrong. But in that case, the same thing applies. 11labs is insane and getting better. It fools many, many people on Youtube. The Bark project is also scary at times. This is just getting started.

> I can't still get chatgpt to give me a useful ffmpeg or a basic php database script.

I believe these issues are at least for a significant fraction caused by the severely castrated and surprisingly lacking UI efforts from OpenAI. Just free-form "talking" with an LLM might be a good way to get grandma to use it, but as a professional programmer (or professional anything, really) it's bordering on stupid.

The prompts and settings you use determine 90% of your success. OpenAI's interface gives you nothing. They just recently introduced something like "profiles", but it's amateurish at best. It makes me feel like programming without IDE (and Vi/Emacs).
I use a fork of this (or, rather, a fork of the original) hosted on my LAN.
AI has been around the corner since the 1950s, this is the historical evidence for the pessimistic stance against over optimistic predictions.

LLMs are a huge stride forward, but AI does not progress like Moore's law. LLM have revealed a new wall. Combining multi agents is not working out as hoped.
I still don't understand how the recording light negates the need for a privacy shutter. I don't care if i know when the camera is on, as the camera could be turned on without my consent or just before I'm ready.
At least in my state (Washington), electricians and plumbers licenses include an annual permit which covers all the work they do during that year. It's only the trades that don't have a licensing program (or are only licensed as "general contractor") that need a separate permit for each job instead of one big one that covers all their work for the year.
But they breed plutonium! There's some moral panic about possible siphoning of it, and nuclear proliferation.

I think it's a bit late to emphasize this concern, when even North Korea has nukes.
> This is how the sudoers file works as well. I think this is desirable in software that authenticates or authorizes users, and maybe more broadly wherever security concerns are essential.

I strongly disagree - the most important trait for security-relevant configuration is that it works like you'd expect.

> That's because this logic makes it easy to create settings that can't be overridden in by adding a new file in a whatever.conf.d directory: you define those settings in the main config file before you source whatever.conf.d/* and you put some kind of special protections on that file.

What is gained by this? The administrator controls both of these locations.

> Even where you're not worried about somebody evading your controls per se, it can be nice from a configuration management perspective in giving you a soft 'guarantee' that if some new hire who doesn't have the whole picture adds a new file in there, or some package tries to install a stupid default for its own service, your baseline settings can retain priority.

Instead the new hire or a package adds important settings that now have no effect. In either case you need to review the whole configuration - reversing the order of precedence doesn't do anyting except confuse users.

If you want to have a configuration file that has the final say then make that explicit - and that absolutely doesn't require the order inside that file to be reversed. If the subdirectory is explicitly included in the main config then you can add your overrides after that include anyway.
RTGs contain tiny amounts of nuclear material by comparison. It’s easy to shield such a small amount.
Rockets are still by far the most dangerous mode of transportation developed. It's by no means safe to fly a rocket, even though it may be safer than it was before.
I don't quite understand the premise of longevity research.

Isn't there a concept similar to "no free lunch" in biology? Infinite, cancer-free lives sounds just too good to be true. Something sounds off about that.
People who create/release dumps that these tools check tend not to be too focused on account security....
It may be defrauding funds, Chinese domestic developers are also mocking and condemning the company's behavior.
This question as stated make very little sense as futexes are mostly used to implement lock functionality. As such, they typically have overhead but provide correctness in a multi-threaded environment.
Interested too.
I did several full courses and exercises on it (Freecodecamp, W3, Mdn, Codepip…) and I still struggle a lot to create clear UI and have each HTML element where I want them.
I am looking at CSS frameworks (BEM, Tailwind) but I would like to master « vanilla » CSS.
There's no secret sauce in web apps. Everything is on view and easily copyable. That may be a disincentive to some. On the other hand they are simple to build.
> Uranium is actually pretty rare

> estimate is something like 50 years

those are pretty pessimistic estimates.

From a 2009 article on Scientific America

According to the NEA, identified uranium resources total 5.5 million metric tons, and an additional 10.5 million metric tons remain undiscovered—a roughly 230-year supply at today's consumption rate in total

the extraction of uranium from seawater would make available 4.5 billion metric tons of uranium—a 60,000-year supply at present rates

fuel-recycling fast-breeder reactors, which generate more fuel than they consume, would use less than 1 percent of the uranium needed for current LWRs. Breeder reactors could match today's nuclear output for 30,000 years using only the NEA-estimated supplies.
Any performance tests? (e.G. tokens/s on a 4090?)
If you ever see something described as 'low-level nuclear waste' then it is sometimes talking about things like old reactor parts and mostly talking about items like gloves, bunny suits, used dosimeters, etc. Things that have been exposed to enough neutron flux to be mildly radioactive but which are not going to make other things glow in the dark are usually put into barrels and buried. Like toxic metals, for example, the only real risk here is having it leak into the food chain or water supply.
> In that same thread that you've linked, other people have later replied arguing for why they prefer Stack so...

I merely stated that I have no trouble running old projects using stack.

> I don't really think that you've given an argument that is persuasive enough to someone who is new to Haskell.

Honestly, cabal improved a lot since the old ages. For a beginner, either stack or cabal should be very fine imo.

> or want to overwrite my stack-installed Haskell version, I'm usually rather annoyed.

Not sure why you would want to do that. Either you use stack and let it handle your ghc install, or you don't, and I really don't see why you would use stack only for compiler install.
Unrelated, but isn‘t this false?

> A deliberately stretched example. Apple laptops are claimed to not need camera privacy shutter, because the recording light is hardware controlled, so the user always knows when the camera is recording.

Don’t Apple devices have the ability to take photos of thieves stealing the device? Surely the camera indicator won‘t turn on in such a case, right?

I could be completely wrong.
There is a big difference between the association with the flag and actually living the culture. But to be fair you would only really know that if you were actually dipping a toe into the culture, for the rest the trick of companies works.
A system that in some context has an inheritable genotype that influences its phenotype.

I add the context part so we can say a virus is alive if the context of host cells is present, and otherwise not. Similar to how we are alive in the context of being on the Earth's surface, but not on the Sun.
Hoogle is really amazing!

Inspired by it, I implemented something similar for FunctionalPlus (a functional-programming library for C++): https://www.editgym.com/fplus-api-search/

I'd love to see more projects taking this path too. :)
No, but the financial loss can be just as bad and sometimes many times larger.
I really don't care if shareholders get less money or if a CEO gets less of a bonus. It's OK to pay some people less.
Surprise-surprise, but spent fuel rods contain plutonium (~1%) as well. The idea is that you build breeder reactors and do reprocessing in countries which already have nuclear weapons, while other countries get completed fuel rods for the classic PWRs. You prevent siphoning by mandating that all spent fuel rods must be returned to the country of origin.
That's Apple's fault, not the repair shop, and apple should be fined for doing so.
Because (i wish i was joking) Windows is a beta OS with the exception of some specific Service Packs. NT was stable only with SP6. 2000 only with the last SP when they discontinued development. Same for XP and 7 only the last SP was stable. I skipped Vista and 8, but 10 is a rolling release. Nothing is stable, everything is a moving target.
Ask HN: Is there an app for calendar events?
As the title says, I'm looking for an app that I can use to share events for a non-profit organization I contribute to.

The usual go-to solution is Google Calendar, but after having used it for a few months I believe its UI/UX doesn't fit this purpose and is hurting engagement.

I've googled and tried a few solutions, but none of them would let me easily create something like what you would see in an event website like skiddle.com or visitberlin.de.

Is everyone really re-inventing the wheel each time? I find it hard to believe.
Wait, so if a third party repairer puts in a dud part that fries the rest of the system, they still have to provide a warranty replacement of the whole thing?
This is actually a neat idea. Now if they would only revert their latest main navigation UI changes, then maybe more people would create new projects on gitlab.com
Sure, but we also know for a fact that Apple does a lot of tweaking to disable non-genuine parts. Seems as likely.
I hope I won't spoil it (it is a book saga from decades ago) but that is a major plot point of Shannara cycle.
Very similar to techniques used in Knowledge Based Engineering systems, where the term "dependency tracking" is used. Together with caching of nodes/tensors this reduces calculations, especially useful for large parametric 3D models.
When getting a value it will recursively call the binary/dependency tree to find out which variables have changed and only recalculate them when needed. Custom python objects and properties with __set__ and __get__ methods makes this a built-in feature of an object-oriented model.

x = Tensor(3)

y = Tensor(5)

z = x + y

print(x, y) # 3, 5

print(z) # 8

x.value = 4 # when setting value nothing is recalculated

print(z) # 9 since getting value triggers recalculation of dependencies that have changed
>Might need more detail on how those two forms of determinism are different.

In the theory of computation, you can make a model representations of computers in deterministic or non-deterministic versions. The deterministic version could be described as a flowchart of possible states a computer can be in.

The non-deterministic version allows for the possibility of branching paths and doesn't make assumptions about what state the computer will be in.

One problem you sometimes get into when discussing, say, randomness or quantum weirdness, is that they might lead to confusion about philosophical determinism. There's determined in the sense of Laplacian predictable exchanges of cause and effect. But there's also a determined in the sense of determined by physics as opposed to an independent, libertarian form of free will.

Similarly, with computers, a computer architecture could be understood in some sense as being non-deterministic, but it's not the kind of determinism that's at stake in free will debates.
I'm not sure how to phrase this, but it seems like there's some trade off between how easy it is to express a condition, and how easy it is to verify that it holds in an imperative language.

One the one hand you have declarative languages, and on the other imperative languages.

Not sure where I'm going with this, but I think there's something there.
I do agree with your reply but I was saying the only thing quick about the process has been the technical interviewing and offer.

The notice periods do get factored in both planning and _sometimes_ the deciding on a candidate.
One coachman to the other: "Another perspective about this car thing, you can skip all the routine and boring trips - they are done with cars. You can focus on the nice trips that make you feel good".
Good for you that you can go to Apple themselves then. That doesn't mean others should be forced to do the same.
> That’s enough space to save about 33 million documents

Remind me when Nokia phones used to use the number of images you can save in their new shiny new devices as a marketing technique, yet a “document” or an “image” is barely a fixed known size to be used as a measuring unit, 5TiB is barely enough in nowadays media consumptions, which in nowadays “measuring units”, it should be around ~200 blue ray movies (but depends on authoring too that number could lower to 150 blue ray).
the linux programming interface by michael kerrisk
The next AI wave hasn't even started. Imagine an LLM the size of GPT-4 but it's trained on nothing but gene sequence completion.

All the models being used in academia are basically toys, none of those guys are running hardware at a scale that can even remotely touch Azure, Meta, etc, and right now there is a massive global shortage of GPU compute that's eventually going to clear up. We know models get A LOT better when they are scaled up and are fed more data, so why wouldn't the same be true for other problems besides text completion?
>Point to a period in time when things were perfect?

Things getting worse is not refuted by things never having been perfect. There are periods of time when things were better and periods of time (including extended for centuries periods of time) that things were crap. Even more pronounced and evident regionally. We, in many countries, are getting on a crap slope.

>Maybe log off the fucking internet where you spin in circles in vain seeking a perfect solution and tackle those problems you called out? Nah, much easier to be an energy vampire from your armchair

Who said I don't "tackle those problems I called out" outside the internet? And who said I'm optimistic about the potential of my interventions, or the preventability of changing the outcomes in general?

Maybe not assume and make it personal with ad hominems?

The rest of the points I find either wrong or irrelevant. I'll give an example instead of bothering to answer to each:

"So sad for Hollywood artists who covered for pervs and leches; if it’s about the art they can “slum it” in local theatre; capitalism never owed them glamorous lives as humanity never owed them deflating themselves for a handful of pretty people"

The point wasn't about Hollywood actors or screenwriters, as if they're the only creatives (or even the ones more) threatened by AI. It was more about the rest of the already squeezed fields, illustrators, graphic designers, musicians, and so on.

But even staying at the "hollywood artists" here (which I didn't even have in mind in my argument), the counter-argument that AI taking their livelihood is fine because they "covered for pervs and leeches" is non seguitur BS.

First, if you work at a company and your boss or some higher executives are scumbags, do you also "cover for pervs and leeches"? Or you just work there, and words like "cover" should be constrained to those actually covering misdeeds?

And would the AI discriminate and only reduce the jobs of those that e.g. covered for Weinstein, and not those who called him out? Or will it only replace highly paid actors, and not eg. lowly VFX artists and other such jobs? This is more bile against "those rich Hollywood actors deserve what's coming at them" than an argument about the impact of AI on the film industry.

>…you’re crying about your chains, too unimaginative to see the bits and pieces around you that could serve as a lock pick

Yeah, let's see how this "AI will liberate us" work our for us. I've seen the same stuff play out when the web arrived and "information wanted to be free".
Also. Since you used Tutanota as an example. From https://tutanota.com/security

> by default, does not load external content from other servers (pictures and videos in emails). The user can choose to have external content shown with a single click or tap, if they trust the sender.

So there you go. An email company that does not load images by default. Whereas the default setting for Skiff is to load images automatically. So in this respect, Tutanota puts "privacy first" and Skiff doesn't.
"Isn't there a concept similar to "no free lunch" in biology?"

Is there? Is this a widely accepted scientific fact? What does this even mean? That you can't get a benefit without a cost? I thought that this phrase comes from economics. I think you're thinking of economics which is... not human biology.

"Infinite, cancer-free lives sounds just too good to be true. Something sounds off about that."

So just accept the fact that we all die and not learn about our bodies? I mean I don't know; some of us value being alive and prefer to stay that way if possible. Do you not also see dying as a problem?

If you were to know that you were going to die tomorrow you wouldn't see that as a problem? Or is it only not a problem if you die at the sort of average full human lifespan age of ~70-80? Why is dying then ok and not tomorrow?
> you can order 400 genetically identical mice very easily.

And in many variants, for example one’s likely to be diabetic, get Alzheimer’s disease, etc.

If you want to know more of mouse dystopia, visit https://www.jax.org/jax-mice-and-services

> Plus, unlike monkeys, no one cares.

Animal welfare groups do, as does the law in some (most, I hope) countries.

I do, too, but I do realize I benefit from that mouse dystopia, too.
I think there should be three modes, one mode for documents and two modes for apps. Right now the document "mode" is too overpowered while the "app mode" is under-powered. If the user switches to "app mode" it should give the website access to the web API's, while in document mode it should only be possible to manipulate the DOM. The second app mode should make the app more "native" like and unlock more API's. Or we should just fork the browser into two programs, one for documents and one for app runtime.
no, it's to prevent recency trolls. sadly, it didn't work.
If you have iCloud, you can use icloud.com to get some or all your photos in a zip.

Or you can use scripts like this one : https://github.com/icloud-photos-downloader/icloud_photos_do...