skysight-inc/HackerNews huggingface dataset:
Show HN: DMV Filter – Find California DMV appointments and create alerts
Hey HN! My name is Eliot, I'm a student and developer from the Bay Area. DMV Filter is a better interface for the California DMV's appointment finder that also alerts you when new appointments are available.

What: First and foremost, DMV Filter is a filtering tool. You can see ALL appointments near you at once, filter by distance and time, and see availability visualized on a map. If you can't find anything that fits your needs, DMV Filter Pro allows you to create alerts for appointments so you can find something sooner and closer.

Why: I'm currently in the process of getting a California Driver's License, and the main pain point has been the DMV. Their website is awful, it's difficult to see what appointments are available where and when, and spots tend to fill up weeks in advance. I know there are websites that offer flight notifications and filtering (like seats.aero) but couldn't find anything for the DMV, so I decided to build one.

How: We get data from the DMV API every 15 minutes and then notify users of appointments that fit their alert criteria. These appointments show up more often than you'd expect! The DMV only lets you make one appointment at a time, so people have to cancel their old appointment to make a new one.

I can't think of anything as universally disliked as the DMV, so I hope this tool can make it a bit more pleasant going forward! I'll be around here to answer any questions throughout the day, or through the contact info in my bio. Thanks!

Homepage: https://dmvfilter.com

About: https://dmvfilter.com/about
This is what we got the last time safety culture in UK railways was in a serious mess: https://en.wikipedia.org/wiki/Ladbroke_Grove_rail_crash

Some in the industry think the next such accident isn't too far off. Stampedes at Euston are a manageable problem by comparison.
Time-Memory Trade-Offs Sound the Death Knell for GPRS and GSM
Radio Shack Pocket Computers – By Paul Lefebvre
The PDA/Tablet market was a reasonable size, the XScale CPUs were the highest performance ones in this sector, Intel could have seen that this market would grow.
In those cases, I know that ARM has PMULL / PMULL2 and x86 has PCLMULQDQ, which go up to 64x64 == 128-bit multiplication.

There is even an AVX512 version of PCLMULQDQ.
I still have my NX80V tucked away... LOVED that device. Went everywhere with me. I still think the folding design with the flip around screen and rotating camera was one of the most flexible devices that I've ever owned. If I recall I had a WiFi card for it too that used the back expansion slot. Even the charge stand they had for it was well thought out and made the device usable while sitting on your desk. I should hunt down a replacement battery for that thing sometime and fire it up. I stopped carrying it when I got my first "modern" Windows Mobile touch screen cell phone.
At the Heart of the AI PC Battle Lies the NPU
I would love to see something like this but being able to sort on price/performance ratio (f.e. based on a CPU performance index in comparison to the price).
Nvidia Says "Blackwell" GPU Issues Are Fixed, Ramp Starts in Fiscal Q4
China produced large quantities of water using the Moon's soil
Kings Cross is a mess of different systems, especially as the whole Kings Cross/ St Pancras complex rather than solely Kings Cross (which is only a dozen platforms). The low numbered Kings Cross platforms (zero through seven) are all accessed via a sideways entrance gate line, which is not good at all and you'd clearly never do that unless there's no economic alternative.
> What would the requirements for your decoding be?

Well, it should just play 4k content from various sources (and so various formats), using Vlc.

> Reviews aren't common due to many listings having 1 item in stock.

I suppose you could use a (Google) search to find reviews elsewhere on the internet, based on the product name. Then feed them to ChatGPT, and ask it to summarize various things and build a JSON structure out of its findings. Maybe ChatGPT can even do the search for you.
sorting based on the processors, release date, or by performance single slash multi-core would be interesting.
What performance fixes do you think were being slowed down by the community?
I don't really see that there is one. I think Docker was pushed into taking this action and didn't have any other reasonable course of action.
That burden would fall on Rust maintainers. If the Rust code goes unmaintained and nobody is around to pick it up, it just gets dropped from Linux releases that rely on the up-to-date C API.
There is a fully local mode that does not use ChatGPT at all – everything happens on your local machine.

API access of ChatGPT mode is needed as there are many round trips and it uses advanced API-only tricks to force the LLM output.
Quite, and, as I said in my post, I think we (the Fediverse) owe it to the rest of the Internet to enable the deconstruction of the current social media landscape as much as possible.
Read up on CANDU, it ends up being slightly more expensive and produces more high level nuclear waste. Currently they’re enriching uranium even if the design doesn’t need to. https://en.wikipedia.org/wiki/CANDU_reactor

There’s a lot of different trade offs you can make with nuclear designs, but so far non of them have been demonstrated to actually be meaningfully cheaper.
Attio Raises $33M in Funding
This is censorship. Just because it's being done within a legal framework doesn't mean it's not censorship. The Brazilian people will have to decide whether they want their judiciary to have such excessive control over freedom of expression.

