skysight-inc/HackerNews huggingface dataset:
> So I'm not terribly familiar with Bluetooth. Are these something that can be exploited by an unpaired device?

Who knows, someone would need to write an actual exploit for these. Just quickly skim through the Android security bulletins at

https://source.android.com/docs/security/bulletin

and you'll see that every month lots and lots of CVEs are fixed with at least high or even critical severity in various stacks. If you're running a phone that hasn't received updates since August 2023, you can assume that you have dozens of remotely exploitable bugs on your system. The security track record of Android is absolutely terrible.

That phone hacking is not a big thing is simply because it's usually much easier for a hacker to get into the cloud services people use instead through targeted phishing attacks. If that makes you feel safe using a phone without updates, then good for you, but don't claim these updates aren't actually fixing serious bugs every month.
Yes, this is a real and serious concern that AI researchers have.
MyPy's rules are reference-grade, being as close to an official spec as we get until the Typing Council is done establishing their moat.

To understand shortcomings of MyPy, I strongly suggest reading pyright's documentation for how they compare: https://github.com/microsoft/pyright/blob/main/docs/mypy-com...

Quoting the pertinent part:

> Pyright was designed with performance in mind. It is not unusual for pyright to be 3x to 5x faster than mypy when type checking large code bases. Some of its design decisions were motivated by this goal.

> Pyright was also designed to be used as the foundation for a Python language server. Language servers provide interactive programming features such as completion suggestions, function signature help, type information on hover, semantic-aware search, semantic-aware renaming, semantic token coloring, refactoring tools, etc. For a good user experience, these features require highly responsive type evaluation performance during interactive code modification. They also require type evaluation to work on code that is incomplete and contains syntax errors.

> To achieve these design goals, pyright is implemented as a “lazy” or “just-in-time” type evaluator. Rather than analyzing all code in a module from top to bottom, it is able to evaluate the type of an arbitrary identifier anywhere within a module. If the type of that identifier depends on the types of other expressions or symbols, pyright recursively evaluates those in turn until it has enough information to determine the type of the target identifier. By comparison, mypy uses a more traditional multi-pass architecture where semantic analysis is performed multiple times on a module from the top to the bottom until all types converge.

> Pyright implements its own parser, which recovers gracefully from syntax errors and continues parsing the remainder of the source file. By comparison, mypy uses the parser built in to the Python interpreter, and it does not support recovery after a syntax error. This also means that when you run mypy on an older version of Python, it cannot support newer language features that require grammar changes.

Astral's type checker seems to an exercise in speeding up Pyright's approach to designing a type checker, and removing the Node dependency from it.
this https://lbstanza.org/index.html ?

what are places to discuss gradual typing these days ? I stopped looking a few years ago (after clojure and scheme started projects on that topic)
> At no point has Google came out and stated -why- they're pushing this update in the first place.

The cynic in me recommends that anyone contributing to Google (or really any big tech company) projects to use "bug fixes and performance improvements" or "What's new:" (with an empty body) as commit messages and refuse to update them until we get useful changelogs for app updates.
Yes! The BlueJay watch project is amazing, very encouraging to see that he was able to connect directly to the sensor from the watch with the latest version. Totally agree with you - one of the biggest sources of hope for us in those first few weeks after he was diagnosed was knowing how far the tech had come, and how many huge advancements were in the pipeline.
astral doing what the endless layers of admin/people in the PSF can't: solve actual problems python devs face
It depends if it feels like an outage
I mean forcing copilot everywhere I don't want it (nowhere) while jacking up prices to justify it and using Windows 11 to serve ads is harmful to me. There's also you know... the anticompetitive company that thinks buying new sectors is healthy.
If in 2032 an impact did occur, how much time before that impact would be able to ascertain over 50% probability of impact? hypothetically.

That is, does the certainty increase steadily or non-linearly over time? Does near certainty of an impact occur from measurements taken just minutes before the impact, or hours, days, years?
Is Hungary planning to exit the EU?
Great post, thank you!

