skysight-inc/HackerNews huggingface dataset:
It’s still wild to me that people thought a 74-year-old man who doesn’t use the internet was personally authoring bangers on Twitter.
So could have the NY times couple of years ago with

> Why NASA's First All-Women Spacewalk Made History

And we have articles in space.com just a week ago

>Watch 2 NASA astronauts conduct 4th-ever all-female spacewalk today

If all female walks are news, then fuck ups during all female space walks are also news worth pointing.
And it's not like they'd ever abuse that ability, like when someone pokes around in their car and discovers references to a new unannounced model, and then Tesla reaches in, force downgrades the vehicle to older software with no references, and then disables the ethernet port on the vehicle, and for a final fuck you disables its ability to ever get another update.

They'd never do that, except when they did do that.
While helping a bit, it's difficult to learn or reverse engineer from existing type checking code because a lot of them are mundane repetitive code implementing some high level theory and algorithms. The actual code is too far remote from the theory. You really want to start from the theory and the overall picture.

The Dragon book has a chapter on type checking. It gives explanations on many topics. It has plenty of examples. It has type treatments on different areas of a language, like expression, array, struct, function, pointer, etc.

Despite being really old, its ideas and explanation on the topic are still relevant.
Correct, there are many operating systems.

That is why each modern language has introduced their own package manager.
> It was caused by the fact that x86 was designed 45 years ago, and has had feature after feature piled on the same base, which has never been adequately rebuilt.

Itanic would like to object! Unfortunately it can’t get through the door.
> While I fully understand that this is hard to get right 100% of the time, a mess up of this level by a car manufacturer is pretty amazing to me.

I feel like it's going to happen to someone that makes network devices eventually. I'm always scared to update my (several hundred) UniFi devices. Their update process isn't foolproof and they push auto-updates via the UI pretty hard.

Several years ago they caused some people's devices to disconnect from the management controller when they enabled 'https' communication. Prior to that, if you were pointing devices at 'https://example.com:8080...' they would ignore the 'https' part and do an 'http' request to port '8080'. Then they pushed their 'https' update which expected an 'https' connection and didn't fall back to the old behavior for anyone that was mistakenly using 'https' in their URL initially. Some people on their forums complained about having to manually SSH to every device to fix the issue.

It was caused by an end-user mistake, but they knew it was a potential issue. AFAIK, their attitude on it hasn't changed and a lot and at the time their response was that they knew it would break some people, but that it wouldn't be that many (lol).

IMO, the issue with those systems is that basic communication back to the update / config server is part of the total package which is too complex (ie: a full Debian install). I'd rather see something like Mender (mender.io) where the core communications / updates come from a hardened system with watchdog, recovery, rollback logic.

Think of how crazy it is to have something like pfSense doing package based updates rather than slice based updates. At least with boot environments they could add some watchdog and rollback type logic, but it'll still be part of the total system instead of something like a hardened slice based setup where the most critical logic is isolated from everything else and treated like a princess.

Do you have any insight on package vs slice based systems for updates? Did you isolate update logic from the rest of the system or am I out of touch with that opinion?
Protection against a rogue hypervisor is the main benefit of SEV. The whole point is to raise VM security to equivalent of a bare metal machine with encrypted memory and no exposed DMA channels. Protection from other guests is a nice side effect but should be a given

Sadly this means AWS are still the only ones offering this kind of confidential computing without known flaws, and probably only because they don’t have researchers attempting attacks like this on their graviton CPUs
Only known way to learn a lot of mathematics quickly.
Your question doesn't make a lot of sense. The entirety of gradual typing works by type inference, as does the static typing on any new language.
> videos about reptilians controlling the world on channels with 8M subscribers

Link?
The selling point is to buy what works for you.

If you know what size user base you have and can estimate usage, buying ahead of time makes sense.

