skysight-inc/HackerNews huggingface dataset:
I elaborated as a reply to a sibling comment, but repeat after me: You need to memorize things in math, especially if you want full understanding. It is a necessary tool.

I realized this when I saw one of the higher math geniuses in university, one who really understood most things better than most of us, learn equations and lemmas from flashcards one day.

That memorization may become superfluous after you worked with something for a while, but until then, it is not just tremendously useful, but downright necessary, to make an equation, or set of axioms, theorem, or whatever, just "pop up" in your head while you're thinking something through.

You say:

> I needed to deeply understand it at the most universally root level and create a painstaking mental model of it

That is my modus operandi in math. I want to fully understand it, down to every little detail. But in my experience, memorization is one step for that model to really build itself up, and actually stick.

Reading through the pages of a math book and going "oh, yeah, I totally understood that, neat" is useless if you later encounter a problem and go "huh, so, what was the exact equation of the Fourier transform again"?

And not just because you now have to look it up to apply it, but also because an equation for example is not just a jumble of symbols that you write down and fill in. It has structure, it has meaning. If you can recite it in your sleep, then you also immediately see properties of it when they are relevant, and are able to make further connections.

As Andrew Wiles said: "Math is not a spectator sport."

It's hard to fully bring across what memorization does for math, but since I started just using a flashcard app (Anki) several years ago, I literally sometimes lie in bed at night, eyes closed and no notepad, and work through math in my head, trying to further understand some aspects. And because I can "look" at what I memorized in my head, it works really well.
Small rant:

I don't like how SD consolidated around the A1111 repo. The features are great, and it was fantastic when SD was brand new... but the performance and compatibility is awful, the setup is tricky, and it sucked all the oxygen out of the room that other SD UIs needed to flourish.
There are a number of reasons why it might have failed, fatigue, deviation from process/protocol but pressure vessels are well understood and not the problem here.
Not quite doubting you, but you mentioned having a landlord 3 days ago.
They don't seem to claim any advantages over Discord, at least on their home page.
Of course you're required to have a WASM runtime to run WASM bytecode. How else could it run? It's no different to a JVM or .NET in that regard.

JVM bytecode is open, standardized and quite easy to implement. CLR bytecode likewise albeit less easy to implement. You can implement a simple JVM on your own. Avian is an example of a lightweight JVM written by two guys (albeit very productive guys) and that didn't only implement the spec but had a proper JIT compiler, AOT compiler and semi-decent garbage collector too! In practice, ease of implementation isn't very important for this sort of thing. Having a good open source implementation is sufficient. WASM has this in V8 and other than the rewrite-it-in-rust factor it's not super clear (to me?) what other runtimes bring to the table?

> Because of this simplicity it is also an easy target to compile to

No, this is backwards. WASM's simplicity makes it harder to compile to, not easier, because language implementations have to do more themselves. That's why even after many years the only languages people are using with it are languages with very minimal demands on the runtime, like C or Rust. Languages with more advanced compilation requirements like GC integration (modern GC algos affect the compiler too) have been ignoring WASM so far, and this is why V8's JavaScript engine isn't itself running on WASM.
Eh, the pressure gradient is a lot less dramatic in a jet vs. under 3500m of water.
> Maybe they'll surprise me, though, and voters will decide to make up the ~30% drop in total comp teachers have seen (around here, at least) since 2005 or so. Doubt it, but maybe.

So, what would voters hope to get out of the deal?

As you might have guessed, here is, according to the OCED, the most educated place on earth. From your outsider perspective, I am curious: How does this part of the world shine in your eyes for being so educated?

While our culture unsurprisingly has a strong bond with schooling, it has largely become religion, right down to threats of ending up in purgatory if you don't buy into the message. I don't think we are able to even recognize what we get out of it anymore, and largely envy what the US has instead, so I am quite interested in how others see us.
I am looking for intelligent conversation.