Where does the uncertainty (1%) come from? For example, is it more from our ability to precisely determine the orbit based on limited observations, or is it because orbits for objects like this just aren't predictable years out, or something else?
I am quite certain that's it. Artists in general are widely upset about the fact that these things have been fed with the copyrighted work of literally millions of artists, without payment.

The AI companies try to pass it off as learning the style, same as an art student studying a work of art. For all I know that may even be legal. But it sure seems dubious, and when combined with the fact that it seems likely to put a lot of artists out of work (already a dicey proposition), they're rightly angry.

It sure doesn't help that most AI art is just plain bad. It sucks to be thrown out of work for somebody who is crummy at your job, but is willing to do it for practically nothing.
What viewpoint? It's not until one has actually discovered this that it becomes reasonable to realize the argument is being made in bad faith. The assumption of bad faith is never helpful unless one is intending to avoid discussion.
Does Preserves have a page with a comparison to other common serialization languages?

As someone familiar with Protobuf, comparing Preserves vs Protobuf text format, here's my quick comparison between the two after reading through the tutorial:

- Preserves' Symbol is very close to Protobuf enums. But Symbol can contain characters like dash

- There doesn't seem to be an equivalent of Preserves' Record in Protobuf, but the tutorial's example of using <Unknown ...> To denote a missing <Date ...> can be simulated using the `oneof` field in Protobuf.

- Having to write #t/#f in Preserves is unfortunate. I guess this is the result of schemaless serialization language and potential parsing ambiguity with a Symbol?

- Protobuf have a way to annotate the schema and reuse at runtime, very similar to Preserves' annotations.
Is that probability of an impact 1% or 1 = 100%????
Not to be snarky, but tourists with cars are widely frowned upon by Norwegians. They tend to bring their own food and they pass automatic toll booths which Norwegian cities have no practical way of collecting. And this view is as see it fully biparisan. A tourists tax is supported by all major parties and will be implemented at some point. Also supported by The Confederation of Norwegian Enterprises. Your point is mostly valid though. Norway has been heavily incentivised to shift to electric. Though the incentives has been good. Gass, toll and taxes was always expensive i Norway.
This wasn't something with the potential to become a disruptive innovation, as described in that book. Foundries are an established business model.
Yeah, if I understand correctly AI will create it's own internal reasoning language through RL. In R1-Zero it was already a strange mix of languages. They corrected that for R1 to make the thinking useful for humans.
Nobody, really. America put it's full faith in a software industry that we thought was socially progressive, and then got sucker-punched by the realization that money was the only thing keeping people civil all along. Now greed rears it's ugly head, and Americans on both sides of the aisle insist they didn't know the monster was under their bed.

I won't mince words, either. A lot of it stems from the "hero worship" culture that HN promotes and defends without a second thought. We anthropomorphize business leaders that don't exhibit a lick of personality, and take notes on their every unconscious choice. When we examine Sam Altman or Tim Cook or Sundar Pichai, we're not seeing that person's individual expression. We're watching a station, a seat that is filled by a human body but no more embodied by humanity than the seat itself. Simply put, these executives are obvious tools and only now are we willing to admit that.

Really, we should have all known we were fucked when we discovered that America's luxury imports and textiles were made with slave labor. Did our nation suspend those business deals after proving that they depended on blatantly unethical practice? Nope, because America cannot function without new Yeezy and iPhone models coming out on an annual basis. Fascism is our just desert for letting money and illegal influence triumph over self-determination.
I hate to think that prison should be harsher but if you had to go to prison somewhere, Sweden looks to be the most comfortable place to serve your time.
'Coffee badging': is this new approach to office life working – or shirking?
But the rank doesn't appear to have ever been used in Scotland yard or the MET, which might have lead to why it was used incorrectly.
Likewise. And your comment reminded me of real programmers*

