skysight-inc/HackerNews huggingface dataset:
For what it's worth, we support 3.0 because as you note the ecosystem doesn't support 3.1 broadly yet. I'm personally interested to see if 3.1 becomes prevalent before 4.0 is released. Maybe the ecosystem will just skip 3.1?

We generate OAS because it's useful for many folks, including for us in Azure. But like you we didn't have very good luck getting high quality codegen from OpenAPI. Our latest client codegen tech doesn't use OpenAPI, we generate code directly from the TypeSpec, which offers a number of advantages that result in higher quality. Probably at topic for a blog of its own! Anyway, you might be happy to know that we are working on bringing our emitters into the TypeSpec project so anyone can use it with their TypeSpecs.
> It's the customers (i.e. "us") who are responsible for those emissions. And the cost is being passed on to those customers.

So, by making fossil fuel projects uninsurable, we will make fossil fuels more expensive, which will reduce consumption, and since it's ultimately we the consumers who consume those fossil fuels (and their products), it seems "fair" that we have to pay for our indulgence.

Sounds like the policy is going to work exactly as intended?
Because Brave is relatively unknown and unimportant.

If I fork Chromium into my own Tomte-Browse, nobody will tag their CVEs with that.
> I don't think your reply is particularly effective when you are replying to a comment that exhibits a formally verified microkernel.

I would say that one small piece of software (Sel4 is only 9,400 SLOC!) always cited as an example is actually a very small set of programs that can be formally verified. I haven't heard of a formally verified web browser...

> Many useful algorithms can be proven to terminate.

Proving that a program terminates is not that much interesting. Lack of security vulnerabilities would be much better.

> But it is clear for example that if, say a program is recognized by inspection as the concatenation (splicing the final states and initial states together) of two programs that terminate, then this program terminates

But it does not tell us anything about real programs? We don't compose software by concatenating their state machines.

> Even the link you provide gives optimism and claims that

This is a call for empiricism (aka testing) and ad-hoc heuristics exactly because the problem is not solvable in general using formal methods.
No? They said they agreed. They were just clarifying that tickets don't fully cover the costs as implied by the parent comment.
Wikipedia seems to suggest you might be wrong: https://en.wikipedia.org/wiki/Life_expectancy#Variation_over...

For example, for Ancient Rome it says “ while the ~50% reaching age 10 could expect another 40 years of life”.
> And some 40 year old Director under him who has been waiting for a promotion to VP forever

As far as I know, that would be Ann Thai, product director for App Store and Apple Arcade.
You do know that firefighters don't bring their kit home with them, right?
Source WSJ article: https://archive.is/TX53x
One thing that comes to mind is AI detection in Frigate https://docs.frigate.video. I’ve not played very much with AI but I’ve dabbled with Coral this past month and it would definitely be nice to have a fully integrated machine that could be dedicated to my security video feeds.
Making trains more attractive takes a few decades and a couple billion dollars.
Increasing the cost of driving is one of the best levers available for making transit more attractive!
MonoLisa – Font Follows Function
I have a pet theory that one of the reasons the V7 to I resolution is so pleasing and so fundamental to Western harmony is that the ET b7 is the sharpest from the harmonic 7th, and the ear wants the V dominant’s b7 to resolve down to the 3rd of the I chord.
It looks like you intended to say that on the sibling comment.
I doubt they are here to sell it, maybe to raise awareness for future investors or potential hires. Or just to show off :)
Yes, web views (backed by WKWebView on iOS and android.webkit.WebView on Android) are one of the Skip modules under active development: https://github.com/skiptools/skip-web
Thanks. Yeah I guess I was thinking more about the content/research/advocacy that they themselves produce. The article you link is their news aggregator (kff health news) reposting a Sacramento Bee news article. Anyway, I appreciate you taking the time to respond. My impression that KFF doesn’t produce research or advocate for policy that is contrary to Kaiser the HMO’s interest weakly persists, but I suppose that needn’t signal any specific conflicts of interest so much as hint at incentives and business model issues. If I understood KFF’s business model better (are they a think tank?) it might resolve my concern about their alignment with big healthcare interests in general and Kaiser permanente in particular.
Thank you! If you want help setting up you can always call +1 503 250 3868 (Tokyo time) or email me eltonlin@alum.mit.edu :^)
We bought Newegg out of all the new Tyan systems they had in stock. I was hoping to do a piece on them, but they must have had few in inventory
> He is also the only person in the US Army to be considered for the rank of Field Marshall, mostly because FDR thought it would be funny to have Field Marshal Marshall.