The rest of the world should subscribe to the idea that freedom of expression and freedom of expression are (nearly) unbound. The USA is the only major country which gets this right.
I had an x50v but you really wanted the x51v. Windows mobile 5 really needed the improved NVRAM or otherwise it ran very poorly.

Great devices overall. I've been tempted to pick one of these up for nostalgia purposes. Truly peak PDAs.
Don't you need to put padding everywhere so that you can edit the code without having to rewrite everything from scratch?
That would be good. Easy enough to filter Intel vs AMD that way as well as a particular CPU.
The evolution of the McDonalds website is a great example of playful and whimsical 90s design aesthetic gradually replaced to become the blandness that it is today.
I am not understanding. Dumping in the Atlantic Ocean was part of their plan. The recent SpaceX landing failed. Landing was part of their overall flight plan.
fvwm was extremely flexible and skinable but you had to really dig around in its config files to make it do it.
Feel free to share your tool if it's open source. I'd love to see how you approach this problem. Happy to share more technical details if it helps your product.

Chrome inspector does so much more like clip support and media queries that I didn't even know about. It also writes directly to inline styles so propagating those changes as code is definitely possible. I was thinking if there's a way we can leverage the great work the Chrome devtool have already put in.
California has intentionally been building up more and more organic material to burn due to neglectful forest management. The state government has a budget the size of Finland, but they don’t know how to spend money effectively.
Yes true but saying "displaying the inherent flaws in the design that make them unsuitable for serious purposes" every time gets tedious.
Thanks for the nice explanation, that makes a lot of sense! Would you have any good recommendations about where to start with TLA+?

Thanks again!
> You've been required to get anaesthesia as a condition of getting dental work done

Odd, that has always been optional where I've lived - the Netherlands and Sweden, mostly. I understand that is is a requirement for very large operations but for normal procedures it has never been a requirement.

> covid vaccine story (and story about vaccines generally)

Why do you insist on lumping together these two very disparate cases? There is an enormous gap between the small cohort of people who distrust established vaccines - e.g. those administered to children, those needed when travelling to the tropics, etc. - and the large cohort who distrust the experimental SARS2 therapeutics which were forced upon the masses in different ways. All you achieve by lumping these two together is to increase distrust in established vaccines, both by exposing the second cohort to the arguments of the first as well as by the fact that the negative side effects of the SARS2 therapeutics are slowly but surely being published to a wider audience.
Discussion: https://news.ycombinator.com/item?id=41390219
It would be nice if this were more obvious to a user without having to read a blog post saying it's doing this.

Example: In Safari private mode, I can open up Facebook and login, then if I open up a new tab or window and try to go to Facebook it's going to prompt me to login.
The first world orders were not European. They came from Asia Essays
Tumblr's been talking about the move for ages, but does anyone knoe what progress is being made towards it?
I think text transformation is a sufficiently predictable task that one could make a transformer that completely avoids hallucinations. Most LLMs have high temperatures which introduces randomness and therefore hallucinations into the result.
They are separate from the other kernel developers, but not in the negative way you seem to want to assign to me. They aren't an outside invasion, they are a cultural revolution.

They may want to work on Linux but it's clear that the rest of the Linux developer community does not want to allow it, for reasons you are free to interpret as positive or negative as you see fit.

They want to write software, and they are getting somewhere, but they are restricted by the attitudes of the rest of the Linux kernel people fighting against them, so they are sucked into constant flamewars and divisive infighting. All just so they can say what they are working on is "Linux".

At the end, the question must be asked whether or not Linux and its decades of Linux/Unix baggage are worth holding back the progress represented by a kernel that is Rust from top to bottom, and written with safety and security as its top priorities from day zero instead of decades after.
I've been intrigued by Threads since it launched last year. Succeeding where there's a competitor as entrenched as Twitter is nigh on impossible. The network effect is massive.

But of course there are chinks in TWitter's armor, specifically the whole blue check debacle and that Twitter itself is rapidly becoming 4chan (or even 8chan) and advertisers are understandably fleeing.

Still, the chance of success isn't great. Launching it under the iG brand was probably a good idea, better than under Facebook at least.

Still, when it comes to open source and integration with third-parties I keep thinking of the quote "open source is for losers" (that might come from this [1]), meaning all but the dominant player embrace interoperability and open source in a desperate attempt to topple the dominant player.

I have no idea what usage looks like but I'm glad they haven't given up. I know Google would've canceled it by now (and probably replaced it with something that looks kinda similar, has a different name/branding but no compatibility with the old thing, if chat apps are anything to go by).

I still say federation is something tech people care about but offers nothing of tangible value to end users. There hasn't been a successful federated technology since email. For a reason.

