skysight-inc/HackerNews huggingface dataset:
> It can't prove it isn't q even if q's address was never taken though.

I was imprecise with the wording.

What I meant is that, when q's address is taken and shoved into an integer, the compiler (assuming it gives up upon seeing integer conversion) fails to prove that the address points provably outside q on that path. Thus it needs to assume that the address might, in fact, provably point inside q (i.e. it might be guaranteed to overlap q). Thus it cannot assume q is unmodified.

If q's address was never taken, then the compiler could prove that q's address was unknown on that path, and thus could be anything. Because this proves there could exist an execution where the target doesn't overlap q, then the compiler could assume that an unmodified q is a valid execution. i.e. it could assume q is unmodified.

To put it in perhaps clearer terms: when the address of q is untaken, that means the program's (defined) behavior is completely invariant with respect to (i.e. symmetric w.r.t., i.e. independent of) q's address. Thus it can act as if the target of the write is not q (...because we just established the program's defined behavior is independent of q's address). Whereas it cannot make that assumption when q's address is leaked somewhere.

Does that make sense?
I see this take all the time and it's absurd. You would have every new feature in a piece of software disabled by default? There's no conspiracy to game metrics with this, anything you would seriously consider shipping default-off you would just not ship.
> But that's why I said nazi bar. It doesn't mean everyone.

Doesn't nazi bar refer to a bar full of nazis?
The more re-truths it gets, the truther it is..
https://theonion.com/fbi-uncovers-al-qaeda-plot-to-just-sit-...
First I've heard about issue with bash.

I've been using OhMyZsh in all terminals for years which seems pretty active and auto updates fine whereever I'm using it, e.g in Linux, macOS, Windows/WSL. Zsh might have a slower release cadence but I'm really happy with my with Oh My Zsh setup and don't feel like I'm missing anything.

The one area where I've stopped using bash/shell is in complex shell scripts which I'm now writing in TypeScript and executing with Bun by using: #! /usr/bin/env bun
What politically extreme movement do you imagine originated out of Less Wrong?

Eliezer is very idealistic and attracted many idealistic young people. On one or 2 or 3 occasions, some man with sociopathic or narcissistic tendencies on the periphery of the community around Eliezer has taken advantage of some of the idealist young people (which BTW got these one or 2 or 3 men banned from Less Wrong and banned from in-person gatherings).
I agree, type punning exists, this is why I mentioned `union`, invented to make some type punning easier. An explicit mechanism like that is essential. Doing it implicitly is, to my mind, too dangerous to be beneficial.

Same with undefined behavior. I'm fine with implementation-dependent behavior (like what size is `int`, etc). But modern compilers see UD and feel free to do anything, even removing the code in question. Such things should not be silent, or even a warning. Instead it should be something like `unsafe` sections in Rust: "I know what I'm doing, the usual safety assumptions are irrelevant here, do what I literally say". Doing weird things is sometimes required e.g. to handle memory-mapped hardware registers, etc. But such areas should be clearly delineated, for they are usually few. They also tend to not be portable.

A CPU burning up, hardware malfunctioning, etc is usually a situation where all bets are off. An unanticipated pointer aliasing in a trivial program running on perfectly working hardware is a different case.
A lot of rationalists that go deep are on the autistic spectrum. Their feedback loops are often classic autistic thought traps of people who end up "committing to the bit". Add anxiety to it and you get autistic style rumination loops that go nuts.

Edit: Funny enough, when I wrote "autistic thought traps", I thought I just made it up to describe something, but it is common terminology. An AI summary of what they are:

Autistic people may experience thought traps, which are unhelpful patterns of thinking that can lead to anxiety and stress. These traps can include catastrophizing, all-or-nothing thinking, and perseverative cognition.

Catastrophizing:
Jumping to the worst-case scenario;
Imagining unlikely or improbable scenarios;
Focusing on negative aspects of a situation;
Having difficulty letting go of negative thoughts;

All-or-nothing thinking:
Categorizing people or things as entirely good or bad;
Having a tendency to think in black and white;
> You’re throwing around all these buzzwords like “dictator”

To be clear, I am not the one throwing the word "dictator" around, that would be Curtis Yarvin. I am repeating his words. These people believe they are implementing a dictatorship, and it's not a buzzword, it's their stated goal. I don't even need to exaggerate it, I just need to quote them.

I realize that Trump did in fact campaign on being a dictator, but I also am listening to a lot of people who voted for him, who don't really feel they voted for a dictatorship.

I mean, do you agree with the statement "If Americans want to change their government, they’re going to have to get over their dictator phobia."?
I choose kusto query language
UC Berkeley researchers replicate DeepSeek. for $30
There is no way out of traditional UNIX shells, because most folks don't control the servers, and getting snowflake shells being adopted across the company and customers hardly works.