If you're smaller or can't afford a multi-year contract or don't want to get locked into one service, then "pay as you go" makes sense.
The moving fast components were unaffected by this issue…
The cost of lifting it there is probably 90% of the cost of the sum.
It would be very handy technology in thermal batteries and combined industrial processes which make use of waste heat.

Of course, you can use other ways to archive the same, but there is something neat in solid-state zero moving parts approach.
I'm just thinking about Windows. They are trying to do ARM again, but x86/64 is where they have stayed for compatibility reasons. At a certain point old software won't run on new Windows anyway, so it won't need hardware compatibility with older instructions to facilitate that.

Eventually something will have to change, and is it less work for Intel to shift to ARM than to strip x86?
Fords approach is flawed however. You can still update sync with a bad update and bork it over usb. Ask me how I know.
They mean HLS

When/If they notice you're not using HLS instead of some other solution like MPEG-DASH, they will raise a stink and force you to fix it.

I know this because I had the privilege of changing a video playback stack to be 100% HLS over a weekend for a fairly big name app when it became a Pri 0 issue thanks to Apple noticing the app hadn't been using HLS 100% of the time during a minor update.

There's also verbiage requiring a laughably low bitrate stream as a fallback. Our users would file bugs when we fell back to that stream instead of audio only since we had a rich audio only mode they preferred given that the video at whatever bitrate (192kbps?) for our content was nothing but a colorly mess.

This was years ago, the rules are still in the app store, but I have no idea how well they're enforced anymore.
Yes, good webrings always needed an active ringmaster.

I do think webrings are badly needed again, though, to serve the same purpose they were developed for in the first place: discoverability.

It's become very difficult to find the good (according to my tastes) websites these days.
Terry Waite
Abolish copyright and then you get to do the same with theirs, level playing field ;)
With regards to live video broadcasting (as opposed to VoIP), I'd be hard pressed to call WebRTC a technology that works well. WebRTC for one-to-many feeds is poor for live video for many reasons. For ABR scenarios, there's no concept of having multiple renditions, so if one subscriber is having trouble receiving video from a publisher, the subscriber reduces the bitrate of that publishers feed for all receivers (unless you take out that capability in its entirety, see the FTL protocol created by the team at Mixer). In addition to this, WebRTC has no real concept of segments, which makes building a CDN to reduce load and latency at an endpoint is a difficult proposition at best.

LLHLS is darn good, but it's not as good as WebRTC-powered technologies have shown from a latency perspective. Whether that's required for particular use cases is really pertinent to the case. For non-interactive feeds, it's not really a value add.

