skysight-inc/HackerNews huggingface dataset:
They say that they can prove the absence of classes of bugs that make up memory safety:

* out-of-bounds array indexing,

* erroneous pointer manipulation and dereferencing (NULL, uninitialized and dangling pointers),

* read access to uninitialized variables,

NIST gave them a glowing review:

https://nvlpubs.nist.gov/nistpubs/ir/2020/NIST.IR.8304.pdf

It is possible to make sound static analyzers that can prove code to be free from memory safety bugs, but it is difficult and you need to implement checks that either complain or mathematically prove the absence of each class to do it.

These tools have been used for years in the aviation and nuclear industries, but almost nobody outside of those industries knows anything about them. If others had broader awareness of the existence of these tools, we could get open source equivalents and memory safety issues would be a thing of the past in C/C++ code.

Finally, your 1980s remark reveals enormous ignorance of what the field of formal methods has produced. Astree was not available in the 1980s. It took over 40 years of work to make and only became available about 20 years ago. C++ support took much longer for it to add, with it only adding it around 6 years ago if my recollection of the public documentation is correct. Some other things in this space are the Polyspace Code Prover and Frama-C.
Not if you have a battery system attached
Philanthropy by the Numbers – Measurable Impact and Its Civic Discontents
They will reach put to try and help sell you more ad spend. If that was a scam its very good cause they set up my adwords campaign for me.
A 3D-printed part + two washers + battery case. DIY approach.
https://www.printables.com/model/383741-cr2032-battery-adapt...
Flame retardant bedware is called "the bedware your great grandparents had".

Problem is, in capitalism's endless march towards ... well, who knows what, precisely ... companies began to make bedware out of synthetic fabric because it was (a) cheaper to make (b) allowing lower retail prices and potentially (c) higher profit margins. There's also some sense in which synthetic fabrics can be longer lived than non-synthetics.

Once this stuff was out in people's lives, we realized that there was (at least) one downside: these fabrics also ignite much more easily than non-synthetics, and when they do, they generate flame which spreads a fire even more rapidly.

One option would have been to just ban any fabrics that ignite more easily than (say) cotton. That would have been cast by some as a move against the interests of lower income people (not necessarily incorrectly).

Another option would have been to just leave things alone, and let the people who choose to buy synthetic bedware sans flame retardants deal with the consequences themselves. Alas, that's not actually how our society works. When your neighbor's house goes up in flames because of their bedding choices, you still want your fire department to show up and get things under control, lest you lose your home too.

So .. we set standards for how much and what types of flame retardants were acceptable (standards that are subject to and have been changed over time), and let people continue to buy synthetic bedware (and furniture and clothes and ....) all of which contribute to the fuel load should a fire break out.

I am a firefighter (II), and the increase in the speed with which homes can now be fully engulfed because of the decline in the low of low-flammable materials and the rise of synthetics is utterly terrifying.
Calling it “X86S” was setting it up to fail for one. We need a new ISA, not a reinvention of the last.
Sure. I'm not saying that there no use cases. But I don't see the US turning into a public transportation utopia just because there are self-driving buses available. Because the reason public transportation sucks in countries where it sucks is not because drivers are expensive.
Insurance for human drivers stays the same. If anything, it goes down, because the more Waymo-level autonomous vehicles on the road, the safer it is overall.

Insurance isn't a zero sum game, where "less insurance spent on autonomous vehicles" means the insurance companies have to make up for it somewhere else.

In a way, "car driving getting safer overall" isn't great for car insurers, because they make money financing auto risk, and if there is 50% less auto risk then they have less addressable market.
That’s perhaps one aspect of it. But there are more or less intelligent ways of achieving the same goal. There’s also intelligence in determining whether a goal is itself intelligent or whether there is a more desirable outcome. Often things we thought were intelligent at the time prove to be less so given later events and vice versa.
I love the creativity that goes into naming these projects in the geosciences! I've been a part of several of these projects myself, and have used data and collaborated with teams from many more.