You are talking Nirvana fallacy https://en.m.wikipedia.org/wiki/Nirvana_fallacy
I hadn't thought of this, but this is an excellent point. Oracle vs IBM, who wins? The lawyers for sure, but for outsiders there would be no downside.
Stockton Rush (OceanGate's CEO) was known in the Seattle tech community [0]

My understanding (very much not first hand) is that he was seen as an expert in the specific engineering disciplines necessary to safely build and operate deep sea submersibles like Titan.

He was also apparently a father to members of the Seattle tech community, who are no doubt grieving at the moment.

Please remember that, for some members of the HN community, this one hits close to home.

[0] Talk at last year's GeekWire Summit: https://www.youtube.com/watch?v=9PGpjEDc96I
Yes, I get it, he was a non-conformist. But in what sense did the CofE try to compel him to take Holy Orders?

> even though it's 'going dark'

Not sure what you mean. The CofE is a very different organisation from what it was 60 years ago, when I first rejected religion. I like the modern organisation a lot less than the one I left; it's become heavier, more intolerant of human diversity, with a much narrower range of views. Maybe that's what you meant.
Semi-related, I was idly wondering the other day why we don't see more "F12 Zines" like the "BASIC Zines" of the 70s and 80s. You could collect all sorts of neat little bits of JS that run easily in the browser's Dev Tools (F12) and introduce simple programming concepts from whatever browser they already have available on their machine. Dev Tools have gotten to be impressive REPLs with surprisingly deep IDEs. There's probably an interesting "punk" experiment in trying to open that to people of all ages interested in exploring it.

Imagine the wonder of introducing the right sorts of curious people to the magical world of "about:blank" and from there hitting F12 to go on a journey of making it not quite so blank anymore.
Your assertion here that a code of conduct could get dragged into a culture war directly contradicts your previous assertion that there is no war outside of HN.

Rules getting enforced in bad faith as people coalesce power in their sphere is a story as old as human history. Why would you argue that we have an exception in this case?
But my Python code does not run in a vacuum. It gets executed by Apache, writes to a file system, makes use of a gazillion of libraries and programs that come with Debian.

What would the Python "requests" module do if it has no Linux kernel below it to pass the requests to a network stack?
Coming back - as I can no longer edit my comment.

I am pretty sure I was wrong, and you were right. Thank you. Deleted the original tweet, replaced with: https://twitter.com/GergelyOrosz/status/1671959124337217536
It’s also the point where they pass the depth that the porthole was rated for.

They got lucky with that until they didn’t.

They even fired a guy for whistle blowing about the porthole.
wouldn't it basically need to be the same as what they use for intercontinental cables ? tons of shielding and repeaters. maybe there'd be further risk bc if it breaks at the ship it could fall on or weigh down the submersible
I don’t think sample really implies it has to be digital at all. “Sampling” can mean what you said, but I think a mellotron is very much a sampler by most definitions. It plays back a chunk of a pre-existing recording.
>Carbon fibers is great for lightweight things that need to bend, terrible for things to be relied under pressure.

Composite Overwrapped Pressure Vessels (COPVs) are fairly common in cases where a pressurized system needs to be relatively lightweight (e.g., spacecraft). To your point though, the failure mechanisms can be hard to model.
That would be a more coherent argument if we were discussing design and regulation financial products. But it turns out that money can't buy a do-over on life.

Again, people hire guides to do things that they cannot do on their own. Being competent and making appropriate risk assessment choices for your client, where possible, is a huge part of the service that a guide is being paid to perform. OceanGate failed on both counts.
Modi has diluted certain carve-outs and rights of minorities. However, he has done this in a democratic manner - the majority of Indians want these policies, that's the reason they keep re-electing him. Author of the article needs to go back to school - first it quotes that "Modi is using his electoral dominance for X, Y, Z". Then goes on to claim that this is undemocratic. Doing what you were elected by the masses to do - multiple times is the definition of democracy.
FAST agile is an agile variant that uses self-organization within very large teams to scale organizations. This is a deep dive into the tradeoffs of FAST agile. It may not be as crazy as it looks!
There will always be walled-gardens like AOL. And like AOL, their gardens will eventually disappear. Newer gardens seem to be more robust and will last longer, but it doesn't make them immune from collapsing either.

In an ideal world, there wouldn't be walled gardens at all and everything would be accessible forever. But since they exist, I think we need easy tools that can scrape conversations for archival. I don't necessarily mean tools that can scrape all content. I imagine most sites would be very hostile towards that. But perhaps a personal/local tool where a user can archive their own conversations and communities, whether it be Discord, Twitter, Reddit, Facebook, etc. Making it personal instead of a large public scraping might be more tolerable. Data takeouts also exist, some easier to use than others. But they miss out on community conversations, which might have important content that you'd want to preserve.
Reddit doesn’t care about hosting AI content as long as it engages people. The idea (probably wrong) was that Reddit didn’t want to give free unlimited access to the data to anyone training an AI.
> When Red Hat decided to turn the community CentOS distribution into a leading-edge distro instead of basically "Red Hat Enterprise Linux, but free", users like me were justifiably angered.

Funny sentence there.
Then it's wrong too. Because it is perfectly valid js code. It is just that they repurpose the label syntax (used for breaking out of inner loops) for the reactive statement.
Given my experience, RHEL is a favorite among enterprise environments. As such IBM will continue to pursue a strategy that forces people into that business funnel. They do not care who falls out of it, the ecosystem will only become more closed.

I think we need to be more realistic about where things are headed. SUSE? Market cap of 2.2 Billion, IBM paid 34 for RH. Ubuntu? Still not profitable. As we continue to see the tech sector cool and become more mature belts will tighten and things will consolidate.
It's self-hosted FOSS, you're not paying anyone directly and if you don't feel it delivers something you can write it yourself or pay to have it written.

Anyway, this gets into a philosophical point about the whole Reddit exodus - ID federation and content federation are two different things, and when people talk about the friction of joining a forum vs clicking subscribe on reddit, ID federation is what gives you that, not content federation.

And content federation introduces a lot of scalability problems, and difficulties deleting comments/etc. Yes, someone can notionally always crawl/cache you, but having it on your server is different from intentionally putting it out into a peer-to-peer CDN, or serving it to a bunch of different pods so they can put it in their members' feeds. Some people don't want that part, they want the content to stay on their self-hosted instance.
I'd say the part of a sample being "a digital representation" is correct, however there's a fun exception to that rule: circuits called bucket-brigade delays that perform "analog sampling", using capacitors. They're still used a lot in musical contexts.

Those are traditionally regarded as being analog, although in recent times I've seen people claiming they're not, since they use discrete instead of continuous signals. So they're kind of halfway.
Probably no kernel, but everything else.
The procrastinator in me wants to agree unreservedly with you. But I know that guy better than anything and I can’t trust him.

I suppose that “never procrastinating” could end up looking like a weirder form of stream of consciousness, distracted behavior? Where you mean to go out for drinks but you get stuck yak shaving and then it’s midnight. I’d worry about that guy too. He is wound up way too tight and I think he ends up with a .308 on a clock tower some day.
It's that Dunninger Kruger thing. And it's nigh ubiquitous.

I live in this little personal bubble.

Believing with great confidence that the edge of my bubble and the edge of reality are one and the same is actually quite empowering.

Those who Dunninger Kruger with greater intensity tend to win.
Buzzwords all way down!
Are you asking why a commercial company doesn't want to give its main product away for free? I'm surprised CentOS lasted as long as it did.
The outcome everyone knew would happen. I don't understand the desire to go to that depth to see a sunken ship when I presume there is camera footage of it available. You can't get out and do anything, your view is probably pretty crappy given the thickness of any see through material. I see the allure with Everest and the view for your 60 seconds at the top must be impressive and it is a physical feat. But a sunken ship? I don't get it.

It would be pretty cool to send down a camera to get footage all around it at various angles and then build an app for a VR headset.
In a weird way, this is almost relieving. The speculation that they were suffocated and entombed in their own filth somewhere on the ocean as they died slowly seemed so, so much worse.
A few years ago the figure was "several hundred" but the exact number is fluid because some people (like Matthew) are paid to work on Fedora full time, while others work on Fedora as part of their job but not their whole job.

It's also further confused by the fact that some Red Hatters contribute to Fedora but not as part of their day job.

I think it'd be fair to say more than 60% of the work that goes into Fedora's official releases is paid for by Red Hat. Maybe more. If you factor in spins and such, it might be less than 60%.
I tried it out, was enjoyable to play a few puzzles. My feedback is a) that the ring sound (when you win a puzzle) was too loud, so I ended up muting the tab, and b) that the logo looks like "BraiMax", and doesn't stylistically fit with the rest of the site theme.
Well said. I'd recommend Surveillance Capitalism by Shoshana Zuboff for an in-depth study of this unprecedented and spectacular surveillance that is becoming so commonplace.
As an ex Red Hatter (pre IBM) this feels like top-down IBM influence, and against the always open spirit of the old Red Hat.
It is transpiled to C++.
Why won't they do these things? At the very least, you will only need to provide one binary, rather than one per architecture.
My first thought was Heavens Gate https://en.m.wikipedia.org/wiki/Heaven%27s_Gate_(religious_g...
Today you have an endless number of startups in any field, trying not only to simply sell to the enterprise but becoming a large successful company. The current competition that these startups have is not only fighting against the giants, but rather the other startups around you that are addressing the same problem as you.
oops, it seems that demotic script was developed 1000 years later than Hyksos period. So Hyksos is out, but these still might be Canaanites, or maybe there were earlier versions of rusive/handwriting script like demoitic.

