skysight-inc/HackerNews huggingface dataset:
Personally I thought Stardog was trash, but if I'd had different requirements I might be happy with it.

The trouble w/ OWL as I see it (talked about in that TR) is that people don't really want "first order logic", but they want "first order logic + arithmetic" which is a nightmare that Kurt Godel warned you about. (That ISO 20022 which that TR is related to is about the financial domain which is all about arithmetic)

After Doug Lenat's death a lot of stuff came out that revealed the problems w/ Cyc, not least that even if you try to build something that is "knowledge based" it can't practically solve all the problems you want using a SMT-based strategy but you have to build a library of special purpose algorithms for everything you want to do and it turns out to be a godawful mess.

I'm disappointed that the semweb community hasn't made a serious crack at usable and efficient production rules (dealing w/ problems like negation, controlling execution order, RETE execution, retraction) instead we get half-answers like SPIN with fixed-point execution (used an even more half-baked version of that to research that TR, gets you somewhere). Of course, production rules never got standardized in any domain because nobody can agree on the way to address those four issues even though it usually isn't hard to find an answer that's fine for a particular application.

(It's a frequently problem that experts on a technology can get by on half-baked specific answers that would need a general solution if they were going to be useful for a general audience. One reason why parser generators are so bad is that if you understand parser generators enough to write a parser generator you aren't bothered by the terrible developer experience of parser generators.)
The OPs comment is probably a testament of that. With such a poorly designed A/B test I doubt this has a p-value of < 0.10.
The default level of verbosity you get without explicitly prompting for it to be succinct makes me think there’s an office full of workers getting paid by the token.
All talk of being about social change or diversity by large companies should now be exposed as purely performative. If you want to work at not just Meta but Google or Microsoft or Amazon because money is good, that's fine. We live in a society where you need money.

But you're fooling yourself if you think you're doing something good for society should've shattered long ago. All these big tech companies have done an immediate and total heel turn to get in line with the administration, which isn't even a partisan issue. The interests of large companies is aligned with US domestic and foreign policy.

Meta (etc) are now no different to Boeing, Lockheed Martin or Northrop Grumman. You are working for a defense contractor.

Every day Zuck further exposes himself as being about his own class interest: that of the billionaire class. It's now OK to say that LGBTQ have "mental illness" on Meta platforms [1]. Meta already had a longstanding policy of censoring and downranking Palestine content [2].

It's also why the government was so keen to ban Tiktok: because it doesn't censor

[1]: https://www.nbcnews.com/tech/social-media/meta-new-hate-spee...

[2]: https://www.nbcnews.com/tech/social-media/meta-new-hate-spee...
This is so stupid lol.. why should it be mandated, just have it optionally present.
Oh yeah, i definitely didn't take it seriously. worldgov.org?

The title "Crypto is Inevitable" was not supported in the article.

I do not believe the statement that "crypto is quietly rebuilding the plumbing of finance itself", and regardless of whether that's true, I don't see any reason why it would pick up any adoption beyond the speculators.
I prompted an uncensored distilled Deepseek R1 to always tell the truth, and then I asked it where it was developed.

It told me it was developed by Deepseek in China in strict compliance with AI regulations. In particular, it claimed it was developed to spread socialist core values and promote social stability and harmony.

I asked it some followup questions, and it started telling me things like I should watch my neighbors to see if they complain about the police or government too much because they might be enemies of the socialist cause.
See your policy - there may be limits on what vendors you are allowed to use. There is typically a large choice, but it isn't everyone.

I agree though, don't call unless you are sure you will file a claim. If the item is regular maintenance don't file a claim if you can. That is if you need to replace your roof and discover hail damage you could then claim and get a replacement roof, but your insurance will go up. Insurance is for major issues where you wouldn't expect to pay that price but it might happen (fire..), hail is borderline - a roof that is almost new that needs to be replaced makes the costs (a second time in 5 years...) unreasonable, but if the roof is already 20 years old it should be normal to pay to replace it even if without the hail you might have got 10 more years.
I did the same thing as a teenager, I taught myself to waggle each eyebrow independently, but I never learned to move my ears. I didn't realize that was even a learnable skill.
more likely they paid for this to be printed.
Smoke detectors usually have something like a 10-year usable life, and should have a sticker to that effect along with its manufacture date.

