MurphyA/hacker-news huggingface dataset:
by YeGoblynQueenne | 2025-04-09 10:58:13+00:00
I've lost count how many times I've written the same words in this thread but: SAT Solving, Automated Theorem Proving, Program Verification and Model Checking, Planning and Scheduling. These are not domains where symbolic methods "consistently underperform" anything.

You guys really need to look into what's been going on in classical AI in the last 20-30 years. There are two large conferences that are mainly about symbolic AI, IJCAI and AAAI. Then there's all the individual conferences on the above sub-fields, like the International Conference on Automated Planning and Scheduling (ICAPS). Don't expect to hear about symbolic AI on social media or press releases from Alpha and Meta, but there's plenty of material online if you're interested.
by Zambyte | 2025-04-09 10:58:19+00:00
My cell phone lives in my sock drawer with the only exception being when I take it out for GPS. Otherwise, I have fully replaced my mobile computing with my Daylight Computer tablet. I feel like I have a much healthier relationship with this thing than I had with my cell phone. The lack of color and the lack of notifications has made my usage feel way more intentional. Before, I wanted to kick my habit of scrolling social media before I got out of bed in the morning, but I didn't actively work on that. One day, I simply realized I had kicked the habit without even trying!

Not having a phone on me at all times to cope with boring or awkward moments has really been eye opening, and I believe very healthy for me. Especially as someone who has had a phone on me for my teenage years and throughout most of my adult life thus far.
by subjectsigma | 2025-04-09 10:58:50+00:00
This “debate” has come up a few times in the streaming community.

Viewer: “Streaming is so easy, you’re basically not even working, streamers are so privileged.”

Streamer: “Can you act?”

Viewer: “No, but what -“

Streamer: “Ok so you can’t act. Have you ever tried acting out a play, but it’s 6 hours long and also hundreds of people get to shout obscenities at you, and also you’re sometimes obligated to respond to their disturbing comments completely ad-lib without breaking character, and also you have to be juggling at the same time?”

Viewer: “… well I still think <INSERT JOB> is harder”

It doesn’t take a genius to realize there a different dimensions of difficulty and yet somehow many people can’t
by bko | 2025-04-09 10:59:26+00:00
It can be both. If they believe there is some harmful effect on this particular pseudo science about grievance politics that's driving social contagion and self harm, then they believe it should be removed, at least from places like libraries.

You'll see the same thing with race science. I reject it not because I'm well versed on how it's not rigorous enough, although it may be, but I think it's on its face because incredibly harmful.
by mavamaarten | 2025-04-09 10:59:37+00:00
I've just recently switched to Qwant from Google. It serves all my purposes perfectly, except for programming queries unfortunately.

Google seems to be better at bringing up a variety of stackoverflow and blogposts relevant to my search queries. Qwant seems to struggle exactly with that: it's great at giving exactly what I was searching for but that's sometimes not what I was looking for, if you get what I mean.

In a sense, LLM's are actually perfect for that. But like you say, the super confident hallucinations are just too frustrating. Literally every time I've asked it a serious programming question, it's hallucinated an API that doesn't exist. Everyone seems to be focusing on letting LLM's solve math and thinking problems. That's exactly what _I'm_ good at. I would much rather have an LLM that is good at combining sources and giving me facts (knowledge, rather than thinking) while most of all being able to say "I don't know".
by fakedang | 2025-04-09 10:59:40+00:00
Correct me if I'm wrong but aren't both jurisdictions equally averse to abortion? Sure, you'd find a few exceptions here and there but both countries have banned abortion? Both places have banned abortion where the mother's life may be in danger. Iran additionally allows abortions in cases where the fetus suffers from a major medical condition (genetic defects like Down's Syndrome don't count) which doesn't let the future child live a viable life.
Show HN: Pokemon TCG Pocket simulator written in Rust
by bcollazoPR | 2025-04-09 10:59:45+00:00
Hi HN!

I’ve been learning Rust by building a Pokémon TCG deck simulator, and I’ve just open-sourced it here: https://github.com/bcollazo/deckgym-core

The idea is to use it to optimize decks for the game. For example, simulate thousands of games using Giant Cape, then a thousand more with Rocky Helmet, and see which one wins more games.