* https://xkcd.com/378/
cliche but enjoying reading is literally just about finding a book you enjoy.
Love that Microsoft is getting behind this actually good model
The point of the foreign trade zone is no tariffs, avoid customs. And the point of the tariff is to get plants built in the US, so tariffing them would make no sense.
People who share links behind paywalls didn't understand how the internet works.
Works on Firefox on mobile, if you request the desktop version and change the zoom on the page to 50%
Actually the "our IP" argument is ridiculous. What they are doing is stealing data from all over the web, without people's consent for that data to be used in training ML models. If anything, then "Open"AI should be sued and forced to publish their whole product. The people should demand knowing exactly what is going on with their data.

Also still an unresolved issue is how they will ever comply with a deletion request, should any model output personal data of someone. They are heavily in a gray area, with regards to what should be allowed. If anything, they should really shut up now.
> In addition to ongoing trips to Truckee, Michigan's Upper Peninsula, Upstate New York and Tokyo, the expansion includes testing in San Diego and Las Vegas, with more cities yet to be announced.
The Flutter Kerfuffle
You are right with the policy shift. But I would suggest to stop throwing good money after bad money instead until the sector massively improves its accuracy of numbers it does publish on such things like budgets and timelines for new projects.

Because most of the numbers coming out of the nuclear sector for this are too good to be true. To put it mildly. It's tempting to use more harsh language here. Like "fabricated nonsense" or "a scam". And some people do.

Probably the biggest challenge for nuclear proponents aside from demonstrably high cost, overruns, wildly optimistic timelines, etc. for past projects is the credibility of their predictions about cost for future ones. The lower those predictions, the smaller the chance that those are anything more than wishful thinking mixed with a lot of hopium and based on very flawed assumptions.

When cost overruns in nuclear projects are routinely measured in hundreds of percents, something is very wrong. It would be nice to get that down to two digit percentages. That would still be terrible but a lot better than the industry norms for this. Especially compared to renewable projects.

This credibility challenge is a large part of the reluctance of investors to fund new efforts in this space. Most of the projects that actually still happen feature governments and tax payers taking most of the risk. Which makes it more likely that the huge budget gaps get funded rather than resulting in investors cutting their losses and bailing.

If you want numbers, look at numbers of GW coming online for nuclear, wind, solar, and energy storage projects. There's a stark difference there. Renewables are outpacing nuclear at such a pace that you could legitimately wonder why to bother with such projects at all.
not solely through violence. alpha chimps are often big, but not necessarily the biggest.

best way I've heard it explained: the alpha chimp usually does the most grooming of other chimps of any of the males in the troop.

they're out there making deals and building relationships. tough guys can try to overpower those so the top chimp also gotta be tough enough to stand up, but it's as much about relationships as it is about muscles
I did, but they're surprisingly expensive, and a black-and-white display isn't all that exciting for a kid. An always-on display would however be perfect for this use case though.
Argsv: The Missing Piece in Your Python Validation Toolkit
argsv is a library for validating arguments passed to callables. With this library, you can validate arguments sent to callables in a simpler, more readable, and well-defined context.

for more information, visit https://github.com/mimseyedi/argsv/wiki/1.-Why-argsv%3F
Actually asking for banning DeepSeek would be the ultimate admit of defeat by ClosedAI.
Here is a map of the stores:

https://images.ctfassets.net/d9ybqgejqp0w/7hP2z3Oyn8xH4TvFJt...

You can schedule an appointment here:

https://asurion.com

A retired coworker got a 4a off eBay two years ago, and it's eligible for a free battery replacement.
yes, example: me

I more often than not use the thumbs up on bad Google AI answers