I've had a couple that when they aged out, went straight to full-on alarm beeping.
I think it’s somewhat natural and am not personally surprised. It’s easy to quickly select an option, that has no consequence, compared to actively considering that not selecting something is an option. Not selecting something feels more like actively participating than just checking a box and moving on. /shrug
Not my opinion but the rationale behind this, as argued, is that removing pronouns will cause less divisiveness because fewer people care about pronouns than politics.
What is the salutation for they/them pronouns?
Sysadmins that have to care how the system is running and being organized behind the scenes gonna kill someone before they have to went back to bash script for system management, people who complains about systemd do it because ideological reasons, don't like LP, Unix philosophy or something, etc, or never learned it and want to argue that their mess of bash scripts, that they use solely to boot their system and nothing more, are somewhat more stable or secure
Having trouble getting past the paywall. Can you confirm that these were posts directly promoting the prescription drugs, or were other posts by this organization also hidden?
Sadly, with this administration, the divisiveness, like the cruelty, is the point.
> The OG cancel culture

Hardly the OG. We've kicked people out of our social groups since before we had language; all the other primates do it naturally in the wild just like we do.

McCarthy's blacklists, Focus on the Family trying to knock shows off the air, tarring and feathering during the revolution, the Alien and Sedition Acts... this country has always practiced cancel culture.
Mikala Jamison turned her newsletter into a book deal
These companies often have bad customer service, so that isn't always the answer either.
Same—I'll be curious to check it out!
What's a TypeScript developer's favorite reserved keyword?
> No? Where are you getting this? I don't think the people guiding these companies want to spend 6 hours scrolling TikTok. This is not the way most people live their lives.

I meant they are all humans. We're all sort of the same. If you disagree just think of your opinion of any other species, or about a group of people a thousand years ago, and you see what I meant.
This is fascinating. I wonder if this issue exists in Lua5.2+, where there is no jit and `load` is able to restrict used environment.
Man pleads guilty in drone crash with Quebec water bomber fighting L.A. fires
"OpenAI has no moat because they have nothing unique"

It seems they have high quality trainingsdata. And the knowledge to work with it.
How to think about Composable Data Architecture [video]
At this point, I think the typical way actually is to have (he/him) at the end.
Every time conservatives win a victory for freedom the total number of things you're actually capable of doing goes down.
Criminal settlements have to be approved by the judge after a point (I think).
it all depends on which platform can deliver votes.
Yes! https://gamedev.city/rss

Because Lemmy is a bit too much like social media and kinda bloated for me. I wanted something simpler so I hosted it.
Putting "Mr." or "Ms." in front of your name is including your pronouns, and to suggest otherwise is ridiculous.
> the underlying causes being addressed is like saying that redlining no longer exists because its not called that or that racism is gone

A lot of people in America work on pointing out where redlining still exists. It was being litigated even last year [1].

China is not a responsive political system. It was designed to be responsive only over the long term, and Xi trashed even that with his dictator-for-life nonsense.

> conditions have worstened and when these shootings and lynchings happen now they dont even get mainstream news coverage

Sorry, what secret lynching are you talking about? We'd love to update the Wikipedia from its 1981 record [2].

[1] https://www.justice.gov/opa/pr/justice-department-reaches-si...

[2] https://en.wikipedia.org/wiki/Lynching_of_Michael_Donald
Fascism needs enemies more than allies. Everyone gets Giuliani'd eventually.
This bypasses the overt censorship on the web interface, but it does not bypass the second, more insidious, level of censorship that is built into the model.

https://news.ycombinator.com/item?id=42825573

https://news.ycombinator.com/item?id=42859947

