MurphyA/hacker-news huggingface dataset:
by pizlonator | 2025-08-12 15:16:52+00:00
I think you’re applying a very strange strawman definition to “nonescaping”. It’s certainly not the definition I would pick.

The right definition is probably something like:

- pointers that come out of the outside world (syscalls) are escaped. They are just integers.

- pointers to locals have provenance. They point to an abstract location. It is up to the implementation to decide when the location gets an integer value (is in an actual address) and what that value is. The implementation must do this no later than when the pointer to the local escapes.

- pointer values passed to the outside world (syscalls) escape.

- pointer values stored in escaped memory also escape, transitively

That’s one possible definition that turns the UB into implementation defined behavior. I’m sure there are others
by bell-cot | 2025-08-12 15:16:59+00:00
They're both - though Intel has mostly talked up the power efficiency.

For CPU's, those two types of efficiency are closely related. Omitted transistors (in an E core design) neither take up die space, nor consume power. And CPU cooling systems are ultimately measured by how many watts of heat they can remove from each unit of die area - so fewer watts from a smaller core. (That's at a given temperature difference, etc. But your die will die if any part of it gets too hot. And revving up the CPU cooling fan is generally not preferred.)
by sandworm101 | 2025-08-12 15:17:18+00:00
> can you imagine a bar where people are just supposed to drink and leave?

That is what a "bar" was invented to do. In the old public house, patrons would remain seated and the alcohol was brought to them. A heavy drinker would drink until they couldnt walk, but would still occupy a chair. Then the "bar" was invented. Patrons now come to the alcohol and will generally depart before becoming legless. A single bartender can now dish out far more alcohol per hour than any table server. That didnt exist as a concept until a couple hundred years ago.

Proper sushi "bars" follow the same pattern. You eat solo, often with curtains between individual patrons. You eat fast. Then you leave. You dont hang around for a chat.
by hilbert42 | 2025-08-12 15:17:27+00:00
True, but in the UK (and many other so-called democracies) it's not fellow citizens/voters who impact our lives the most.

Rather, it's vested and sectional interests who control power and or have the most effective means to bring the citizenry around to their way of thinking.

As Chomsky would put it, these few have the means to manufacture consent.
by GeekyBear | 2025-08-12 15:17:33+00:00
Walled gardens are not illegal under existing law. You have to change the law before walled gardens become illegal, as the EU did with the DSA.

Nintendo's various platforms, Microsoft's XBox, and Sony's PlayStation have been perfectly legal walled gardens for decades.

However, claiming to introduce an open platform and then using anticompetitive means to retain control of that "open" platform is plainly illegal under existing law, as Google found with Android and Microsoft found with Windows.
by mikeyouse | 2025-08-12 15:18:06+00:00
That investigation in 2019/2020 came from the Democrat-majority House Judiciary - not from the DOJ. The DOJ was likely investigating in the background but nothing of public substance actually happened until 2024 when they filed suit. And looking at the docket now, every one of the DOJ attorneys who had filed that initial suit in 2024 have left the DOJ.

Several states joined the suit so things very well may continue but the stench of corruption is pretty thick on everything the current DOJ touches.
by righthand | 2025-08-12 15:18:33+00:00
> Not the GP, but obviously as a general rule, Republicans are the hard-on-crime (three strikes, "don't do the crime if you can't do the time") party and Democrats are the soft-on-crime (Soros DAs, "we must address the root causes of crime") party.

This is not true at all. There are plenty of violent, hard on crime moderate Democrats that run these cities. Your bias and romanticization of politics is showing. Again in your comment the description is disingenuous and lacking sources and evidence.

You might want to research the US moderate political beliefs. Many are RINOs and DINOs which pokes a lot of holes in the current culture war. Especially if you spew bs such as, Rs are hard on crime and Ds are soft on crime.

> What are you implying about diversity?

What are you implying about it? I am implying that any time people of diverse cultures and beliefs are packed together in an area like a city, you probably end up with a higher murder rate situation than if those people weren’t packed together into a city. Yes?
by mlinhares | 2025-08-12 15:18:36+00:00
I don't know, i'd understand something like Wraith (which I did see people developing issues, the shadow mechanic is such a terrible thing) but Mage is so, like, straightforward?