Also there are many UNIX deployments, where bash still isn't a given, one might be surprised with tsch or ksh.
Games nowadays have a real accessibility issue.

Every new game feels like I need to spend hours learning how it works before I get to having fun, when as a working parent I might only have 30 minutes here or there where I’m able to play. When I get back to a game after a couple of weeks off, I can’t remember what I was doing, or what the controls are. It’s just not fun.

Furthermore, every time I turn my console on, everything needs an update in order to be played. So there’s a 15-20 minute wait to get to any sort of entertainment.

Contrast this to the OG Xbox/PS2 era - I’d turn the console on and be having fun within a minute or two in a game that was easy to understand. I don’t think this was due to a lack of depth in the games either. They generally just seemed to have an “easy to learn, hard to master” aspect to them that doesn’t feel present today.

Obviously this is a huge generalisation. But the cumulative effect is that it’s switched me off gaming completely. Unless something is considered a true masterpiece, I won’t even bother.

My Xbox is packed away for now. I expect the next time I’ll turn it on will be for GTA 6.
I'm sure past presidents have acted less like kings, but certainly past presidents have acted as party leaders.

JFK, Reagan, Clinton, Bush even Obama certainly "lead" their party, in practice if not in title.
>being a doomsayer brought him a lot more more money, power, and worship per unit of effort

I thought someone would bring that up, so I attempted to head it off in the second paragraph of this comment: https://news.ycombinator.com/item?id=42904625

He was already getting enough donations and attention from being an AI booster, enough to pay himself and pay a research team, so why would he suddenly start spouting AI doom before he had any way of knowing that doomsaying would also bring in donations? (There were no AI doomsayers that Eliezer could learn that from when Eliezer started his AI doomsaying: Bill Joy wrote an article in 2000, but never followed it up by asking for donations.)

Actually, my guess is that doomsaying never did bring in as much as AI boosterism: his org is still living off of donations made many years ago by crypto investors and crypto founders, who don't strike me as the doom-fearing type: I suspect they had fond memories of him from his optimistic AI-boosterism days and just didn't read his most recent writings before they donated.
But if the tariffs don’t actually cost the target anything, why retaliate?
> meander from one surrealist allegory to another because additional seasons were ordered

This is how I find many shows made in the last ~20 years, but changing out "from one surrealist allegory to another" for various other things. Heroes, Jericho, Battlestar Galactica, House of Cards, hell even Downton Abbey... I would add the Walking Dead and Game of Thrones but I couldn't get through a season of either. I never saw Lost but I think it's the same kind of thing. I'm going to catch flak for it but I thought the same about Stranger Things.

All of them had a good pilot and/or first season, but then the rest of the seasons.... definitely came afterwards.
Yes, that’s why in the medical field we often discuss the sensitivity/specificity/PPV/NPV of these types of tests, and how to interpret them
It’s an interesting idea for sure. Some drawbacks I can think off:

- bigger resource usage. You will need to maintain a dump of the TLS session AND an easily extractable version

- difficulty of verification. OpenSSL / BoringSSL / etc. will all evolve and say, completely remove support for TLS versions, ciphers, TLS extensions… This might make many dumps unreadable in the future, or requiring the exact same version of a given software to read it. Perhaps adding the decoding binary to the dump would help, but then, you’d get Linux retro-compatibility issues.

- compression issues: new compression algorithms will be discovered and could reduce data usage. You’ll have a hard time doing that since TLS streams will look random to the compression software.

I don’t know. I feel like it’s a bit overkill — what are the incentives for tampering with this kind of data?

Maybe a simpler way of going about it would be to build a separate system that does the « certification » after the data is dumped; combined with multiple orgs actually dumping the data (reproducibility), this should be enough the prove that a dataset is really what it claims to be.
The LoC classifications are, so far as I'm aware, free from distribution restrictions as works of the US government under copyright, and to that extent it's legal to distribute them for free.

However the LoC doesn't provide machine-readable data for free so far as I'm aware.

You can acquire the entire Classification and Subject Headings as PDF files (also WordPerfect (!!!) and MS Word, possibly some other formats), though that needs some pretty complex parsing to convert to a structured data format.

