skysight-inc/HackerNews huggingface dataset:
I realize this is the prevailing wisdom but it is short sighted and simplistic because it ignores opportunity cost.
The post in OP has the following hyphothesis:

> Why Prolog? [...] Due to it's declarative nature it might be a bit easier for LLMs to generate code, because LLM doesn't need to generate precise control flow.

This is an interesting point, and my guess is that prolog is the declarative programming language with most example code out there for it to learn on(excluding SQL). Alternatively it could try to create some problem description for an automated theorem prover. My (absolute ignorant) guess is that the prolog aproach works better for two reasons:

- The amount of prolog code in the training set is higher

- It is still only able to create code for problems easy enough that prolog can handle them.
Show HN: Pokémon Card Collecting and Trading Platform
Hey everyone!
This is my first post here, so I’m excited to share my project with you! I created ePool.net, a platform designed for Pokémon card collectors and traders.

The Story Behind ePool
It all started when my daughter began collecting Pokémon cards, and we struggled to find a single, easy-to-use platform where she could:
- Track her collection and see missing cards in each set
- Make a wishlist and list cards for trade
- Connect with nearby traders

With a background in web development, I decided to build a solution that combines all these features.

Key Features
- Login with Google: No more creating new accounts!
- Location-based Trading: Set a radius on the map to find nearby traders.
- Effortless Collection Management: Search cards by name or number, browse by set, and add cards to your collection, wishlist, or “For Trade” list.
- Trade Requests Made Easy: If someone nearby has a card you want, it’s marked “Available for Trade.” Just click to request a trade, and an email connects you directly with the other trader.

Extras include a My Collections page where you can track your set progress and estimated market value.

Why ePool?
Although there are Facebook groups for trading, they’re often messy and hard to navigate. ePool brings everything you need to one place—organized and user-friendly.

What’s Next?
I’m looking to grow the user base, so if you’re interested in collecting or trading, check it out and let me know what you think!

Is it Free?
Yes, up to 500 cards in your collection. For larger collections, a premium option is available at $4.99/month to help cover platform costs.

This is a beta project, so any feedback is appreciated!

Thanks for reading,
Stefan
Killer app for AI is still years away, says industry analyst
Masto has no social graph. Its just like IRC and PHP forums that many of us here used as teens.
Does anyone have any links to serious security researchers discussing this adversarially or critically? Or, if it's too soon as it's such a recent release, links to the types of serious security researchers who publish that sort of thing.

The discussion here would seem to suggest there's definitely a need for such a thing. Bruce Schneier comes to mind, and doing a search of:

"cloud" site:https://www.schneier.com/

did have a few results. Would be interested in more trustworthy figures to have a read of.
Really, the white one ? You are saying white children were stolen, just so we're clear on that. Sounds like you're not qualified to talk on it.
This might force children to be social in the real world. And disabled children will remain unsocial.
I see it more like this: Trump leaves office in four years, but puts his weight behind Vance winning the 2028 election, and remains "the power behind the throne" like he was for the Republican Party for the last four years. He's going to expect Vance to take his orders. (Vance, and everyone else in the Republican Party.)
This is not an MMO.
You can still call someone out for blatant antisemitism when they're being blatantly antisemitic whether the thing they're saying is true or not. Do you think someone's being a Rabbi or being Jewish has anything to do with running a large adult content site?

I mean come on they literally created a throwaway account named "hey rabbi" to make that comment.
QA Wolf AI [video]
Coming back from a long hiatus to post this.
I just don’t have any interest in having a “dialogue“ with people who want to erase LGBT Americans and burn books. There are some people who can’t be reasoned with or at least won’t be convinced by me. I am not going to waste my time on them, I’m going to continue to engage in dialogue with those who can actually hold a coherent discussion. Agreement isn’t required, but I sure can’t imagine anything productive will come from talking to someone who believes liberals are harvesting “adrenochrome” from children.