According to Wikipedia, he got an equivalent rank that was named "General of the Army" It was not called "Field Marshal" because having a "Marshal Marshall" was considered undignified (https://en.wikipedia.org/wiki/Field_marshal#United_States:)
100% agree. That's problematic. We will fix it.

I added this license around a couple of years ago. I remember that I was in a hurry since Google needed a policy document to approve our application for "Google login". Still that's not a good excuse. We will fix it ASAP.
I’ve also adopted that policy after getting really annoyed that 90% of the time when someone mentions historical life expectancy, they make that exact same mistake and completely ignore infantile mortality.
https://www.youtube.com/watch?v=39wzku9KIEM
Ahh, that makes sense - in fact I just used a credit card to pick up linked online Shinkansen bookings from the JR-West ticket machines.

(Those systems all seem to use either magstripe or chip though, so maybe the wireless transaction could still use a different one, in theory).
Cool, thanks for the reply!
Sounds like we need tools to easily inline only the used parts of a library into your project. Does anything like that already exist?
Worse: Teslas are prices like luxury cars, but they're not built like ones.
Can only be summed up as anti-accessibility
Wouldn’t using Cloudflare or Google DNS solve this?
Few are really prepared to have kids, until they have their second kid. Everyone I know who had kids shortly after college (which skews the parents a bit economically, I know, but not necessarily emotionally or in maturity) had great family lives and outcomes.
The problem is the step function differences. Someone may be an exceptional individual contributor but a lousy manager even at a relatively low level. A manager of a small team may not be great at handling a big team that may need to be realigned.

Some of it's about a company having reasonable tracks for people depending upon their preferences. But people may also have preferences they're just not suited for.
I got this experience first hand in Boston in 2008ish, "Tap and Go" had been introduced to Australia for what seemed to be years before and the cashier expected me to "pass my card" after I had already tapped to pay.

Fortunately she took my explanation well and wanted me to demo it in front of a co-worker.
the article is about porting it to wasm. it therefore runs on iOS via a wasm-capable browser on iOS.
Easy one would be the P part is single socket only.

I was browsing one day looking for barebones to throw in one of our clusters and saw Newegg was selling these 1U servers cheap ($2200-2300)

Usually with AMD desktop and server CPUs buying high core counts at lower TDP yields a great perf/ W figure
I never said innovate. I specifically used the word disruption. As I said in another post if people only knew how hard it is to get all the pieces in place to create disruption, these founders would have more respect.
Take a look at skip.tools. It's pure SwiftUI on iOS and Jetpack Compose on Android, with the tool automatically handling the translation from Swift to Kotlin as part of the Xcode build process.
Apple Turns to Longtime Steve Jobs Disciple to Defend Its 'Walled Garden'
GDP growth doesn't necessarily mean any one person will be better off. But regardless, if you, say, build something with the help of AI that you couldn't do before, it could make you money, depending on how much you sell.
Are You Burned Out?
Same. Easiest decision we made. I don't understand the comments about maturity. I fully agree that at 25 I would be unable to raise a 16 year old. Luckily I've never met someone who gave birth to one of those.
As others have pointed out, mac randomization mostly greatly reduces privacy risk. I'm not sure wifi scanning emits your mac address unless you connect to hidden ssid's. Bluetooth devices always bark out some kind of beacons when turned on.

This is basically a door people counter made for areas where you couldn't have a door. Malls used that tech 30+ years ago, little LED sensor that counted up every time the beam was broken. Small LCD screen usually at the bottom of the gates you pass through going in. If not a gate, then usually a beam with a reflector on the other side and the screen was on back of the beam/sensor unit.

For this use case, easier to count active mac addresses to figure out how busy each area is, doesn't have to be precise but it lets the town and advertiser know whether it makes sense to install a sign somewhere. Gives a general idea of ad impressions and is way cheaper and less intrusive than using cameras.

With that out of the way, I'd be more concerned if these were like other kiosks that also broadcast wifi and that connection was collecting unique information. This should be the main concern, this is where the good easy to correlate personal information is. That and cameras on advertising devices that do face/attention recognition.
It used to be that the average person at 25 already had worked a full-time job for 5-7 years. Now a college education is much more important and at 25 many haven't had a full-time job at all yet and in a way haven't been exposed to the real world. I sometimes think about Robert M. Pirsig's point that young people should work and then get further education to see better where the value comes from. I do wonder if that would push children even further back though.
Most of those don't look particularly "native" either. Apps like Blender and Krita look like themselves and not like any OS desktop widget system.
A violent response was expected. What was not expected was a competent violent response.
Yea, it looks better for when we put it on screen in videos though.
By the way, you can use the "allOf hack" to put documentation alongside a ref. TypeSpec emits this for common cases like this one:

https://typespec.io/playground?c=bW9kZWwgRm9vIHsNCiAgLyoqIHR...
Are you laughing because we lost most newspapers to garbage online news, because schools are digitalized with no benefits, because social media made us less democratic, or because fake products are sold on the most successful online stores?

For sure he underestimated the impact, but he was not /wrong/. Most things did not get replaced by computers, they were lost to computers.
Wondering if you can generate your service stubs and your clients to use for testing from TypeSpec, could it be faster even in the prototyping/early stages to define your spec first? A la gRpc?
The reality of Italy's 1-euro-house dream
How is the 3D story on gtk4 am I still stuck to opengl contexts?
https://archive.is/TX53x
crystal has it too, and i agree, it's a very nice feature
Which programming subject do you want in particular? If it's coding syntax heavy, then the blackboard format might not be suitable. But if it's algorithm-heavy, then blackboard visuals could be very helpful.

Feel free to email me eltonlin@alum.mit.edu or if you prefer calling https://cal.com/eltonlin1998/15min

(BTW the things I described like overcrowded Office Hours etc., restricted access to past problems, were all Comp. Sci classes - Intro to Algorithms, Design & Analysis of Algorithms.)
For home use I'd rather get 7945hx only issue is 96G ram.

https://store.minisforum.com/products/minisforum-bd770i
People aren't static, nor are companies or roles within them. Treating every person as unchanging and treating the requirements of each level in the hierarchy as unchanging are just plain bad assumptions to make.

People grow. Companies change.

This book was meant as satire, and the fact that so many people take it as fact is honestly quite concerning.
If you think that automobiles represent unbridled freedom, you're mistaken.

Cars take away freedom from people who don't drive. Ask about how the car-centric environment degrades the experience of pedestrians, cyclists, and transit riders.

Having been to less-carbrained countries like Japan, I really enjoyed the freedom to take trains everywhere instead of the American so-called freedom to drive everywhere.

I'm all for freedom, but we need to be careful when analyzing how one person's freedom (e.g. to smoke) diminishes another person's freedom (e.g. clean air).
This exactly. I've got all six original Star Trek films on UHD blu-rays. I was recently visiting my mother and we watched The Voyage Home (the one with the whales) streaming on her TV. The compression artifacts were immediately apparent. I won't judge color accuracy or contrast, since we have very different TV technologies. But I shouldn't be able to see mpeg blocks on a 4k stream that the provider charges extra for!
indeed it would be a great money laundering scheme. 2.7B will disappear from the books without leaving a trace. they were literally used to heat the atmosphere.
Why quantum entanglement doesn't allow faster-than-light communication (2016)
Ah thanks for your feedback. I was worried that if I put $10/week, then it's not immediately obvious that it's a magnitude less expensive. Would it perhaps work if I highlight/emphasize the $10/week in the description below on the website? Or do you think it must be in the title?
The allies had their own set of "super weapons", like radars and proximity fuses.

The Nazis had the issue that they wanted to field massive superweapons, but were nowhere near as mechanized as the allies, leading to them being unable to actually practically support those superweapons (and probably also why they went with such over-the-top ideas, hoping that they could do the job with a few units only and relying on scaring and demoralizing the allies into submission).
Ask HN: Favourite apps / platforms for micro learning?
Why are they your favourite?
For offline support! Chip cards were introduced before internet connections were ubiquitous.

Some cards were even explicitly offline-preferring as long as there was any offline balance remaining to save on data transmission and processing bills.

There are even some fully offline chip systems around (where both terminal and card are mostly offline) that take the “offline purse” idea even further, but these are usually separate from the mostly account-based debit and credit schemes popular today, and are often getting phased out.

These days, cards are mostly online-preferring or even online only, with some merchants taking on the risk of accepting cards while offline.
Powerful New Codegen AI
Will have to try it to see how well it works in practice, but very cool. I can see this being popular for side project apps written by iOS devs that otherwise wouldn’t have an Android port.
> Truly. I had no idea anyone was still using cheques in 2024.

Pretty much nobody uses cheques anymore.

However, checks are alive and well.
It would be smart if we could incentivise up-and-coming players to compete on ideas and execution, rather than on who’s got the bigger machine.
My grandpa's mother worked as a servant in a castle that I only know as a burned-out ruin and my grandpa fought in Stalingrad as a teenager. Unfathomable
[dupe]

Some more discussion: https://news.ycombinator.com/item?id=39845125
That's not what investors believe. They believe that due to training costs there will be a handful of winners who will reap all the benefits, especially if one of them achieves AGI. You can tell by looking at what they've invested most in: foundation models.
This book looks absolutely riveting - just read the preview on Amazon. Which e-books platform did you buy it from?
Trump's curious effect on trust in science
UK Report on Inclusion at Work Panel's recommendation for improving D&I practice
Ah OK, so I better make the carousel pause when a video is playing then!
I moved Finland 30 years ago. Checks for private customers did no longer exist at that time. (Checks for businesses reportedly still existed a couple of years.)

Since the pandemic started I have not carried a wallet (paying cash was seen as some kind anti-social behavior with high risk to infect someone) There are zero places where I would need cash. An increasing number of places does not accept cash.

For some ten years we have had international account numbers (IBAN). Transfers inside the Euro zone cost nothing (included in every basic account package) and take one banking day.

Nowadays there are several transfer apps where the transfer takes seconds or less. I am not using those because I run a Google-free Android and have root on my phone.
Or what are some resources you would recommend? Any topic
Thank you for this comment - you have succinctly captured something that I have been feeling but unable to express in words.

Stories/memes/narratives are the most easy/potent form of mental ingestion - so much so that I think humans cannot ingest facts or ideas at all, only stories. And this puts a collective responsibility on all of us to be very careful about the stories we create.
There is not an EPYC 7xx4. EPYC 8004 is Siena. We reviewed an ASRock Rack Siena platform this week actually.

We had this in the Genoa launch piece but AMD largely kept $/core constant between Milan and Genoa. Milan is still being sold since it uses cheaper PCIe Gen4 motherboards and DDR4.

On the server side it takes a few quarters for new products to start making up the majority of shipments. These days it is better to think of new servers as N, N-1, and still some N-2 generations being sold as new.
I don’t think anyone really thinks that. The vast majority of people in their 20s are perfectly capable of raising children, it’s just not desirable.

I don’t think it’s a bad thing (why not spend your 20s exploring?) but it’s also easily explained by financial burdens that didn’t used to exist. Housing is now very expensive, can you blame people waiting until they have the right size home before they have kids?
Some previous discussion in 2022:

https://news.ycombinator.com/item?id=30336809
Decades of evidence, as I said.
It is the democratic process and this is why the country was founded as a republic because they saw democracy as a kind of tyranny by the majority. Even if everyone in CT voted to kill Bob in Granby, it would be illegal although it would be democratic to kill him.
It would be nice if our life expectancy got longer at the same pace (instead of doing exactly the opposite).
> Angular

Well, Angular is kind of dead now (or rather - will be). See https://twitter.com/sarah_edo/status/1770478763253379488

> Today we have some exciting news! We're merging frameworks! Angular and Wiz!

Wiz is awful and it's my read that a Wiz manager "won" a corporate battle and Angular (as it was) is dead.
Show HN: Quasar Prime: Vue.js Admin Template
Quasar Prime: Vue.js Admin Template – Powerfully Elegant, Ultimate Dashboard Solution!
Wait, given the age differences described here, the book very much reflected reality, no?
Similar to the imitation problem, I’ve read somewhere that it’s not greed what drives people to accumulate things (wealth etc.) but envy. You don’t want more for the sake of getting more, you simply want more than your neighbor.

It’s all relative. And difficult to break the cycle.

Possibly links to point 8.
They have their own launch market keeping them busy. Also, even without Starlink, there has been growth in the launch market, it just happens that with modern electronics, most satellites don't need to be very large, and there are a few sets of orbits most of them want to go to. So you can just have a regularly scheduled trip to an orbit and absorb a lot of the demand in one launch.
https://openbeagle.org/beagley-ai/beagley-ai - at a glance, it looks like there's everything you need to be able to fab your own boards, if you really wanted to.
Show HN from the author earlier in the month:

https://news.ycombinator.com/item?id=39568046
Well there's a reason for that - consider it a form of spaced-repetition learning.

The author's goal is to convey an idea to the reader. He breaks it up into small overlapping chunks and gradually doles out these small overlapping chunks over the course of the book, sometimes backtracking and repeating an idea with a different example, all accompanied by a compelling narrative.

If he does his job well then the reader doesn't notice that spaced-repetition learning is happening because the supporting examples are entertaining enough to continue reading. In the worst case, the author gets the exact criticism that you are leveling.

Honestly, if you had Mathematics books written like Thinking, Fast and Slow or Freakonomics you'd have a lot more students passing calculus.[1]

So, here's a challenge for you - in your area of expertise (whatever that is), write down the chapters of a hypothetical book you would write to explain one or two foundational principles to an outsider (to that area). It's pretty hard to do. Then compare with best-selling non-fiction aimed at outsiders like Freakonomics, etc.

I did this (chapter overview thing) and realised pretty quickly that I had planned a really boring book.

[1] I read Thinking, Fast and Slow around 2011, and I read The Mom Test last year. Almost all of the sub-themes of the former is still in my memory. The only thing I remember of The Mom Test is that people will lie to you to protect your feelings.
I once went to a drive-up ATM and withdrew $100. It deducted $100 from my account, but the machine gave me $300 instead. I walked into the branch and returned the money. They were thankful, but I never followed up with what happened. It was one of those small town credit unions. I guess weird things must happen frequently.
Neural correlates of interspecies perspective taking in the post-mortem Salmon [pdf] (2009)
> Pretty sure if I went to everyone I know who lives in NYC and asked them if they'd prefer less car noise throughout the day and night, they would answer with an emphatic yes.

Unless the people you know are much different than the ones I know, the great majority would say they don't care, many would embrace the energy of the city, and no doubt some would agree. (Of course, it depends on how you frame the question - 'do you want less car noise?', and 'do you want NY to be quiet like the suburbs?' would get different responses.)
Most important applications have an ARM version now. Especially true since Apple Silicon and AWS Graviton. Windows will force developers to compile both x86 and ARM versions.
You can buy a full desktop GPU for the price of a Jetson Orin dev board. Not really a good comparison point for a $70 SBC.
Pretty definitive statements, but what are they based on?
I'm not sure if the goal is to not let people post on Twitter/X, but rather to not have a webpage with a share to Twitter button, to FB button, to Mastodon button, etc, but to have one button and when you click it, opens up the full list.

I see it almost as a way to do the share menu that mobile phones have. I tested the Share Openly button on my phone and it not only opened Threads and Bluesky much faster than the share menu on my version of iOS, it also added not just the URL but the title as well.