(I've not tried the WP files, though those might be more amenable to conversion.)

As far was "why", presumably some misguided government revenue-generating and/or business-self-interest legislation and/or regulation, e.g., library service providers who offer LoC Class/SH data, who prefer not to have free competition. (I'm speculating, I don't know this for a fact, though it seems fairly likely.)
Same here, and I want the sticky Safari bottom tool bar back! Why is that not configurable?
Full DeepSeek R1 - accessed through the DeepSeek API (their "deepseek-reasoner" model) - got the right answer: https://gist.github.com/simonw/f77be3bbc720e1314235d42593562...
No, watch it.

And speaking of old goodness, The Wire, possibly the best TV series ever. And with the 1080p re-release, I’m going to claim it’s younger than 10 years old.

Edit: oops. 1080p happened in 2014.
https://www.theverge.com/2014/12/28/7457291/the-wire-hd-scre...
A potential issue with that is needing to adjust the distribution of either X or Y, since if X and Y remain uniform, then there will be a lot of points packed into the sides of the circle with higher density than the center column.
This is surely a healthier take than the article's, but isn't there more to work than selfishly pursuing what's best for ourselves? If we pursued our careers because we find the products interesting and their objectives valuable, then shouldn't that be a big part of why we work?

Companies will grow and shrink, layoffs will happen, employees will make bad or unfair decisions, but at the end of the day, companies exist because we are more productive as an organized group than we could be on our own. Of course you have to be strategic, but ultimately the healthiest motivation for working I can think of is to just focus on creating something of value.

The core fallacy of this blog post is that he expects the company to value and appreciate him. He gives positive examples of helping customers and coworkers, but concludes that they were for nothing because he got laid off. But a company is not a person that can affirm or reject you. It's just some abstract way of organizing labor with some CEOs and managers doing their thing. It makes no sense to work -for- the company. Yes work for yourself, but also for your coworkers and the people the company serves.
I’ve learned from experience to check for insects in all packages.

Letters too.

They’re usually not there. And there more often dead than alive.

But from time to time, the critters to crawl out.
Yes. It was argued in court that they couldn't be expected to go into the trash to pull out documents. But they were later. The case was settled on some ground, I can't remember what. Maybe they handed over the documents in the end. This was a decade ago, so I'm hazy on what the final outcome was.

A lot of public bodies will play games like this. It's not even clear to me why they do it. It'll be documents that aren't even controversial that they will resist. Ask them what brand of coffee they buy for the break room and they'll immediately get defensive and find some random exemption to apply. Law enforcement bodies are by far the worst, I think because the public are seen as terminal nuisances all the way down through the bodies.
Which rely on a mix of Objective-C and Swift APIs to actually interact with the platform.
Show HN: Language Learning from YouTube content
Hi!

I'm living as an expat in France and I had a hard time following the news. So
I've been working on Fluentsubs that turns YouTube content into a language learning experience.

YouTube videos up to 20 minutes can be transcribed and listened to. At the same time I made it easy to lookup certain words and automatically add spaced repetition cards using the given context. This means that you can also rehearse with a real voice and not with AI dubs.

This works especially well for the somewhat smaller languages that have a small track on Duolingo, and now are desperately looking for content (Norwegian, Finnish, Swedish, etc.)

I'd love to hear your thoughts and feedback: https://fluentsubs.com
I'd say not only LLM stuggle with these kind of problems, 99% of humans do.
Can I take death?

For me, it's the lack of SQLs expression composability. And yes, I'm well aware of various libraries and plug-ins that purport to yield "composable SQL". It's never gonna' happen at-scale due to decades of investment in query optimizers for the popular relational engines.

Just make peace with all of SQL's warts or go NoSQL and make piece with code-bloat and eventual consistency.
My guess is that they're setting up the wife being more in to the innie than the outie.
It's hard to picture a future where it doesn't last at least two years long.

Trump is not famous for admitting he is wrong. Plus he's probably not wrong in this case, if destabilizing the US has been the goal all along.
Just like any other big corps, for every big corp you might think of, I can provide an anti-Open Source example from one of their business units.

Lets play this game?
Note: the fact that this was actually done through q[0] rather than p[1] isn't really material for the argument, but this was an error I made in the original argumentation (that I can't go back and edit now) so just wanting to make that correction.

If anything, it makes the argument stronger, as the program as written is valid syntactically and semantically rather than relying on undefined behavior.
Does this guy deserve a call-out?

https://en.wikipedia.org/wiki/Mainframe_(G.I._Joe)
past stimulant use? from what I can tell atc doesn't have any requirements on that side unless it was problematic to the point where you needed rehab
here in the UK we had the same burn the -witch+statue- panic and ours were imperial leaders of some sort - but the people they oppressed were oceans away.
They only do so much because the Nazi-grifter is focused on the latest grift
What is "the people" at this point, even? Is there really such a thing as "American people" that can be meaningfully defined? What would be its ideals?
Also, notice that the original study is from 2023.
If someone would be kind enough to make a Trakt list (or similar) of HN favourites for Sonarr and Radarr, it would save a lot of community time.

For research only, obviously.
That crowd needs other platforms when using servers, as Apple has moved itself out of the server market, so at very least BSD/Linux workloads.
So worth noting that the original code actually exhibits no undefined behavior as written (only q is accessed). I erred in my original argument by looking at the "first optimization" being applied.