Use your mind to control reality, reality fights back with paradox, its cool for a teenager but you read a bit more fantasy and you'll definitely find cooler stuff. But i guess for you to join a cult your mind must stay a teen mind forever.
by TheDong | 2025-08-12 15:18:37+00:00
It's been a real lifesaver, whenever a guest loses the guest key it just ends up back in my mailbox eventually.

Also, like 80% of the hotels I've stayed at in the last year have the hotel name on the keycard, though admittedly they usually don't include the room number.

The remaining 20% had physical keys with keychain fobs that had the room number and often hotel name (typically japanese ryokans do this)
by wtallis | 2025-08-12 15:19:07+00:00
The Type-C DP input appears to be using a DP to LVDS converter, so the FPGA is already accepting LVDS, it just doesn't expose a connector for it. But for interfacing with laptops, these days it's eDP that matters, not LVDS. So the issue is mostly the mismatch between an internal eDP connector vs the board's type-C connector.
by everfrustrated | 2025-08-12 15:19:08+00:00
Enterprise customers, remember to email your sales rep and ask for them to report on their contracted uptime with you that you are allowed to do as per contract. They wont do this unless you ask hoping you don't notice the outages. It creates lots of internal pain - they have no automation internally for reporting on this.

This is the only way anything will ever change. GitHub is _easily_ the most unreliable SaaS product. There's not a week whereby we aren't affected by an outage. Their reputation is mud.
by Pet_Ant | 2025-08-12 15:20:34+00:00
> Ubuntu's decision is a dumb one. This should run Fedora or Debian just fine.

You either pull the future forward, or drag the past. Because of the small market, they decided to forgo generating legacy concerns before they even started seeing mainstream adoption.

I like the decision (they are choosing a better foundation) but I can see the merits either way.
by mikeyouse | 2025-08-12 15:20:41+00:00
> Cook presented Trump with an engraved piece of glass designed by a former Marine Corps corporal who works at Apple. The base of the glass plaque was made of 24 karat gold, Cook said, as he set it up on the Resolute Desk in front of Trump. “You’ve been a great advocate for American innovation and manufacturing,” Cook told Trump. Apple, Cook said, is “going to keep making investments right here in America and we’re going to keep hiring in America.”
by gambiting | 2025-08-12 15:20:44+00:00
I feel like we're just going to keep moving goalposts further and further and further. Home ownership is the dream of a lot of people - being able to buy a house outright or just put a deposit down is life changing for some people. I assume for a lot of people on HN it really is that 150k is nice but not life changing - I appreciate that there are a lot of very well paid people here.

As for worry about housing - when renting the landlord can kick you out almost at any time - you live in a constant fear that due to someone's whim you might have to move. If you own a house(even with a mortgage) that is generally lot less likely to happen. But honestly, I don't know why I'm explaining this.
by dbushell | 2025-08-12 15:20:53+00:00
> Delete old emails and pictures as data centres require vast amounts of water to cool their systems.

Also the UK government:

> Taken together, the 50 measures will make the UK irresistible to AI firms looking to start, scale, or grow their business. It builds on recent progress in AI that saw £25 billion of new investment in data centres announced since the government took office last July.

https://www.gov.uk/government/news/prime-minister-sets-out-b...
by AIPedant | 2025-08-12 15:21:09+00:00
I think I found the problem!

The rationalist community was drawn together by AI researcher Eliezer Yudkowsky’s blog post series The Sequences, a set of essays about how to think more rationally

I actually don't mind Yudkowski as an individual - I think he is almost always wrong and undeservedly arrogant, but mostly sincere. Yet treating him as an AI researcher and serious philosopher (as opposed to a sci-fi essayist and self-help writer) is the kind of slippery foundation that less scrupulous people can build cults from. (See also Maharishi Mahesh Yogi and related trends - often it is just a bit of spiritual goofiness as with David Lynch, sometimes you get a Charles Manson.)
by lmkg | 2025-08-12 15:21:43+00:00
> If it only exists in some hardware, how should the standard deal with that?

