skysight-inc/HackerNews huggingface dataset:
1. Qualcomm is still allowed to buy , use and sell ARM's Design IP. i.e Going back to Cortex X series.

2. Mediatek is available, mostly with latest ARM's IP. And extremely competitive. The only thing missing is Qualcomm Modem. It isn't Mediatek's modem are bad, they are at least far better than whatever Apple's Intel Modem had used or planned. The only problem is Qualcomm is go good customers still prefer it for the relatively little price they are paying for.

3. It is not like Android OEM cant make their own SoC. Especially considering the smartphone market can now be largely grouped as Apple, Samsung and Chinese. Together they are 95%+ of Market share.
RichAPI: Find HTTP Exceptions and turn them into documented responses
Introducing RichAPI!

A big thank you to Sebastián Ramírez Montaño for creating FastAPI, which made seamless documentation possible. Inspired by his work and Marcelo Trylesinski similar library(Fast-Responses), I developed RichAPI – a tool that uses AST to analyze your FastAPI code and enhance Swagger with all possible responses, not just 2xx. By parsing your router's code, RichAPI automatically detects raised HTTP exceptions, and use that to provide a complete overview of your API’s behavior.

Take seamless documentation experience to next level !

Github Repo URL: https://github.com/ManiMozaffar/richapi

Documentation: https://manimozaffar.github.io/richapi/latest/

If you find it useful, please the repo! Your support motivates me to keep improving open-source frameworks.

Share your thought what do you think about the library?
It's not about the points. It's about knowing that writing a comment on a topic is a pointless endeavor, so you withhold. HN, like all communities, has topics that you learn to generally avoid interacting with because the community opinion is so strongly engrained. Going against the community opinion is akin to pushing boulders by hand. Sure, you might make it move once in a while, but do you really want to put in the effort?
Please try out Jujutsu.
This is very interesting, and it's great to see new editors.

But honestly I never got the fascination for the Acme editor. It seems powerful, but relying on mouse input is limiting, slow and imprecise. I'd much rather control my editor using the infinite key combinations of the keyboard I'm already typing on, which is much more comfortable, accurate and faster. It also builds muscle memory that can never be built with an analog input method like the mouse.

Multi-pane editing is also not very useful beyond a single vertical or horizontal split. For anything more complex, a tiling window manager is a more versatile tool that works for any app.

To enable these two functionalities UI elements need to be rendered, which clutters up the UI and takes up considerable screen real-estate. When working in a buffer and keyboard-oriented editor like Vim or Emacs, the screen only needs to show the content itself, which is a much more pleasant environment to work in.

But maybe I'm misunderstanding the benefits of the Acme workflow, and I honestly haven't given it a thorough try, so I'd be happy to read counterpoints.

BTW, I love the font Anvil uses! Is it available somewhere to download?
it's not really a PC problem, its an attestability problem.

Even with kernel level nonsense a cheat can be made technically undetectable by essentially making a 'player robot' that uses a camera and CV to watch a screen and traditional mouse/keyboard interfaces. It'll only be detectable via player-action/movement heuristics and 'best guesses', and it needs no hooks into software or OS.

This type of 'bot' is going to explode across consoles and the like soon given the focus on AI with general purpose reasoning; you can already easily implement this style of bot against slow paced games like mahjong or poker inferring against big clunky slow image-inferring LLMs; given how easy most coding LLMs can spit out the code for specialty CNNs when knowing the criteria we're going to see this kind of cheating get a lot more accessible.