One point of clarification: GNSS is a term that has broader application than you describe, as it encompasses constellations from other countries and political associations as well. For example:

* Galileo - European Union's GNSS system, named after the astronomer
* BeiDou - China's GNSS system
* GLONASS - Russia's GNSS system
* JAXA - Japan's GNSS system

One backronym that I liked from my time doing my PhD was RELAMPAGO, which is a Spanish word for "lightning," but which some group of scientists gave this definition: "Remote sensing of Electrification, Lightning, And Mesoscale/microscale Processes with Adaptive Ground Observations". It was a very cool campaign that produced a ton of amazing data, and catalyzed many dissertations (including one of my close friend's).
Yeah, but: how many "visual" representations have no text?

What does this mean and how does it excuse a 'visual' article being all text?

I doubt those "academics" are earning more than median sw devs

Do you think the point might have been more about the pragmatism of formal verification?
I read a humor column once that had something to the effect of it was designed to be even more intimidating than Soviet architecture.
I have been thinking of creating a similar app; however I wanted to do a "Sunday paper". This look nice and I like the minimalist design, but I would prefer to have solution that I can self-host.
Yeah we did a lot of work this summer that was really far out, maybe too far out, and didn't come together as a product. We shipped a lot of it in teach.tldraw.com though. Computer is exciting to me in part because it feels both very weird and also intelligible as a piece of software.
I wonder if similar mathematical studies exist in contest of the even more complex West-African Ifa oracle body, most famously of Yoruba origin. Anybody knows?
The reason shorts don't earn any money, as compared to Instagram and TikTok, is that they don't advertise crap for me to buy (I have YT premium), so I don't end up buying shit there like I do the other two.
I built a tool that lets you create SaaS applications through natural conversation. You describe what you want, and the app builds it in real-time with a live preview.

Key features:
- Conversational interface - describe features in plain English
- Live preview updates as you make changes
- Built-in subscription management for your SaaS app
- One-click deployment with public URLs
- Interactive dashboard to monitor usage and metrics
- Support for user authentication and billing out of the box

Pricing model:
- Unlimited updates and deployments for each project
- 0% platform fees on your SaaS revenue
- Keep 100% of what your customers pay you
- Simple monthly subscription for creators

Example: "I want a task management app with Kanban boards and time tracking" - the system will build it while you watch, and you can refine it through further conversation. You can make unlimited changes and improvements as you learn from your users.

Each app gets two envs:
1. Development preview: For testing changes in real-time
2. Production deployment: Public URL for your users once you're ready to launch

The goal is to remove the technical barriers to launching a SaaS business. You focus on your product idea and user experience, while the platform handles the implementation details. Unlike other no-code platforms, there are no revenue sharing agreements or hidden fees - you keep 100% of your SaaS revenue using Stripe Connect.

Looking for feedback from the HN community, especially on use cases you'd like to see supported.

Try it out: https://saas-quick.com
CISA: Do not use SMS as a second factor for authentication [pdf]
We started January 2009.
There's no "we" in "China".
I still run into cases where a pip install that fails due to some compile issue works fine via conda. It's still very relevant. It's pip that should be switched out for something like poetry.
You mean M.2 SATA storage is available cheaper than M.2 NVMe where you live? Over here there are very few options in M.2 SATA form factor and the prices are almost double that of M.2 NVMe, which is really not that suprising given the obviously very much higher volumes of NVMe parts.
Ownership implies control without the consent of whomever is being controlled.

Where you are from sounds horrific. Hopefully it changes for the better soon.
> Where has public transport eliminated cars? Not anywhere I have been in Europe. You can significantly reduce car usage, but not eliminate it, so any safety improvements are still very important.

Sure, not eliminated. There will always be cars. But reduced, as you said. I guess my main point was that one should not falsely believe that the existence of driverless buses and trains will somehow magically and significantly improve the public transportation situation in a given country.
Great chat
Miles Davis famously recorded 4 legendary albums in just 2 sessions, jazz you know...
there are many definitions already. what's yours?

https://en.wikipedia.org/wiki/Genocide_definitions#List_of_d...
There may be some safety (e.g. lawsuit defense) justification, but this is also a trojan horse for increased employee behavior/performance surveillance. Pair and always on microphone with text-to-speech and some language model and it becomes even easier to fire employees at the earliest hint of union organizing.
> It's impossible to design a nuclear waste store that lasts 10000 years

Please help me understand. Society isn't going to "forget" nuclear chemistry.

It is perfectly possible to design a container that will remain intact for ten thousand years.

It is also perfectly possible to find a location that will be geologically stable for ten thousand years. We've already done it.

Sumerian is 5,000 years old. We understand Sumerian. We are not going to forget Sumerian. A warning written in English is not going to be unreadable in 10,000 years.

Hell, write the warning in Sumerian. Or Esperanto. Or Toki Pona.

There is a strain of misanthropic doomsday fetishists who for the last two millennia have been constantly predicting the collapse of mankind.

I assume that they believe that humankind is stupid and destined to fail and that only they are smart enough to realize that in 12,000CE a neocaveman will try to dig up radioactive barrels like a moron.

I do not understand what they are basing their predictions on.

I do not understand why they have let the dystopian young adult fiction they read in their formative years infect their brain like a disease.

We are not going back to a hunter-gatherer society you (edit: deleted for "civility").

edit: And the entire "how do we craft a warning for the dumb future of idiotic humanity" makes even less sense when you spend even forty femtoseconds thinking about it. IF humanity has forgotten nuclear chemistry AND IF humanity has lost the ability to read warnings THEN it doesn't matter. They don't have the infrastructure needed to transport the waste long distances. Any pollution/harm will be localized to a deep-ass cave and the three people unfortunate enough to have opened the barrel. Fuck them. Who cares? It makes no difference.

Please, help me understand why so many people who outwardly appear to be intelligent waste even a moment thinking about this.
Thought experiment: A disturbed father shoots up an elementary school because he doesn't like the school's sex ed curriculum.

Question: Should we as a society use this as an opportunity to focus more attention on sex ed curriculum?

Answer: No! We should not reward this criminal by promoting his cause!

And yet, many on social media are using the murder of UHC's CEO to promote the idea that health insurance companies need to reform their policies and practices.
Heh thus far I've been an excited spectator of HomeAssistant, and wasn't aware of Nuba Casa until doing research for a different comment on the thread. I do love and appreciate their model here

I guess the benefits that came to mind are
- alternative crowdsourced route for sourcing hardware, to avoid things like that raspberry pi shortage (although if it's due to broader supply chain issues then this doesn't necessarily help)
- hardware forks! If someone wanted a version with a more powerful ESP32, or a GPS, or another mic, or an enclosure for a battery and charging and all that, took the time to fork the design to add these features, and found X other users interested in the fork to get it produced... (of course I might be betraying my ignorance on how easy it is to set up this sort of alternative manufacturing chain or what unit amounts are necessary to make this kind of forking economical)
This is already kinda starting to happen to a lesser degree with phone-free events or the nightclub phone stickers posted a couple weeks ago:

https://news.ycombinator.com/item?id=42352825
Low-trust rules are symptoms of low-trust behavior, not causes. California tends to be early in introducing laws in general, but as far as I can tell, the entire country has been becoming more and more low-trust over the decades. It's worse in denser areas obviously, but you can see it in suburban areas and even sometimes in rural areas. I don't think it's pessimistic to say that much of the US, compared to other "developed" countries, has a problem with basic respect for strangers, neighbors, the local environment and infrastructure, public resources, businesses, etc etc etc.
Skip the text, take time to look closely at each photograph. Linger and observe each for some time.
NYC has destroyed more beautiful architecture than most cities have ever had
Insurance is, however, a for profit corporation, out to maximize profits, so they'll charge both groups a premium, and then add a service fee on top of that.
Show HN: AI Tool to Simplify EU Regulatory Compliance (Solo Founder Journey)
Hi HN,

I’m a solo founder, and I’ve been working on an AI tool that helps companies and organizations navigate and comply with EU regulations. The platform leverages AI to provide insights, research capabilities, and compliance assistance, aiming to reduce the complexity and time spent dealing with regulatory requirements.

Compliance with EU regulations (like GDPR, labor laws, and industry-specific rules) can be overwhelming, especially for SMEs and startups. As someone passionate about tech and legal simplification, I saw an opportunity to create a tool that streamlines this process, providing actionable guidance while cutting down costs.

What the tool does:

- Uses AI to answer EU regulatory questions.

- Provides links to legislation articles, so that users can dig deeper when needed.

- The tool condenses complex legislation into clear summaries, drastically reducing the time needed to understand key topics.

As the only person behind this project, I wear multiple hats—coding, marketing, business development, and more. I’ve learned a lot, but I know there’s so much more to improve, particularly in product-market fit, user onboarding, and getting the word out.

I'd love to hear from the HN community on a few topics in particular:

- Product feedback: Does this solve a real problem for you or someone you know?

- Marketing advice: What are the best ways to promote a niche AI tool like this?

- Solo founder tips: For those who’ve been here, what’s your advice on staying productive and scaling effectively?

I’d love to hear your thoughts, suggestions, or even criticisms. Also, if you’ve had experience dealing with EU regulations, does this tool sound useful? What features would you want to see?

Here’s the link to the tool: https://eur-lex.ai/

Thank you, and I’m looking forward to hearing your feedback!
That's another benefit of the system from the perspective of Walmart higher ups. No doubt.
I mean yeah the transformation matrix is 4x3.
It's extremely unlikely but at least conceivable that some kind of heretofore unseen global war kills off literally everyone except a few extremely remote uncontacted tribes and humanity eventually spreads back to the rest of the world from them.

It doesn't need to be humanity, I guess. It took humans what? 4 million years roughly to diverge from something like the great apes of today to anatomically modern humanity. Does nuclear waste stay dangerous for that long?
What's a good place to discover high-quality RSS feeds these days?
How is it unrelated? The topic was the shooting dead of another person on the street in broad daylight. If we abolished the 2nd Amendment, maybe the shooter doesn’t get access to a gun to shoot dead the CEO. That would be good right? Shouldn’t we prevent people from obtaining guns and shooting other people? Consider reading (or re-reading) the OP and my response - I don’t think it’s ever acceptable for anyone to shoot another law abiding citizen dead. The shooter isn’t the arbiter of justice and what he did was awful.

America has lots of issues and it’s a very large country, as such it does run some things quite well (especially when allowed to do so), just as some countries run some things quite poorly.
Given that we have this limit and our age, 3 if her health permits. If we could parallelize, one could imagine twice that+.
By 'programmers' you mean like playlist owners, channel owners etc... right?
100% agree. I call it the "toothpaste paralysis." It’s like when you’re shopping for toothpaste, and brands like Colgate have so many overlapping options that it becomes impossible to figure out which one is actually the best. Unfortunately, I think the same thing is starting to happen with MacBooks again. It’s not as bad as before, but it’s definitely not as straightforward as it used to be.
It reduces the supply of drivers that are capable of
getting another job.

We live in an area where uber/lyft charge below driver cost for rides, and it has created a public safety issue.

The roads near our house are mildly challenging, and almost all drivers that do come here should have their drivers licenses taken away. We don’t have this problem for in-town trips.

Anyway, more experienced / smarter drivers will probably realize they don’t want the incremental income from teenagers. Uber/lyft will either have to increase the price of those trips, mandate fingerprints for all, or car accidents involving teens in ride share cars will go up.
I mostly agree. The backside is just hideous and the brickyard is unnecessarily a wasteland for most of the year. Boston's climate doesn't help but, certainly at least in the warmer months, there could be more of a welcoming commercial presence there like there is outdoors on the other side of City Hall around Quincy Market.

The renovation does help somewhat; I agree with other comments. Rarely down that way any longer. Used to work a few blocks from there.
From my experience, this is only valid for immature companies and/or immature management. A good tech lead or manager knows that if there are no problems, the infra people are doing their jobs very well.
Most of the masterpieces you see in museums were used as decoration at some point.
Ish.

We use threads to solve all kinds of things, including 'More Compute'.

SIMD is limited to 'More Compute' (unable to process I/O like sockets concurrently, or other such thread patterns). But as it turns out, more compute is a problem that many programmers are still interested in.

Similarly, you can use Async patterns for the I/O problem (which seems to be more efficient anyway than threads).

--------

So when we think about a 2024 style program, you'd have SIMD for compute limited problems (Neural Nets, Matricies, Raytracing). Then Async for Sockets, I/O, etc. etc.

Which puts traditional threads in this weird jack of trades position: not as good as SIMD methods for raw compute. Not as good as Async for I/O. But threads do both.

Fortunately, there seem to be problems with both a lot of I/O and a lot of compute involved simultaneously.
This article uses stake to mean bankroll, but usually it denotes bet size.
That is a much better description than practically every other take I have seen on this issue. The legal issue is not about removing access, pulling the rug, or changing policy. It is all about the intention and making public statements.

If they wanted to legally stop WPE from accessing their servers then adding a policy to the effect of limiting how much traffic a single company is allowed to do without a explicit contract would do that. Many companies has similar conditions added to their TOS at some point after an unconditional free-for-all. They might want to allow small companies to continue use their service for free, but start demanding payment from large companies who can afford to pay and who also have real impact on server and network costs. They don't explicitly write who those large companies are.
Remove the driver (i.e. with self-driving cars) and that entire threat-vector goes away.
Show HN: Tired of decision fatigue? Let AI handle your everyday choices
Sometimes, I'm tired of making decisions from big to small, even though I can.

The simplest tool would be a Yes/No decision bot that generates random yes/no answers (there are a ton of them online). We know they aren't very useful, but they actually do give you a final decision.
On the other hand, modern AI tools are great with knowledge retrieval but often leave you with more information but still no clear answer.

Hence, I built a Solaris, a messaging-based AI assistant that helps users make yes/no decisions through guided conversations. Instead of giving direct answers, it asks thoughtful questions to help users reach their own conclusions, culminating in a final decision.
It is designed to be a thinking partner - it helps users explore their own decision-making process while maintaining full responsibility for their choices.

Try it: https://t.me/diametricbot

I'd love feedback from the HN community on this (somewhat socratic) approach and potential improvements!
The frequencies of most research satellites are all well known. But it takes more than 30 seconds of Googling.
The point is that artists who have <1000 streams get zero pay. This is designed to help prevent payouts and increase profits. 'Deny,' 'defend', and 'depose'.
How were they able to use an ATM without having your card?

I recommend not calling back the incoming number even if you think it's real and spoofed, always look it up on the bank's website.
Maybe this is a dumb question but why can’t you just record video with two iPhones evenly spaced with some kind of jig and synchronized the video output to get something usable for a 3D video?
Oh please, spare us the harmonious bravado. Klarna is a vulture capitalist company that’s now refusing to hire people because it wants to automate away paying jobs so it can make more money for its vulture capitalist leaders. Klarna struggling should make anyone below the millionaire line joyful.
They removed the frequencies from some of the more popular sites. That started during early stages of the Ukraine invasion.

But it's still super easy to find them.

Usually it takes a few hours until the sat ham guys find them and post spectrums.
Santa Baby AI