There are many cards left to implement. If you are a fellow Pokemon + Rust fan, looking to learn rust, or in general can help a newbie Rustacean, I invite you to contribute! Here are a few example Pull Requests:

- Implementing Tentacruel: https://github.com/bcollazo/deckgym-core/pull/5/files

- Implementing Flareon: https://github.com/bcollazo/deckgym-core/pull/4/files

- More attacks: https://github.com/bcollazo/deckgym-core/pull/10/files

Lastly, I also built a website to make the functionality more accesible. You can check it out at: https://www.deckgym.com

Thanks for taking a look, and happy coding!
by maaaaattttt | 2025-04-09 11:00:38+00:00
I feel the need to copy/paste a quote here:

“The President in particular is very much a figurehead — he wields no real power whatsoever. He is apparently chosen by the government, but the qualities he is required to display are not those of leadership but those of finely judged outrage. For this reason the President is always a controversial choice, always an infuriating but fascinating character. His job is not to wield power but to draw attention away from it. On those criteria Zaphod Beeblebrox is one of the most successful Presidents the Galaxy has ever had — he has already spent two of his ten presidential years in prison for fraud.” -- Douglas Adams, The Hitchhiker’s Guide to the Galaxy

Though to be frank, I'm not sure it applies here as Trump does not seem to not "wield[s] no real power". Still, I often have this quote in mind when I think of some current world leaders.
by amelius | 2025-04-09 11:00:47+00:00
Well, I just booted the computer ;) But you are right, dropping the cache is probably a better way.

I have a folder with 5500 subfolders. Doing "ls -U" in that folder (after dropping the page cache like above) takes 50 seconds (!) And the dir entries appear all at once, i.e. not in a streaming way.

Its parent folder only contains 6 subfolders. Doing a cache drop followed by "ls -U" gives immediate results.

How to investigate this further? (Using an Ubuntu 18.04 system)
by AngryData | 2025-04-09 11:01:21+00:00
Giving labor better bargaining means higher pay for employees and so they need to work less, which leaves room for more employees. Better working conditions also leads to a better and bigger pool of candidates who are interested in your work and industry. Giving labor more power also makes it far harder to offshore their work and the higher pay for everyone improves local economies and induces more local demand. Having wealthier owners doesn't help the local economy nearly as much as more prosperous labor, especially if they end up spending a bunch of that capital in investing in a foreign assets with lower labor costs, essentially throwing what could have been local economic investment into desperate foreign labor markets.
by angra_mainyu | 2025-04-09 11:02:33+00:00
.....and you got triggered.

Somehow in the past 3-4 years it's only been that subset of Rust devs that have been wailing about: "WHY NOT REWRITE IT IN RUST?".

Often they're mostly the same type: anime pfp, walls of text of pompous technobabble as if they were some elite caste of arcane cyberpriests preaching the gospel of Rust, etc.

There's a reason "just rewrite it in Rust" has become such a meme.
by belter | 2025-04-09 11:03:28+00:00
Non story?

"US Bonds Skyrocket: 'Market Meltdown'" - https://www.newsweek.com/bond-skyrocket-market-2057266

"US Treasuries were hit hard, with the 10-year yield, a global benchmark for borrowing costs, jumping to 4.51 per cent" - https://www.ft.com/content/f3e0ee58-47a0-41c4-b021-ed19d27da...
by vmchale | 2025-04-09 11:03:37+00:00
in Haskell you can read off the generating function's coefficients directly from the functional equation T(z) = z + zT + zT² + zT²

ghci> ts=0:(1+ts+ts^2+ts^3) ghci> take 12 ts [0,1,1,2,5,13,36,104,309,939,2905,9118]