And I mean this practically. Go talk to Claude or ChatGPT about making a bot in this fashion for just about any slower paced deliberate-action game -- it's shockingly good at doing so with very little user input. Provide it with a few screenshots of the interface and it can even automate finding the bounding boxes or whatever other thing-of-interest you need to coordinate purely by description -- the barrier to entry for game cheating is lower than i've ever seen it , and that's one of the things I did for a living for a portion of my youth.
This does use Docker - it’s literally just working in a container so it’s both useful experience and overlaps with your deployments so you avoid multiple layers of waste from VMs: everything is reproducible, people don’t hit problems due to untracked local state, and they don’t spend time on sysadmin work which isn’t directly related to what you deploy.
It ought to be easier to get a blank slate of a small device with some compute power and a screen, like the Kindle here, without having to jailbreak something.
What kind of American exceptionalism is that? There are countries significantly more democratic and happy than USA.
Did what action actually happen? Those reported in the article? If so, clearly yes. They've been widely reported and confirmed repeatedly. The initial international outrage appears to have subsided. I'd guess partly mainly due to the obvious support of the US, who gave up on being outraged when it became obvious there was no one listening on the Israeli side.
If I had the spare time I would love to contribute dart support, but alas...
At the same time though, warriors would not be chosen at random from the population. In pretty much every society you get a warrior caste who first of all were descended from the victors of some battle or another, selecting for one end of the physiological spectrum. Then members of this class tend to interbreed, leading to a genetic predisposition towards height. They likewise often have better access to nutritious foods than people in lower castes, which helps achieve taller heights (and is the primary reason for modern tallness). Even from this warrior class, not everyone would actually wind up fighting - military units would further select the tallest and strongest to be their elite forces.

So if you find a sword, it's a pretty safe bet the person who wielded it was taller than average for the time period.
You mean +1?
Bazel solves a lot of issues for non Google folk.

It has a build and test and coverage cache that actually consistently works. It can run tests in a sandbox to prevent your local environment from getting consumed by the test (this specific thing has actually caused production outages before).

A DAG for your codebase is also super useful as you can automate a lot of “clean up once you’re done” type work.
I think travel by bus/train is more friendly when they have "headway".

Instead of a specific schedule, there is a bus/train every "n" minutes.
I would love to pay for social software on a coop model (like a food coop, etc) — we would be "members" and, theoretically, we pay a small monthly fee that covers the costs of hosting and platform development. I've tried to think about what I would want that to look like — spoiler, something different than the model of "posting + reactions" that is so familiar from twitter+fb — but then when I think about the barriers to entry for a project like that, even though the technological part might not be that difficult (assuming it was Less Than Web Scale), I just give up hoping for it.

I've been following a lot of the bluesky + mastodon stuff but I don't like that their basic model of social interaction is just a clone of Twitter.
I mean if it prevents pointer arithmetic and use after free it can be.
Calling it: It’s because it’s antiinflammatory. (It is antiinflammatory. Calling it: That’s the reason.)
Lunk alert!
I know a commercial pilot who used that as a joke once and got in trouble. The plane in question had several pilots on it but the rest of the passengers didn’t find it funny for obvious reasons.
Russia is an Empire of Evil and Murder. Even Russian rulers hold their own people in contempt and have no use for them except as slaves. 800 years of their history proves it.

Junk away.
Its not telemetry its Microsoft + telemetry that people are up in arms over.

Catch JetBrains doing something dodgy enough and there will be a similar shitstorm against them.
“We don’t wish to cause any alarm, but is there any one on board who is familiar with regular expressions, cron expressions and parameter expansion rules in bash?”
> I get kind of annoyed when people look at the internet or social media and act like it causes all these problems.

I don't think it causes these problems. It seems very clear to me that it amplifies them, though.
it's a known quantity with known good support for various things and a large community.

People and particularly businesses want to buy something they know works, rather than trying to change and figure out new configuration nuances every time something with a slightly better looking spec sheet comes out.
Selling puts is a volatility play and doesn't mean anything. Putting your money were your mouth is would be shorting the stock, good luck with that.
Judge Sides with FTC, Blocking Kate Spade and Michael Kors Merger
What do you mean they threw in their hat? I am not aware as to what happened.
Regarding the Ruby example, why did they use Float("...") instead of #to_f?
What about the entire C suite?
The main point of the article is that by "covering your ass" you are actually becoming a better developer, because the prose you write is plans and documentation and gives your thoughts structure.

