skysight-inc/HackerNews huggingface dataset:
Thanks, I wasn't entirely sure how it worked. I kept seeing instructions online for which buttons to press to do a remote start from the keyfob but nothing mentioned the required add-ons to make it work. I ended up just paying for the Starlink subscription at least for the cold months. I was hoping my Ascent would do an all windows roll down from the fob like some other cars I've had in the past but looks like it doesn't support that either. I plan to have this car for a long time so I may just invest in the remote start package or a competing product just to have the air running prior to getting in. Black exterior and interior was our only option so I'm not excited about summer.
First ship with full-scale onboard carbon capture ready for pilot testing
I think the crash was at 8:22 or 8:21, you can hear sudden commotion at that time.
I recommend the [nRF PPK II](https://www.nordicsemi.com/Products/Development-hardware/Pow...), it's (relatively) affordable and most likely would dl the job just fine for you
Of course the Vatican took many of their opinions from the Torah! The Pentateuch is holy to Christians as well as Jews. (Although the comment you replied to says they took this opinion via Jesus, and was quoting a book of the New Testament often called Matthew.)
> POSSE is the way to go. If you don’t promote your work, no one else will.

I agree but when I tried this a few weeks ago, it looked like a lot of work to publish on my own blog and then replicate everywhere else. I didn't find a good tool and got lost trying out fediverse stuff.
AI remains a pile of transistors, no matter how convincing their output is, just like brains remain a pile of neurons, until there is a binding principle that rules them all. This binding principle is what gives us the inner moral compass. Greeks called it monad. Christians called it the spirit or the divine spark. These sparks can't be created except by the God himself, in his own image. Some old monads attempted to create these sparks by other means, to create life from matter in other words, but didn't succeed, although they've created a great variety of unholy quasi-lifeforms.
Bans and advertising and showing smoking in movies did that.
You mean, like the fastapi documentation used to be?

https://github.com/fastapi/fastapi/issues/3273
Correct. But that’s not what was promised in the brochure, hence the gnashing of teeth and the wailing in sackcloth every time anyone sits down and tries to reason out what Free Limitless Fusion Power would actually look like as an actual industry on actual Earth.
Your Private Wireguard Network from Scratch
Chinese chipmaker YMTC begins shipping 5th Gen 3D TLC NAND
Yes, re-read, that is my exact point.
This is exactly what I do: I put my test file outside the git repo's tree. This does not introduce any complications to testing and is minimally annoying.
sorry, I didn't mean to sound dismissive of the problem, I just believe it is a problem that having more actively developed type checkers will make better rather than worse. with my type checker developer hat on, the end goal is not to have a single type checker and have the implementation be the spec, it's to have an evolving set of standards that (ideally) can express the patterns people want from python, and then have the type checkers work with those standards.

pep695 is a good example of how the spec is still evolving to try and make the explicit type system work better for python developers. dataclass transforms are perhaps an even better example - that's a pattern that is very specific to python and based on real world, non-typing-related ways in which people use the language, and which they wanted the annotation system to cover, and there was a collaborative effort to develop a way to do it.

also note that there are escape hatches like error suppression (e.g. if pyright likes some code but mypy wrongly thinks it's a type error, you can add a comment so that mypy ignores that one error while continuing to have pyright check it) and typing.cast (which is a directive all the type checkers honour, to say "trust me, this variable has this particular type whether or not you can verify it statically").

another thing to consider is that having type checking work interactively in the IDE is something a lot of people want, and pyright was developed specifically to support that feature. mypy, pytype, and pyre were all architected as batch type checkers, i.e. they need to run on a complete program as a standalone process, and it would have been anywhere from difficult to impossible to get them to support the type of incremental checking an IDE requires.
Our Roads Aren't Built for Wilder Weather Driven by Climate Change
I currently think status feed (WhatsApp, RSS) and discussions group (Messaging Apps, IRC, forums, Email threads) is the best way to connect socially on the web. Any algorithms that includes personalization is inherently selfish.

One great thing that I like to find is interest or curation lists. Like themed books, favorite music albums, software one uses,… Better than any recommendation engine.
> That is not what is being discussed and you know it.

That is exactly what is being discussed. Why would the topic arbitrarily change? In case you have forgotten, my literal question/assertion was:

"How would you forget, exactly? Your tests are going to blow in your face should you ever leave out an entire feature from the implementation."

Go on, show us: How would you forget?

> Provide an example backing up your claim regarding pattern matching + union types:

Uh... Okay. Sure? Strange request, but here is an example in CrabLang that meets your ask:

let result = foo();
match result {
Ok(value) => println!("Result: {}", value),
}

There you go. I forgot to check the error.

Like I said in the full comment that you quoted from, you'll soon recognize your forgetfulness once you apply your checks and balances, but for that brief moment in between it is possible to forget. It must be that way else it would be impossible to input the program. If that's what you think we're talking about... Why? And let me ask again like I did in the comment you quoted from: What is the significance of that? If you had carried that quote through you'd also see: "That's not a real problem." I stand by that. Why not you?
I know it doesn't always work out, but it definitely helps to keep current, rather than performing a massive update every X years. Most of the time the changes are minimal, but they add up over several major revisions.

Of course, every now and then something like eslint will completely break every project in existence by changing the configuration format, then you have to wait for all of the plugins to be updated (if ever), then hope all your linting rules are still valid... yeah I'm still bitter about that one.
Analysis: America's gulag': Trump's Guantánamo ploy tars migrants as terrorists
3 decades. me too. since 97. maybe uber driver was a bad example. what about having a work model similar to a lawyer? whereby one can specialize in creating certain types of business or personal apps at a high hourly rate ?
> during the IE5/IE6 era

During that era was a peak of browser innovation. IE5 and IE6 contributed a lot of things to web standards. They contributed a bunch of things that web standards eventually rejected too, but that was the risk of innovation at the time.

It was the period between IE6's last feature update and IE7's first release where Microsoft declared the browser wars "finished" and disbanded the IE team entirely that was the Darkest Age. So about 2001-2006 were the darkest few years.

It certainly had repercussions until around 2010, but the worst "sabotages" were done and gone by then. "Legacy" problems.
Yeah, agreed. The essay I linked to adds the cost of choice for a medium against a potential reward too.
> The same - your “revealed preference” is different from your “stated preference”.

Go on. How do you interpret that? What does that tell you?
A Rust procedural language handler for PostgreSQL
It's going to depend on the implementation and the system. The implementation will probably end up needing to define a time zone provider, which will ultimately be provided by host/system hooks provided to Temporal from the engine implementation.
The ease and availability of asylum immigration has ruined the culture of many countries worldwide. People used to die fighting for the value system they wanted to create in their country, and now they just flee, and the end result is that many countries have turned into despotic and corrupt regimes. Meanwhile, those who gain asylum are often indoctrinated by agendas which make them resentful of the very countries protecting them. I understand the fear impulse, and the need to protect yourself and your loved ones. But I also know I am not someone who would like to flee.

That said, I think cooler heads need to prevail out of all of this because it seems to me that there is a lot of effort being put into using cultural heterogeneity for destabilizing democratic societies. Democracies need to devise safeguards against such machinations, and relying simply on race or religion will not be enough.
I would have loved to seen their expression …

That's like an actor breaking character during a play and it pops the bubble of reality the audience has been living in.
Year of the Snake Google Game
I use AI a lot these days, and the funny thing is that it feels much faster, but looking back, new features seem to take roughly the same amount of time, and the number of bugs appears to be about equal. The main time-consuming issue seems to be finding the right balance between providing too little and too much information. Give the AI too little reference data, and it begins deleting what it thinks is unnecessary, or it simply starts overlooking things; give it too much, and it chokes. I do spend less time writing or copying and pasting boilerplate code, but in the end, double-checking and debugging AI-generated code tends to equal it out.
I also received recertified (sold as such and with proper labels and warranty) WD drives and more concerning:

4 fake WD drives that had failed SMART long self test with surface read anomalies and looked very banged up and used (scratches, stripped mounting holes).
The SMART attributes had been reflashed to look brand new and the drives cleaned with isopropyl alcohol or something similar and relabeled with not too bad looking fake labels using OEM or old serial numbers. The antistatic bags were also not genuine WD. The disks contained a test pattern unlike brand new WD disk which usually only have 00s.

This is not a new thing. I think I bought them off Amazon marketplace in 2023. Returns for full refund were not an issue however once I sent photos and SMART errors.
> Secondly EV sales have fallen worldwide

EV sales are up 25% worldwide in 2024.
I’d say movies.
My comment actually doesn't say anything positive about the billions of dollars pouring into AI, etc.

It's not that humanity has some obligation to create AI. It's that humanity has an obligation not to create an AI whose wellbeing we ignore because it's "not a real person"
I recommend learning JavaScript, not a framework to begin with, and especially not something that smurfs with the DOM paradigm as much as React does. Learning React will make you a React developer, not a Front End developer.

Once you have a firm grasp of the DOM and browser quirks and have figured out how to write an efficient {insert simple/intermediate component here}, move on to custom HTML components using LitHTML or Svelte or some such. Once you grok what's going on there, you're ready for any framework you want :)
Yeah, I've been feeling this nostalgia for the present for most of a decade. I looked around me and saw people who had no idea they were already dead, in the same way as someone with late-diagnosed pancreatic cancer. I know that everything around me is about to be swept away by irresistible forces, that afterwards it will seem like it lasted only an eyeblink, and that I will miss it, even though I don't know what will come after it.
Yeah, but actually people do talk about the same topics like Elon, Trump, etc. It’s just not the same view anymore, but the same issues.
> The problem I see is the controller asked the Helicopter if they had the CRJ in sight, but he never said WHERE HE WAS OR WHAT HE WAS DOING! The controller should have told the Helicopter that the CRJ was circling to RWY 33. The helicopter said he had him in sight, but he really had the Jet in sight that was landing on RWY 1.

I think you're only listening to a selected part of the recording.

> Tower: "PAT25 traffic just south of (unclear) bridge is a CRJ at 1,200ft turning for Runway 33"

> PAT25: PAT25 has the Traffic in sight, request visual separation

> Tower: Visual separation approved.

Then a minute later he asks again if PAT25 has the CRJ in sight, which I think is what you're referring to.
Singapore lifted its moratorium on new DCs in 2022 [1], and since then has been expanding its DC capacity aggressively [2].

You're also right that it could be a reporting quirk.

I don't think we can say definitively that Chinese companies didn't use Singapore as a conduit for purchasing advanced GPUs, I haven't come across any evidence for that. (If anyone knows otherwise, please correct me.)

[1] https://www.ashurst.com/en/insights/lessons-from-singapore-d...
[2] https://themalaysianreserve.com/2025/01/24/singapore-data-ce...
Strong disagree on Medium, Substack, etc. There are very famous and popular blogs on both with tons of followers. My sister asked for a blog, I steered her to substack. Zero effort, just works.

> Your readers deserve better. Don’t waste their time.

Nothing about substack wastes readers time.

Conversely, what wastes their time is your site being down or hacked and what wastes your time is maintaining your blog's infra, updating because vulnerabilities, and/or using bad UIs like blogging from github (maybe passable for nerds, not for non-nerds)

A blog isn't about the tech you use. It's about the writing. Worrying about tech is not going to add a single reader to your blog.
So many miracles… seems statistically improbable no?
They released codestral on Jan 13. What do you mean by “finally”?
I had never heard of the term "voluntary exit" until I heard that the Trump administration is going to do that for federal workers. Is this going to be the new normal?

> “to be deeply committed to our mission and focused on building great products, with speed and efficiency"

I hate this language. It sounds culty. Why can't a job just be a job? Why does everything have to have a god damn "mission"?
Structural Engineering Matrices from Boeing
You took a major leap. No one made any such argument.
Amble: Simple Public Calendars
I really appreciate your explanation regarding the crud factor. It adds a lot of intuition.

Out of curiosity, what is your perspective on gnotobiotic systems? I distinctly recall an example of a gnotobiotic mouse that, upon being provided a microbial sample from an obese mouse, started to have substantial increases in body fat despite a simultaneous reduction in feed. Would that type of experimental approach still run into the statistical difficulties you mentioned?
Amble makes public calendars easy. Create your calendar, add events, and you're live on the internet. Put your link in your bios across socials. Users don't need an account to see your calendar, unlike Instagram. Users can also subscribe to your calendar on their favorite calendar app. I'm happy to hear feedback and feature suggestions.

Thanks,
Joe
>And AI--especially LLMs--are notoriously bad at the "correct" part of translation.

Can't you just compare the compiled binaries to see if they are the same? Is the issue that you don't have the full toolchain so there are different outputs from the two compilers? Thinking about it though you could probably figure out which compiler was used using those same differences though..
The fact that this comment is DOWNVOTED despite being literally 1000% true is evidence that HN is full of loonies.
Because DCA is right beside a couple of military bases, the headquarters of the US military, and the political capital of the US.

These helicopters are always going up and down the Potomac all the time.
The interesting thing about reading a newspaper or book, though, is that it is the same for everyone. So you can feel a sort of connection to others who are or have also done this. I think this is also a good explanation for why it's so easy for people to bond over things like sports.

Same for Hacker News and older bulletin board style forums: it's largely the same experience for everyone (at least at any given moment). When you load the frontpage, it's roughly the same stories at the top for everyone (sans whatever you've manually hidden, of course.)

Social media isn't completely different, but it sure is weirder, especially with algorithmic feeds. I don't use social media anymore, but sometimes when I would talk with friends it would become apparent that the posts that were surfacing for them were completely different than the ones surfacing for me, which gave us very different ideas of what the general feeling on some issues was. I think this probably amplifies the living shit out of false pluralities.
Now that your comment is in their training data, it's a high likelihood output!
Actually, the planes from both crashes were Bombardier, a Canadian company. The first one means operated by a US company and the second one refers to a crash in the US.
isn't that because a lot of the predictions are now taken for granted and it's no longer interesting?

only a few days ago somebody posted a plot of how much of their code for an AI helper is written by AI and I think it reached 80% or something.

We're not quite at the point where deepseek comes up with the next version of deepseek, but as more intelligence gets distilled into smaller models, we can expect more and more people to start trying to build a better AI and eventually we should expect take off to happen.
I switched away from full solid copper floods due to this. (Even with nice soldering equipment.) I still use full size floods but they are more like basket-weave patterns, probably 50% copper. I rotate the pattern on my second inner plane.
Show HN: Opennote – Agentic and text-to-animation educational tools for students
Hey HN, I'm Rishi, one of the two developers at Opennote. Opennote is an edtech platform built for interactivity, with robust text-to-animation generation, Desmos and whiteboard agent integrations, and context-awareness throughout to offer the most personalized experience possible.
As second-year students, we've already had our fair share of tough classes - and limited resources, lectures with thousands of students, and a small instructional team to orchestrate it all doesn't exactly help.

For students trying to juggle classes and apply complex content, it becomes difficult to grasp the content in a way that they understand. So we interviewed students and professors to get an idea of how we could make higher education more personalized and interactive.

We started Opennote in early 2024, as first-years competing at a hackathon and were able to develop an MVP in about 40 hours. We got a lot of great feedback and ran an open beta run a couple months later just to test the waters, but things didn't feel right quite yet. Now, we've rebuilt the platform from the ground up and went all in on building a robust, interactive suite that students really value.

Education demands innovation, and Opennote is our solution. We'd love to hear your feedback!
It's like we're re-learning something humans have intuitively understood since humans have existed: a cohesive community needs to be human-scaled and has standards it enforces.

Online "communities" often fail at both. They allow any rando to show up (or even encourage them to do so via algorithms), and there are no barriers to entry or consequences for leaving.
Rust firmware and Tock OS on Microsoft Pluton x86 security processor
Russian Oligarch Held Stake in Musk's SpaceX Through Citi Trust While Sanctioned
True, but the point is that they'd have a firm moral foundation for that opinion, as opposed to the secular position, which will be dubious either way, letting it play out in a culture war.
Is Postgres becoming the new SQL standard? You have the ANSI SQL, but it does not cover a lot of stuff, and everyone has their own variances, and extra features.
But, all new DBs like YugabyteDB and Aurora DSQL for ditributed, pg_duckdb and pg_mooncake for OLAP, FerretDB, and Azure DocumentDB for MongoDB are either built on top of Postgres, or are Postgres compatible!
About 15 years ago, as CVS Pharmacy expanded into their new, stand-alone properties (in our region), Walgreen's Pharmacy started appearing across the street almost instantaneously. I've seen it happen at 4 separate locations so most certainly not coincidence -- so I believe it :)
So which services require social media or any BigTech company?
Do you know how many tokens per second you are getting? I have a similar laptop that I can test on later but if you have that info handy let me know!
As mentioned a couple posts up, it would certainly help finally stop a lot of web applications (generally accidentally) bundling a bonus copy of the entire IANA TZ DB via Moment.js including it all by default "just in case". Cutting a lot of poor tree shaking out of the web by truly and finally "killing" Moment.js will be huge in download sizes if nothing else.
Strongly encourage people to hear a big pipe organ at least once, like the Wanamaker in Philadelphia. Church ones are usually great because of the acoustics. It is a visceral pleasure like no other. No matter how good your home sound system is, it won’t compare to the chest-rattling and wholly immersive in-person experience.
Thanks!

JavaScript was my first programming language years ago. I haven't written much JS ever since, but I at least remember the mere basics. That should probably help.

I'm much less sure about having a grasp of the DOM model though
Is it just me or does it seem like the Catholic church might have a better grasp on technology than the US government?

46. While responsibility for the ethical use of AI systems starts with those who develop, produce, manage, and oversee such systems, it is also shared by those who use them. As Pope Francis noted, the machine “makes a technical choice among several possibilities based either on well-defined criteria or on statistical inferences. Human beings, however, not only choose, but in their hearts are capable of deciding.”[92] Those who use AI to accomplish a task and follow its results create a context in which they are ultimately responsible for the power they have delegated. Therefore, insofar as AI can assist humans in making decisions, the algorithms that govern it should be trustworthy, secure, robust enough to handle inconsistencies, and transparent in their operation to mitigate biases and unintended side effects.[93] Regulatory frameworks should ensure that all legal entities remain accountable for the use of AI and all its consequences, with appropriate safeguards for transparency, privacy, and accountability.[94] Moreover, those using AI should be careful not to become overly dependent on it for their decision-making, a trend that increases contemporary society’s already high reliance on technology.

That is, "an AI told me so" should never be a valid excuse for anything.

I also really liked:

62. In light of the above, it is clear why misrepresenting AI as a person should always be avoided; doing so for fraudulent purposes is a grave ethical violation that could erode social trust. Similarly, using AI to deceive in other contexts—such as in education or in human relationships, including the sphere of sexuality—is also to be considered immoral and requires careful oversight to prevent harm, maintain transparency, and ensure the dignity of all people.[124]

I think it should be a legal requirement that AI identifies itself as such given certain key-phrases and that there's no way to prompt engineer it out.

Really interesting read overall, thanks for sharing.