Generally seems to me the C standard makes things like that UB. Signed integer overflow, for example. Implemented as wrapping two's-complement on modern architectures, defined as such in many modern languages, but UB in C due to ongoing support for niche architectures.

The issues around pointer provenance are inherent to the C abstract machine. It's a much more immediate show-stopper on architectures that don't have a flat address space, and the C abstract machine doesn't assume a flat address space because it supports architecture where that's not true. My understanding is that reflects some oddball historical architectures that aren't relevant anymore, nowadays that includes CHERI.
by lisbbb | 2025-08-12 15:21:47+00:00
Github has become too mission critical for many companies--their pipelines and processes often rely on Github workflows that may or may not be working each day. I was recently at a company that was dependent on Github workflows to make changes to their CDN and we had to come up with a "github is down" strategy for their team because it had become a consideration.

In general, git itself has become a bloated product. There's like 2-3 ways to do everything now and devs now argue about which is the purest, "right" way and it's annoying to deal with opinions of egotistical people when you're just trying to get work done.
by Workaccount2 | 2025-08-12 15:22:00+00:00
The craziest part of this is:

Apple wasn't a monopoly because they didn't share their platform with anyone

The judge in the Google case said that Android couldn't be compared to iOS because iOS is only available to Apple products.

So while I can kind of squint and see this, the obvious signal the court is sending is

"If you don't want to be monopolistic, don't open your platform to anyone".
by ryandrake | 2025-08-12 15:22:05+00:00
> Finding the line between “good” and “bad” people is pretty easy

Who is going to draw that line? You? Should we just divide the population up now and make the bad people wear a little badge? People are complex and not intrinsically good or intrinsically bad. Just the idea that there are wholly good people and wholly bad people is kind of disgusting, and I would not want someone in charge who believed in this wild oversimplification. There are good people who commit crimes, and bad people who don't. Let's not be so quick to "easily" judge and label them.
by Insanity | 2025-08-12 15:22:07+00:00
Someone explain to me why this matters please. The emails (passively) stored on HDD/SSDs in a data centre wouldn't be the main contributor to heat generation and the needs for cooling.

What would probably increase heat and the need for cooling more meaningfully is actual data transfer and processing (i.e, reading and sending emails). But even so, compared to all the other internet activities (streaming video, gaming, AWS/Azure/GCP).. it's probably a drop in the bucket.
by freehorse | 2025-08-12 15:22:13+00:00
The fact that it succeeds does not mean that you get the money back (eg the price of monero could drop if that happens). You may also have miscalculated some parameters in all this or something unexpected happens (where human factor is involved). So there should always be risk involved imo. Otherwise I agree, even in a probability 1 success situation this would still not be called "cheap".
by jsmith45 | 2025-08-12 15:22:28+00:00
The issue being that if the concept of Parliamentary supremacy as currently understood is maintained then current Parliament cannot bind future Parliament.

The best that Parliament can do under the current definition is things like passing an interpretation law that includes various rules, and which permit courts to strike down other laws that violate these rules, unless said other law amends this one. Then Parliament could propose rules not allowing the government to propose such legislation unless (some conditions), etc. This would be with the intention of future Parliments keeping the rule.

That is all technically fine as long as future Parliament can simply drop the rule by majority vote, and can modify the law by sinple majority vote. But that means this is not really binding, just a relatively modern tradition.

If they tried anyway, a future Parliament (led by a different government) would likely just ignore it citing Parliamentary supremacy, and the courts would almost certainly concur if challenges arise.
by saasapologist | 2025-08-12 15:22:42+00:00
I think we've strayed too far from the Aristotelian dynamics of the self.

Outside of sexuality and the proclivities of their leaders, emphasis on physical domination of the self is lacking. The brain runs wild, the spirit remains aimless.

In the Bay, the difference between the somewhat well-adjusted "rationalists" and those very much "in the mush" is whether or not someone tells you they're in SF or "on the Berkeley side of things"
by Balgair | 2025-08-12 15:22:48+00:00
Hey, thanks for the inspiration de look here.