That said, the biggest quality improvements MoQ has are how it recovers from a poor connection issue, which happens frequently even on the best of consumer networks and Internet connections, let alone on poorer quality WiFi and cellular networks.
Rust does have this: you can specify dependencies from other registries or Git repositories pretty easily. (See https://doc.rust-lang.org/cargo/reference/specifying-depende... for the exact Cargo.toml syntax.)
And yet if you look at teachers, parents and the general milieu, there is an idea that everyone should go to college, and that going into the trades or working immediately after completing highschool makes you lesser than.
out of morbid curiosity.... how long did it take to ssh into and fix all of those servers? I imagine even automating a fix (if possible) would still take a good amount of time.
Links between websites in a sort of hyper-dimensional space! A...hyper-link?
Oh no the snake oil is leaking.
Honestly what I really want is the return of DMOZ. A curated, categorized list of the best sites.
I know enough about ML/DL but never worked it. Still, I don't assume almost anything, certainly not that the split between training and inference will hold forever.

Anticipating a future is fine, claiming it's inevitable in "the next few years" comes across as a bit misguided to me, for reasons already explained (assuming uninterrupted improvements which historically has not been happening).
> cross-platform GUI that still doesn't have a good, officially supported story

Yeah, but in the meantime there’re decent unofficial options. Once I compiled NanoVG into a DLL, consumed with C#, and implemented rich GUI on top of that. Worked pretty good overall. Eventually I’ve patched NanoVG for optimal font quality on low resolution touch screen of my target Linux device: https://github.com/Const-me/nanovg
MongoDB vs. ScyllaDB: A Comparison of Database Architectures
It’s possible to deem software ready to sell but find improvements later.

Simple example: my Subaru was sold to me with an interesting design decision that caused the radio to come on whenever the car was started. This was not a bug. Every Subaru worked this way for years. A year into ownership I received an OTA update that added a “not playing” state on startup.

This was never a safety issue and was likely not a defect. It was, however, stupid and needed to be changed.
Indeed. You have to read half a textbook and Joel Spolsky's "Camels and Rubber Duckies" before you can start to pretend to know everything.
Not yet, but I am working towards it: https://github.com/open-meteo/open-meteo/issues/206
If that’s the case, heavy SUVs and heavy EVs should be taxed for causing heavier damages to roads.

EVs bypass the gas tax so I guess there’s that to look into.
HIPAA compliance is a big need for us. The rest of our infra is on AWS. We were hoping to fine-tune llama and use in a clinical use case.
It’s circling the drain because of one bad software update?

Sounds more like you’ve just bought into the doom and gloom that a few specific news outlets have been pushing.
Removing master is not just Reddit. It has already happened in all big corps in America.

You don’t have to even look up denylist in the dictionary once. Seems better to me.
Main concern with a free-flying thing using propellants is that something goes wrong causing it to smack into the station hard.

That's why the Canadarm handles inspection/gripping work. Much less risky to have a migrating robotic arm.
I’m not sure, since most people don’t interact with chat.

Personally I use yt-dlp with mpv and have the buffer set very large. This allows me to pause the stream when I take a toilet break or similar. When I come back I can also skip ahead through ads or idle times on the stream, or watch at increased speed to catch up if needed.
I'll ask simple questions for SQL queries and it just hallucinates fields that don't exist in system/information_schema tables. It's mind boggling how bad it is sometimes
Elon Musk, the adult billionaire with the attitude of a 9 year old on Xbox live.
I just think this whole topic gets derailed in many ways by the lure of comparing things to resistive heating (eg the original article), and using parity with resistive heating as a reference point for practical heat pump source temperatures is an instance of this. The benefit from a heat pump has left long before COP = 1. I'd say a COP of 3ish (modern modcon boiler efficiency divided by common gas power plant efficiency) is a straightforward honest appraisal of where a heat pump starts to be less than ideal.

Of course I recognize low temperatures are merely one small portion of the time. Residential heat pump system design has generally taken advantage of this by having backup resistive coils. It would be much more efficient to fall back to a gas furnace, but for the capital cost. So an actual comparison necessarily takes into account expected temperatures over the day and the heating season, likely nighttime setback, thermal mass, etc. Which certainly isn't easy to button up into a simple comparison, but the point is resistive heating is a red herring!
One of the things that has changed is typing - you can and should type check your Python code with tools like mypy or pyright. Even better if you use a strict mode for mypy which forces you to type hint everything.

Also check out dataclasses, Pydantic (most of my code these days is gluing together dataclasses and Pydantic models), FastAPI, PyTorch if you're interested in ML.
"AI" is very hard to define.

Is noise cancellation AI? Is my use of GPT to reword one sentence of a speech AI? Is a face-detection autofocus system AI? Is automatically fixing my hair and removing a pimple or two AI?
Dude, they like the job a whole lot more than no income at all. Which is the direction you're cooperating with pushing things by using self checkout lanes.
I disagree, as somebody who has also worked with tons of type-hinted Python code. Gradual typing is obviously worse than real static typing, but it's a step up from full dynamic typing. It has caught many bugs for me before hitting them in runtime, and provides good documentation about what I can expect a function to accept and return without forcing me to read prose.

Type hints don't provide any safety, though. That was never the goal, given that they're strictly optional and don't really exist at runtime anyway (though I have written some experimental monstrosities that used annotations for code generation at runtime). They're documentation in a standard form that static analysis tools can leverage.

I really can't imagine a situation where having type hints in Python is worse than simply not having them. They're not the worst of both worlds, they're a compromise with some of the benefits and drawbacks of each.
>Infotainment updates, like what happened to Rivian aren't that dangerous. You lose "convienience features" like maps, air con, etc, but generally nothing that could kill you or someone else.

Also speedometer, which is hardly a convenience feature.
I don't work on YJIT but I _think_ i know the (or maybe an) answer to this. The code for a JIT'd ruby method isn't contiguous in one location in memory. When a ruby method is first compiled, a straightline path through the method is emitted , and branches are emitted as stub code. When the stub is hit, the incremental compilation of that branch then happens. I believe this is called "lazy basic block versioning".

When the stub is hit the code that gets generated is somewhere _else_ in executable memory, not contiguous with the original bit of the method. Because these "lazy basic blocks" are actually quite small, the bookkeeping involved in "where is the code for this ruby method" would actually be an appreciable fraction of the code size itself. Plus you then have to do more bookkeeping to make sure the method you want to GC isn't referred to by the generated code in another method.

Since low memory usage is an important YJIT goal, I guess this tradeoff isn't worth it.

Maybe someone who knows this better will come along and correct me :)
Actually a cool date pivot point. Did not realize it was coming up (and has now passed). Thanks.
I tried the black frame insertion, but it seems unusable. I can see it flimmering. Very uncomfortable to look at the screen with it on.
Do you propose the government shutting down all social media because you don't like them? What is your precise solution if not. Is this the job of the government, to limit speech that you don't like or don't like how it's presented?
Sucks to be them, but then maybe they should have listened to Musk when in the very beginning of Tesla he said the goal was to make EVs cheap ?
Or website curators all agree on a /webring.txt file (similar to a robots.txt) where they list websites they think are similar?
My 2c based on your comment:

* "signed with the wrong cert" should mean the software package is rejected before it it is installed.

* software upgrades are tricky and there should be at least 2 versions available so that fallback to the previous is possible and automatic in case of issues.
Lots of vote thrash but no replies. I invite you to examine whether you are reacting to keywords or to concepts, and if the latter, to chime in with what you’ve found, I’m legitimately interested.
"Ford CEO Jim Farley also had a disappointing experience in his publicity tour to promote EVs. He acknowledged that "charging has been pretty challenging," and that he only could get the EV batteries charged to 40% in 40 minutes. He described it as a good reality check for what customers go through. For Ford shareholders, one would think the company would have done the reality check before going to market, not after it already had invested billions.

The harshest reality check may come in the form of expensive inventory build-up of unsold EVs that Ford thought customers would buy but is now finding out that customers do not want. Market realities, despite the massive government intervention in the marketplace, may be why Ford and GM are scaling back their ambitious EV production plans for the future, and why Ford has temporarily paused the planned construction of a battery plant in Marshall, Michigan and another in Glendale, Kentucky.

Another red flag for EVs is the lack of profitability for Ford and GM's models. Ford lost $32,000 on every EV it sold in 2023 and expects its EV business to lose $4.5 billion on the year. GM saw its quarterly profits cut by $1.5 billion due to EV losses. Meanwhile, EV market leader Tesla reported shrinking margins and higher costs in the third quarter of 2023, with profits down 22% on the year."
> If we want to open the floodgates on being too pedantic

It's math. There's no such thing as "too pedantic", as long as you're being interesting and not mean about it.

> I think there are uncountably more irrational numbers close to any rational number than there are rational numbers close to an irrational number.

I think that's right.

Irrationals near a rational are almost certainly uncountable, as otherwise I think we can force all the irrationals to be countable by bucketing them. I think that concern is countered if any bucket has to be uncountable, but if it's not all that makes some rationals special in a way they probably aren't.