Apparently the model will abandon its "Chain of Thought" (CoT) for certain topics and instead produce a canned response. This effect was the subject of the article "1,156 Questions Censored by DeepSeek", which appeared on HN a few days ago.

https://news.ycombinator.com/item?id=42858552

Edit: fix the last link
It's weird. You either stay quiet or be loud and expect to be out of a job. The mindset is "will this help for PSC."

I'm not bothered by the free speech policy decisions or Trump political contributions. Especially in light of overreach by the Biden administration, allowing more speech is reasonable, and political contributions to the party in power area always reasonable.

What bothers me is dishonesty from leadership about cost cutting, refusing to answer hard questions at the Q&A, and short-sighted decisions causing a lot of churn. When Sheryl left, the adult in the room that would call out Zuck left. No one's there to tell Zuck that the gold chain and million dollar watch isn't a good look. And now Nick Clegg left and Dana White joined the board. I'm sure his UFC experience will prove indispensable.

Don't get me started on how much money is wasted on AR/VR.

If it weren't for juicy 2023 RSUs and the bad job market, there'd be a lot more turnover.
This prompt is like "See Attendant" on the gas pump. I'm just going to use another AI instead for this chat.
A chunk of the federal employee base will have something like "LTC" or "Dr." in front of their name, which again confers no indication of gender or preferred pronoun.
^^ very true, shouldn't have called it that

Hate the idea that the right never would have done all the things they promised they want to do, if Biden hadn't "started it". As if the problem of Biden is that he was too radical, went too far, and did too much lol
>"yet nothing changes" -> "How many other times after the move bombing did a city bomb out violent criminals in a densely packed neighborhood?"

How many times since 1989 has the chinese communist party rolled tanks over a crowded city square during a student protest in Beijing's main square?

I can tell what you're doing here and I think I'll refuse to engage.

Have a nice weekend.
The need to manage data access on the server does not go away when you stop using javascript. Is there something specifically about Swing that somehow provides proper access control, or is it simply the case that it is slightly more work to circumvent the front end when it doesn’t ship with built in dev tools?
I'd guess most municipalities in the US still use unencrypted analog radio, so all you need is a guy with a scanner. You don't even need a scanner where I live, they have a live feed available on the county website. When we had a house fire about 20 years ago, guys showed up to sell "board up" and restoration services before the fire trucks had left. It's a sleazy business. We went with the restoration company our insurance co. recommended, they were clear we could go with whoever we wanted but their preferred one guaranteed the insurance payout would fully cover the work. They were fine to work with and did a good job. There are also companies (at least in California where we lived at the time) that offer to take a cut of your payout to catalog your stuff and negotiate a claim with your insurance company. They make grand promises and seemed super sketchy.
Absolutely, 100% consider migraines. Headaches are far from their only symptom, and headache-free migraines are a thing. Nausea is a common symptom. It's worth a try, and the medication is generally safe with few side effects. Consider talking to your neurologist or finding another that specializes in headaches.

Start with triptans (which your insurance may insist you do anyway), which are very cheap, and then try a CGRP blocker like Nurtec, which is patented and expensive. I get migraines, but nausea, depression and tiredness are far bigger effects for me than the actual headache (which is normally controllable with OTC drugs). CGRP blockers have been life-changing. It took them years to diagnose me with migraines, in fact I had to suggest it myself.
R1 or R1-Distill? They are not the same thing. I think DeepSeek made a mistake releasing them at the same time and calling them all R1.

Full R1 solves this prompt easily for me.
One of our EU devs tried to exercise his GDPR rights to be exempt from automated decision making (there was a clear app review bug; thousands of apps impacted at the time). It was quite impossible to do so.
It's tricky if it's an offshore exchange or a private wallet or similar.
o1-preview, o1, o1-mini, o3-mini, o3-mini (low), o3-mini (medium), o3-mini (high)...

What's next?

o4-mini (wet socks), o5-Eeny-meeny-miny-moe?

