skysight-inc/HackerNews huggingface dataset:
「 強い、 強い、 だめ、 だめ！」

The more interesting parts of maths lie where one can reach (apparently) strong results from (apparently) weak premises: yield to the desire to start with too strong of an antecedent, and your poor technique kills your own sword/[proper frame hom into 2]: ex falso quodlibet.

(look into your sword, Y. Gradstudent Sagiri: have you detached that head clause by cutting into a principal prime ideal and a completely prime filter?)

see also https://news.ycombinator.com/item?id=42375498
Show HN: I made a social media management platform to help businesses
Hi Everyone!

We’re a passionate team focused on making social media management simpler for businesses. With expertise in tech, marketing, and design, we’re committed to creating user-friendly tools that help brands save time, stay consistent, and grow their presence online. Collaboration, innovation, and listening to user feedback drive everything we do.
In essence, the foundations of social skills generally take precedence.
What do you like better about podcast addict than antennapod?
It's surprising how many people are missing this crucial step.

CCTV footage shows a guy with certain features.

Days later, after no leads whatsoever, another photo shows a guy with markedly different features.

Now authorities say they have caught a guy matching the second footage. He conveniently walked into a McDonalds with his manifesto, fake ID, and a 3d printed gun. ???

Idk man, could be legit I guess... But it is a bit wild that so many people are taking all this at face value, unquestioned; as if there isn't tremendous pressure on authorities to deliver a neatly packaged conclusion to the story at almost any cost.
One would have to be rather optimistic and patient if one was to hold out hope for the humanity experiment to not be destined for the Trash bin in this scenario, with our track record.
Show HN: Google Docs to PDF with Tabs Support
Google introduced tabs in Google Docs, which help organize content within a document. However, when you use the "File -> Download As -> PDF" option, only the content from the first tab is exported, leaving out important sections from other tabs. This is a major limitation when trying to export multi-tabbed Google Docs as a complete PDF.

Introducing Docs to PDF Pro: a tool that solves this problem by allowing users to export the entire Google Doc, including all tabs, as a single PDF.

Why Docs to PDF Pro?

Complete Document Export - Unlike the default export method in Google Docs, which only exports the first tab, Docs to PDF Pro ensures that all tabs within your document are included in the exported PDF.

Batch Conversion - Docs to PDF Pro also lets you convert multiple Google Docs into individual PDFs at once. This feature is especially useful for those working with large sets of documents that need to be exported quickly and efficiently.

Merging Capabilities - Need to merge multiple Google Docs into one PDF? Docs to PDF Pro offers an option to combine documents into a single file, saving you time and effort when dealing with large projects or reports.

Benefits:

Improved Productivity - Save time by quickly exporting entire documents, including all tabs, without the need for manual adjustments.

Efficient Workflow - Convert multiple documents simultaneously and merge them into a single PDF without having to open each one individually.

Docs to PDF Pro is designed to help anyone who works with multi-tabbed Google Docs and needs a better solution for exporting them into PDFs. Whether you're working with a single document or a collection, this tool makes the process faster and more efficient.

Try it today and let me know your thoughts.
> But I feel it's more future proof than SWE

In turns of future proofing it's not even comparable. SWEs have negative protection. Mostly not unionized. You don't even need a license to write code.

If the government says we're going to launch 100 programming schools and flood the market with 100,000 coders in next 4 years, no one bats an eye. If it's for doctors you can see what happened in Korea[1].

[1]: https://en.wikipedia.org/wiki/2024_South_Korean_medical_cris...
UPDATE: After watching direct comparison videos between prompts, I do think now that Sora is ahead. It's not a huge leap but it seems much better at keeping fine details roughly aligned.

For anyone who is curious where to find tons of SORA videos, go to reddit r/aivideo
The basic premise, as I understand it, is that there is nothing illegal about coming to the wrong conclusion as a juror. I have also read that it can be contempt of court to try to convince jurors to intentionally come to a conclusion not based on the law and evidence.