I'd still argue that the third optimization would be incorrect here, if a program can determine that p+1 = q and replacing q with p+1 is legal, then it obviously knows that those two locations alias (kinda by definition of being able to replace that) and therefore can't apply the 3rd optimization.
we could use this kind of limit for the president too
There are two possible reactions to tariffs that you think will put political pressure on you.

One is to retaliate. You only do this if you think you might win the trade war. Canada retaliated, and Canada thinks it might win the trade war.

The other is to roll over. You only do this if you don't think you'll win the trade war. That's what Columbia did.

Retaliation is a sign that the attack was strong, yes, but it's also a sign that the defence is strong.
The very first household refrigerators had the condensing unit mounted outside.

You can see an example in this 1920s Frigidaire training video (which is also worth watching for other reasons): https://www.youtube.com/watch?v=W-t7DqOAMME
I used to hate SQL when I was a backend engineer. I had difficulties understanding exactly this mental model and tried to avoid writing SQL by using ORMs. At some point I “accidentally” switched to data engineering and was forced to get to grips with SQL. I think that in the meantime I warmed up to a functional programming style which helped me to some extent.
I don't think it's the spironolactone part that was concerning, but that the idea of the new gender identity came from someone else and lots of convincing was required.

It reminds me of a friend I have who is quite severely depressed and has gone through a wide range of sexual identities. Straight, to asexual, then gay, then polyamorously bisexual, and now back to monogamously straight. Each change she excitedly explained to me that she had unlocked some deep secret to her identity and now her whole life made sense. This happened well into her adult years, not adolescence.

Some people seem to have a strong sense of a "missing piece" in their lives, and might be susceptible to latching on to almost any identity or community if it can explain that feeling.

EDIT: Because of the current barrage that trans people are under, I should clarify that I know trans people who have a deep and abiding certainty that their gender is different from what it says on their birth certificate; my above comment is not meant to include those people.
Since Apple has moved themselves out of the server market, folks need to at least be able to target BSD/Linux server workloads, and naturally using Swift as well instead of another language is a desired option.
USDA was told to take down websites mentioning climate change days ago

https://www.theguardian.com/us-news/2025/jan/31/trump-order-...
You mean like the huge ecosystem of libraries for almost anything one can thing of, and IDE tooling, with 30 years of experience in production?
Weirdly, this could be an upside of going with Oracle first. i.e. If my Oracle account gets nuked for a chargeback, it’s much less of a problem than if my Google/MS/Amazon accounts get nuked.
This is a great lineup. Excited for the "SQL replacement" talks. Malloy is currently my favorite because of it's semantic nature. Define all the joins, measures, dimensions up in the source, and use them as needed. Makes for easy writing, and cleaner thinking.

Also, Malloy has done something clever. They embed duckdb into their VSCode extension, so you can easily query (and join) .csv or .parquet files on the fly. I laugh when I think of all the time I spent noodling with pandas code to do simple data cleaning, analysis, or joining. This also means that you can press "." on any github repo and start querying.

I teach MS Business Analytics students - they really enjoyed walking through an analysis of first names given in the USA for the past century. To see it, click to the github repo [1], press ".", install the Malloy extension, click back to the names1.malloynb file and run the queries.

[1]: https://github.com/malloydata/malloy-samples/blob/main/names...
For anyone who is into decentralized protocols: here is a comprehensive list: https://codeberg.org/amjoseph/not-your-keys-not-your-name
You mean, accessing an array member past the declared array bounds and overwriting another variable that happens to be allocated right next to it is what the programmer should have consciously planned to do here?

IMHO, a planned aliasing would look like a union. The declaration we see does not even guarantee that q follows p in the address space, or maybe even that p and q are adjacent.

(I know that int[0] sort of means "no bounds", and I think it should be an error for a stack-allocated variable which ought to have definite bounds.)
I saw it. Thank you!
I've probably been using fish shell [0] for close to 10 years now. When I need POSIX compliance or if I need to run a one-off bash command, I just call bash. It's exceedingly rare.

Browsing through the documentation for Oils, it seems to be organized in a way that's very confusing. When you open the fish shell website it was two clear buttons for Tutorial and Documentation.

[0] https://fishshell.com/
Came here to say the same thing. Bet o3 and Claude 3.5 Opus will crush this task by the end of 2025.
> calling half the country Nazis for not conforming to their suburban aesthetic

> attacking Trump for censorship that hasn't happened

Federal funds are being withheld - illegally, in most cases - from any entity that supports or even acknowledges what the administration calls "radical gender ideology".

It's totalitarian and regressive. Nazi's a fine word for what the leaders of the party are showing themselves to be. I wouldn't call half the country Nazis - unless they chose to stand with the human trash in the White House. Then I wouldn't really have a problem with it.