I’ve already adopted a stance of not talking politics with people who believe the 2020 election was stolen, and frankly my life has been much better for it. You can’t reason people out of a position they didn’t reason themselves in to. In my experience anyone who believes that millions of “illegals” and deceased voted are incapable of having a real discussion or listening. They will not accept reality.

When RFK Jr. is unleashed on our health system I wonder if people will finally wake up to the fact that conspiracy theorists are not just in the halls of power now, but that their numbers have grown substantially.
1. acquire lots of money
2. pay celebrities and influencers to create exclusive stuff for your platform
3. ...?
4. profit!
Her failure to articulate her platform is her fault.

The words chosen by the Harris campaign, and the platforms on which they were spoken, left 15M - 20M people at home, and flipped a bunch more from D to R.
FreeBSD 2024 Q3 Status Report
Is this "VC less" AI IDE?
You could punch an extra hole in a 1.44 floppy and it would work as a 2.88.
Imagine you have asked a question of how to get from Vancouver, B.C. To Hudson Bay. In response you get answers like "Why?" and "Here are other people who have failed", "People have already been to Hudson Bay", "Money and Power will destroy you", "Don't take camels".

And there is your problem statement. There is vast uncertainty about how to get there, even what ways there are to get there. You have to clarify all the uncertainty and there are no a priori answers. Just start going and see what happens. There is no recipe and if there was it would probably be for something you would not like.

[Edit: I am serious, not trying to be critical or facetious. As someone who has tried similar things, there is no recipe, so if you want to do x you just start with that fact and go.]
I've been listening to a lot of public domain texts from Librivox, trying to fill in the spotty underpinnings of my education, and the various historical overviews of various sciences, as well as biographies of scientists have been quite interesting.

I wish that it was easier to review such in chronological order --- when I was reading books to my children I envisioned a period where we would read biographies of in chronological order, but that was rather a hard list to put together --- I eventually resorted to putting them on 3x5 cards so as to make sorting easier, and as a test run we did Presidential biographies (which helped me a lot with my understanding of the ebb and flow of U.S. history).

One of the best programming classes I had was a comparative languages class where the programming languages were covered in order of development _and_ biographical information on the developers was included --- similarly this really helped with my understanding of computer development.
Indeed, Zig does this for instance (at least for x86_64 linux [0]) as a way to avoid having to link libc at all

[0] https://github.com/ziglang/zig/blob/ee9f00d673f2bccddc2751c3...
"I want what you have" is not the same as being provoked. Where did you get these ideas?
Also, the whole idea that "green" and "blue" are different things is culturally determined -- many languages either use one word that contains the shades English speakers call "blue" and "green" or did so historically before introducing separate words after they were influenced by English or other languages that make the distinction.

https://en.wikipedia.org/wiki/Blue%E2%80%93green_distinction...
He might be thinking about the SLDNF resolution happening. But yes, you can implement any prover in prolog. This distinction is discussed a bit here: https://www.metalevel.at/prolog/theoremproving
> People want to style things to match their page, exactly because consistency is part of usability.

Consistency with industry standards is a lot more consistency than consistency just within one silly "app" webpage.
There's also afplay - Audio File Play (plays an audio file to the default audio output). Can play all audio formats supported by CoreAudio.
> The researchers tweaked the genetics within a set of fruit flies and found that they could extend the flies’ healthy lifespan by up to 30 percent.

Most of this changes are about trade off. Let's imagine the 30% automatically transfer to humans, what is the trade off?
There's going to be a lot of slop and a lot of confusion? Given the choice of downloading / using multiple github repos for something, the best option is usually quite clear. Actively maintained, healthy issues page, lots of stars, downloads, etc. What if there's just 1,000 vaguely similar apps/projects that look like they're on life support? Just make your own edition and add to the soup I guess?
Your link dates this event in the mid-17th century.

> The particular concept of the scientific, empirical fact ("a truth known by observation or authentic testimony") emerged in English 1660s, via Hooke, Boyle, etc., in The Royal Society