Using the Num instance for power series (very cute application of laziness expounded by Karczmarczuk and then McIlroy https://dl.acm.org/doi/abs/10.1017/s0956796899003299)
by Oras | 2025-04-09 11:03:47+00:00
You'd be surprised that technical knowledge has nothing to do with management. Your tasks will change from requirements/designing/implementing to requirements/delegation/people.

Your priority will be helping the team achieve goals, shielding them from business chaos, and removing blockers. As another comment mentioned, you'll need to become a people person, listen, understand, and empathise.

As with everything in life, it takes time and practice.

One tip: Do not overthink it, and don't burn out quickly. Always allocate time for yourself, otherwise you'll hate the role.
by NetworkPerson | 2025-04-09 11:04:18+00:00
I don’t necessarily look for the people who have absolute knowledge or skill in areas when considering who would be best for the role. What matters more is that they are a good person, possess the qualities needed for success, and I have confidence they can grow to succeed.

You were picked for the role. You’ve got the qualities needed. Just work hard to learn the information now which specializes to that role and trust that you’ve got this.
by DaSexiestAlive | 2025-04-09 11:06:09+00:00
Yes, ChatGPT has flaws (strange "hallucinations"?), but I found the same with me. Questions that I get no where with Google Search-n-friends (Duckduckgo/Qwant/Bing/etc etc) I had to give a last try with ChatGPT, and ChatGPT seems to fare considerably better.

Given my time dedicated to researching thing, I feel like I am "more productive" b/c I waste less time.

But I do my due diligence to double-check what ChatGPT suggests. So if I ask ChatGPT to recommend a list of books, I double-check with Goodreads and Amazon reviews/ratings. Like that. I guess it's like having a pair-research-sesson with an AI librarian friend? I am not sure.

But I know that I am appreciative. Does anyone remember how bad chatbots were before the arrival of low-hanging-AI-fruits like generative AI? Intel remembers.
by aa-jv | 2025-04-09 11:06:16+00:00
>the US was helping considerably, and then got taken over by pro-Russian conspiracy theorists.

This is such a nonsense conspiracy theory. Anything "non-American" isn't by default pro-Russian, ffs.

Come on people, this nonsense has to die. You can't be that dumb. Nobody believes this excuse any more.

Maybe America is in trouble because Americans are just shit at keeping themselves safe from real harm, and Russia has nothing to do with it.
by belter | 2025-04-09 11:06:41+00:00
Hedge funds are the equivalent of Crypto for suckers for rich people.

"Hedge Funds Have Charged Nearly $2 Trillion in Fees While (Mostly) Underperforming the Market" - https://www.tipranks.com/news/hedge-funds-have-charged-nearl...

Medallion is something so special it cannot be easily classified. Just one the last mysteries of modern civilization. Even the NSA had leaks but nothing ever about Medallion: https://www.cornell-capital.com/blog/2020/02/medallion-fund-...

As mentioned in this thread, the title is not about the Medallion returns.
by im3w1l | 2025-04-09 11:06:43+00:00
As a citizen, your best bet is to educate yourself cultivate good judgment and speak the truth so you get the respect and trust of your circle. So that even people that disagree with you still take your opinion seriously. And realize that people have always believed in bullshit so you need to be realistic in your ambitions and be patient rather than upset when someone is wrong.
by fancyfredbot | 2025-04-09 11:06:50+00:00
What a fantastic article. One of the best on HN this year.

I first heard about Cyc as a child in a TV documentary about AI. The example involved a man shaving with an electric razor. Cyc concluded that while shaving the man was not human since the razor was an electrical device and electrical devices were not human. It really caught my imagination as a child and made me want to study AI. The magic diminished a bit once I learned more about how Cyc worked using prolog style relations and I ended up studying CS instead of AI but I still credit Cyc with sparking that initial interest in me.

Lenart seems like a strange man but we need obsessives and true believers like him to push through the various "winters". Who knows if knowledge graphs like Cyc will become relevant again in future as we seek to eliminate hallucinations from statistical learning.
by adrian_b | 2025-04-09 11:07:26+00:00
Despite how bad a few modern Islamist societies may be, it is very wrong to write sentences like "Islam started as an imperialist death cult", like they would be true and universally applicable.

While after conversion to Islam the Arabs had a few centuries of great territorial expansion, when they have conquered not only their neighbors in Asia, but also the North of Africa and a part of the Iberian Peninsula, this was the standard behavior at that time for any population that was strong enough to be able to do this. It does not make the Arabs more "imperialist" than any other of their contemporaneous nations, e.g. when compared with Charlemagne.

Moreover, for many centuries, until relatively recently, most conflicts in Islamic countries, such as the Turkish Empire, were more likely to be settled by judges according to the law and without making discrimination based on religion, nationality or wealth, than in the contemporaneous European countries, where the enforcement of the laws was frequently arbitrary and biased.

The Europeans who have lived in countries occupied by Islamic Turks or Arabs have survived many centuries without losing their religion or traditions, in contrast with what happened with those that have been occupied by European empires, like the Russian Empire (or its Soviet descendant) or by the Austrian Empire (or its Austria-Hungary successor), where complete denationalization has frequently happened, due to intense discrimination.

Anti-scientific interpretations of the Islamic religion rules have prevailed only many centuries after its appearance. Only then claims like "there is no need to read any books but the Holy Book, as it contains all truth that has to be known by humans" began to have supporters and enforcers. Moreover, taking into consideration the recent history, the US citizens are the last who should be mocking this kind of ideas, because many of them appear to think in the same way.
by DeathArrow | 2025-04-09 11:07:47+00:00
Some people possess that quality which Machiavelli included in the arsenal of any authentic prince: virtù, a trait defined by a commentator of The Prince as embodied in “an individual endowed with exceptional qualities who seeks to seize reality in order to confront and reshape it, without being overwhelmed by its unpredictable unfolding (by fate).” Virtù, the supreme quality of the Machiavellian prince, is something different from Roman virtus or from virtue in ethical terms; it is an optimal composition of personality suited for a great deed, a strange blend of ingenuity, boldness, effectiveness, and foresight. Virtù is what enables a person of great stature to create their own destiny, rather than being merely a pawn of chance.
by re-thc | 2025-04-09 11:07:57+00:00
> US-related businesses are the only buyers of ASML’s most advanced machines.

Only because the US requested it i.e. banned China.

And who's US-related again? Oh you mean those that have to pay >30% tariffs? Are you sure they're related?

> So, while China has better cards than the US, the EU has no cards at all.

No? EU can just sell ASML to China instead.
by davemp | 2025-04-09 11:08:13+00:00
Yeah, I’m leaning towards zig but I’m a bit on the fence still.

For Rust, I kind of got tired of writing unsafe rust for embedded, but that’s addressable afaik. The real dealbreaker was that after 10k+ lines of code I still will pop open the source of a library that solves a simple problem and the code looks indecipherable. I also don’t really agree with the dependency explosion that cargo encourages.

Zig is very nice in that it has the most ergonomic struct usage I’ve encountered. The stdlib could really use some improvement though. Comptime is very cool, but I also worry if the community will get undisciplined with it.
by pera | 2025-04-09 11:08:37+00:00
I guess the GP meant that the NYT article is not very informative. Bloomberg imo did a way better job reporting this event:

> “This is a fire sale of Treasuries,” said Calvin Yeoh, portfolio manager at hedge fund Blue Edge Advisors Pte. who is selling 20 to 30-year Treasuries futures. “I haven’t seen moves or volatility of this size since the chaos of the pandemic.”

https://finance.yahoo.com/news/treasuries-fire-sale-sends-lo...
by Nevis1 | 2025-04-09 11:08:54+00:00
Google has become useless as a search engine. Most of the results are from Reddit, Quora, or YouTube. I'm not going to watch a 5 minute video to get an answer. The information from Reddit/Quora is hardly written by experts. I now do a "verbatim" search with -reddit -quora -youtube. I do use ChatGPT to do a search for websites that have information about what I am looking for.
by fennecfoxy | 2025-04-09 11:10:28+00:00
This is a really cool exercise! The format of it seems pretty sound, like a version of the prisoner's dilemma with a larger group (co-operation versus defection).

Although I think that the majority of modern models don't really have the internals suited to this sort of exercise; training data/fine tuning will heavily influence how a model behaves, whether it's more prone to defection, etc.

A Squirrel makes a "Kuk kuk kuk" alarm call not specifically because the "Kuk" token follows the sequence "you saw a predator" (although this would appear to mostly work) but because it has evolved to make that noise to alert other Squirrels to the predator, most likely a response to evolutionary failure associated with a dwindling population; even solitary Squirrels still need to mate, and their offspring need to do the same.

It's like there's an extremely high dimensional context that's missing in LLMs; training on text results in a high dimensional representation of related concepts - but only the way that those concepts relate in language. It's the tip of an iceberg of meaning where in many cases language can't even represent a complex intermediate state within a brain.

Humans try to describe everything we can with words to communicate and that's partly why our species is so damn successful. But when thinking about how to open an unfamiliar door, I don't internally vocalise (which I've learnt not everyone does) "I'm going to grab the handle, and open the door". Instead I look and picture what I'm going to do, that can also include the force I think I'd need to use, the sensation of how the material might feel against my skin and plenty of other concepts & thoughts all definitively _not_ represented by language.
by asl2D | 2025-04-09 11:11:26+00:00
I recently started drawing (my own little middle age crisis) and i am so out of depth, so far from even understanding what is possible, and the internet filled with so much junk tutorials, that sometimes ability of LLM to parse my intent and guide me towards the key words and names is a godsend, of course it probably would be better to ask a person who knows this stuff, but it's not always convenient. In my use case best part of LLMs is Soft input, and the soft output is not a problem.
by re-thc | 2025-04-09 11:12:05+00:00
> so where are you getting your data?

Is this how we came up with the "magical" tariffs formula? Look at some data, interpret it in a random way and off we go?

You don't say that [1] shows the average growth was 6.56% in China vs 9.28% in Vietnam [3] vs 10.33% in Bangladesh. So then relatively, it's not exactly "growing" is it?

If China was still explicitly growing manufacturing the numbers would be much higher. Is it actually focused on manufacturing or are there other triggers? E.g. US banned Huawei, so they had to go back home and manufacture. E.g. US is banning AI and other exports so China has to make their own. I'd say US is increasing China's manufacturing rather than China!

[3] https://tradingeconomics.com/vietnam/manufacturing-productio...

[4] https://tradingeconomics.com/bangladesh/manufacturing-produc...

[5] https://worldpopulationreview.com/country-rankings/manufactu...

> Hell, you've got a naval empire (the United States) that is currently unable to come even close to the Chinese ship-building capabilities > Sooner or later the US was going to have to deal with this fact

Why? Does the UK need to deal with this "fact" too then? The US has a naval empire that the UK is no where close to in capabilities. Based on your logic, the EU would have to band together to revive the British empire and deal with the US?

I wouldn't want this. The US wouldn't want this either. So what fact is the issue?
by CRConrad | 2025-04-09 11:13:03+00:00
> Or they could come up with a shape that is similar but fits my own hand even better

Many years ago, Logitech used to make left-handed mice. No more :-(

So I switched to a 3DConnexion CadMouse Pro Wireless Left... The battery is still (semi-?)OK, but it feels like the buttons on it are giving up. :-( :-(
by theandrewbailey | 2025-04-09 11:13:18+00:00
CSP is really great at plugging these kinds of security holes, but it flummoxes me that most developers and designers don't take them seriously enough to implement properly (styles must only be set though <link>, and JS likewise exists only in external files). Doing any styling or scripting inline should be frowned upon as hard as table-based layouts.
by senko | 2025-04-09 11:13:25+00:00
tldr:

> We estimate the supply-side value of widely-used OSS is $4.15 billion, but that the demand-side value is much larger at $8.8 trillion. We find that firms would need to spend 3.5 times more on software than they currently do if OSS did not exist. The top six programming languages in our sample comprise 84% of the demand-side value of OSS. Further, 96% of the demand-side value is created by only 5% of OSS developers.
by Ygg2 | 2025-04-09 11:13:56+00:00
> .....and you got triggered.

Sure, you got me. If someone says the earth is actually a cube, I have to go defend the spherical chads.

In this case, it's the sheer disconnect between RIIR askers, and the sheer number of people painting Rust devs with a continent wide brush.

It's very in-group vs out-group reasoning.

Let's demonstrate it. For example: I'm a Java dev, and I see a Java dev, being a moron, so I'll say "What a moron". But if that guy was a C# dev, I'm going to say "C# devs are morons". See the error committed here?

> There's a reason "just rewrite it in Rust" has become such a meme.

Just because something is a meme, doesn't make it true, either. Like it was true around the time of Rust 1.0. But that's been like 10 years ago.

It isn't even the worst part about Rust community.