Rationals near an irrational is definitely countable, as all the rationals is countable.
It's a shame, the Ameristan near-future dystopia parts of Fall were quite good, but the virtual world plot became increasingly silly. My mood would pick up whenever I landed on a chapter that got back to the "real world" plot.
I had to do this once or twice (its very very infrequent in my experience) and one time it was genuinely terrifying, as I had lost blinkers etc where a few interstates all intersect and merge etc.

I still do love the car though.... but a very sketchy moment that I shouldn't have brought on myself while driving in that situation.
Clever! With bit of more complexity in generation, you can shave off good number of bytes by using shorter id's, I think?

3 characters per id in base36 should do, in reality even less on average, starting from #0. >100KB reduction?
Thanks, I didn't know there were more episodes released.
The only reason for suggesting a block chain is that the information should be publicly available without having to visit a specific vendor's web site for confirmation.

But maybe it's not necessary.

DNS Root Zones, for example, are publicly accessible and well managed (maybe not the registrars, but the registry) so perhaps a well-funded third party could establish a trusted, global, registry for supply chain Merkle Trees.
You're cherry picking data. What about Mexican cars? Or Russian? Or even South American? Lots of heavy industry and manufacturing occurs in those countries, however the market never makes it past their borders.
Why would you intentionally upgrade your vehicle software while camping? It’s not like this stuff installs automatically, you have to explicitly accept the installation. Waiting a few days or even a few weeks before hitting “install” is completely normal.
Awesome! I couldn't agree more! Thank you.
"How is this legal?"

It's not. But the law is only as strong as its enforcement.
I think this robot would be filling tanks for use in a sealed habitat. Not exactly what I'd call terraforming.
I think the larger writings like books are generally going to be written by academics so they'll be rigorous and hard to read.

So that leaves blog posts for most developers actually implementing this stuff.

But the solution here is that when you finally figure out a good strategy to deal with something muddy like this is to write that better blog post :)
How is it worse than no typing? If you're not testing adequately because you think type safety is enough, you done f'd up.
A proper N95 solves it (unfortunately many that flooded the market post Covid are n95 ‘in name only’ and don’t have stable electret charged fibers).
I think one thing I look forward to is editing my voice to sound different. The words and intonation can be kept, just make me sound like a different person. I hate listening to recordings of myself, and that's literally the only thing stopping me from becoming a Youtube creator. I don't know whether that would be classified as "AI".
I always ask this when it comes up - how would open-sourcing the server-side components help you trust them? They could be running any code on the server-side and you wouldn't know. So even if they open-sourced their server-side code, how would you know for sure that is actually the code they are running in production?

I always ask this because ultimately if you are consuming a web-based application, you have to have some level of trust in the provider. And if you didn't trust them, your only option would be to completely self-host in an environment that only you have full control over.
It's now a feature built into macOS/iOS, to use iPhone as a webcam for a computer
To be fair the theory behind it is old. Only that hardware wasn't up to the task yet. For example here's language prediction from 1991 https://onlinelibrary.wiley.com/doi/pdf/10.1207/s15516709cog....
This is an inadequate comment.
Pretty well? The world has statistically never been safer, more educated, richer and more connected.
Agree with you there. The proposed solution? All lane freeway tolls
https://www.ktvu.com/news/renewed-push-for-all-lane-freeway-...

A car’s carbon footprint should also measure the wear and tear it puts on infrastructure. Plus, tire manufacturing is also petrol-rich. Last time I read, Model 3s go through tires very quickly. If that’s the case, EVs aren’t always the best solution.

My humble Prius sips gas, aerodynamically cuts through wind, and is overall lightweight but a giant Lucid Air, Tesla Model X, or Rivian is considered ‘greener.’ It’s hip to look like you’re saving the world but really, it’s greenwashing.
The Post News Era
I opened Node.js and did

setInterval(() => console.log(Date.now()), 1);

to watch the transition. Happy 1.7B seconds since Jan 1 1970!