Each letter was developed from a logogram of Semitic word starting with the same letter in Semitic language, e.g.

Alef - ox
Bet - house
Gimmel - camel
Dalet - door
etc.
It's still not an absurdly profitable venture even if you drop head count to 300-500 which is likely a reasonable number. A lot of people could have good careers in that smaller reddit, but it's not a multi-billion dollar unicorn.
"you must do this" really is not the way to start the conversation, it is a trigger.

solid systems analysis work has been done, and changes are in play. "blame the consumer" is so, so not a starter even if it is true

source- more than a year talking about this actual subject with marketing cohorts in graduate school
So what does "everything else" do if it has no kernel below it?

What does curl do if it cannot talk to a network stack?

What does "touch" do if there is no filesystem to touch?

What does "dd" do if there are no block devices?
What I don't understand is, if it imploded, why didn't the boat hear the implosion? Surely that would be really loud. Louder than the 15 min audio ping that the boat is normally listening for.
Seeing dead fruit flies is bad for the health of fruit flies
Because you used phrases like “really important” and “more important”. It sounds very juvenile.
In this case? Yes. There have been plenty of interviews with friends and family from the part of Pakistan a lot of these people came from. In one case a father talked about how he begged his son not to do this, because it was dangerous and even if he made it to Europe life wouldn't be what he imagined. His son took out a ~$8k loan, made the trip, and died.