TFA mentions Galileo, who was approximately contemporary (1564 to 1642).

A link in TFA [0] focusses in a lot more detail on recent history.

[0] https://journals.asm.org/doi/10.1128/iai.00921-15
...can it be used to reason, extract information, and make predictions?

Reason? Clearly no. It doesn't understand what you're asking well enough to "reason". But it will gladly offer an attempt based on some statistical mishmash of patterns it has been trained with.

extract information, and make predictions? Yes --- just not reliably or accurately. Anything it produces needs verification --- which defeats a huge chunk of it's utility.

Would you trust a calculator that fails a simple math test? Of course not. So why trust an LLM?

Q: What is the square root of 2?
A: approximately 1.41421356

Q: What is the square root of one plus one times forty five minus eighty eight?
A: i * sqrt(42)
> I think consistency within an application is far more important than consistency across applications.

And I think you're wrong.
RSS is very nice~ I like this tool
Stable democracies can preserve themselves even against undue influence. Even if you think Jan 6 was a carefully calculated and orchestrated attempt at a "kill the elected leaders and install sycophants in their place" style coup d'état - or perhaps especially if you think that - the result proved the US's stability.
Because of the way Americans handled themselves during this election. On both sides! That January 6th happened. That Biden dropped out so late, denying a primary to his party.

All these show me that American culture is spiralling towards incompetence, just like the Romans.
Not in their traditional form now that the zeitgeist of the ZIRP tech boom is over. The waves of media stories about tech layoffs have probably dampened the hopes of those that would have been previously inclined, and the economical conditions mean that less have the luxury or means to spend months unemployed or part-time.

