skysight-inc/HackerNews huggingface dataset:
One issue with the current proponents of formal methods is, they want to claim others who don't use formal methods as "lazy" or "dumb" and want to claim their superiority because they "do the right thing" and "mastered a complex language".

Some of them (not all, I know a few good ones) are, actually one trick pony. For example, ask them about other formal methods systems they learnt or tried in the recent years, they would claim they are "too busy" to learn anything new.

Recent easier to use formal methods:
1. FizzBee (Uses Python dialect, almost reads like pseudo code)
2. Quint: Another formal language with easier to use syntax
3. P: Use syntax similar to C# users.

The author of the posted article himself posted another article that Formal methods solves only half his problems (https://brooker.co.za/blog/2022/06/02/formal.html)
But the problem he mentioned is actually solved by PRISM (It is not new). But Brooker just won'd bother to look around or learn.
How is a ethernet port breaking "inevitable"?
I never said I wasn't dependent on companies. I very much am. For everything. But I have choices and, when I gave the opportunity, I make those choices meaningfully.

For example, I don't much care for the McDonald's experience, so I go elsewhere. Indeed on occasion I find going 'nowhere' to be preferable if there's no alternative. I haven't been to MD in 30 years.

I'm not trying to be on a high horse. I follow a path that works for me, and I don't complain about it. You choose the path that works best for you.
I guess it's an unpopular take but I don't see why it was flagged. It's a good point of discussion.
> The biggest cost of RSS feed items as a consumer is figuring out whether something is worth reading. A lot of feeds these days don't provide anything useful in the body to make a determination on this, and others just dump the entire contents in the body, which means you're wasting a bunch of time reading N% of something until you realize you're not interested in it and it can be skipped.

I think a big problem with this is that commercial websites believe that they have to update a million times a day to Feed the Algorithm™, which bloats their RSS feeds and any RSS reader you might have checking on it. Similarly, subscribing to a particularly active subreddit or three would also fill up your reader with trash.

I get a lot more use out of my RSS reader to check smaller, personal sites that don't update as often
Not sure at shopify size, but I highly encourage startups to use cross platform for mobile distribution. React native's OTA update alone is already worth for fast movers.
It's not that large considering the size of NVIDIA drivers + WebKit alone.

By comparison, the Wii U with it's "nice touches" was over 5 GB.
It is, and always has been, venture capital funded developer news.
Possibly consider that "deleting a file from history" is rather far outside the norm or recommended practice for git (even though it is, of course, entirely possible)
My best Mullholland Drive experience: A couple of years ago a local arthouse cinema showed the movie again. It was brilliant, just like I remembered it.

After the showing, the projectionist came into the room and apologized for the confusing movie: "I must have mixed up the reels..."

She didn't.
I don't know anything about the author themselves, but the site is one third from the top of my pinned tabs in Arc, on my "not being directly productive" space.

They write good quality, thought-provoking content that I enjoy.
Part 8 of season 3 left a deep impression on me. I still think about it regularly.
No, hunting rabbits doesn't require fine motor skills (coordination between fingers and eyes).

> How does learning violin compare?

I don't think it is, although music seems to offer its own advantages. Apparently, playing console games on a controller might also qualify.
Mice given lethal dose of venom all survive 15 minutes later via AI protein
Researchers have used artificial intelligence (AI) to develop proteins that can block the deadly effects of snake venom. They used a protein-design program called RFdiffusion to design ‘mini-binder’ proteins that attach to key regions of venom toxins to neutralize them. Mice injected with what would be a lethal dose of the venom all survived when given these mini-binders 15 minutes later. “This is probably the coolest experimental result I’ve had in my career so far,” says biochemist Susana Vázquez Torres.
Show HN: YAML-Powered URL and Shell Command Shortener
A single YAML tree that shortens both URLs and shell commands with instant path resolution:

The shell integration replaces your shortcut with the full command right before execution - keeping your shell history clean with actual commands, not shortcuts. One engine powers both URL and shell command shortening, with native zsh/fish integration.

Perfect for:

- Individuals: Quick access to personal GitHub repos, documentation, and frequent commands

- Teams: Standardizing access to internal tools, wikis, and common deployment commands

- DevOps: Turning complex kubectl/terraform commands into memorable shortcuts
There are billionaires all over the world who haven’t built successful space companies. The key ingredient is the government funding which has made the US space industry possible, such as building the launch pads, subsidizing hundreds of companies which build specialized parts, creating the GPS network required to track launches, etc.

Maybe thank the taxpayers instead?
The thing that annoys me with RSS is the lack of paging. It's great to get updates, but most pages only have the last x articles in their feed. Which means a lot of older, still valuable content is not discoverable anymore.
Yeah I understood it was about the make of GM car, hence the thought that its likely in Southeast Michigan (aka Metro Detroit) somewhere. At one time Pontiac Division (of GM) had their own engineering which AIUI was actually headquartered in Pontiac, MI (aka in Metro Detroit). IMO it only makes sense to send an engineer out at supper time for a week or more if the engineer is in the same metro as the letter writer, hence the assumption. I doubt they would have sent the engineer to Italy for that long, but maybe I'm wrong -- midcentury America was a land of lavish expense accounts!

Anyway we can speculate all we want (either about the location of the original story or about TZubiri's cryptic reply) with any satisfaction unless somebody has some new source of information, so have a good day.
OK, so you've truly screwed up your your personal/small-team repos to the point of requiring poorly-understood command sequences from the Notoriously Reliable Internet more than once?

I applaud you for your honesty, but... Really?
Yes, see EDIT at the bottom of my post.
Some people have passion.
Last few episodes are great again, and then we got Fire Walk With Me which is awesome. Also check out the feature-length The Missing Pieces composed of scenes cut from Fire Walk, if you haven't.

Frankly I find even the "bad" stretch of S2 better than more than half of allegedly-good TV, anyway.
Note that ACME profiles are new, to the extent that the draft spec is (a) personal (and not prefixed with draft-ietf…), and (b) currently versioned -00:

* https://datatracker.ietf.org/doc/draft-aaron-acme-profiles/

The ACME spec is:

* https://datatracker.ietf.org/doc/html/rfc8555
It's amazing how some of the smaller, passing shots from his films stick with you. I haven't seen Elephant Man for decades but the scene at the beginning when he's at a freak show and his handler is forcing him to turn around for the audience still haunts me. Same for many of the scenes in Wild At Heart.
An efficient tokenizer for robot actions: folding laundry, cleaning tables etc
Everything ends eventually. Many fiat currencies based on "faith" have lasted more than 150 years though.
>If 40% of software engineering gets automated, thats a massive reduction in demand

This is your daily reminder that the lump of labor fallacy is incorrect. There is no fixed amount of demand, and software development has become more productive, by vastly more than 40%, since its inception as a profession.
He saved a lot of great dialog for himself: "I told all your colleagues, those clown comics, to fix their hearts or die".

RIP.
Yeah, the value of software as a whole seems like it is about to greatly decrease. You’d think tech companies and investors would be a lot more nervous about destroying the value of software, but I’m not sure if they’re thinking that far ahead.

Hooray, in a few years you can type a prompt and get a complete app you can sell to customers! But the customer can also type a prompt and get a complete app that meets their expectations even better than yours. Your generated app is worthless. Your entire company is just a middle man between the customer and ChatGPT, and the customer can write a prompt just as well as you.

Software as an entire industry is pretty much going to cease to exist if AI enthusiasts get their way.

We already see this with music. Have you ever had someone give you a link to a song they generated with AI? Do you really want to spend 4 minutes listening to a thing they made in 15 seconds? If I wanted an AI song about coffee then I’d generate one myself, not listen to yours. The faster and easier it gets to generate apps, the more we’re going to end up with people just generating their own. You won’t be able to sell your generated apps to anyone.
Does this not actually mean that Musk has no idea how modern YouTube channels work?
A common belief, but manifestly false. Probabilities tend to combine exponentially, and that defeats our polynomial universe.

Or, to put it another way, it does not matter how many times you try to roll a million fair dice and get them to all come up six. It doesn't matter if the entire observable universe does nothing but that for the entire time from the start of the universe to the heat death end. It will still never happen.

Probabilities can easily be "larger" than our entire universe considered across both space and time. It isn't even a particularly remarkable thing to encounter such a probability.
Discoverable? The older content is still in the same place as always. The entire purpose of RSS is to alert you when new content is published. You discover the old content by reading it.
That was my first impression as well. Unfortunately I grew up with someone who offered "mentoring" when he felt the need to augment his own sense of magnanimity, and the only help that was given was that I needed to agree with his (always bigoted, usually horrifying) opinions about whatever was on his mind at the time. So whenever someone is openly offering mentorship, I immediately nope out.

I don't know anything about the author, but he doesn't seem like a bad person by any means, and this post is probably well intentioned. I just can't help but get an ick from this.
I'm seriously thinking of going through the hassle of buying an older southern state car to replace mine for this reason, normally I'd just buy a new one and drive it into the ground. And I'm actually interested in electric cars in a general sense. I probably should be buying older cars anyway. The problem is that only delays the inevitable. Who knows though? I might die before that workaround fails.
What you are looking for is a render scale option. It is usually specified as a percentage of your display resolution but could also be combined with upscaling (DLSS, FSR, XeSS, etc.) options.

It's something that is up to the game developer to implement but it is becoming more and more common to see in games now.
If you are wondering what sort of idiot would dispute a math problem with Newton, it was not a dispute at all; it's not even clear that they had a discussion at all: https://hsm.stackexchange.com/questions/5148/how-did-newton-...
The state didn't magically disappear in 1920, it just went from being administered by the Ottoman sultan to being administered by the British (in Palestine, and other people in other places).
This is a helpful breakdown of a trend, thank you

Might be a boon for test-driven development. Could turn out that AI coding is the killer app for TDD. I had a similar thought about a year ago but had forgotten, appreciate the reminder
I'm not talking about ideas guys. I'm talking about if you spent 3 years on React, now I can just go use an LLM and start writing react as if I have 3 years experience. Same with AWS CDK deploying to Java lambda. I can just start using the LLM, and mostly get up to speed. All your hard won knowledge is just not that valuable
Maybe this is a really dumb question, but who is this? The whole post seems to assume I would know who the person is and unfortunately I don't. So for dummies like me: Who is this?
Just a tangent, but there's a nice trick for 8 x 12.

In algebra, you learn that (a - b)(a + b) = a^2 - b^2. It's not too hard to spot this when it's all variables with a little practice but it's easy to overlook that you can apply this to arithmetic too anywhere that you can rewrite a problem as (a-b)(a+b). This happens when the difference between the two numbers you're trying to multiply is even.

For a, take the halfway point between the two numbers, and for b, take half the difference between the numbers. So a = (8 + 12) / 2 = 10. b = (12 - 8) / 2 = 2.

Here, 8 = 10 - 2 and 12 = 10 + 2. So you can do something like (10 - 2)(10 + 2) = 10^2 - 2^2 = 100 - 4 = 96.

It's kind of a tossup if it's more useful on these smaller problems but it can be pretty fun to apply it to something like 17 x 23 which looks daunting on its own but 17 x 23 = (20-3)(20+3) = 20^2 - 3^2 = 400 - 9 = 391
> Every game card is playable, no matter how out of date the Switch is, without any internet connection.

This is mostly accurate, but not entirely afaict. I had to connect my switch to wifi in order to update the OS to play Xenoblade 3 (or Tears of the Kingdom? It's been a while).
The news here is that modern pop music has become so same same that people can't tell an "AI" generated music from real music.
As any systems programming language include those that predate C by a decade, and still it doesn't allow full control without compiler extensions, if you really want full control of memory layout of objects, Assembly is the only way.
Twin Peaks was delightfully weird. It was the sole reason I bought a TV, believe it or not.
David Lynch has been my favorite director and one of my favorite people for most of my life. His work and outlook has influenced almost everything I've ever created. He changed the way I saw the world for better. I'm really sincerely going to miss what he brought to the world
Disagreed. Title is fine.
The interesting thing about the LLM is that it uses its knowledge of our respective roles, overall product (which is public), and peer review process itself to refine and improve the output in ways I wouldn't have considered.

I always put a lot of time into reviews before. Should I not use the tool to make something even better (within realistic time commitment)?

If I use an AI to create some cartoon graphics for a slide, should I have bettered myself by learning graphic design instead?
I'd be worried how proxmox would scale past a few racks. The bones are all good, but I'm not sure how much scale testing their API layer has had.
"Although one can argue everything from Meraki is low end apart from their prices"

This is hilariously accurate.
FEMA: Never donate clothing (it is never needed)
[dupe] https://news.ycombinator.com/item?id=42633865
I've been using git for at least 6 years now, maybe 10.

Sites like this are a great aid to remembering how to deal with certain situations. And yes, I understand what the commands do, but that doesn't mean I always could, or always want to, put together the series of steps from scratch.

And also, we self-host our own gitea hosting because we're not getting sucked down by yet another hosting debacle (old enough to have suffered under sourceforge, and don't plan on getting in the same situation again). For git hosting just as much as everything else on line, if you're not paying for it, you're not the customer.
Will this work for IPv6?
Problem: Some people are closing their eyes so that they won't see my ads.
Might be TOTK; I personally updated an offline Switch to use Sonic X Shadow Generations from the cartridge alone yesterday.
> I'd just like to object to the creation of a general sense of sacrificing farms for fabs.

"I was wrong, but I think my comment was still right based on vibes, so I wasn't wrong after all."
Skip makes your back end reactive
What he brought to the world isn't leaving. What he could have brought will never be experienced though.
“We are no longer called Sonic Death Monkey. We are on the verge of being called Kathleen Turner Overdrive, however this evening we will be Barry Jive, and the Uptown Five.”
Sure, if one doesn't care about portable code.
SNP rs6543176 is associated with extreme longevity but increased risk for cancer
Probably the first "we adopted x" blog post that I can find relatable and spot-on.

I think it's one of the big misconceptions that React Native is _the_ path to get your web devs or even existing code onto mobiles. That's how you get the criticism that RN builds bad, mouldy apps.

Between our clients that have had this issue with quality and shops in the same space as us that haven't (one who boasts a review on one of their apps being "an example on how to build a proper fully native app"), having a good portion of native devs on the team is a big differentiator. Unfortunately this means a RN Team isn't as cheap as some hope.
Yep. Everyone is responsible for their own actions. Hamas could've just surrendered and returned hostages. Before every single Palestinian child lost life, Hamas could've chosen to do that. So its on them
> whereas managers are seen as useful in different domains, giving them practical mobility

And this is exactly my problem with becoming a manager. You become fungible, easily replaceable, movable and fire-able.
Anyone who thinks non-engineers can build quality products with just AI doesn't know anything about being an engineer.
I remember buying a Tesla, all via their website, then picking it up when ready. Car sales really should be that simple, at least for new cars where you don't have to actually physically assess the vehicle in person like for used cars.
I'm using it now, even paying for it, and it works very well but I only have one wish. That they could distribute an image based distro, or a slimmed down appliance ISO. It just seems unnecessary to have an actual OS on each host. Specially since I've been impressed by Talos and Openshift for a while.
I think expecting everyone to enable a still-experimental feature is more than a papercut.
"Generations" is a fairly subjective term all things considered, and I basically acknowledged it by saying these things are fuzzy.

As the sibling post mentions, they all have exclusives, however, which is something Sony has refused to allow for PS4 Pro and PS5 Pro updates. And even though Nintendo considers the GBC to be the same console as the original GB when it comes to tallying sales figures, it's a rather significant upgrade. Slightly better than NES full color games, double the processor speed. It made a compelling upgrade and target for developers.
Its about the type of person now required to write software. You dont need some ultra math brain autist to write code if the LLM can do it with some human assistance from someone of much less ability. Coding may see more demand, but the skill set itself sees a reduction in the base quality bar required by the engineers, dropping wages and changing the profession. Ofcourse there are exceptions, but not for most businesses
Ooh, I love that this website exists, and major props to whoever made that visualization!
Personally I'd say both are true. They won the generation, but they did so by not bothering to fight directly with Playstation and Xbox. By basically ignoring them and having a distinct identity they won.
> Truly perverse incentives such as one the one you linked aside I think it's mostly fine.

Well, the thing is, with AI being widely available the threat model explodes as the difficulty goes down drastically - imagine someone deepfaking a video of a C-level executive being involved in illegal or "extreme" sexual acts; we already have "nudifier" apps, the steps to cross for the mentioned scenario aren't that large. The number of potential threat actors explodes as the group is now "everyone with a smartphone", and it also explodes as the likelihood of getting caught (and sentenced to decades in jail, if not death) for shooting someone in public is significantly higher than getting caught "leaking" a faked video which at worst risks you a year or two for defamation.
"My childhood was elegant homes, tree-lined streets, the milkman, building backyard forts, droning airplanes, blue skies, picket fences, green grass, cherry trees. Middle America as it's supposed to be. But on the cherry tree there's this pitch oozing out – some black, some yellow, and millions of red ants crawling all over it. I discovered that if one looks a little closer at this beautiful world, there are always red ants underneath. Because I grew up in a perfect world, other things were a contrast."

David Lynch
The law says that it should be easier to refuse consent than give it. That's thoroughly implied (and then there's Recital 43, if the text of the law isn't clear enough for you).
I've seen similar things.

Competition is crucial, though.
You know all those random python automation scripts network engineers use to configure devices? Now imagine them actually running on device controlling packet and frame flows. Does that sound like it would be fun to troubleshoot?
Sales calls usually start with a discovery call then move to those later stages in the pipeline though, so you're just calling a sales call by another name.
People have been putting their business into spreadsheets and then tweaking one number for so long they've lost the plot completely.

It's like if you sold cheeseburgers and thought "what if we charged the same price, and didn't include cheese?" and then when that worked because some people don't eat cheese, went "what if we charged the same price, and didn't include bread?" and that worked because some people don't eat bread. Eventually there is no lettuce, onion, or tomato and you're serving plain patties in a paper tray, condiments extra. Customers have dwindled, and the idiots left in charge have never made or sold a cheeseburger or did anything other than move numbers around in an already successful business can't think of a better idea than look at COGs on ground beef and suggest they try selling ketchup on a napkin.
actually dont try to cut them off. that leaves one to chain them to a bumper hitch and yank them off.

[ed] so how do you stop that? put the hardware in a drop vault, so its tucked away until used.
> The value of ChromeOS to Linux in general is that it has no Windows-specific dependencies. They don't have to like the hardware,
Linux runs on all kinds of hardware.

And none of the hardware that Linux runs on runs 15 hours on a battery, quiet and fanless. In the US people with money (or student loans) have a choice, they have been actively choosing Macs since 2010.

> But if they cut their teeth on Windows then they're trained on MS Office etc., and on ChromeOS they're not.

And they can go to Walmart and buy an $850 M1 MacBook Air that can run MS Office, all of the other commercial software, still have a faster quieter ARM based Mac and it integrates with their other Apple devices - iPhone has a 70% market share in the US.

> the vast quantities of PC hardware that don't officially support Windows 11 but run Linux just fine, etc.

And what’s more likely? They put Linux on their old slow laptops that run hot, loud and with piss poor battery life - all of which is worse with Linux - or they just buy another Windows computer or Mac that runs all of their software?

If they are using Office365, they don’t have to buy new software even if they do switch to Mac.