Specifically he left to "make a better life for [his] family" because of economic conditions.

So while you are certainly free to empathize with people taking desperate measures to improve their lives, it's important not to confuse them with people seeking refuge from imminent harm, such as government oppression or something similar.
Carbon fiber is a lot easier to work with than metal in this case because welding metal creates failure points. I don't think they could afford building a titanium pressure vessel. Weight is a factor too, carbon fiber is lighter so you can make the pressure vessel thicker and still have enough buoyancy to reach the surface(probably a good thing).

From their perspective it kinda made sense even though its not safe at all.
I've used Apple's port of Stable Diffusion on my Mac Studio with M1 Ultra and it worked flawlessly. I could even download models from Hugging Face and convert them to a CoreML model with little effort using Apple's conversion tool documented in their Stable Diffusion repo [1]. Some models on Hugging Face are already converted – I think anything tagged with CoreML.

[1] https://github.com/apple/ml-stable-diffusion
Saying that you absolve yourself of liability doesn’t excuse gross negligence though.
It's great they mentioned vis in there. Its multiple selection mode is absolutely fantastic and now I feel like I can't live without it.

Though I still some bits from vim like the m and t operators, and search & replacing with s/<search>/<replace>/g instead of x/<search>/c/<replace>/; I feel like its original dev went a bit too far into sticking with Rob Pike's structural regular expressions that he purposely omitted those bits. Well, and the fact it alas does not have a server architecture thing - it will be great to have buffers!
They certainly had to fight the librarian to install something on ENIAC.
I'd really like more detail on that tube's layup schedule.