I have see a surge of bootcamp-esque places in tech destinations that seem to be offering a "find the spark again" (and/or "fill the resume gap after the layoff" if you're a cynical prick like me) that seem to cater to the already educated/experienced crowd, which I feel are potentially viable.

As someone who did a year-long bootcamp-esque program in web development at a community college, followed by employment in tech (during which I picked up a BSc and MS in Comp Sci part-time while working), I can say that a very good bootcamp program can teach you to code in a very skilled manner, well-and-above what you pick up in a BSc in CS.

And unless you work early on at a place with a big emphasis on properly educating and mentoring juniors off the bat, you can have a big leg up with raw coding skill imo.
Social media that tech workers in the 30s and 40s were exposed to was never any more intense than a bulletin board or a chat room.

Social media now is a very different beast. It's designed to be addictive, and it generates engagement through polarization.

Is banning social media for children a punishment for the child? Some parents would argue the opposite, that it's a good thing that the child isn't developed enough to realise yet.
During a goldrush those selling pickaxes make the most.
Better Late Than Never: Adding Checksums to 16M Legacy Files
You are right. The wording was wrong. It should have been, "The usage of this app will be harmful for your mental health".
it's nothing new for cars to be susceptible to replay attacks, yet it's always a proof of incapacity of the involved developers.

to even implement such a design is audacious
You can edit the title to prefix it with 'Show HN:' which puts it in the feedbacky places of the site and tells everyone you're showing your own work. More here https://news.ycombinator.com/showhn.html
We should listen to BIPOC and female voices. It's our responsibility for what we did to them.
Another attractive feature of Prolog is that it’s homoiconic, like lisp.
I wonder how these rates compare to the US?
Hard agree. It's our generation's smoking. Zuckerberg's recent PR glow-up is just this generation's Marlboro man. An acceptable face on something much more sinister.
Blast Radius and Certificate Constraints (2023)
MapLibre Newsletter October 2024
It isn't blinkered or bigoted. He is a very bad person who is obviously old and declining, and him becoming president again is a terrible outcome for our nation.

It's true that a lot of people - including me sometimes! - extend this criticism to his supporters, and I think it's also probably true that the backlash to this has a bit to do with the election outcome this year.

But I didn't do that in the comment you replied to. I would go so far as to say that many of the people who voted for Trump totally agree with me. Everyone knows he is a very bad person, that's part of his whole schtick, and even lots of the people who voted for him think he is a bad person to lead the country (ok, they might not say "terrible", like I did). I think where I disagree with most of those people is just on the question of whether electing a member of the incumbent administration would have been better or worse. I think better, they think worse.

In my view, neither of the candidates had a coalition to win with only votes for them, and it was Trump who won the battle for votes against his opponent. Still a bad outcome though, I think!
SPZ – A FOSS file format for compressed Gaussian Splats
I was always fascinated by people who can pull things like this off. Had a similar feeling reading about how the CarThing was cracked a couple of days ago. How do you get started with something like this? Is it just having a ton of knowledge about hardware / lower-level OSes?
IQ is well known to be normally distributed. One property of the normal distribution is that median = mean, so it follows that less of the population would have an IQ below 100.
How do transformer models keep track of the order of the words in a sentence? Using a method called Positional Encoding. Learn about them in under 10 minutes in this video!
Declarative has in-practice meant “programming, but in YAML” more often than not, which is hell. YAML’s not even a good format for static data, and it’s even worse when you try to program in it.
Privacy first, social network without ads means users pay. Why would any users pay for this? The vast majority of people on social networks do not care about privacy. They care so little that their accounts are frequently hacked because they are using the same password everywhere. These people also aren't going to pay for something they already get for free.

Your motivation is purely revenue. What would the user's motivation be to add yet another thing they have to keep up to date on? What can any users you do get use to convince their circle of humans to also join?

Without massive user counts or revenue share with celebs or influencers what incentive would they have to join?

How are you going to pay for bandwidth and storage of videos/images with no revenue? Like do you have a nest egg/run rate saved to fund this social network for a year or two?
Relevant SMBC: https://www.smbc-comics.com/comic/2014-05-27
Yeah, would rather have been a gladiator than a charioteer.
Seriously, take that energy and enthusiasm and study business. You're asking the wrong questions.
Since RAR and 7-zip is supported by Windows out of the box these days, I can not think of much scenarios where you would benefit from WinRAR in a way you'd be willing to spend money for.
https://www.pcmag.com/news/windows-11-finally-adds-support-f...
So what is Harness Open Source and why should you care?
This is an important point that's usually under discussed. From the 70s onwards, you had multiple governments with anti-natalist policies from Malthusian fears. You had China with the one child policy for urban dwellers, in India max two children were encouraged if you want to be in polite society, feminism encouraged anti-natalist thinking in almost all countries. It was only relatively recently, maybe last 15 years, that concerns about low fertility rates started being discussed.
It's now easy to build, deploy and scale nextjs with Codegiant and Cloudflare: https://blog.codegiant.io/p/how-team-yareta-built-their-mvp-...
This style of website will be rife soon - there’s more and more popping up. Even yesterday, I was looking at https://comancheindians.tilda.ws/en

These websites would have been super hard to resource the assets, but now with Gen AI it’s simple.
A point and click adventure :)
> You'll be relieved that those pushing the "Israel bombs whoever and then get mad" agenda was lying to you.

No they weren't. Absorbing bombs when you have a missile defense system that ensures zero to tens of casualties, then responding with the same bombs when you know they will cause hundreds to thousands of casualties is doing exactly what I said. No one lied to me. I saw the facts and saw my money being sent to people who think this is okay, and like every other sane American, I said it should stop, and soon it will.

All of this was a decade ago, back when Israelis used to set up lawn chairs on hills overlooking Gaza and cheer as bombs dropped. Tell me how this was a lie too:

https://www.theguardian.com/world/2014/jul/20/israelis-cheer...