[1]: https://siliconangle.com/2014/05/29/only-loser-vendors-are-t...
The poster in this case used a metaphor where calling Meta a bully to the open source community was justified by likening the situation to someone being forcibly renamed “shithead”, presumably by a bully on the schoolyard. I’m asking if he really thinks that’s an appropriate comparison. The answer of course is no, and if the answer is no, then why did they choose it? To cast the situation in a dishonestly negative light. So who’s twisting what? Maybe you need to get better at reading intentions.
> assuming your access control + encryption is good

Accessing a password-protected page over https is pretty much exactly the same access control + encryption as using a password with SSH.
They delay platform announcements because they believe that a platform crammed full of waiting passengers will become a crush risk when the arriving passengers start to disembark.

When they announce the platform there is often enough time to stroll, but people rush because they want a seat.

It's a hard problem to solve in the short term.
> Not to a competent programmer when reading well-written code.

No, literally reading a one line about what the next 4 lines do is mechanically faster. It does not matter that you are good or bad, it is about simple reading speed.

> This also means that you read what the code does, rather than what a comment says the code does. Otherwise you will be blind to bugs. Any experienced developer will tell you that code very often doesn't do what the original programmer thought it did.

I am an experience developer. I have worked on several "legacy" projects, and started many from 0.

1. It does not make you blind to anything, it is just a way to learn/direct yourself in the code base faster.

2. Knowing what the original developer wanted is often as useful as knowing what the code actually does. More info is better than no info.

Even outdated comment can be useful.

For me, this type of thinking that comment are unnecessary, that competent ppl can just read the code, etc. is actually a sign of younger dev who never had to work on a long-lived codebase.
That’s pretty damning if Rust needs CHERI to be fully safe. Fil-C has no such problem since there is no unsafe statement in Fil-C.

No virtual memory is not an advantage of CHERI, it’s a disadvantage. It means CHERI replaces a very well understood security barrier (virtual memory) with one that is less well understood (no matter how many proofs you write about it). I would be more willing to buy CHERI’s claims if they had kept virtual memory. Fil-C plays nice with virtual memory so there’s no need to disable it.
Happy to hear it! That's a great suggestion -- I will add that feature. Probably a button that you can press in the GUI, which will then populate a text field at the bottom with the relevant chars / line breaks of that frame.
I would have expected more then one Rust kernels.
It kind of seems that Rust community is missing the ability or the desire to implement a kernel and would like the Linux kernel devs to do the work for them.
For those who don’t or can’t watch the video, or want to know who is saying what, here’s an LWN article describing what happens in that section of video.

https://lwn.net/Articles/978738/

While I disagree with his opinions here, Ted T'so is a long-time Linux kernel dev. He's been around since close to the beginning.

https://en.wikipedia.org/wiki/Theodore_Ts%27o
Grafana 11.2 release: new updates for data sources, visualizations, and more
I'm not talking about mature technology or not, we already mass produce then, that's my point.

The components inside them are pretty standard too
I’m not comparing America to some utopia that has fixed human nature. There’s lots of countries where people don’t jump turnstiles, do pay their fares, don’t fill public spaces with graffiti and used drug needles, don’t yell or dance in the subway, etc. It was our choice to let things get this way. That said, I don’t think you can put the toothpaste back in the tube. We would need an intervention on the scale of denazification to mitigate the individualism and entitlement that causes anti-social behavior. We would have to reform the very narratives parents tell their young children about the world around them and their relationship to society.
Most expensive unminify software in history
The interesting thing about entanglement is not the correlation per se. You can take a pair of hand gloves, put each one into a box, and send them to opposite ends of the universe. When you open one box at one end of the universe and see the left glove, you immediately know that someone at the other end of the universe will find the right one. The interesting thing about entanglement is that decision which glove goes into which box is not made when you prepare the boxes before sending them to opposite ends of the universe but only at the moment you look into the first box.
The Infinite Audio Book
It doesn't defeat the point of the exercise, it just shows that the exercise is nonsense. The cat is an observer therefore collapses the quantum wave function and is either alive or dead.
It's just another way of managing notes and tasks. Attaching notes and tasks directly to the mail, can result in shorter workflows. I mean, information should be where it's used, and mails are a very central point of some peoples' life.
This is super cool! Now if only my ISP would give me a static IP address so I could expose port 51820 on one of these things and life would be perfect.
It was happening a lot under Guido too, but IMO, Python was arguably a better language (at least in some ways) 10, 15, even 20 years ago. Python's three super powers were readability, simplicity, and a vast standard library that negated the need for most projects to seek out third party modules.

All three of those have declined. It's less readable than it used to be, it's definitely more complicated (not just complex, complicated), and the standard library is declining rapidly in relevance as it ages.