I'm strangely bullish on Nigeria. The population stats and the work y'all are doing is just amazing to me. The EkoAltantic project is so big but under the radar that I love it. I keep trying to tell my management that we need to invest in West Africa today to build up brand loyalty now.

What are you thoughts on Nigeria's future in the next 50 years or so?
by kazinator | 2025-08-12 15:23:07+00:00
> What is the bounds of our program?

N3220: 5.1.1.1 Program Structure

A C program is not required to be translated in its entirety at the same time. The text of the program is kept in units called source files, (or preprocessing files) in this document. A source file together with all the headers and source files included via the preprocessing directive #include is known as a preprocessing translation unit. After preprocessing, a preprocessing translation unit is called a translation unit. Previously translated translation units may be preserved individually or in libraries. The separate translation units of a program communicate by (for example) calls to functions whose identifiers have external linkage, manipulation of objects whose identifiers have external linkage, or manipulation of data files. Translation units may be separately translated and then later linked to produce an executable program.

> Couldn't it be the set {main.c, winkle.h}

No; in this discussion it is important that <winkle.h> is understood not to be part of the program; no such header is among the files presented for translation, linking and execution. Thus, if the implementation doesn't resolve #include <winkle.h> we get the uninteresting situation that a constraint is violated.

Let's focus on the situation where it so happens that #include <winkle.h> does resolve to something in the implementation.
by gottorf | 2025-08-12 15:23:17+00:00
> Crime is a problem, but taken within context it isn't anywhere near as bad as Baltimore or Philadelphia.

Baltimore and Philly are worse, yes. That's little reprieve for the average Joe living in DC surrounded by disorder. DC, being exclusively federal territory, has the unique legal situation where the president could deploy the National Guard for policing.

> You keep citing the homicide rate but do not consider the geography and constraints of the capital region, i.e., some of the crime and violent offenders are from non-residents. You can't simply compare it to a city like London or Paris for many reasons.

I don't understand your line of reasoning. Do you care to clarify? Neither London, nor Paris, nor any other city in this country are islands where entry and exit are controlled. Some American cities with really bad crime, like St. Louis or Philly, abut state lines and likely get a lot of cross-state criminal traffic as well.
by gethly | 2025-08-12 15:23:40+00:00
I've always used Bitbucket as it allows private repositories, so Github was never something I wanted to use. But it is one of the most important websites in the world for tech people and should be run better than this, especially being now owned by the largest tech company in the world. On the other hand, it just shows that centralisation, or over-reliance on one thing or service, is always the worst idea. But people are very lazy and so we keep running in these circles ad infinitum.
by lm28469 | 2025-08-12 15:23:52+00:00
You're talking about net gains in "coding tasks" productivity, I'm talking in productivity gain across the board.

My company deals with an insane amount of customers who use chatgpt to pre-debug their problems before coming to our support. Once they contact our support they regurgitate llm generated BS to our support engineers thinking they're going to speed up the process, the only thing they're doing is generating noise that slows everyone down because chatgpt has absolutely no clue about our product and keeps sending them on wild goose chases. Sometimes they even lie pretending "a colleague" steered them in this or that direction while it's 100% obvious the whole thing was hallucinate and even written by an llm.

I can't tell you how frustrating it is to read a 10 min long customer email just to realise it's just an llm hallucinating probable causes for a bug that takes 2 sentences to describe.
by JumpCrisscross | 2025-08-12 15:23:58+00:00
> What differentiates a person who’s doing a stunt to raise money for a charitable cause and a person who is “using sick kids as cover” for their behavior?

One, coördination. Did the charity know about this fundraiser?

Two, long-term orientation. Is this a one-off to gain followers? Or is he consistently giving to charity?

Three, outcome. How much did he raise and donate?

None of these bear favourably for this kid. He’s an influencer. It’s nice he’s making people think about charity. But he’s not showing any signs of giving a shit about the effects of his actions.
by gambiting | 2025-08-12 15:24:10+00:00
>> but the rule is not widely followed or enforced and where it is the pubs are empty far more than the ones that welcome customers.