Look, all this aside, you're probably a nice guy. You're probably worried for your family.i get that. I've been there. But 20 years and trillions of dollars spent on wars that did nothing to secure us, nothing to change the region, taught me that fighting back isn't always the path to success. You have to fight right, and you have to fight smart too. The US had a ton of goodwill from the world after 9/11 and squandered it so bad that Trump, who has now been elected resoundingly twice as a Republican, said on stage, in front of tons of Republicans that Republican President Bush was one of the worst presidents and his wars were disastrous mistakes and we should have never gone. Cheney, who architected those wars, and his family, are now global pariahs basically. Lashing out and wasting money and causing more problems and expecting a wallet refill? I saw that for 2 decades, and I'm done with it here, and I'm done with paying for it somewhere else too
An idea like this could truly make you a multi-millionaire!*

*one minor catch is that you’ll have to start as a billionaire
wonder when the origin of museum beetles will get figured out
as the name sugests,they are only found in museums,wiki is short and does not get into any historical mentions

https://en.wikipedia.org/wiki/Museum_beetle
Were those really 8k hours? I remember installing some "new MMORPG" over steam (I'm a linux user) and impossibility to even pass tutorial because of the anti-cheat kick-ins at some later point after login. The whole game session takes like 3 minutes. I have had several attempts like may be 5. At different times after some changes to environment. The game have reported more than 300hrs to the steam.
Yeah, but what is the political salience of that? It's unclear to me what political party or set of policies this anecdote relates to.
Interesting idea but I'm not sure I see the practical benefit. Also, this seems to be implemented as a partial evaluator/compiler for C, and I am not really sure C is the best suited language for this kind of isomorphic transformations.

Lately I have been doing some reading on term-rewriting systems, and designing a simple string->sexp rewriter, which could form the basis of a compiler or partial evaluator: a compiler is nothing more than parsing into an AST and rewriting AST all the way down to another string (of machine code bytes). A partial evaluator for C would be much easier to write if you first turn it into parsed AST, which would look a lot like S-expressions from Lisp.

Anyway, I smile and cringe at the idea of embedding LLVM into the kernel.
> Advertising is one of the less harmful monetization models out there, especially for kids.

No, because it incentivizes the addictive content.

> YouTubers soliciting donations, selling merchandise etc. are preying on young kids.

That's a different issue, and already happening. It should be banned too.
There's a name collision with https://en.wikipedia.org/wiki/Automat
Huh, I guess they edited that part out.
Huh, I thought this was going to be about Food Not Lawns, but apparently not. This is a whole movement: https://www.foodnotlawns.com/
It's called a private group chat, and it exists everywhere. No "recommendations," no ads, no moderation, no randos butting in trying to derail conversations, just shared social norms among the participants. It's not something you can scale or monetize, and that's exactly why it's the perfect social network.
>Rich people pay way more taxes than poor people.

Not as a percentage of their income, especially when all "taxes" (anything the government charges for) are taken into account.
macOS is actually notorious for lack of binary compatibility. Most commercial apps are online distributed, and most non-commercial are open source, so they're quickly updated and compatibility issues are less often noticed.
Build, Deploy and Scale nextjs app with Codegiant and Cloudflare: https://blog.codegiant.io/p/how-team-yareta-built-their-mvp-...
Take a picture or movie. Now edit it with image or movie editing software. You have the same problem.

Yet this comment tree thinks it’s a novel observation that makes the tool useless.
This "huge quality of life improvement" is "minor" compared to the lack of significant differences in more important aspects of version control that become neither easier nor more complex: for example resolving conflicts (files that used to be in another repository remain uninvolved) or creating, merging and killing branches (still related to the same features, bugfixes, modules, schedules etc.)
FreeBSD Reduces OS Support from 5 to 4 Years, Continues Collaboration with AMD
If you’re concerned about these issues, please consider donating to a civil liberties or legal defense fund.
Then you'd have multiple monoliths share the same database. For me that's where I've zero experience, because all engineers more senior to me have cordoned that off and have said that's a no go area.

But in all seriousness, that would make data migrations really tricky, as well as handling differing versioning etc. NVM extending that to more apps, feels like a dangerous venture
Apples to oranges.

Piracy would be a good comparison to this law. We all know how that turned out.