I thought they had a product manager over there.

They only need 2 names, right? ChatGPT and o.

ChatGPT-5 and o4 would be next.

This multiplication of the LLM loaves and fishes is kind of silly.
> the US hasn’t yet committed such horrific acts to such a large scale as the CCP did in Tiananmen Square

At least, not against their own citizens
"Battle-tested systems"? Are you talking about those bash scripts that weren't reliable? lmaoo
If somebody wants their Amazon bot to role play as an erotic furry, that’s up to them, right? Who cares. It is working as intended if it keeps them going back to the site and buying things I guess.

I don’t know why somebody would want that, seems annoying. But I also don’t expect people to explain why they do this kind of stuff.
Republicans are the party of personal liberty until they don't like what you're doing.
> Once AI has begun to displace humans, existing feedback mechanisms that encourage human influence and flourishing will begin to break down. For example, states funded mainly by taxes on AI profits instead of their citizens' labor will have little incentive to ensure citizens' representation. This could occur at the same time as AI provides states with unprecedented influence over human culture and behavior, which might make coordination amongst humans more difficult, thereby further reducing humans' ability to resist such pressures. We describe these and other mechanisms and feedback loops in more detail in this work.

States like the USA already have little incentive to represent their citizens. This has been studied. Despite most of them being workers. They represent the rich instead, who just have their asses sat on assets.

This has been an issue for over a hundred years. So there is plenty of content (like what the AI likes) to pull from.

AI that is not embodied in the world can simply be unplugged. Straightforward if we all own technology collectively. But massively complicated when you have capitalists who have every incentive to replace all human labor. (And replacing all human labor is only a problem because a tiny minority would end up dominating everyone else.)

The authors seem more concerned with that hypothetical AI that would consume the universe on a directive to produce stamps (or whatever it was). Instead they could focus on the same issue that they are ostensibly concerned about but face it much more directly.
What do you base your expectations on? Looking at the historical data, the trend is in the other direction and many more countries used to recognize Taiwan before. [1]

In case you're not aware, you need to pick if you recognise Taiwan of mainland China. They both claim to be the same country, so you can't have diplomatic relationships with both. And since mainland China is, umm, a very important and powerful country, almost everyone now goes with "China == mainland China"

[1] https://upload.wikimedia.org/wikipedia/commons/thumb/c/cc/Ch...
For example, you want to keep a set of objects -- then the objects themselves would be keys, and values would be true/nil. Or there is a good example in one of ldump's recent issues: https://github.com/girvel/ldump/issues/44, where the loaded packages are stored in a table as keys to easily detect external module usage.
After getting used to them they FEEL essential.
Constang meh and fixing prompts to the right direction vs unable to escape the bubble
This is a hilarious claim given that none of the current action is going through the legislative path, and the tech billionaires freely bend the knee to Trump even before the inauguration.

What's even the material point here? That "the left" pierced the taboo on speech censorship? Trump's currently wiping his ass with the separation of powers enshrined in the constitution. He does not care about taboo.
> In every place I worked in, qualifications are a show-stopper hard goal, DEI is a soft goal.

In this case the issue isn't qualifications, it's mean time to fill the position when you're understaffed.

Suppose you could find a qualified non-DEI candidate in one month and a qualified DEI candidate in six months. If you take the time to find the DEI candidate, the position is left unfilled for five months longer than it would have been. That's pretty bad if the result is a higher probability of a plane crash in the meantime, or any other important thing.
I don't think I understand "pronouns" if what you say is true. "Pronouns" are not about expressing yourself, but how other people express about yourself. As federal employees, it's probably unconstitutional for them to censor or suppress other people's expressions (certainly to do that without a court order).

But maybe I've just never understood what people mean about "pronouns".
Looking over campaign expenses from 2024 it’s somewhat hard to determine where exactly the other 90 billion would be spent.
Requires != receives. Knee-jerk reactions to novel circumstances get people into trouble all the time. Particularly in impulsive people, who find their actions sometimes don’t align with their values, to the point they can’t be friends with people who are particularly judgemental about actions versus words and won’t accept apologies.