I mean, I went to one in SOHO and it was packed and indeed, no one was on their phone and people were being actively told off if they used a phone. That was nice. The fact that I paid £9 for a pint was much less nice though.
by Macha | 2025-08-12 15:24:15+00:00
Ah yes, the “Center-left” party that wants to:

- eliminate taxes on farm inheritance and private education

- reduce benefits spending by stricter eligibility criteria

- reduce immigration by making legal immigration more onerous while also blocking asylum

Per the top policies on their prospectus: https://www.conservatives.com/our-policy-prospectus

I’m surprised anti-trans stuff isn’t in there with how much airtime they’ve given it, but I guess they feel there’s not enough distance between them and Starmer’s Labour.
by davorak | 2025-08-12 15:24:19+00:00
Makes me think of that saying that great artists steal, so repurposed for cult founders: "Good cult founders copy, great cult founders steal"

I do not think this cult dogma is any more out there than other cult dogma I have heard, but the above quote makes me think it is easier to found cults in modern day in someways since you can steal other complex world building from numerous sources rather building yourself and keeping everything straight.
by TrackerFF | 2025-08-12 15:24:30+00:00
Cult leaders tend to be narcissists.

Narcissists tend to believe that they are always right, no mater what the topic is, or how knowledgeable they are. This makes them speak with confidence and conviction.

Some people are very drawn to confident people.

If the cult leader has other mental health issues, it can/will seep into their rhetoric. Combine that with unwavering support from loyal followers that will take everything they say as gospel...

That's about it.
by piva00 | 2025-08-12 15:24:33+00:00
I've met a fair share of people in the burner community, the vast majority I met are lovely folks who really enjoy the process of bringing some weird big idea into reality, working hard on the builds, learning stuff, and having a good time with others for months to showcase their creations at some event.

On the other hand, there's a whole other side of a few nutjobs who really behave like cult leaders, they believe their own bullshit and over time manage to find in this community a lot of "followers", since one of the foundational aspects is radical acceptance it becomes very easy to be nutty and not questioned (unless you do something egregious).
by Ifkaluva | 2025-08-12 15:25:07+00:00
That is the definition of “rationalism” as proposed by philosophers like Descartes and Kant, but I don’t think that is an accurate representation of the type of “rationalism” this article describes.

This article describes “rationalism” as described in LessWrong and the sequences by Eliezer Yudkowsky. A good amount of it based on empirical findings from psychology behavior science. It’s called “rationalism” because it seeks to correct common reasoning heuristics that are purported to lead to incorrect reasoning, not in contrast to empiricism.
by snoman | 2025-08-12 15:25:37+00:00
There is some information added, depending on the vector db and context (some systems will add permissions related metadata so that the LLM won’t pull chunks that the user didn’t have access to).

The vector itself is pretty large (512 dimensions).

The chunks have an overlap (iirc 30% but someone feel free to correct me).

I don’t _think_ the data is typically compressed (not sure why but I assume performance).
by tannhaeuser | 2025-08-12 15:25:40+00:00
> I tried a version that was supposed to be specifically for SWI, but it didn't work

Current SWI doesn't work with SWI's own aleph module (derived from [2]) anymore because Aleph uses false :- ... for encoding negative examples when false/0 is a static builtin in ISO/IEC 13211-1 (2012) as mentioning briefly in [1]. It's an unfortunate choice to break existing code by introducing pointless trivial builtins with such generic names and I officially "complained" about this. It might also break other Prolog software such as Stickel et. al.'s PTTP. The original ISO spec, for similar reasons, didn't define consult/1 or assert/1. Quantum Prolog deliberarely didn't follow ISO in this respect and doesn't define false as builtin. For SWI, you can run an old pre-ISO 2012 version (cf [1]) as a workaround.

I should really put the ISO port of Aleph on a public repo one of these days. I was always intending to do that after the site/article went online.

[1]: https://quantumprolog.sgml.net/bioinformatics-demo/part1.htm...

[2]: https://github.com/friguzzi/aleph