skysight-inc/HackerNews huggingface dataset:
Unfortunately, AI could lead to more verbose everything, because it also enables us to distil huge amounts of text. Forgot where I read about this, but it has been shown that digitalization has enabled the tax code to go from something one person can read and understand to something completely unmanageable (could be from The Utopia of Rules: On Technology, Stupidity, and the Secret Joys of Bureaucracy), because digital tools allows us to deal with more tax code. Similarly, doctors, teachers and many other occupations are drowning in administration duties that were enabled by digital technology.

I hope I'm wrong. Eventually, when only AI produces and consumes text, it could be more brief, but at that point will it matter? Eventually a less ambiguous format could be used, something more like code, that computers and AI can consume and apply.
I watch a lot of car reviews for fun and they all comment on cvt behavior. The only recent car I've heard of that actually acts like a cvt is the mitsubishi mirage (maybe all mitsus? I don't really see any reviews of them). Then there's the new impreza that sometimes acts like a cvt and sometimes fakes gear shifts.

Apparently they used to behave to cvts but people hated that so they switched to faking gears. Maybe your car predates that, I don't know what year they started doing that non-sense.
NetBSD bans use of Copilot-generated code
I'm not a doctor but I briefly worked in cancer research (not on medical side) and the doctors said there the biggest problem with meat is the preservatives. Nitrosamine, specifically.
Some context: This site is being moved from https://tteck.github.io/Proxmox/, and I think it's still a work in progress.

The github page is worth a look to see what's new: https://github.com/tteck/Proxmox/blob/main/CHANGELOG.md

I've been using the scripts and templates from here for some months, and it's been a big help for my Proxmox homelab environment. +1 for usefulness.
Hell yeah. KDE is the way. Never understood why all the distros pivoted to Gnome shell.
Perhaps the first thing to note about your latest response is that it makes no mention of the increase of weight of the MAXes over their predecessors, and yet it was specifically over the relevance of the weight change where we disagreed [1]. I have followed this story quite closely, and I haven't seen anyone citing the weight gain as being a factor in this tragedy, let alone claiming that the weight gain itself amounted to something criminal (or that Boeing was somehow hiding it, for that matter), and your summary here, by its omission of the weight issue, tacitly acknowledges its lack of relevance.

The second omission from this summary is any mention of Boeing's interaction with the FAA staff having the responsibility for certifying the MAXes as airworthy (together with the adequacy of the flight manuals and training materials), and yet, in all other accounts I have seen, Boeing misrepresented (to put it mildly) the extent to which MCAS was modifying the handling characteristics of the airplane and therefore the consequences of its failure and the need for pilots to know about it. No-one else, as far as I am aware, disputes the fact that the DOJ's investigation is centered on this dissembling (together with similar dissembling relating to the plug door incident, which is being included on account of the MAX issue being in a deferred prosecution status.) Once your account here is augmented with this missing information, it becomes clear that this pattern of dissembling is what the DOJ is investigating as a possible crime, as I have been saying all along.

Now you want to extend this disagreement by disputing my characterization of Boeing's difficulties in developing the MAXes as being, well, development difficulties! It is not clear to me what point you are trying to make by doing so, but to be clear, I am most certainly not dismissing the tragedy as merely a matter of development difficulties. On the contrary, I am saying that this became a criminal matter precisely when Boeing went beyond treating the matter as an above-the-board technical problem, and started misleading the FAA.

[1] https://news.ycombinator.com/item?id=40366126
"in late June [2024]"
Docker Desktop Alternative
> professor X in field Y likes esoteric language Z, so his grad students write out libraries A/B/C to corner the Z library space

This description seems to fit Julia really well. What other languages are like this?
why would you dry a car instead of buy one that is water proof

i would be leaf blowing my car every other day with the amount of rain here
> Sugar is addictive. Do we ban sugar, or regulate its consumption? No! Instead we educate parents to limit their childrens' sugar intake.

I wish things worked like that with cocaine
Use an LLM to do it
> the cost is a huge blocker.

It is. Formal verification is and will be (for a very long time) a thing you only do for airplanes and nuclear reactors.
> Chat is soul-less and leads to a lot of misunderstandings with tone.

Chat isn't soulless.

Chat being async has benefits over conference calls.

> Video is too formal. Phone is interrupt.

Work lacks cheap interrupts, which is not a remote-only problem.

In my most recent position, when working from home, I've made a habit of writing to people on chat if I can bother them for 5-20 minutes. It works great. I have typically interacted with at least one customer and 2-3 colleagues during a day at home.

But I can only interrupt certain people. Having sat in the office with them before, we have built a relationship.
I have never dried a car, does a car not dry by itself?
generally for landscapers it saves them the trouble of raking, which can put a lot of strain on your back — they'll blow the leaves onto a tarp and then wrap them up for easy removal

