skysight-inc/HackerNews huggingface dataset:
I'm a math professor with about a decade of teaching math. On the list of things that make math intimidating, for undergrads at least, the notation for powers, roots, and log, is very low. The "proposal" also ignores that

1. The kth root of x is often denoted x^(1/k);

2. We have convenient shortcuts for the square root and the natural logarithm;

3. Parentheses become a mess;

4. The notation for squares, cubes, etc. is deeply entrenched; does anyone really think that write "x triangle 2 above" (yup, it's a mess to write in ASCII) instead of x² or x^2 would make mathematics less intimidating to everyday people?

5. Having symbols, subscripts, prescripts, and superscripts above the symbol all strewn together is much more intimidating to anyone.

6. How do you nest them? Try to write down log_a(log_a(x)) to see what I mean.

I enjoy 3B1B's videos in general, but this one really only makes sense if you don't think too much about it.
I've read it like this: They differentiate themselves from OpenAI/Anthropic/other major players by being in the EU and (more) open-source; they differentiate themselves from other European competitors by being as good as OpenAI.
I think it's a fine proposition given the early market and their team, as long as this hypothesis holds true for years to come,

> we believe that most of the value in the emerging generative AI market will be located in the hard-to-make technology, i.e. the generative models themselves,

and they truly can compete with market leaders.
Yeah, I'm mostly addressing truemotive's knee-jerk post above.

Let's at least wait for the failure analysis reports before calling for congressional hearings. In other words, don't send a lawyer to do an engineer's job.
You’re being downvoted because it’s much easier than trying to refute it.
Its not completely unrelated, but it is not clearly related. That is, spin contributes to overall angular momentum, but that contribution is much too large to be explained as the actual rotation of subatomic particles. So, like most quantum properties, our Newtonian intuitions are poor guides.
This was surprisingly wholesome. My first thought on any non-white people eating what I would see as typical "white person food" was: damn thats rough what a bad idea welcome to diabetes land. The depiction of "white people food" described in the article is not something most americans eat (healthy?!? waste free?!) but does seem reasonable
Yes, I mean the concept, the approach.

Unix as a concept (a set of ideas and interfaces) achieved world domination, but it's not the original AT&T kernel, and not the original AT&T userland.
You could run it quantized to 4 bits on CPU with 256GB ram, which is much cheaper to rent/buy. Sure it might be somewhat slow, but for lots of use cases that doesn't matter.
This works the same way for arm64 "system ready" uefi hardware

https://cdimage.ubuntu.com/daily-live/current/mantic-desktop...
I am probably missing something obvious(space/time optimization for very large/busy tables?) but isn't this a perfect example of why foreign keys exist. In fact both case studies presented by the article(enums and fixed string check constraints) are clunky enough that I would say both are wrong and they should just go with a foreign key.
Speeding up E2E testing with Ephemeral Environments [video]
Perhaps "personal drive and character" only show if you're a CEO, or some similar compensated position.

Maybe poor people have no drive and character. (Ayn Rand approves).
Had similar thought. I WISH my fellow americans actually thought this
Peter Schultz and team has been working on this problem for more than a decade. His company Ambrx was founded 10 years ago. They've done ok with fundraising, but I'm not sure he raised 'a hell of a lot of money'. Sure the science seems promising, but it has been, and will be slow. I'd expect it to be more complicated than swapping out a couple amino acids and people grow 4 feet and are otherwise healthy. That and I'm pretty sure they are focused on things other needs than making mid-life billionaires and dictators 4 feet taller.
This isnt one of them.
Interestingly it seems max memories have been going down or at least not increasing in commodity x86 servers. Vendors advertised 24 TB servers enabled by lots of (192?) DIMM sockets in 2018 or maybe even earlier.
> an algorithm that is polynomial in the numeric value will be a polynomial algorithm on unary input, but an exponential algorithm on binary input.

That's comparing apples to oranges, because the two input types have vastly different lengths relative to their value. Unary input length itself grows exponentially with binary input length, for the same numeric value, cancelling out the unary advantage. So unary isn't faster than binary.

In fact, I think it's pretty clear that unary representation is slower and takes more space. Just think about the rough number of steps you would need to add or even multiply two very large numbers, e.g. in a Turing machine. It would be obviously vastly more if the numbers are given in unary rather than in binary.
While I'm with you overall -- cheap transport alone has made our lives easily of times better -- there's at least one giant problem that occurs mostly due to lack of regulation, which is environmental degradation.
There is a Pennsylvania Dutch tradition. My wife, who was born into it, says that it is based on sugar, vinegar, and bacon fat. That seems a little dismissive. The tradition includes such items as Lebanon bologna, scrapple, smoked sausages, corn pie (summer), oyster pie (winter), and shoo-fly pie.
Wow, my thoughts word for word

I'm still like that, albeit with some plasticity to avoid dying on my lonely rock.
Make sure that you have enough vram. I can train loras with 8 gb easily, but when I tried to train a model - it gives me an oom error.
I mean, yeah, because they probably know what an iPad is and can infer what you meant. That just means the brand name is recognized, not that it’s generic. If you put a Coke on the table and asked the subject to pass the Pepsi (or vice versa) it would probably work too.
I haven't heard "cis" deployed as a slur, but "incel" seems to be predominantly used that way. Isn't it also a property of being?
The program was called Coding in the Clink, and if I remember right they even had a guest visit from Uncle Bob at some point.

The people involved with the program were some of the best devs I've worked with in Columbus.

A quick search for "Coding in the Clink" will turn up the names of many of those involved. Look for the name Dan, he'd be the guy I most strongly associate with CITC.
It's very Han, they are just like that, relax and enjoy, the whole sensibilities western thing never flew behind the language barriers and outside of the western studied upper crust.
Spinning is so much cooler than not spinning!
It's not a slur but aren't slurs allowed on Twitter anyways?

I guess he will down-rank slurs and nobody will see them which ends up being almost the same as banning them.
Inferno did not "lead" to WASM. Palm Pilot did not "lead" to iPhone.

Instead I'm trying to show the same general idea tried over and over, at different times and from different angles. The arrows just show the sequence in time.
Beyond missing Titanic sub, handheld gamepads are a common military interface
For a short time Moog curated Moogfest in Asheville and later Raleigh. It was an amazing blend of music, technology, talks, culture, etc. I think it ran into some trouble towards the end of it's run. I ended up going once (solo) after a friend had to bail out last minute. It was one of the most fun and enriching music festivals I've ever attended. I can't imagine it coming back after this news. If anyone knows of anything similar that still exists I'd love to know about it.
The critical components like the capsule were designed alongside NASA

I saw that claim, and wondered what it entailed. The founder is clearly in the mold of testing mission-critical/life or death systems in production, while skirting or floating the rules. Such a claim is like one of those logos you see on the front of software start ups home pages, claiming some usage by Google, MIT, or CERN, without any verification or context.
Very enjoyable and well-written story until:

> After all, it had been Wiener who discovered a precise mathematical definition of information: The higher the probability, the higher the entropy and the lower the information content.

This seems jarring wrong and a little digging reveals that in 1948 Weiner wrote:

> the notion of information attaches itself very naturally to a classical notion in statistical mechanics: that of entropy [...] just as the amount of information in a system is a measure of its degree of organization, so the entropy of a system is a measure of its degree of disorganization; and the one is simply the negative of the other.

The broad idea is there (and perhaps Weiner deserves credit for the observation), but it is the same year that Shannon published A Mathematical Theory of Communication, and two years later Weiner is quoted with the more precise description:

> Just as entropy is a measure of disorganization, the information carried by a set of messages is a measure of organization. In fact, it is possible to interpret the information carried by a message as essentially the negative of its entropy, and the negative logarithm of its probability.

The later quote using Shannon's definition. I've not seen information theory being credited to Weiner before and that makes me curious - what is the story here? Parallel invention is commonplace in scientific history, yet Weiner and Shannon are listed as collaborators in other sources.
I found the “cost savings” angle a bit hard to believe.

I don’t think I’ve ever spent less on food than in my university days when I had a rice cooker in my dorm room, and my diet featured heavily on white rice and veggies cooked in there, and seasoned with Chinese seasonings.

No one would mistake what I was eating back then for fine Chinese cuisine, but I’ll bet it was a lot cheaper than the “white people food” this group of Chinese Canadians is enjoying.
If tha picture at the top of the article is a typical “office”, then I can see why people don’t want to go there. I think it’s illegal, certainly immoral, to put calves in pens that small. Man, I’m glad to be done with the career ride…
Their retirement funds, your inheritance, it’s all fair game for the scammer. Seniors lost over $3b to financial scams in 2020. They’re easy targets and they’re scared to ask for help.

This is science fiction of the worst kind. It leaves its victim bereft of their life’s savings and with no more reason to live.

The good news is THEY CAN BE PROTECTED! Read our latest blog post to learn how— it’s the LEAST you owe them. #phishingprotect #identitytheft #novoshield
>Why go fishing in the shallow end, catch a small fish? Why not just as good a partner, but with money?

For the same reason men don't look at money and money signals when picking female profiles (as verified by several studies). How come it works for them, but when it comes to women picking men suddenly it's a matter of not "fishing in the shallow end"?

There is indeed a logic in "all other things being equal, prefer the person with money". It's a calculating logic, not a logic of love and appreciating the other person as a person. In the end, I take offense in the very notion of "all other things being equal", as if people are replacable cogs, and money can be use for the differentiaton and sorting the best out.

In any case, the record numbers of lonely, partner-less men and women (to the point of the US surgen general calling out an "epidemic"), speaks to the success of this logic...

>I think it's more about bitterness than logic

Yes, in the sense that it iss bitterness to the fact that the selection is based on pure calculation. That's more something associated with the "oldest profession" than a basis for marriage.
One recent example would be to trample all over the rights of the open source contributors to github hosted repositories by using their code to incorporate it into Copilot, irrespective of the licensing details. I'm sure that counts for nothing in your book but for me taking open source and using it without attribution shows that MS hasn't changed one bit, they simply see FOSS as another resource to be monetized.

As far as incentivizing municipalities is concerned, they are currently in the docket for anti-trust violations just like they were in the past. Historically MS would swoop in on any governmental org in Europe that would successfully implement FOSS solutions instead of MS based stuff. Not to make money, but just to maintain dominance, another anti-trust play. And they never stopped doing that.
> I personally believe using mass market makes sense. I don't understand the criticism I've seen on this website for using off the shelf controllers or camping lights (what do you expect, an LED strip magically engineered by a large aeronautics firm specifically for the sub? and what would that change?).

Using something off the shelf is completely fine, but it doesn't get you off the hook from doing the work of certifying that it's safe and fit for purpose. If you've ever used a modern game controller (even ones made by Microsoft), many of them are prone to issues with the potentiometer which causes the joysticks to drift subtly in one or more directions. Not ideal for controlling life critical systems.
I think they couldn't modify the sub to be safe - the big worry is the integral part of the sub (and the one with the highest cost in this one), the composite pressure hull.

You cannot ensure its safety, since you cannot evaluate it for growing defects. As is best practice for all other DSVs in the world that use metal pressure hulls.

I suspect a metal hull and all it entails (way more complex design and careful selection of materials, equipment, passenger space etc.) would have cost too much.
I dunno - some of it seems quite healthy in fact: "A typical lunch box for Vancouver resident and “white people food” fan Shawn Liang consists of a boiled egg, fresh broccoli, a slice of ham, cheese and a piece of whole-grain bread."
The moment the crew enters onboard and their mobiles have bluetooth enabled, a race of pairing sounds ensues.
It does count as properly attributing the idea, yes. It doesn't count as having it. Possibly the Fields Medal suggestion assumed it was his?
Well if another competitor starts using your protected term and you don’t protect it, it is more likely to become generic.

(Ie if Apple does not protect the word iPhone and then Google and Samsung use the term iPhone for 5 years unchallenged, it risks becoming a generic name for a smartphone)
That's not really relevant to my point, which was that new means of spreading information are capable of spreading both true and false information, and that history has shown that the ability to spread false information does not prevent the positive impact of true information.

So instead of a papal bull, how about a stack exchange with links explaining how (even if the church did not oppose the press itself) the church did attack its users for publishing information that the church was opposed to (i.e. claimed was false). https://history.stackexchange.com/questions/42677/why-did-th...

Or an article about how Luther was excommunicated for what he did with the printing press. https://www.history.com/news/renaissance-influence-reformati...

Perhaps the Church's complaints were more directed at the dissemination of information that the Church considered to be false... like the Wired article's complaints about AI's potential to spread false information. My point is that free speech is good. Free speech may include lies, but people are smart and even lies help listeners learn.
So it’ll be solved a little after Tesla achieves full self-driving, and just before we get fusion power. Great.
Swing is notorious for not relying on underlying graphical system controls and drawing everything from scratch, and they are actually reinventing Swing on top of Swing.

IDEA actually ships its own Swing implementation for decades because the default one from Sun/Oracle is intolerably ugly-looking.
Fanboys also annoy me. The other side of the coin is that there are people who worship companies no matter what they do.

I personally prefer more of a “let’s judge each product on its own” sort of person. I love my iPhone and AirPods, but I don’t personally have any desire to own a Mac or the new Vision Pro.
Same. There's an infinite things to learn, if you can't argue for the usefulness of any piece of information and if that use isn't related to my own goals I will stop you from communicating said information
Company to pay fine after hiring fake priest to extract confessions of workers
Providence is like providing something (provide ence) and Provenance is like it stems from something like a vine (pro vine ance).
Most of the ancient writing found in Egypt is receipts and porn. The utility of a technology is not determined by its primary initial uses.
> I worry about humidity/condensation

You can open the doors every day for some natural ventilation or install active ventilation that uses fans to pull outside air in and push the stale air out. The latter is probably preferable in winter, although it all depends on what you're able to tolerate I guess.

As for rust, I haven't experienced any significant amounts of undercarriage or panel rust on any of my 20+ year old vehicles in Western Europe, but we don't get as much snow (and salted roadways as a consequence) as Scandinavia does. You can look into undercarriage coatings for this though.
I'm no math professional, and my struggled around some math topics was rarely notation, but 1) a bit of hidden information/culture (which can show in notation too) 2) a misalignment on what the topic was trying to achieve.

The last bit which I can't describe clearly is 'maturity'. Sometimes an idea just eludes you for years, until it doesn't. Changing maths would probably not have fixed this.

Oh, and the underlying human feelings behind the problem solving made by others. It seems that a lot of maths is lowering energy required to express or find a solution, no matter what subfield you work on, that seems to be the goal.
Perhaps the real problem is that people don't find it enough of a "morally bankrupt position".
People tend to be emotional, not cold and statistical about risk and tragedy.

Reminds me of the stat -- "the annual odds that an American child will die in a mass shooting at school are nearly 10 million to 1, about the odds of being killed by lightning or of dying in an earthquake" [0]. And no, I'm not pro school shooting -- one is too many -- but the active shooter drills are a bit excessive. You'd be better off teaching all children how to swim well at a young age.

Overall, I liked the authors hot take. The only thing I disagree with him/her on is whether a real estate crash (commercial or otherwise) would be a bad thing. I think inflating bubbles endlessly and saddling future generations with a lower standard of living is the actual (big picture) bad thing.

[0] https://www.city-journal.org/article/sorrow-and-precaution-n...
I wonder what ads are displayed 3000m under the sea surface?
And the ballast is held on via electromagnets. Lose (or deliberately cut) power, you're going up.
They should consider that the courts have literally ruled that the Dutch police are guilty of racial profiling: https://www.politico.eu/article/dutch-police-found-guilty-ra...
The point was that it's just not his invention. He attributes it extremely clearly, no one is accusing him of theft. But you don't get math prizes for presenting someone else's ideas.
Fleet is a good idea, but it’s DOA for me unless they can fix the performance. It somehow managed to run worse than VS Code on the multiple occasions I tried it. The word “performance” isn’t mentioned once in the entire arricle.

I’m eager to find a good Sublime Text competitor, so I’ll be rooting for them, but so far this project has been disappointing.
https://www.manchester.ac.uk/cyber-incident/

UoM believe that no financial or health care data has been accessed.
It might not be the best example but in my experience Microsoft seemingly tries with Windows the approach of (almost) everything being an API. It might be the Windows API specifically or that I'm mainly driving Linux outside of work, but I often found the approach of (almost) everything being an API annoying.

The presence of PowerShell softened my annoyance somewhat, but it never the less often feels unnecessary over-complex and overtly limiting. Tasks I can do in a few seconds on Linux often require reading long convoluted documentations and writing quite long PowerShell scripts or even full blown programs on Windows.

My experience is that the more basic and simple the task at hand the more annoying having to search thru pages upon pages of documentation and writing scripts became. But the more complex a task became the more I was happy not having to always deal with (and error handle) parsing an integer out of a string or splitting a string by a certain character.
My background is in aerospace and while I’m not an expert on COPVs, I’m familiar with their design. Carbon fiber overwrap is really good for internal pressure applications or in other words, the typical pressure vessel due to carbon fiber’s very high tensile strength. Think of those videos where folks put rubber bands on watermelons to make them explode; the concept is similar to a COPV in that the rubber bands (carbon fiber) “compress” the watermelon (pressure vessel) to “contain” the pressure. COPVs can take high internal pressures of 6000 PSI (which is the same internal pressure of the ISS NORS tank used to recharge oxygen and nitrogen on the ISS and coincidentally is the same *external* pressure experienced at the depths of the Titanic. (Some helium bottles have higher internal pressure). While in aerospace applications there are some load cases where the COPV has an external pressure load on them like a helium bottle stored in a propellant tank on a SpaceX Falcon 9, those pressures are nowhere near deep sea pressures.

The reason why I don’t think COPVs are a good design for an external pressure application is the load direction; carbon fiber tow doesn’t really do well maintaining an external load. Think back to the watermelon example; apply an increased external pressure and the rubber bands really don’t help with withstanding that increased pressure.

Carbon fiber itself is very difficult to verify that you have the correct properties once they're wound onto the tank. The properties are anisotropic meaning depending on the direction of the fiber you’re gonna get different mechanical properties. Defects like delamination (when a wind unwraps) or voids between the tank wall and fiber are common if you don’t have a qualified winding operation and really really good procedures. In short, while not needing software, repeatability in manufacturing a COPV is incredibly difficult. Part of the reason SpaceX switched to metal tanks is that the mechanical properties of stainless actually increase in a cryogenic environment so there’s an added benefit.

In 2016, SpaceX’s Falcon 9 carrying AMOS-6 exploded during a routine static fire due to a buckled liner of a COPV on the 2nd stage LOX tank. The liner buckled which created a void between the liner and the fiber overwrap which then developed solid oxygen (or an ingress of LOX) that initiated an explosion due to friction. Falcon 9 had been flying for 6 years at that point so I’d consider that a pretty mature or at least an “operational” vehicle so for it to explode on the pad like that is how tricky COPVs can be.

EDIT: Spelling and clarification on delamination
Things are not the same as they were 21 years ago.

> we are meant to have them when we are younger.

Yes, women are meant to have them while younger. And modern (fertile) women are increasingly deciding not to have kids until much later.

The biological clock doesn't tick the same for men.