So what would happen if a single juror just remained steadfast that the defendant was innocent despite overwhelming evidence to the contrary? Can a judge remove that juror if they believe they are not being forthright?
Does the world need to change at an ever-growing rate? From my perspective there's no net benefit here. Just constant churn.
Thanks! For now, I added a link to your website to https://treecalcul.us/specification/ just now.
STEM / college has been pushed for years by several western countries (I can only speak for those) but there's now a mismatch with e.g. college graduates working in underpaid (relative to the promised wages and debts they put them in) dead-end jobs, and an over-reliance on immigrants to do the jobs that people find beneath themselves (or: jobs that employers don't even want to pay minimum wage for)
Why don't you put a short version of this explanation on your main website instead of a vague "democratising functions"? What you wrote makes sense, but if all I see when I'm visiting your website is "democratizing functions/metatheory" and some contextless code examples, I'm not gonna be able to tell why I should care.
[1] has some actual numbers to answer that question, with e.g. [2] for modern US numbers (since [1] has only Europe). The wealth gap peaked in 1910, took a nose dive until the late 1960s (though much more pronounced in Europe than in the US) and is on the rise since then.

The post-industrial US dipped as low as ~1300 or ~1650 Europe, but is now back to levels Europe only reached in 1750, well on track to repeating the rising inequality during industrialization. Sweden is still at 1280/1600 Europe numbers, better than 1960s USA.

Actually it probably has risen a bit more since then since those are 2010 numbers, hence the comparison of US numbers to the French Revolution

1: https://cepr.org/voxeu/columns/top-rich-europe-long-run-hist...

2: https://www.blogscapitalbolsa.com/media/images/69b536a604624...
Matter cannot be created or destroyed. Unless it's in a Hacker News thread containing the phrase "gut flora."
Another commenter linked to the archived version of the Substack post: https://archive.is/2024.12.09-230659/https://breloomlegacy.s...
Mixamo is pretty close to this (Auto-rigging tool from Adobe). https://www.mixamo.com/#/

It's limited to mostly human shapes, but I've personally used it in combination with the 3d-pack in comfyUI to generate 3d models and rig them, starting from a text prompt.

Trellis looks like a more capable model generation tool than TripoSR and marching cubes, which is what I was doing in Comfy: https://github.com/flowtyone/ComfyUI-Flowty-TripoSR - It worked but models ended up having a slightly "melted wax" appearance.

This type of flow is definitely already here for low quality assets (think mobile games). I'm excited to go play around with Trellis, looks like a significant bump up in quality.
I thought it was made illegal in the 1980's, and indeed it was in state schools, but I stand corrected here, because it was still legal in private schools until 1998.
I mean the artist-to-webdesigner or author-to-content-writer pipeline is pretty well known.
I may be wrong but I think battery protection does not rely on firmware, it may even be analog. There are ICs dedicated to this task, that are cheap and effective.

A malicious firmware update can increase battery wear, but it is unlikely to cause a fire.
>Why? Something being legal for you doesn't make it compulsory for others.

Money is legal tender for all debts public and private, money has value precisely because everyone can and should use and accept it.

If banks or payment processors inhibit or prohibit my ability to conduct business by refusing to transact my money with no justifiable basis, then that is violating my and the other party's rights to free association as well as destroying the very essence of money.

If you truly do not see the very serious problem here, I'm not sure what it will take to enlighten you.

>Also, I must stress again that Japan is a real country with real people.

You are literally talking to a Japanese man, I probably know about Japan more intimately than you will ever do.

>It is not anime

Otaku culture is an inseparable part of Japanese culture and attacking it like Visa/MC are doing is attacking Japanese culture, what part of that do you not understand?

>it's even more risible to point to famous historical porn and say it's analogous to modern porn.

Kinoe no Komatsu[1] is quite literally a doujinshi-equivalent[2] from its time. Classic Japanese eroges are sometimes featured[3] as a symbol of Japanese culture of its time.

>That's like gay slurs are deeply central to American culture because the Roman poet Catallus lost his cool once at some critics.

Whitewashing histories and cultures is nothing short of reprehensible. Whatever happened to diversity and heritage?

[1]: https://en.wikipedia.org/wiki/Kinoe_no_Komatsu