(but not always! can't find me that easily!)
Hm, FARM is Seagate-specific but the standard is open, neat. I'll add support for this to https://github.com/TkTech/smartie/. Introduction here, https://www.snia.org/educational-library/introduction-hdd-fi... and the Mozilla v2 licensed libraries from seagate under https://github.com/Seagate all seem to support FARM now.
Found that it works on Firefox on mobile, if you request the desktop version and change the zoom to 50% . does anybody have a better option for mobile?
>but if being profitable means charging more than Uber/Lyft and having slower trips on average than a human

thats just a function of the numbers of cars on the road
I'm talking about the SOS + satellite icons appearing together. In my experience, that only appears if there is no other network available, which is the case in most subway tunnels in NYC.
Billionaire Mukesh Ambani Plans Biggest Data Center in India's Gujarat
Not clear to me that theorem discovery is not amenable to verifiable rewards. I think most important theorems probably are recovered automatically by asking AI systems to proof increasing complicated human conjectures. Along the way I expect emergent behaviors of creating conjectures and recognizing important self-breakthroughs. Much like regret emergence
Personally I prefer content with story and characters. Which is why nobody has beaten Mass effect yet.
Monkeypatching Django
Krugman has repeatedly been very bad at predicting inflation in recent years. https://www.businessinsider.com/paul-krugman-inflation-chart...

https://www.nytimes.com/2022/07/21/opinion/paul-krugman-infl...
Is Your Image a Good Storyteller?
Maybe you could run some layers on a 3090; I'm not sure how much speedup it would give.
Show HN: Podseo – Growth and competitive intelligence for Podcasts
We've recently launched Podseo, a product designed to optimize SEO specifically for podcasts. Instead of focusing on traditional search engines, Podseo enhances visibility on platforms like Apple Podcasts, Spotify, YouTube Music, and Amazon Music.

Despite the growth of podcasting, marketing and promotion for podcasts often lag behind other industries. Podseo aims to bridge that gap by providing competitive intelligence, improving rankings, and uncovering growth opportunities for podcast creators.

Would love to hear your thoughts, feedback, and suggestions!
I'd invite you to reconsider the geographic scope and distribution of Carnegie libraries. They were not mostly "largish towns in the northeast".

Here's a list of all Carnegie Libraries in the United States:
https://en.wikipedia.org/wiki/List_of_Carnegie_libraries_in_...

Here are the lists for the rest of the world:
https://en.wikipedia.org/wiki/Carnegie_library#Lists_of_Carn...
this is neat - congrats!
> If the 'likely' were not there then sure go with C

Besides the good responses from some of the sibling comments, there's a huge assumption in your reasoning that either man is responsible at all just because the police stopped the two of them.
That does sound interesting--to give the reader a bit more tooling to decide whether they're being lied to and by whom. You might enjoy The Quantum Thief, which isn't published in a such a unique way, but which has fun a story that would fit right in.
ST user here, just wanted to say thank you.
I view it as a positive that the methodology can take in more compute (bitter lesson style)
The bias is in which historical events it will refuse to speak about, and the excuse it gives.
I'm pretty certain they won't undercut Uber or other taxi services any time soon because they don't want to provoke the political headache that comes with it. That type of politics could shutdown their licenses, I'm sure they want to avoid that at all costs so they're pricing above existing services.

What they may do is refuse to raise prices and eventually inflation will make them the cheapest.
Apple's strategy already failed. Their big bet on NPU hardware did not pay off at all, and right now it's effectively wasted silicon on every iDevice while the GPU does all the heavy inference work. Now they partner with OpenAI to handle their inference (and even that's not good enough in many cases[0]). The "centralized compute" lobby is being paid by Apple to do the work their devices cannot.

Until Apple or AMD unifies their GPU architectures and implements complex streaming multiprocessors, Nvidia will remain in a class of their own. Apple used to lead the charge on the foremost CUDA alternative too, but then they abandoned it to focus on proprietary standards instead. It's pretty easy to argue that Apple shot themselves in the foot with every opportunity they had to compete on good faith. And make no mistake: Apple could have competed with Nvidia if they weren't so stubborn about Linux support and putting smartphone GPUs in laptops and desktops.

[0] https://apnews.com/article/apple-ai-news-hallucinations-ipho...
This. It’s a crucial step for our civilisation to be able to protect earth from any incoming dangers be it asteroids or Umuamua type objects. There must be a global effort with all countries to build such a system.
The Quora link reinforces OP's point though, it doesn't contradict it at all.

The only myth listed in your link is that Amazon made AWS to sell off excess computing capacity during periods of downtime.

This is from the CTO of Amazon himself:

>At Amazon we had developed unique software and services based on more than a decade of infrastructure work for the evolution of the Amazon E-Commerce Platform... The thinking then developed that offering Amazon’s expertise in ultra-scalable system software as primitive infrastructure building blocks delivered through a services interface could trigger whole new world of innovation as developers no longer needed to focus on buying, building and maintaining infrastructure.
They can certainly learn things like using gates, however they don't seem to have a concept of object permanence. If they go to the other side of the fence and do not find the ball, they will tend to begin a spiraling search for it, rather than concentrate on where the ball logically should be if you tracked the trajectory of it and formed a concept of where it went even after it left your sight.
"""
In the days when Sussman was a novice, Minsky once came to him as he sat hacking at the PDP-6.

“What are you doing?”, asked Minsky.

“I am training a randomly wired neural net to play Tic-Tac-Toe” Sussman replied.

“Why is the net wired randomly?”, asked Minsky.

“I do not want it to have any preconceptions of how to play”, Sussman said.

Minsky then shut his eyes.

“Why do you close your eyes?”, Sussman asked his teacher.

“So that the room will be empty.”

At that moment, Sussman was enlightened.
"""
Every country would behave like China in the same situation with Taiwan. Imagine if the Confederates moved over to Puerto Rico or Hawaii or Alaska. America damn sure would say that’s America still. They’re literally the same people from the same land. Same ethnicity. Same history. Only being apart for under a century.
The vibes based system has always been most popular in NYC. Since much of the media is based out of NYC they made it a largely deal than it was in the rest of the country imo.
DeepSeek-R0 (based on DeepSeek-V3 base model) was only trained with RL, no SFT, so this isn't at all like the "distillation" (i.e SFT on synthetic data generated by R1) that they also demonstrated by fine tuning Qwen and LLaMa.

Now, DeepSeek may (or may not) have used some O1 generated data for the R0 RL training, but if so that's just a cost saving vs having to source some reasoning data some other way, and in no way reduces the legitimacy of what they accomplished (which is not something any of the AI CEOs are saying).
This really got me thinking that open ai should have no ip claim at all, since all their outputs and stuff are basically a ripoff of the entire human knowledge and IPs of various kinds.
I know they were a hugely popular band, but I the only song I know is the one from the video.
James 2:17

“So also faith by itself, if it does not have works, is dead.”

People are not doing science in lieu of faith. They are putting action to their beliefs and trying to improve the shared human condition.

Water wells do not build themselves.
See also: https://en.wikipedia.org/wiki/Australasian_strewnfield (debris over 10% to 30% of the Earth's surface from an impact ~788,000 years ago). Smaller, for sure, but very recent and large enough for "nuclear winter" type scenarios.
Gary Larson expressed this best:

https://www.marketingfirst.co.nz/wp-content/uploads/2009/08/...
It was the opposite, slowing down the processor to preserve the battery (when a battery was quite old).
There is a big difference between being able to train on the reasoning vs just the answers, which they can't against o1 because it's hidden. There is also a huge difference between being able to train on the probabilities (distillation) vs not, which again they can and did do with the llama models and can't directly with OpenAI because the conceal the probability output.
If you have a set of weights A, can you derive another set of weights B that function (near) identically as A AND a) not appear to be the same weights as A when inspected superficially b) appear uncorrelated when inspecting the weight matrices?
I think this is exactly it. My gut instinct is just "Why the obsession with adding static types to Python, just use a language that already has good static types".

As you say though, not everybody gets to choose their language, and I certainly wouldn't choose Python if I could possibly help it, so if we can add good static types to Python, it's still not a great language, but it's much improved by static types.