Hence, your personal productivity (measured by what metric?) might suffer for this one task. However, in the long run you and your team gain productivity because of existing explicit documentation and plans.
And some larger third party dependencies take so long to link to the final binary it’s kinda insane.
The article makes the particularly good point that you generally can’t effectively add new inferences without constraining optionality in code somehow. Put another way, you can’t draw new conclusions without new available assumptions.

In Sean’s “Safe C++” proposal, he extends C++ to enable new code to embed new assumptions, then subsets that extension to permit drawing new conclusions for safety by eliminating code that would violate the path to those safety conclusions.
All right, I don't dispute that a larger NATO is in US geopolitical interests. I just disagree with the framing that NATO is expanding vs. countries independently seeking to join.

It may sound like a minor difference, but that plays to the Russian narrative of US violating their sphere of influence. In this imperialistic worldview smaller countries have no agency and are just pawns of larger powers. This is at the core of the current war too -- Russia desperately trying to prevent Ukraine from following the path of westward alignment that it has independently chosen.
They absolutely do answer the question.
You forgot all the ridicule endured for all the previous failed attempts and people how "stupid" he is for not listening to his engineers that the chopstick landing is not feasible.
> how close to a sine wave is the Daylight line?

It's as close as the Earth's orbit is to a perfect circle and that the shapes of the earth and sun are to perfect spheres and as the axis of the earth has no wobble and no precession and the sun's rays are truly parallel and and there is no drag in space sapping energy from the dynamics and general relativity effects are sent to zero and so on.

Once everything is perfectly circular and simple and Euclidean, then it does become a perfect sinewave. Then the sinewave has period = 1 year, the amplitude is symmetric by latitude, and it's pretty easy to derive.