[2]: https://en.wikipedia.org/wiki/Shunga

[3]: https://x.com/Ian_Fisch/status/1820897232746594354 - The lower screenshot (it is SFW) is from Words Worth[4]. The dialogue translates to English like so: [Astral]: Hey Katra... Are you always peeping at Sharon when she's naked?

[4]: https://en.wikipedia.org/wiki/Words_Worth (Link is SFW.)
The president-elect learned a skill of sort, perhaps not a skill we should admire, but it is that one weird trick that shouldn't(morally) work but do.
Yes, I find it easier to press single quote in vanilla Firefox, start typing the most unique looking part of the link text, see it become green, press Enter to confirm. The link search feature in Firefox is one of the reasons that keep me using it.
> I've never seen anyone reach great heights without being in control of their own feelings

Steve Jobs wasn't exactly known for being in control of his emotions. Musk, Gates, Ellison and Kalanick also have a reputation for exploding in rage from time to time.

When you look at history's greatest scientists or mathematicians you see a pretty similar picture. Newton? Erdos? Grothendieck? Diogenes? They weren't emotionally stable 9 to 5 guys. Quite the opposite.

People who reach great heights are rarely balanced people. "Everything in moderation" doesn't produce greatness. If history tells us anything it's that we are incredibly forgiving of the flaws of highly accomplished people.
Getting in and out of NYC leaving as little as he did was the challenge. Getting across the border or camping out in the Forrest for a few weeks shouldn’t be that much of a challenge in comparison.
I'm open to new feature requests and improvement suggestions.
>Why should I not believe this?

Because you don’t believe an EU bank can terminate an account because they’re worried it may trigger an AML/CTF regulation or similar without bothering to really check if it does.

*edit : AML/CTF and similar rules have to be exceptions to basic banking rights.
Even if the company has been sold on some SAP or Oracle solution, they always need someone how can customize and take ownership of that stuff.
One of the problems is that people may have a very shallow knowdledge of Dante (or whoever is the most famous writter in their country) and still claim they know the subject.

What is the question about Dante equivalent to "*Solve x+y=10, x-y=4." ?
NPC is such a stupid term, it just underlines the us-vs-them attitude. "no I am a Free Thinker, these other people are NPCs!"

Yet, a healthy society is built on the majority of people being content with not being unique. Get a fulltime job, house, marry, have 2+ kids, pay your dues and mortgage, don't do crime, retire, ????, profit. For society anyway. But this boring generic middle-class all-american suburb lifestyle seems to be unreachable for millennials and younger nowadays because someone both pulled up the ladder and increased the barrier to entry to earn enough for a simple lifestyle like that.

But if you work three jobs, sleep in your car and simp on the internet, MAYBE a billionaire will take pity on you.
FYI, there was a semi-related discussion on architectures and bit widths on HN a couple months ago: https://news.ycombinator.com/item?id=41773559
https://archive.ph/qltis
Birds' eggs are remarkable in of themselves but also for their importance to the food chain.

Birds have existed for a long time and we eat a lot of them.[0]

[0] https://en.wikipedia.org/wiki/Poultry_farming
Given the wealth of Luigi Mangione's family, if he's the killer, this sounds unlikely to be penned by him (or at least his own story).
My guess is he didn’t spend a lot of time thinking about his emotional state after pulling the trigger. He probably immediately regretted the decision and half heartedly followed some sort of escape plan.
There's very little in America to stop a person who is willing to die (or spend life in prison) from killing others.

Most normal people just have a healthy self preservation instinct, so aren't willing to accept those consequences.
Thanks for posting that. It's been entertaining to follow your progress.
America's new dictator in chief is all in on crypto.

My opinion is that crypto leads to instability, corruption and tax evasion which is why they all got kicked out of China but good luck.
What is about HN where numerous posters do not believe that investing in the US or EU stock markets is better than completely random outcome, like roulette red/black? Man, this place is weird sometimes. What the fuck are you investing in for retirement if not stocks? Sea shells!!?? I hereby quote Brandolini's law:

> The amount of energy needed to refute bullshit is an order of magnitude bigger than that needed to produce it.
There are already companies selling 5,000+ qubit quantum systems to the NSA. I would assume they are already using it for that in the huge data center in Utah.
Whatever the actual chance is, some fraction of the population will still believe it’s around that.
But you have specifically initialized your AND and OR results to be True and then False, respectively, thus specifying the resulting value for their processing of the empty set.

I've read through your reply several times, and I think you've missed the point.

The code here is the code that produces the right result for non-empty collections. It's the shortest, cleanest, clearest code that does so. These aren't random initial values, chosen arbitrarily. They are the unique values that make the code give the right answer.

Then we ask: What result does it give for the empty collection?

The answer is that for "sum" it gives "0", for "product" it gives "1", for "AND" it gives "True", for "OR" it gives "False".

In particular, in each case it gives the identity element of the algebraic structure. This isn't a coincidence, it's a part of how algebraic operations work.

That's why for any operator, the result of applying it to an empty collection is the identity element. It's algebraically consistent.
If you agree to let them publish the email, they could post it here? As they seem keen to engage with the public over the matter.
The bottom 18% of adults have, by definition, an IQ of 86.2 or less.

While there's ongoing argument about the extent to which that's a selection bias and there's other skills that aren't captured in this metric (and already were well before LLMs demonstrated that it's definitely possible to train for those tests), IQ scores do correlate with the ability to perform across those kinds of skills.

While we can — and, I would argue, should — help raise people up as far as possible, it's not really surprising that the least capable are the least capable.
Eh. Midtown murders are pretty rare. They get solved.

Would they have burned millions in overtime? No.
Honestly not sure how they created one-time pads 100 years ago.
> Any shared code would also have to be reviewed.

Random thought, but this made me imagine him reviewing code as a punishment: A chain gang of reviewers if you will.
Not for SPARQL, no. But I have done it for other query DSLs like SQL and Opensearch.
Wow, so the Swiss have a 1-minute precision even for delays? Germany has this convenient (for the train operator) system:

- 0 - 4m59s -> "no delay" (so it doesn't have to be announced and the train counts as "on time" as far as metrics are concerned)

- 5m - 9m59s -> "5 minutes delay"

- 10m - 14m59s -> "10 minutes delay"

...and so on.
I think more in a "available as a tool not a fixture" is ment with democratizing. As in - everyone can use them, invent them, rearrange them, even abuse them.

Unlike school, were you are thought to reproduce them apply them, fire and forget them.
And, famously, the camera is pointing at a lava lamp, ha ha.
No one was fired: Startup YesMadam apologises for distress caused by viral email
The Cosmos Is Expanding: The Interchain Foundation Acquires Skip
You sound like an expert in psychology.
> The effort required to keep the chart looking tidy quickly outweighs the effort writing a normal pure-code form.

Github's markdown tables allow an intermediate form: one can edit tabular source untidily while editing (although it still always renders tidily in a markdown viewer), and then, before committing, run a pretty printer that restores a nice tidy tabular look even in the ascii source.
I just want a streaming service where all the money I pay (minus some fee) goes to artists I listen to. Right now the biggest portion of what I pay for music streaming goes to Taylor Swift and I don't even listen to her albums.
Example of something that was a proto-invention in the 1970s and widely available now: monoclonal antibodies.

You know those pregnancy tests one can buy in the drug store? Based on MABs. Ditto those COVID tests. The Nobel-prize winning work that first created MABs occurred in the 1970s, but no product was available to consumers then.

MABs are ubiquitous in medicine now.
I’m curious what definition you’d choose that didn’t just add “with an assault rifle” to the end.
I agree. Apart from the text appearing backwards it all looked pretty real to me.
syntax becomes semantics after sufficient iterative updates in the environment
True.

I am usually buying the cheapest extra-virgin olive oil available (in Europe), and its price has increased by more than 50% in comparison with a couple of years ago.
I don’t know that I would trust that to be his manifesto. The BBC article says it was handwritten.

Why would someone post a typed version rather than a photo of the real thing (which they would need to have to be able to type it up)?
Whenever people justify why the US's jury system is better than the judgement by judges that's prevalent in continental Europe it's always about these exact scenarios. If you just want to find facts you don't need a jury of peers. The jury is at least in part there to pass a moral judgement beyond the letter of the law.

From what I understand a juror can only be removed during the jury selection process or if someone outside the jury "tampers" with the jurors. If you get called to jury duty, the quickest way to get out of it is to say you know about jury nullification. But if you don't reveal that and get into the jury you are free to rule as you want and to try to convince the other jurors to do the same.
Trying to nullify with a Michael Scott-style "I DECLARE NULLIFICATIOOOON!" or otherwise mentioning it is probably a bad idea. I suppose if you'll get warned and you do it again you'll be held in contempt. But I'm no expert.

The situation you describe is known as a hung jury, and would result in a mistrial. Usually this means the case is retried later (with a different jury).
Weirder things have been created. I could definitely see one being made for a movie.
Making Hydrogen Affordable
HFCS is high fructose compared to regular corn syrup. It's not necessarily high fructose compared to table sugar (sucrose). Table sugar is 50% fructose by weight; HFCS comes in 55% and 42% fructose varieties. The FDA says [1] the 42% variety, which has less fructose than table sugar, is used in most processed food other than soda. So fructose doesn't seem like a plausible mechanism for non-soda HFCS to be worse for you than table sugar.

I don't like HFCS--I think it gives sodas a flavor I can best describe as "sharp," based on blind taste tests I've done comparing same-brand sugar and HCFS sodas--but I don't see solid evidence that it's worse than sucrose. I think it's mostly used as a scapegoat by people who don't want to conclude that sugar in general is bad for you.

[1] https://www.fda.gov/food/food-additives-petitions/high-fruct...
You don't seem to be replying to the actual take in the podcast. They aren't worrying that it's going to take their job - it's a somewhat snarky lament that none of these transformative changes for the good are happening or are expected to happen, with a real possibility of the "enshitification" of a product that's only been there for two years.

"AI" gets pushed into every nook and cranny of online experience - and to what end?
You mean undercertified or overcertified?

No amount of formal education can guarantee whether someone’s genuinely qualified to handle a certain position or not.
Not only white, but rich too!
I've got a mathematics degree and I can't work it out either if that's any consolation.
yes, if you're reading this and your EM job consists of: taking notes during sprints, 1:1s, meeting with other "leaders", discussing "culture" issues, and interviewing ... go practice some leet code, cause your marketability is a sinking ship (source: I interview many of these archetypes, and they are allergic to technical interviews)
I thought the same. For example `for (let i=0; i <1000; i++)`
I thought about possible interpretations, but aren’t they pretty clear in the first sentences.

If no, I don’t understand this position then. Having social skills doesn’t magically create learning skills (unless we postulate that learning is social) or real world skills, I mean real world that doesn’t hear you out when you command.

At the very least it should be put together with reality changing skills, not first. Because in the first place it creates talking heads which only change perception temporarily (aka lying).
Need to? No, of course not. Will it slow down? Unlikely
President-elect?
Well, I know the one person will die if I pull the lever. But I don’t have any reason to think that pulling it will save the other ten thousand. In fact, it probably won’t—it’s a big train that will find its way to that track eventually, and the only way people have been saved in other countries is legislation to move everybody off the tracks, but that’s too much work for me. What pulling the lever will do is make me feel important. I can convince everybody to read my manifesto that’s equal parts Unabomber and the Joker; if I don’t pull the lever nobody will care what I have to say. What’s a human life in comparison to that?
This is actually a surprisingly depressing post.

It makes me question all the assumptions I have about dev UX. If my dev tooling was taken away, the saas products I depend on shut down, slack replaced by email, keyboard with phone, etc. would I eventually adapt to such a situation? Would my productivity cut be only marginal?

I sure hope the case is that this developer is just a genius, as I'd like to think we as devs (and maybe as a society at large) are not just deluding ourselves thinking that software is innovating.
> see the now frozen rapprochement between Saudi and Israel.

As I understand, this has nothing to do with Iran, and everything to do with the Saudis want a promise for two state solution before they will agree to a treaty with Israel.