skysight-inc/HackerNews huggingface dataset:
I beg to differ: there are a few tools which are comparable.

Frama-C (https://www.frama-c.com) is an open source framework that has, among its analyzers, one based on abstract interpretation (https://www.frama-c.com/fc-plugins/eva.html) that is very similar in spirit to Astree.

MOPSA (https://mopsa.lip6.fr) is another open-source project (albeit more recent, and in a more "academic" stage) that also provides abstract interpretation to analyze C programs for flaws.

NASA also released IKOS (https://github.com/NASA-SW-VnV/ikos), on the same vein.

Of course they lack the polish of a product which costs tens of thousands of euros per license, but they are open source, and their purpose is the same: to ensure code safety via formal methods, in particular abstract interpretation.

It is possible to get these tools to analyze some code and generate no complaints, which ensures absence of several kinds of problems, such as memory safety issues.

Then again, it's hard to know exactly how much they differ from Astree, since you need a license to compare them, and I don't even know if you are allowed to publish such comparisons.
Intelligent people understand that knowledge can not ever be dangerous, because it's the human who makes things dangerous.

Intelligent people understand that when lesser intelligent people call knowledge dangerous, they will eventually, but definitely inevitably, ask for the banning of said knowledge, because "the evil knowledge makes people do things they shouldn't", or a variation thereof.
Well argued; from what you say here, I think that what we disagree about is like arguing about if a tree falling where nobody hears it makes a sound — it reads like we both agree that it's likely humans will choose to deploy something unsafe, the point of contention makes no difference to the outcome.

I'm what AI Doomers call an "optimist", as I only think AI has only a 16% chance of killing everyone, and half of that risk guesstimate is due to someone straight up asking an AI tool to do so (8 billion people isa lot if chances to find someone with genocidal misanthropy). The other 84% is me expecting history to rhyme in this regard, with accidents and malice causing a lot of harm without being a true X-risk.
If nuclear war it is also a kind of singularity at least for human. Hence it is not just A.I. anything we cannot be sure we can control even democracy …
Also, why is the back button on iOS all over the place?!

Sometimes it’s on the top left, sometime bottom left, sometimes bottom right, and im sure some apps even place it somewhere else.

On Android there is a dedicated OS back button that is always in reach, when using the phone with one hand.

This is the far superior way of doing this.
I very much agree that calling any criticism of Israel anti-semitic is both factually wrong and very bad, on many levels.

The main thing that upsets Israelis is when the criticism is:

1. Specific only to Israel, and/or far harsher on Israel than on other similar countries for no reason.

2. The criticism offers no path by which Israel is allowed to defend itself. It's totally legit (and morally must be done) to criticize Israel if it does bad things - but if literally every action that Israel takes is criticized as being "too much", the end result can only be "Israel cannot do anything".

Btw, small language nitpick - the correct term is "Israeli" not "Israelian", at least in English.
Fortunately Apple is hopefully getting forced to allow sideloading in the future, which would solve the control problem. (The network effect would still stay under the free speech on both sides fortunately)

You can always install custom apps on Android and Valve is only one of many stores, so I'm not sure they really come under control at all...
No, there is no allowance in international law for conquering and destroying a state. If you are attacked by a different state, you obviously have the full right to defend yourself and destroy the military installations used to attack you. You have a right to attack back and seek regime change and impose terms that ensure another attack can't happen, and even seek reparations.

But you do not have the right to attack the civilian population or to take their land. Even if you think they were for the war. The allies didn't conquer and destroy Japan or Germany. They didn't divide their territories among themselves (even the separation of Germany still left two sovereign states).

We have also learned from the end of WW1 and WW2 that investing into the old enemy state to make it happy and successful is in fact a MUCH better solution for lasting peace than pounding them into submission and trying to sap their economy. If Israel had sought a Marshall-plan like solution for Gaza after the Yom-Kippur war instead of a military occupation for the following 30 years, perhaps Hamas wouldn't have won the 2005 elections in the first place.
When modems ruled the world I made Delphi application that sat in a tray and with a click of a button would connect me to the internet and launch mail client to get mail, launch GetRight to continue my downloads and browser because that's probably the reason I wanted to connect to the internet. It could also disconnect me and close everything. Computers were weak and minute of connection was expensive.

Most recent thing I wrote for myself is not really an application, just a piece of JS to pull the entire history of a chat with a specific person on tinder to keep archive of especially weird humans I encountered. Oh, how low have I fallen...
Colour me surprised. A completely broken society on the edge of collapsing, where peer pressure forces you to speak and think how the media and politics wants, has the unhappiest people. A society where men aren't allowed to be men anymore and women aren't allowed to be women.

But nooo, it's definitely some other reason.
People underestimate how impactful scikit learn continues to be
> Well, my personal opinion is with the rise of neural nets we've basically proven that "consciousness" is an illusion and there is nothing there to find.

I keep seeing this claim being made but I never understand what people mean by it. Do you mean that the colors we see, the sounds we hear, the tastes, smells, feels, emotions, dreams, inner dialog are all illusions? Isn't an illusion an experience? You're saying that experience itself is an illusion and there is nothing to experience.

I can't make sense of that. At any rate, I see no reason to suppose LLMs have experiences. They don't have bodies, so what would they be experiencing? When you say an LLM is identical to a person, I can't make good sense of that either. There's a thousand things people do that language models don't. Just the simple fact that I have to eat on a regular basis to survive is meaningful in a way that it can't be for a language model.

If an LLM generates text about preparing a certain meal because it's hungry, I know that's not true in a way it can be true of a human. So right away, there's reasons we say things that go beyond the statistical black box reasoning of an LLM. They don't have any bodies to attend to.
The general public arrived and their wants transformed computers. And now they have left computers for their phones. You can still do all the things you used to be able to do on your computer.
> I'd be very interested in hearing from anyone who experienced that sameness compared to today's more fragmented media on if they think it changed anything from a social point of view. Shared experiences and interests are fertile ground for building relationships and it sounds like everyone generally shared a lot more.

I very much miss the shared social experience. In the 90s, you'd go to school on Monday and run down the latest X-Files episode. VCRs existed, but worst case you watched it later that night. Otherwise you missed out on the discussion.

Then the next week SNL did a parody and everyone got it because everyone saw the thing they were parodying.

Now that happens much less frequently. It still happens sometimes. When Wednesday came out, even people who hadn't seen the show knew what it was about. Same with Squid Games and Stranger Things.

If you want to see some data, check this out:

https://en.wikipedia.org/wiki/List_of_most_watched_televisio...

The ratings share is what you want to look at. That roughly represents the percent of all households with TVs who watch a show. Look at the highest rated show for each year and what percent of people watch it.

Back in the day to be the highest rated, you had to be over 60%. Now a top rated non-sports show is maybe 10%.

Interestingly what I see now that I have my own kids is that they don't talk about scripted TV much at all -- they talk about video games and YouTube/tiktok videos that they all seem to have seen. So that seems to be where the social aspect is moving.
Currently when I go into my car, I can resume listening to the podcast, or I can listen to my music (different app), or whatever.

I doubt any car manufacturer will be able to offer the same seamless experience when they build their own entertainment system, because now they'd have to scale to all relevant apps, not just one (or two) standard ways to interface.
We've built similar thing to sync certain Salesforce objects to our .NET backend but Salesforce has their streaming all built around CometD which uses something I believe an insane person came up with - Bayeux Protocol. It's essentially an HTTP streaming, you shoot a GET call to an API and it starts streaming bytes of data. If it stops or timeouts, you're supposed to shoot another GET to continue streaming bytes, if nothing comes back you timeout and retry.

It's an absolute hell, most community frameworks barely work, there's zero good solutions to error handling, we had our Azure Application Insights constantly red because of timed-out requests that are in fact good, because they just mean there were no events to transmit.

I refuse to believe that multi-billion dollar company that is Salesforce couldn't come up with a RabbitMQ sink or virtually any better solution to that problem, especially that they could gate it behind a subscription most companies would pay for since they spend millions on SF either way...
Yes, it's The Voices of Time by James Graham Ballard, 1930-2009 and it's a bit disturbing to be honest.

https://news.ycombinator.com/item?id=37663943
Yeah, AliExpress' app navigation is on an entire other level. I sometimes get so deep in screens with no way to get back to the Home Screen that either spend a minute hitting the back button like 50 times, or just kill the app and start it again.
Yes, they are that bad.

I grew up in Los Angeles in the 80s, a time and place when homelessness was rampant, but your typical homeless person was a slow-to-move 50 year old wino, not a psychotic 20 year old on fentanyl and meth. Leaving aside the difference in the drugs, I think it's worse because: We do have, and have had a lot of people living in underpasses in Portland for the last 30 years. Most of those people are unfortunate locals who fell through the cracks, not the new crop who just showed up from Florida. Underpasses are full, and have been full, for decades. Many of us have tried to help. The increased visibility is a sign of two things: (1) overflow, and (2) much more dangerous chemicals.

For instance, you wouldn't find this kind of thing happening ten years ago:
https://www.koin.com/news/portland/eight-overdosed-on-fentan...
But he couldn't have fired half of them.

It is kind if said so, that despite all the success Musk had he still is so insecure to crave attention at every cost.
On the other hand, bureaucracy is probably one of the reasons we have societies where there’s an entire class of people devoted to space research and exploration
i think it's safe to assume most "copyrights" on model weights will be annulled, on either side of the pond.
I'd say the main reason is that BSD licensed oses are attractive to these locked down devices because there is no requirement to keep your fork open source as well. Play Station 3, and if this is true then apparently Nintendo Switch as well, and so on.
Dinosaurs ruled the Earth for a hundred and eighty million years. That's 1.3% of the entire history of the universe.

Written history stretches back roughly five thousand years. Imagine the world one million years from now.

It would be nice to beat the dinosaurs. What would it take for humans to rule the Earth for two hundred million years?
I agree that "Total Security" is never guaranteed, but we're talking many orders of magnitude between the current situation and Total Security.

It is just a true fact of the world that if Israel were to let down its guard even a little, many Israelis would be killed. We saw the proof of that on October 7th.
I have a cli prompt that asks me each day if I'm doing client work for a certain client. At the end of the month it calculates the total, emails the treasury department asking for the invoice.

I also was unwary enough to build my own web framework over time, so part of the code I initially developed for a non profit to manage memberships is now also used as my status page to check on website status, hosting renewals, to keep a list of clients, organize invoices. I also use part of it in my house automation instead of something like home assistant. The interesting part is that developing a complex module for one project sometimes creates new possibilities for the others.
Basically no one in my age group (gen z) knows what Torrents are let alone is able to use them. Most piracy happens via sites like s dot to.
More Fractal Weirdness
https://archive.is/kgaxs
This isn't a thing on the lock screen, though?
What else are they to do (in the current way things are)?
An annualize interest rate of 250% for a 1 month term means a 1.08% actual interest rate. If just 8% of your loans default you lose money.

A 70% default rate would mean that you expect lose 68% of your money every month.

Sure, you don't go to 0. But you need a very high repayment rate for short term loans to work; and very difficult to interest your way out of the problem.
> every time you need to do something it locks you out for 5 seconds to look at the road

Whoever came up with that wasn't entirely right in the head: so now people will stare at the device for another five seconds wondering what they did wrong. Sound of impact.
> Some apps deviate from this but that isn’t the fault of iOS.

Then I suppose it's the fault of the App Store reviewers. The point is that Android handles the activity stack on the OS level and has much stronger control over what a back button does.
You can block Alex Jones on X and be done with it, which I am doing with low quality/conspiracy/spam content that pops up.

What I'm trying to say is that I am grown up and I can police my space myself, I don't need a corporation to do it for me in this cases. I would be ok with a ban if like 90%+ content on an app is obnoxious or scammy. But X has hundreds of millions of users. A lot of them are like Alex Jones, but much more of them are not.

To be honest, I can more easily, or am recommended more often obnoxious stuff on Facebook (which I stopped using), Reddit, or Instagram (stopped using, but it also promote fake identities and generates a lot of mental health issues, especially for younger girls), and don't get me on TikTok (which I refuse to create an account on ever) which is an ultimate cesspool of a network. There is also Telegram with thousands of groups sharing smutty war stuff and hard core propaganda.

Why don't we ban all of them then? Any network with more than 100 users because at least one at that point will be obnoxious or a sociopath or somebody with view most of us would not agree with?
Go to Clock, Sleep|Wake up (yes that's really the label!), click Change, scroll down a bit, click "Edit sleep schedule in health". It opens another app in hyperlink style, which the article recommends against.

A lot of apps deviate constantly from the "blessed" patterns. The result is that as a user new to an app (or update), you have to click and gesture around to see what happens, and probably miss a lot of UI features because of that.
Me too, they're coming for the socialists and I'm not a socialist so why would I care.
I mean, he's also going to be speaking at a youth festival for the reigning neo-fascist party in Italy. What's that aphorism, "when someone tells you who they are you should listen"?

I think he really does just have far-right sympathies.
>location services uses several data sources not just GPS

Interesting idea...Maybe nearby WiFi APs is one data point that the phone uses for determining location without battery intensive use of GPS.
Oh they've already solved for that years ago! It'll just automatically send a Play signal via Bluetooth when your phone connects to it! And for good measure, there will be no way to control this at all. Enjoy having random content from your phone's recent media sessions forced into your car audio because the car company thinks it's "convenient"!
Eventually enough content will have been produced that a human could watch an incredible series every day of their lives without anything new coming out. That's when humanity will peak and crumble happily away.
One option is standalone CarPlay and Android Auto head units - search for carpuride or Atoto for examples.
There’s other manufacturers as well.
I recall seeing model specific replacement head units for the pop up type display you describe but can’t find them now
> public baths

Perfect place for spreading diseases.

> had access to high quality food,

The economic elite probably did. Everyone else? Unlikely, especially not consistently. Most people were dirt poor by modern standards (no real equivalent in the western world)

> no kind of organized crime syndicate running things locally

We know that how? The whole patron-client system was essentially that. also why do you claim that state was “ was present and vigilant”? As far as we know that’s certainly a silly claim if we compare it to modern Italy.

having the sewage and water systems was was pretty cool pf course by premodern standards. But almost everyone still had to use communal fountains or latrines unless they were slaves in some rich person’s mansion.
Ask HN: Which digital subscriptions are you paying?
From digital newspapers to different tools, what are you spending money on and find it worth it?
Lyft started doing the same thing. It's slightly annoying.

Jet Blue is also showing mandatory ads on the video display in front of you. They last for around 5 minutes and you cannot turn off the display while these ads are showing. This is highly annoying.
There is hard knowledge and there is tacit knowledge. It’s not black and white. It’s a continuum.

Tacit knowledge documentation can take form of pro tips, best practices, anecdotes, postmortems, retrospectives, values, and philosophy statements.

It’s possible to capture a bit of it in written form. It will never be fully documented. A little goes a long way though.
You can always get a key fob, you just have to buy it separately.

I'll never go back to a car without being able to use my phone as a (reliable) key and store the credit card sized backup key in my wallet. Because it's just that - a backup key. In over two years I've used the key a total of zero times. And one thing I've noticed is that key fobs seems to become bigger and bigger, every year. Just look at the new Volvo key fob. It's the same size as AirPods charging case.
You can borrow ours next time if you want
buy some lotion
you just need an aftermarket trim piece that allows install of standard head units.
> how long it took our species to get where we're at.

Barely any? By our reckoning, anatomically modern humans are at most 500kY old, and in that time we managed to spread to the entire planet (and beyond) as a single species.

Dinosauria is an entire clade several levels up from mammalia relatively speaking (Aves — every single bird — is a taxonomic class within dinosauria).

Basal dinosaurs appeared about 20 million years after the P-T extinction event (251MYA), but they didn’t become the dominant life form until the T-J extinction event (201MYA) wiped out the dominant early archosaurs.

And they benefited from a supercontinental stage for their spread.
Seems mainly Google has treated people differently like Spotify and got caught for playing games. Apple play only 1 game and as in the article all internally, harder to catch. Still it is a surprise as both are so similar. And if it failed you would think it should be Apple. Strange world. Even stranger if you dig in seems “logically”. Just crazy.
> They famously are the first company to go with “unlimited vacation”

I took more vacation at Netflix than anywhere else I ever worked, and so did most of the people around me. Management would make it a point to remind you to take your vacation, and would always make sure they all took vacations more than a week at a time so you knew it was ok.

Unlimited vacation was a huge benefit to me as a worker at Netflix. Other companies have ruined it by using it as a stick instead of a carrot.

> They also found ways to not share any revenue with writers and not reveal engagement numbers either

They paid up front, before the show was even created. For most writers this worked out better than residuals. It was only the writers on the most popular shows that got screwed by this, and only after Netflix got really popular. The system needed changing and it was good that they went on strike for it, but they all seem to forget that it was actually advantageous for them at the beginning.
I have like the opposite experience...AA and Carplay have always been cause of issues, having to take the phone in my hand while driving, sluggishness..

In fact I feel the opposite you say: car play has been an excuse for some automakers for subpar infotainment.

That being said removing it completely is madness, because people like you are millions and want it.
You can just connect to Bluetooth and resume your podcast naturally by continuing to play the current media, or switch to a different app (using your phone in hands free mode).
I believe he thought reverse engineering the brain in conjunction with computers powerful enough to model brains was the path to AGI and the singularity by 2045.
Finally. For current iOS versions, there is a workaround: use the “screentime” feature to disallow pincode changes.

In screentime you can set a different code, so when anyone else can access your phone, they can’t change the code and lock you out of your phone.
Show HN: Boldici.us – AI-Powered Tool for Software Proposals
I'd like to introduce Boldici.us, an AI tool transforming how we create software proposals and project definitions. It's designed to save time in project management, offer precise documentation, and facilitate easy sharing of documents in multiple languages. We offer a free Basic version, and more feature-rich Standard and Pro versions. Perfect for professionals seeking efficiency in their workflow. Feedback and thoughts are welcome! Check it out here