It is a lot of work to retrain your lizard brain to not react in unpleasant ways when the shit hits the fan or you’re exhausted, and the default answer to everything is “no”. There are ways I show up in a crisis that are exemplary, and others that I’m not proud of. Understanding why doesn’t fix it. It’s just step 1, like in AA.
Are you sure? Do you have any source for that? In this article[0] that was discussed here on HN this week, they say (claim):

> In fact, the O1 model used in OpenAI's ChatGPT Plus subscription for $20/month is basically the same model as the one used in the O1-Pro model featured in their new ChatGPT Pro subscription for 10x the price ($200/month, which raised plenty of eyebrows in the developer community); the main difference is that O1-Pro thinks for a lot longer before responding, generating vastly more COT logic tokens, and consuming a far larger amount of inference compute for every response.

Granted "basically" is pulling a lot of weight there, but that was the first time I'd seen anyone speculate either way.

[0] https://youtubetranscriptoptimizer.com/blog/05_the_short_cas...
That was a settlement to a lawsuit for deleting his Facebook accounts. But you knew that already.
It sounds as if all of these were private between the participant and the researchers. I expect you would get very different results if they were public affirmations in front of a community, even just a temporary one for the duration of the game.
DEI is just their latest obsession, since the old ones don't poll as well anymore (gay marriage, woke, CRT, SJW, ..). I don't think there is a bigger rationale behind this than 'we need a wedge issue to rile up the masses'.
I'm not even part of that country but I honestly expected them to take a higher road. Considering they claim to value personal freedom so much.

I guess they didn't stay classy
That why I said "it will", I pay for Kagi, and soon Kagi will be in this list (they need a download count threshold on their app)
I have to wonder, is this (and all the rest) just an attempt to DoS civil rights groups?
That is also why smoke alarms have interconnects, and there should be smoke detectors all over. The fire should be detected and sound an alarm long before it melts wiring.

Though smoke detectors only detect 40-50% of all fires in time to get out (dual sensor detectors can do much better!). A lot better than nothing, but still not very good.
Tesla is a meme stock. Will it crash someday? Sure, but it's not going to be because of the fundamentals. That's not how meme stocks work.
Oh, sweet: both o3-mini low and high support integrated web search. No integrated web search with o1.

I prefer, for philosophical reasons, open weight and open process/science models, but OpenAI has done a very good job at productizing ChatGPT. I also use their 4o-mini API because it is cheap and compares well to using open models on Groq Cloud. I really love running local models with Ollama but the API venders keep the price so low that I understand most people not wanting the hasssle if running Deepseek-R, etc., locally.
Mx

“The x is intended to stand as a wildcard character“
https://en.m.wikipedia.org/wiki/Mx_(title)

Meaning not exactly the same, but closest relevant title.
Yeah. I immediately thought: I wonder if that 56% is in one or two categories and the rest are worse?
Monitoring a Low-Power Wireless Network Based on Smart Mesh IP
Would be fun to ask o3
Probably an excuse to fire people who refuse.
for those interested, updated my o3-mini price chart to compare the cost-intelligence frontier with deepseek: https://x.com/swyx/status/1885432031896887335
This is precisely my point. We define a historical era with things like red lining and lynching but they never stopped. The manipulation of education and words works perfectly: there's no reason to suppress speech.

https://www.washingtonpost.com/nation/2021/08/08/modern-day-...
Absolutely; that's one of the reasons why I applaud this. Those internments were based on race, including to the exclusion of considering American citizenship as you've mentioned. That's not how things should operate, and Trump's EOs legally mandate that people be judged equally and fairly without regard to things like race.
I noticed that it thought that GoatInGrey wrote “openai is no longer relevant.” However, they were just quoting a different user (buyucu) who was the person who first wrote that.
I'm wondering if the real slaves of today had access to the internet if they would object to you diminishing their situation