All the above (and more) all intorduce measurable errors from the perfect sinewave.
There is a Swift LSP. See - https://github.com/swiftlang/sourcekit-lsp
Interestingly, I don't think a court would look kindly on intentionally obfuscated or difficult cancellation procedures imposed on a contract unilaterally. And I don't think the cost/benefit ratio favors a firm taking someone to court on this. (Collections may be an option for them, and I'm not sure how you challenge the validity of a charge or who decides.)
> There are some questions about revokation,

I'm not sure what you mean by questions. But cheri does have an answer to how revocation works: All cheri capabilities (pointers) are tagged and the tags are controlled with protected instructions. To revoke a capability, you can sweep the tagged memory and untag any revoked cabability. To reduce revocation work, you can defer reusing cabilities for as long as reasonable and then revoke many in a single sweep.

Of course, this is not cheap compared to the rest of cheri-- but they do have an answer to it, and it's implemented e.g. in cheribsd. It's intrusive (at least in terms of performance/latency) as you note, though it's distinct from most other GC approaches because it's secure even against malicious code, and can't have false positives or false negatives (because tags are completely unambigious).

One of the cool things about cheri is that it eliminates the need for a TLB for security reasons which could have positive performance effects... unfortunately virtual memory is still needed for virtual memory that exceeded physical memory. Though for an IOT-ish device swap is probably a non-issue.
I don't know where you live, but the places where obesity isn't on the rise are heavily outnumbered by the places where it is. It's a global problem.

Easy and cheap access to calorie dense food and food heavy in sugars seems to nearly universally be something that significant portions of the population have difficulty resisting overindulging in, regardless of culture.
I call them guard conditions and it’s my preferred pattern too. Deal with all the exceptional cases at the top and then move on to the happy path as a linear flow.
Amish tend to be younger.
I get what you're saying, but I disagree that overt racism all by itself means the racist is crazy. I strongly disagree with the stance and think that it's immoral and idiotic, but not necessarily crazy.
Because the way LLMs work is more-or-less "for every token, read the entire matrix from memory and do math on it". Math is fast, so if you manage to use only half the bits to store each item in the matrix, you only have to do half as much work. Of course, sometimes those least-significant-bits were relied-upon in the original training.
There is one, it's called the Raspberry Pi ecosystem, but due to the small volume and the target audience largely being not-my-own-money (think educational institutions), the price is quite detached from the production cost.
Ahhh, "program a new battery" $400 please.
ST Book, the Notebook Atari ST
Rust comes with memory safety.

It's one less potential cause that might bring down the entire Erlang VM.
It’s happening. The mg3 is very common in the third world and has touch screens now in the latest model. They have a few buttons on the wheel but the majority of features are on the tiny touchscreen in the center. If you see cars in the 3rd world without touchscreens they are older models is all. Sometimes it just takes a while for the new cheaper way to do things to become widespread.
https://www.anthropic.com/news/3-5-models-and-computer-use
This is why I install netsurf on all my Pis. "But bitwize," you say, "netsurf doesn't support JavaScript!" To which I reply, "Oh no! Anyway..."
Discussion (367 points, 6 days ago, 122 comments) https://news.ycombinator.com/item?id=41858024
Not joking, "Life Sustaining Glop" would be a better name than Soylent.
Well this is why the rich get richer.
And at the start of the happy path, I tend to put "Do it" as a comment (a convention I learned from reading Emacs Lisp code).
It's hard to imagine an interpretation of this behavior that doesn't involve manufacturers trying to punish independent mechanics and end users who service their own cars. Like, there's no way it's an "honest mistake", right?

BTW I have an AGM ("advanced glass mat") battery in my 1995 Toyota which has a completely analog charging system, and it doesn't get cooked, so it's not because there's something special about the battery.
Aircraft with INOP APUs can generally be "air started" with a ground-based high-pressure air system. It's relatively common and I've been on a plane that had to do the procedure. It was entirely undramatic other than engines being started before the pushback, but I doubt most passengers even noticed.

Now, interestingly, the 787 is a "bleedless" aircraft, so it doesn't use high-pressure air from the APU to spool up the engines. I believe it can use its hefty bank of lithium-ion batteries to start its engines if the APU (and associated electrical generator) is INOP.

Not a pilot/engineer - just an enthusiast. Someone more au fait with the 787 might be able to correct me on the above.
Timeshare.
Safety and Freedom – By Kent Beck
Rein. It’s about controlling a horse, not an entire nation.
While researching for parts, I also found this one: https://www.amazon.com/dp/B07RR86PFC/
It goes up to 10GHz, and it operates on 5V. Would that also be an option, and possibly allow to get rid of the boost converter too?
Well what is the actual law here? What made this fair for decades, according to the law, and suddenly unfair and deceptive today even though there has been no actual change to the law? (I would argue that it was unfair and deceptive all along, but that's not what the law said). Laws were meant to be something more permanent and reliable than something which can just be changed on the whim of some bureaucrat.
The problem with Google takeout is that if you haveany photos, let's say 300gb like myself, you end up having to manually download 50 or so files. This could be easily avoided if photos where synced to a pc like before, unsig Google drive.
Isn't Bluesky just a copy of Twitter from that era, anyway?
> Then don’t use it. People who keen on whining about this clearly don’t know anything about building a business.

You could heed your own advice and just not use the site, yet you're keen to stay and whine. Curious!
1. Yes absolutely. But the issue is a little bit more nuanced than that. Websites without APIs don't have them for one of two reasons: (1) They want to protect their data (LinkedIn) or (2) can't be bothered to make an API (boutique websites, government portals). This solves that problem, but also makes it so these websites never have to build an API (after LLM costs go down).

2. We don't want Skyvern to be used on websites that prohibit this kind of behaviour (LinkedIn is the obvious example). Specifically, we didn't open source any of our anti-bot or captcha related code because we get requests to make "Reddit upvote rings" and such. We don't want to support bad actors like that

(3) I think this is a net net good thing. AI browser automations= less need for APIs = no need to maintain both an API and UI = streamlined experience + less code = simpler systems

(4) I'm not 100% sure about this one. We usually just assume companies don't build APIs because they don't have budget for it. Ie for non malicious reasons. Companies like LinkedIn will likely thwart any attempts at automation, but we're not interested in participating in this cat mouse game
> In case anyone missed it, I'd like to point out the obvious: her professional reputation, and her paycheck (i.e. her grants), depend on a continued supply of unhappy gender-transitioning children.

This kind of knee jerk conspiratorial nonsense is exactly why reactionaries share blame for making this into a needlessly politicized shit show.

It is indeed anti-scientific to hold back the study, just like it's anti-scientific to latch on to one result and use it to support the reactionary panic narrative. Just like covid and climate change before it, once we're here we've all lost. Do better and maybe we can manage to walk the fine line of truth at the heart of the matter, because neither extremist camp has it right.
IBM's Red Hat Acquisition Will Pay for Itself by Early Next Year
Is they were the buyer they'd have used ;(
Define "soon" and "leading".

In terms of yield, volume, and delivery. TSMC will be shipping 2nm in late 2025, while TSMC US will be doing 4nm, a variation of their 5nm in the same time frame.

That is 3-4 years behind. I guess TSMC could make TSMC US roughly 2 years behind Taiwan. And there are plenty of usage for these nodes. I mean most GPU sold are still in 4 / 5nm.

For US to be back in the lead in terms of node, they could only count on Intel.
Making money is the Silicon Valley Bro equivalent of mathematical proof.

Sorry, not making money— I meant attracting investment.

AI tech is generally undertested and experimental, yet marketed as solid and reliable.
This one is specific to Chinese lead isotopes. Many Chinese bronzes have elevated levels of radiogenic lead. https://www.nature.com/articles/s41598-018-30275-2
Airliners are regularly and routinely shut down. "Cold and dark" is a common startup procedure for the first flight of the day.
This is determining the directly observable behavior rather than anything about microarchitectural specifics.
Which customer support?
> Unfortunately, an aircraft has no “reboot”. It is just a violent power cut.

That’s a reboot.
Nonbody removed any contributors. They just took away maintainer status from some people (rights to commit direcly to the kernel repo).
They are still allowed to contribute via the normal process.
The rarely told story of the flies, primates, canines that preceded us in space [video]
The specialization did a good job of explaining all of the basic concepts of RL in a fairly understandable way. The instructors don't assume a huge amount of prior knowledge, and make it pretty accessible. They split reasonably between theory and applications. I would say that you need some background in math and ML.

The courses do build upon each other. You could do just the first course and get a good overview of RL without diving into the details, but I don't think you could start midway through the specialization.

I would also suggest looking at the Hugging Face Deep Reinforcement Learning course. That one is very different (focused more on application than diving deep into the theory), but it's taught by a non-academic and really tries to explain the concepts in a way that is approachable to most programmers.
The OP said "Look at profits of legacy auto. It’s not the labor, they’re prioritizing profits over investment [...]". Are you arguing that this is incorrect by showing some examples of large labor expenses these US auto companies have? My understanding is that profits is what is left over to be paid to shareholders after they stop spending on employees/investment/opex/etc.
To be fair they're not a great comparison.

VS Code starts out as a lightweight code editor & via extensions you can turn it into more of an IDE but it'll take a lot of customization & messing around.

Rider is an IDE with all the bells & whistles already included. It also has extensions but they've built it with the most popular things already.

Refactoring, debugging, code navigation, formatting & hinting/suggestions are far superior in Rider. They have a lot more advanced features. Check out some YouTube videos by JetBrains to see examples.

Don't get me wrong - VS Code is still a great tool & I use it daily. I do wish they would have named it something other than "Code" or "Visual Studio Code" but hey, it's Microsoft. They're famous for terrible bad name choices. Maybe they'll make a copilot to fix that.
Where? In Japan, obesity among men has increased by 1.5x over the past several decades. It remains quite low, but the rate is still increasing year over year (slower with women). Vietnam, a country with one of the lowest obesity rates in the world is seeing an increase - the overweight and obesity rate has basically tripled since the early 2000s.