318 karma · joined May 9, 2017
https://internetcleanup.foundation
Sometimes it looks like somebody just used a more sensitive or uncalibrated device or is carrying a nuclear warhead around during an entire route of measuring.
Building consistent frontends for all platforms isn’t easy in rust, so they use web standards for that.
The discussion about IP with these reverse engineered products in itself is interesting, although a bit repetitive with new clones every day.
If you ever add a link section to other sane video platforms, you might want to add media.ccc.de which has talks of nearly 500 hacker conferences. Also without spam.
The M1 Max MacBook with 64 gigabytes is still a great machine and fairly affordable on the second-hand market.
(Returning an i9 to wait a few more years on the M1, any M1, was absolutely worth it)
Also, the Pokémon Company can print as many as they like.
Seeing high value in them seems like a risky investment to me.
Provide food for critical thinking instead of accusing people of not being critical thinkers.
For example, tell us what new media from the US is actually great today. What do the arts offer that is next level and worth watching? Is there a rise in arts in other counties that we are missing? What could Facebook boomers need that leads to more and higher quality arts and movies?
“Looker is Google Cloud agentic business intelligence and embedded analytics platform.”
Something of the past according to the author.
That’s fair, including insulin pumps over Bluetooth with known vulnerabilities. Many vulnerabilities might be fixed or formally verified if they are part of the architecture.
> Do you know how elevators work now? Their safety mechanisms? Planes are 10x more likely to cause death.
Both rely on inspections, routine maintenance, procedures, and fail-safe hardware afaik. Just like climbing gear.
Would formally verified software add anything? For example, could it cut the need for inspections or software maintenance? I think neither is going to change.
But what might change is that the specific spelling error on an elevator display is formally verified. It becomes about coziness with impressive amounts of paperwork that only a few people can understand.
Just changing one statement requires new verification, which is why formally verified code currently is not touched but ported verbatim into new projects and “rewrites”. That cost may decrease, which is nice but also not nice: the systems you currently want to formally verify are systems you might not want to alter without high friction in the first place.
I’m hopeful it will produce more robust software, and I’m by no means against it, but I’m skeptical of producing more when we might want to produce less.
Preferably, I wouldn’t trust my life to a calculating device running on AA batteries while dangling from a rope.
Just to document my experience with the DarkReader solution in this thread:
After using DarkReader for a day, I find it to be an unsatisfying solution. Not only does it mangle the HN UI, but worse, it shows the light interface for 5 to 10 seconds before switching to dark. Every time. This just partially solve reading HN at night.
Just bought and installed it as an iOS extension :) All themes and all custom themes remove the upvote button. Does it do the same for you?
Nitpick: the bottom row on the front page shows a discord link, but not their own strafe link. I hope they can add this because of dogfooding.
We might call LLMs non-deterministic transpilers / intention guesstimators. But how much mileage can we get out of them?
Being able to somehow describe what is needed in a natural way allows me to solve more problems, to the point of jokingly calling myself and my programming colleagues “product owners”. So your management conclusion isn’t far off.
To me, the interesting part is that I’m actually writing down what I want and designing how it should work in a mix of natural language and code.
This was previously done mostly in code / comments, where it was easy to lose sight of the big picture as working on decent code just took so much time. This was especially true of refactoring after gaining new insights. That type of refactoring (in our codebases) is now nearly free. The code generated is of dubious quality, so this approach only goes so far. Of course, we’d look for $framework / $library to shave off many hours of work. This is what we still do, but mostly faster.
I am, and have been, mostly building on top of an existing pyramid with the benefit that an LLM can consume mountains of documentation, RFCs, bug reports, and so on.
I wonder if the lower layers of the pyramid require more engineering and whether that can also be done properly by being more of a manager. Are LLMs management generators?
There are plenty of stories, some of them:
Pasting old dates: https://www.journalofaccountancy.com/issues/2015/aug/excel-d...
Low row limit: https://support.microsoft.com/en-us/excel/excel-specificatio...
Conversions: https://pmc.ncbi.nlm.nih.gov/articles/PMC4994289/
Are we looking at the same thing? Was it deleted somewhere?
The role of a developer (and most IT roles), at its core, is to make yourself obsolete, move on, rinse and repeat.
Feature / scope creep may have blindsided some.
I’m happy most programming is going away. I was capable but now I’m even more capable at creating solutions. The art will stay.
First thing to ask is a design teardown of AI Slop images into individual artistic choices.
Jokes aside: always having the right UI on a dataset is a very cool promise and this looks like a leap in that direction.
If you understand what that means, you can strip down any OS to the bone and will still be productive with it.
Local LLM’s take up a bunch of space today, where Apple believes this is valuable for their users. 12 GB is still smaller than the regular coding models, so they are trying to keep disk space usage in check.
Old classmates back in the day used to hate the 128 × 128 px icons macOS shipped. A waste of space for eye candy.
12 GB is at most 4.68% of your Mac. Improving on Apple Intelligence is something of value, as is consumerizing local-first AI.
We’re not talking adware here.
Countless times I’ve used the browser address bar to reduce text to plain text. Which in some browsers doesn’t work anymore (feature): which could be worked around by pasting more, then removing a character. - It was fast and always in view. The real issue is that I usually don’t want formatting… until I do. :)
Used it a few days ago for the first time and it transformed the stinking pile of poorly designed adware to something that resembles a pretty decent operating system.