Solid 5inch thick carbon composite OR a sandwich design with thick outer facesheets of carbon fiber? I suppose under that pressure not much would take the hydrostatic loads other than carbon, but that seems thick compared to everything I've seen made out of composites.
They'll stop doing it when it stops being profitable.
Heres the behavior I see repeatedly:

People tell a story that matters to them. They do this with everyone they see. The next time you see them they tell you again. And the next time. And the next....
Ad nauseum...

They don't care about You or that You specifically hear the story, evidenced by the repetition even after advising them of it, they are just narcissists self aggrandizing or whining about a an event they perceive as unfair.

Theres no reason to engage with that behavior as it does nothing but encourage it, with the end result being a systemic harm to self and society.

This behaviour is most common in extroverts ime, though thats likely due to the fact they are more visible than introverts in general.
what do you feel RH's main product is?

is it:

1. a collection of very old binaries of software with lots of testing done, or
2. a linux distribution that happens to have a very good support contract and a web of agreements with other vendors

?
The next big worry is Github. Moving major open source projects off Github is going to be difficult. But we probably will have to go to architectures where there are multiple synchronized repositories some time in the next few years.
Disclaimer: I'm a former Red Hatter but my opinion is my own

Red Hat, you NEED to fix this. I get that it sucks to have your business built on selling support, and a couple of companies have popped up selling cheaper support but not taking on the cost of building the thing. I get that (you think) it's going to cause problems for you (it might, I'm not sure yet). But you're torching an insane amount of good will that was built up over 20 years of good and mostly selfless deeds. You are making yourselves an enemy and a villain, rather than a friend. You need to stop the bleeding.

I don't have any answers, but I have some ideas:

1. Continue to make it so that rebuilders like Alma or Rocky can exist as bug-for-bug by having access to the source, but reach an agreement with them not to offer or sell support. If those don't agree, other projects will emerge who will agree and will take their place. Don't make their lives unnecessarily hard by throwing up roadblocks in their way. There will probably be popup companies selling third party support for Alma/Rocky etc here and there, but I doubt that type of support competition makes a serious dent to enterprise sales. In fact, I think it helps you by increasing adoption. A rising tide raises all boats, especially in this field.

2. Figure out a way to let individuals and small developers use real RHEL without having to dick with subscriptions or licensing or activation. Be liberal with this and make it easy
New safety tests reveal Tesla FSD still runs down child mannequins
Safety test livestream ongoing: https://www.youtube.com/watch?v=lp9J7gLW2Bw
Tldr: create a new visionOS app from the menu, it'll prompt to download the support files correctly.

Had a similar issue after doing the Xcode 15 beta 2 download with both iOS 17 and visionOS 1 simulator checked.
When creating a new visionOS App it would tell me that I'm missing the device/simulator support and prompted to install it.
After confirming this it would show a download for a build that ended in xxxxxxxg instead of xxxxxxxf as was part of the download, so I assume that part was updated in the background and now is no longer the correct reference.

HTH
No idea why every single journalist kept forcing the "air remaining" theme.

It was far more likely that the sub suffered a catastrophic implosion at the time contact was lost. Glad to see it confirmed, and finally people stop posting the nonsense about air.

Shame about the passengers though.