And it wasn't just Guido. Tim was a big advocate for all three of those super powers when he was more influential. They banned Tim and they censored Guido, so go figure.
The Racing Controller No Company Ever Made–So I Built It [video]
Very cool. It would be helpful to allow search on processor architecture and power draw as well.
If no character set is specified, plain text content is assumed to be 1252. This probably extends to application/javascript as well but I'd have to check to be sure.

The web pre-dates utf-8, although not by much. Ken Thompson introduced utf-8 at winter Usenix in 1993 and CERN released the web in April, but it would be several more years before utf-8 became common. The early web was ISO 8859-1 by default. But people were pretty lazy about specifying character sets back then (still are actually) and Microsoft started sending or assuming their 1252 character set where 8859-1 was required by the spec. Eventually the spec was changed to match de facto behavior. I guess the assumption was that if you're too stupid or lazy to say what character set you're using, then it's probably 1252. (Today the assumption would be that it's probably utf-8). I'm not sure what the specs say today, but I think html is assumed to be in utf-8, and everything else is assumed to be 1252 (if the character set is not explicitly declared).
Apple doesn't compete
Which tools are you specifically talking about? I'd argue there are chore installations that devs do repeatedly along with important personal items they should be focusing on to improve their workflow.

What you describe is great from the dev perspective when you have experienced devs with an interest in automation/tooling. From the company (or other dev in a larger organization) perspective, it can become a bugbear. Having some minimal dev environment that is accepted across the whole dev team is helpful for onboarding, or rebuilding machines when something seems off.

In most organizations, devs are rightly fearful of the pain that a rebuild will bring. That pain can and should be mitigated by the IT team with empathy for devs, scientists, or whatever audience the machines are for.

I wouldn't advocate for trying to achieve an ideal setup, but rather some baseline that isn't offensive e.g. if you put VS Code on there make it a checkbox option with other tools. Start with things that take a long time to download and install. Many of the personal tools and configurations are relatively small compared to the Visual Studio install on my current machine, or Xcode on my Mac.

Thanks for sharing Jetify. That's why I love these threads on HN.
It's a pain because kubernetes is designed to run multiple workloads on multiple servers. So if you want to access the VPN from some kubernetes containers you're going to have to figure something out.

But nothing is stopping you from just joining all your hosts into the VPN, just like a traditional deployment. Or set it up on your network gateway. This would make it available to all of your containers. Great. You're done.

But if that's not what you want, you'll need to figure something out.
Thank you! It was fun making this. I think I'll try some other video manipulations now that I've got code for splitting videos into frames / reading pixel data from each frame.
GPT is not a brand. A court ruling turned down that notion. It's a technology.
The Routed Gothic font has 60-70s technical drawing vibes https://webonastick.com/fonts/routed-gothic/
How does this solve 3b?
As a point of order Code Minification != Code Obfuscation.

Minification does tend to obfuscate as as side effect, but it is not the goal, so reversing minification becomes much easier. Obfuscation on the other hand can minify code, but crucially that isn't the place it starts from. As the goal is different between minificaiton and obfuscation reversing them takes different efforts and I'd much rather attempt to reverse minification than I would obfuscation.

I'd also readily believe there are hundreds/thousands of examples online of reverse code minification (or here is code X, here is code X _after_ minifcation) that LLMs have ingested in their training data.
Because it did not happen after a Firefox update?
True, but that is a long way from how I read the comment I replied too
> I assume "making sushi" starts with buying sashimi-safe proteins, not literally catching fish

Buying the proteins? Do you mean that or do you mean buying the fish, maybe?
In 2006, Intel supplied their XScale design to Palm for the Treo 700, to Blackberry for the Pearl and Curve AND to HTC for use in the XDA/MDA Windows Mobile line, in 2006 arguably the much bigger wins as all those were established constantly-growing product-lines already on sale globally.

Apple demanding a (probably much) lower price-point to have the SoC applied in a mysterious unknown project without a volume-commitment could as well have destroyed the business and profit-margin for the entire Xscale business for Intel and its other customers...
Time to update the Open Hardware Definition for AI or make parallel one for AI?
GNU Screen 5.0 Released
Unnecessary politics in certain tech spheres is still a norm.

For example, here's GNOME the desktop being concerned about climate change:

https://discourse.gnome.org/t/question-to-candidates-the-boa...
The only real way of knowing is to measure it. If you already have a system in place an energy monitoring smart plug can help you calculate the current running costs and help estimate the savings of using a lower-power machine.

When I did this I was surprised by how much - or how little - it cost to run various devices. It's quite addictive.

It's not always accurate because a lower-power machine doing the same task will often need to work at its full power more often, so the savings may be less. For example, a Raspberry Pi 5 may often be more power effecient than a Pi 4, despite drawing more power at full capacity on paper, because it spends less time at full capacity than the Pi 4 does.

On the other hand, when I upgraded my work PC I found it used less power but I also had to run my office heater more often in winter, as the new PC wasn't as efficient at heating the space.