in my experience, homeowners mostly dick around with them
There are a number of blue zones with increased longevity. One of them Loma Linda[0], CA defies pretty much all of the other US trends. That area is the home of Loma Linda University[1], a Seventh-day Adventist University.

What is interesting about Seventh-day Adventists, aside from being a slightly different protestant denomination, is that they preach a very strong health message -- it's not like don't do these things and you'll go to hell, they don't actually believe in a literal hell anyway, it's closer to "The body is the Temple of God so you should take care of it".

Anyway, I digress. Adventists are by and large vegan or vegetarian (even after leaving the church I grew up in I'm still vegetarian), they don't drink and they don't smoke. They live on average a decade longer.

There are many factors that can lead to longer life and longer quality of life, as evidenced by other bluezones, but these are relatively easy changes that you can make to your life that will have a positive impact.

Hell you don't even have to be fully vegan/vegetarian to get the benefits. Just swap out a bunch of meals that would otherwise have meat with vegetarian alternatives. Have a steak once a month vs once a week (etc).

Note: My father is a retired Adventist pastor in Australia. I am no longer religious but was within the Adventist church from 0 to 22ish.

- [0]: https://www.bluezones.com/explorations/loma-linda-california/
- [1]: https://llu.edu/
One thing that should certainly be considered is the externalities associated with on-premise work as more roads, transit, infrastructure, emissions, etc, is required. Taxes should probably be lower for companies embracing remote work.
Still quieter than gas. More like a very loud hair dryer.
This is really interesting but I can't get over how much NASCAR cars have changed.
The opposite happens with technology. As the cost goes down, usage goes up. (Jevons paradox)
Even though I had this team all the time who are pretty engaged, lot of people are not motivated and a lot of them cannot be ever motivated enough. They had a childhood that killed it.

Until we have 40% unemployment, these people are working under certain CEOs. After some easy deduction, lots of CEOs have to decrease/kill the Home Office for these people if this is true what parent commenter wrote.
The child doesn't choose their parents.

The parents can be mistaken.

If enforcing the good habits of good parenting is not a problem, then 'apps' wouldn't have a problem with it. But they do. Because they're doing the equivalent of promoting cigarettes as a health elixr, something many on HN are complicit in through 'educational' branding of gamified (addictive) social media and even NFTs.
I've been eating more plant based, vs my keto beforehand. It makes sense even if it isn't the plants themselves doing it, I just feel like the products I'm getting though pricier are a league above in quality. I say this because everything I'm eating is so much more nutrient dense and mostly fresher. So when I'm eating 30g protein minimum a meal even if I'm not trying, I'm getting way more nutrients than I would if I just had some chicken. e g having a chickpea pasta with a seed/mushroom based bolognese sauce, vs, the pasta and normal bolognese sauce can't compare (though easier to make it taste better lol)
It's just an ecosystem thing - if the ground cover can't handle the leaves it probably should be a different ground cover there. This does remind me of something cool though. I was up in the UP Michigan canoeing and ended up in a forest of maple trees. Their leaves had so completely dominated the ground that it was just a blanket of leaves and sap for miles. Only a few patches of fern could make it there but otherwise there were no (visible) ground plants
> You correctly identified compositionality as a key issue. Fortunately, verifying correct use of 'unsafe' is inherently compositional

Yes, it is an inductive property. Sadly, not a very powerful one.

> On the benefit side: proving that libraries do not undermine Rust's safety guarantees is important, and the importance grows with the popularity of the library.

It is only important if you take it as an axiom that all programs must be proven to be memory-safe. That may be an axiom accepted by some Rust fans, but it is obviously not an axiom of software. What software needs are methods that reduce dangerous bugs (where "dangerous" means different things for different programs) in the most cost-effective way. It may well be the case that, say, soundly eliminating 95% of bugs caused by memory unsafety and using the rest of the budget on unsound methods is more effective than spending it on eliminating the last 5% of those particular bugs. Software's needs do not currently justify complete sound memory safety at all costs, so the question of cost is still the most relevant one. There is no justification to focus on one cause of bugs just because it can be soundly eliminated.

> And of course those guarantees aren't just "memory safety" but data-race-freedom and the general "mutable-xor-shared" property --- the importance of which is the subject of the OP here!

Neither of these are worthwhile enough to move the needle. This is precisely what I mean by the myopic focus on what can be done as opposed to what needs to be done. If the gap is 10 orders of magnitude, narrowing it by 1 doesn't have a big impact, unless it were completely free, which it isn't.
Neovim v0.10.0
In that case, and since you are looking for suggestion on where you can do work most or fast or most productive for a single developer, you could consider an alternative to learning a framework.

Learn a platform. Not a framework.

You could pick at platform to specialize on and learn whatever framework / language you can use to extend that platform.

For example you will be very productive very fast if you pick a platform like Microsoft Power Apps[1]. Although it is a no/low code platform there are tons of places to write code especially when you start to leverage azure functions. (c#/javascript/phyton/java) There are alternatives to Power Apps but that's the platform I am familiar with.

I know its fun to build apps from scratch but if you want to be productive fast you can cut a huge corner by building on top of an existing app platform.

[1] What is Power Apps?
https://learn.microsoft.com/en-us/power-apps/powerapps-overv...
The dice room puzzle described here is a little frustrating, because no-one seems to get it right. In the finite population case the anthropic argument for "I'm likely to be the in the last round" is wrong. In the countably infinite case it can't be applied (no discrete uniform distribution on a countably infinite set). I wrote some ramblings about it here, though I'm not sure it's super-clear: https://harrybraviner.github.io/posts/2024-01-28-anthropic_d...
The neighbors in rural places I've lived haven't been terribly well-off, as far as I could tell, but they clearly have had different priorities.
The trivial necessity of valuing the intangible of being well-liked by one’s customers and partners has nothing to do with positing definitionally unobservable mass.

The cost and effort and intellectual integrity burnt on linking that mass to bosonic super partners even after a six sigma result at CERN on scalar field excitation at 125 GeV was found exactly as everyone knew it would be without a squark in sight is very on brand for what passes as rigor around here these days.
Having used both on a regular basis, I hope they stick with GNOME. KDE is highly-configurable, which brings about a level of fun, but otherwise somewhat unpolished and at least a bit more buggy.
Make friends with the folks in the enterprise security team and ask them about their kitting process.
It seems you have a nice setup!

Well, yes, I initially thought of having my laptop as the primary monitor (it's actually big) and using a portrait mode monitor mainly for reading code, not for writing code.

Are you comfortable with the middle being taller than the others?
It's interesting in that it's measuring the level of risk and finding it lower. The title reflects the question not the answer.
We have a 1 acre garden. Electric gardening tools are just toys for this size. I'd love to use electric but nothing comes close to gas.
This was basically sort of my experience wren my company turned hybrid

I'm sure I might have some undiagnosed attention issues but it became supremely hard to concentrate once at the office because of the open office plan and people constantly distracting me with questions or requests (I don't begrudge them this though). I had to essentially monopolise one of the office mini conference rooms to actually do any work. It got to the point of 3 days of the week essentially being close to useless because I'd get more done once I was back home. Not helped by the company hiring across the country and not having all the staff at office which meant we were still teleconferencing all the time
TBT that guy that used a GET to open his garage door and found it randomly opening from pre-fetches(!)
If startups had capital to coast on they wouldn't needs VCs. If VCs didn't have capital to invest they wouldn't be VCs.

One of these groups clearly has more money at the start of this arrangement and you seem to be ignoring the change in npower dynamic that creates.
It's a spectrum.

It's indeed true you probably can't get someone who's completely disengaged to be particularly productive. They'll do the bare minimum to make you go away but mostly just phone it in. These people probably should be encouraged to leave anyway, if nothing else for their own sake. Odds are they're in a late stage Office Space-type burn out and could really do with a change of scenery.

That said, there are personalities who genuinely benefit from hands-on management. Some just don't have a lot of initiative and will just do nothing until they're told what to do next.
In my experience, Mastodon (and other relatives from its family) is much better than current Twitter, at least for non-logged-in users. On Mastodon, as long as you enable JavaScript, you can see the whole thread for the post, while Twitter (which also needs JavaScript) only shows the initial post; and if you go to an account's page, Mastodon shows the whole timeline in reverse-chronological order (which is generally what you want), while Twitter shows old posts in a random order.
https://github.com/chc4/samsara is also worth looking into, implementing the same concurrent GC algorithm for Rust. A C++ implementation is available at https://github.com/pebal/sgcl .
Yes, these mechanical engineering senior design projects at JHU are all sponsored by some organization or another, and the sponsor gets to keep the end product (and in this case also patent pending). Source: did a mechanical engineering senior design project at JHU 6 years ago (though mine was less successful, haha)
A quieter leaf blower? No. They did not do that. They found a way to quiet an existing leaf blower. Adding a silencer to a gun doesn't mean that you have invented a new gun.

>> They workshopped more than 40 versions of the solution they finally settled on: an attachment that cuts the machine's noise almost like a silencer on a gun or a muffler on a car.

And for all the people screaming about electric v. gas, this isn't about that. This device looks like it could be used on any leaf blower, although the difference is probably less dramatic on a gas-powered model.
Probably their child's birth year
I believe that fancy astrophotography tripods already do that rotation for you, right?

I think that for astrophotography, the shutter times are so long that you have to build it into the tripod, instead of relying on the tiny amount of stabilization that can be done in-camera.

Although maybe it would be helpful to cancel out some motor noise of vibrations from the tripod. But probably the existing image stabilization already does this.
I don’t get it…

Aren’t they basically saying they make an unauthenticated AP with the same SSID as the trusted network?

If so, this isn’t a new idea, at least not in the past two decades…

They dress it up with a MITM attack but I don’t see how MITM is useful here… They just seem to be doing direct SSID mapping without anything else going on.

Feels like more that a less-than-desired VPN related company is trying to get attention.
A market is very liquid and trading is cheap, and the relevant starts are publicly aggregated. Transactions for an index fund are probably billions a day in rebalancing, withdrawal, and purchases. Startup transactions take $x0,000+ in legal fees, travel costs, due diligence from domain experts, and weeks of labor for single or double digit million dollar deals. Are you seriously comparing the two?
It will be more easy to sucess in the basic education rather than AI Research(one of the most hard field in the world) when apply AI to education field.

I think it's a little early to bring AI to research field which need enough accuracy and rigorism.
Thanks to the article I now have the proper word for it: Bossware.
I feel reminded of Ploito. It got advertised on HN. 6 months later I'm sure: It was an ad to gain attention. Idk what happened but it seems that the poster and their business owner became very silent 2 months after their pitch.
It's still worth to quote the BO
> "weed out the lazy and deceitful, thereby forming a healthy and efficient team."
It's bossware disguised as a "cool" product to connect teams. You could say it's a Trojan horse. Sure the monitoring is all "optional" but the mentality is baked into the product.

For me it's just right to reject every potential company installing bossware alone for your personal health. People burn out under constant monitoring forced to be 100% productive all day. Have a bad day? Sad for you, it lowers your numbers. Sick leave instead? "Oh what a weak person, how unreliable".
People with utilizing computers to effectively slave-drive people should be held responsible for the damage they cause. They should pay for the treatment if they drive people into depressions and burnout and neither health insurances or the society.
Banks are not usually ran by people who go for the first fad.js they see ahead; they usually also can think ahead further than 5 min.

Also, I'm sure they engineer their systems so that every operation and action is logged multiple times and have multiple redundancy factors.

A main transaction DB will not be a "single source of truth" for any event. It will be the main source of truth, but the ledger you see in your online bank is only a simplified view into it.
Cool, now outlaw the loud ones in populated areas.

Next step, the same thing with the obnoxiously loud motorbikes in cities.
XFCE would actually be best of all.
The problem is that that doesn't really work. The people working in the office don't get the benefit of in person social connection if others aren't coming in, too. Either you have people coming (win for the office people, loss for the remote) or you have people working from home (the reverse). Leaving it up to everyone to work it out on their own doesn't really solve the problem.

That being said, working it out "per team" is generally reasonable. I've had hybrid stints, and I always coordinated with my team so that we all came in on the same day. Then we could do the social thing together at the office.
Sounds like a great improvement, but I would hesitate to call it the norm. The therapy industry is booming.
your bug is my feature.

some bugs are critical, and some are a mere inconvenience. for example, my app not looking right on your device could be considered a bug. but it works fine on mine because i have a different resolution. so it's not a bug for me, but rather the application was not designed to work on your device.

the same goes for any bugs that result from interactions with a different environment. an environment i don't have, and possibly can't even test against.

i'll fix those bugs if i have time and motivation (strongly influenced by the tone of the submitter, but also by the fact that i have a family and need to make a living) and if i can verify that the fix doesn't impact my own use.
There are a large number of options. Doing nothing is not a valid option. Given that Russia and Ukraine are already at war, which makes all attacks on the table and so Ukraine should be considering this as a message. (it may not be the best use of Ukraine's limited stock of missiles, but the serious threat that Ukraine is looking into it usefully forces Russia to move their defense to defend against this attack)
Would be great, KDE is the way to go, gnome is trying to force it's ideason the users too much
Gnome has better UI, and KDE has the better UX is how I see it. For something you spend hours every day on, you definitely reach a skill-ceiling very quickly with Gnome and end up reaching for the CLI very often.
It sounds like the key part of the idea could apply to gas blowers, right?
I don't think I would agree with banning addictive social media platforms, but I would like to see them heavily regulated, meaning:

* Opt-in to "engagement algorithms". By default, people should only be seeing things that they're explicitly following and in some sort of neutral way (e.g. sorted by date).

* "Engagement algorithms" need to be transparent. It should be clear why I'm seeing what I'm seeing. This implies accountability of the platforms themselves. If the Facebook algorithm ends up promoting genocidal violence, they shouldn't be able to hide behind "it was the algorithm".
I disagree. Someone who's always getting Slacked with requests and keeps unblocking people won't be doing the work you're measuring, but they're helping 20 people do their work in half the time.