skysight-inc/HackerNews huggingface dataset:
It's both. This design focuses on quieting the airflow. From TFA:

The team started working last September. They hoped to improve an electric or battery-powered leaf blower, which is already much quieter than the notorious gas-powered ones, where the sound can carry over an average suburban block.
> You seem to think that a couple of degrees just applies uniformly across the planet

I don't believe that at all. I even studied the IPCC for how their various scenarios lead to different levels of increased heat in different places.

When it comes to fluctuations, there are several types. An obvious one is wind, which will probably become noticeably more chaotic with more energy. Another is temperature.

Temperature variations generally depend on humidity and wind. As winds get stronger, that in isolation leads to some increase in temperature variations.

For humidity (both at ground level and in the atmosphere), increased humidity leads to lower temperature variations.

There are also precipitation. Higher temperatures lead to heavier rain (when it rains), and can increase the likelihood of hailstorms.

There are also extreme weather patterns that become more common when it gets colder. While tropical storms and hurricanes increase in frequency in hot weather, more laminar storms ("winter gales") get more common when the weather is colder. I believe this is because the LACK of turbulence/chaos means there are fewer factors that can break up such storms.

This last type is common in places like Canada, Scandinavia or Siberia now, and come almost exclusively during winter.

Btw, the impact of increased temperature on weather is something that we can already observe on Earth today, simply by travelling between different weather zones. While SOME of the extra energy can affect areas far away from where the heating occurs, a lot of the effects are local or regional.

That means that it's likely that Temperate Zone type weather is going to shift a bit to the North, and include a greater proportion of Canada, Scandinavia and Russia. These areas will then get weather more similar to places like the US/German/China today.

The southern parts of the temperate zone is likely to see weather patterns that resemble tropical (or desert) weather zones. Much of the US can be more like Mexico, France can be more like Morocco or Greece, Sothern China more like Thailand, and so on.

This means that areas that get warmer AND dryer (like Spain, Italy and France, probably) will get some of the variations currently seen in Sahara.

But it doesn't mean that the temperature fluctuations get greater everywhere. Some areas become more humid, and that means lower fluctuations.

Btw, for humans, dryer weather can be an advantage, since it allows us to dissipate heat much more easily. For farming it's less ideal. Places like Saudi Arabia could go in the opposite direction, with higher humidity and more rain, farming could become easier, but the risk of wet bulbs could also go up.

Anyway, while it is true that more energy in the atmosphere ON average increases the frequency of most types of extreme weather, it is not true that it will increase all types of extreme weather everywhere.

EDIT: Here's a map:
https://archive.ipcc.ch/publications_and_data/ar4/wg1/en/ch1...
> Do you really think Europe would've sat by meekly if they had solid evidence that the US did it?

What would their options be? Their military is tiny compared to the US. Another data point is that they did sit by meekly when they had solid evidence that their leaders were taped by the US. Merkel, Chancellor of Germany at that time, didn't even shrug....

EDIT:

> Ask Russia and China's neighbours how much they appreciate those countries' 'might makes right' approach to international conflict, such as Russia's invasion of Ukraine and China's takeover of territorial waters belonging to the Phillipines and other countries.

The difference is that the US doesn't limit it's meddling with territory to its neighbours. They takeover globally when needed (Iraq, Afghanistan, South America, Libya, Syria, etc....)
As a practitioner but also a small-time CS researcher, I don't expect verifying that small Rust libraries use 'unsafe' correctly will "waste my assurance budget".

On the cost side: we don't know yet how hard it will be to formally verify small Rust libraries that wrap unsafe code in safe abstractions. That's partly because we don't even know exactly what the specification is that unsafe Rust code has to satisfy. But once we've settled on that and built good proof assistant tools, I think the work will usually be pretty easy, because most of these libraries are fundamentally quite simple and small, even including all their dependencies.

You correctly identified compositionality as a key issue. Fortunately, verifying correct use of 'unsafe' is inherently compositional: knowing nothing but the code of the library and its dependencies, we must prove that the necessary safety properties hold in all possible contexts.

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. 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!
I agree with you a fair assessment is warranted. Dismissing the downsides of remote work leads to unrealistic expectations/conversations.

That said,

> You can get more out of an office worker who lacks intrinsic motivation than a similar remote worker.

Is this because for an office worker it's harder to disguise the lack of motivation? Or are they pressured into going through the motions even if they don't feel like it? I wonder if this is a good thing at all.

Let me explain: as a fully remote worker, there are days I don't feel like working. On those days, I'll slack off. My work won't suffer because on the longer term I'll achieve my objectives; I'm just not wasting time pretending to work when I don't feel like it. My mental health is better as a result. This wouldn't be possible if I was at the office, because this isn't a socially acceptable mode of working.
I mean it’s a fully compiled, optimized machine code binary that I deploy but having said that, it’s not Rust or Go and I wouldn’t expect 100k rps at all.

I just throw it up on Cloud Run and let it auto scale up and down as required and call it a day.
> Large social media platforms appear to be increasingly resistant to third-party tools that give users more command over their experiences. Many of them, in fact, have stopped supporting third-party tools directly.

The interests of the for-profit corporations that run large social media platforms are not, and have never been, aligned with yours.

You want control over your social experiences, social interactions, and personal information.

But those are exactly the things they want to "manage," i.e., control, so they can monetize them.

The last thing they want is third-party tools that get in the way of it.
0.10Gbps down & 0.02Gbps up…

FCC updated just 2-months ago the minimum “broadband” as defined to now be 0.10Gbps up and 0.02Gbps down.

https://docs.fcc.gov/public/attachments/DOC-401205A2.pdf

EDIT: updated typo (on "up/down")
I'm Bearish OpenAI
Nepotism to me implies a kind of incompetence, in that people are selected purely for their relationship to the decision maker. I don’t think these people are generally incompetent at all, although certainly some exceptions exist. It’s more that the filtering mechanism eliminates anyone that doesn’t color in the lines exactly.
Even if you love what you do at your day job... The cobbler's kids go without shoes, and the chef's fridge is full of condiments & takeout boxes.
> Which is another way of saying that the modern software world is already using lightweight formal methods in an end-to-end fashion.

Sure, but only for specific properties that are inductive. Most properties that programmers care about aren't. It is precisely this kind of extrapolation from one property to another that doesn't work.

> But they're not a kind of verification - they provide no guarantee of correctness.

Correct 1. nothing else does either (again, sound formal verification only works in very limited situations -- either in the property they guarantee or the program they can guarantee it in -- and is falling further and further behind what the software world needs) and 2. unlike for algorithms, a "guarantee" is not and cannot be the bar for real software running on physical hardware, as you cannot guarantee the real behaviour of a software system even if the algorithm is guaranteed to be correct. Unlike an algorithm, a software system is ultimately a physical object, not a mathematical one. To crudely oversimplify, you don't care about any confidence beyond the probability of a bit flip.

In other words, you're pointing out that the current state-of-the-art in the field is not as good as something we don't (perhaps can't) have and don't need to begin with.
I just don't understand this at all. Perhaps if they said they intended to record the interview I'd be a little uncomfortable. Otherwise, did you hide your identity in face to face interviews? Do you refuse to enter buildings with CCTV?

I've interviewed hundreds of people since COVID / interviews going online. I'm not aware that it's been a problem for a single candidate, I don't even think we say it explicitly.
Leaves can kill off whatever is growing beneath them and they can pose a safety issue in areas where people walk.
That’s pretty cool! Nice idea.
There are different types of mowers - push (usually 4cycle), push+self propelled, riding one(s), then 2cycle scythe types, and then trimmers and brushcutters (spinning blades). Those options (more or less) are available battery powered, too. Battery powered ones have shorter use per charger but they are lighter (and usually less powerful).

However, if you can use a robot one (or few of them), it tends to be an easier setup - it does require flatter lawn and what not, though. However they are insufficient in cases where one really needs a riding mower.

Personally, I have/use a robot, a battery powered strimmer, gas powered brushcutter, and a push behind mower. The main job is done by the little robot, but the rest have their uses as well.
'Anti-sex' beds have arrived at Paris Olympics
VC Analyst Internships are very well paid because they are competing with IB Analyst and FAANG SWE/PM internship offers.

Imo the easiest way to get a VC Analyst internship is to do EECS@Cal/MIT or CS@Stanford with a Business (or in Cal+Stanford's case Econ or MS&E) minor, do a SWE internship in Frosh summer, and be prominent in your university's entrepreneurship or hackathon scene.

That said, my question would be WHY would you want to do that as an undergrad? I'm firmly in the camp that you need to build domain experience in the industry you are investing in, and that takes a decade of SWE, PM, and Sales experience - and that is reflected by the career trajectory of most VCs I work with.

Edit: This is not a snipe at Top Programs and VC Analyst roles. They have value in incubating new founders (plenty of successful YC founders have been VC Analysts who leveraged their VC network to start a successful startup).

Most of the replies below are just salty.
The concern with Apple is they're taking their eye off of what has been their core market that has gotten them where they are - creatives. Apple's identity since its inception has been to make new technology usable for non-technical people. That goes clear back to their Apple II days. So no, Apple does not, and has not, ever innovated new technology. That's not who they are.

What is today's new tech? AI. Is Apple a leader in AI? No. What I expect from Apple is to create tools utilizing AI allowing people to more easily manage their tasks, schedules, and health. I also expect Apple to create tools using AI to aid creatives in their work. That's in alignment with Apple's identity.
Yeah but imagine trying to bootstrap a product which relies on network effects with no investment and where profitability is potentially years out. Social Networks are a good example here, or something like Uber.

There are many valuable and amazing businesses where self-funding/bootstrapping doesn't work. Or businesses which start out as one thing, get VC money and experiment, try to find product/market fit over a year or two, and then hit it big and create something really valuable to the market.

I agree that many companies would be better bootstrapping and creating a sustainable, profitable businesses, but the truth is, the VC model and ecosystem does enable certain businesses to exist which wouldn't exist otherwise as people wouldn't work for that long for free or almost no income.
A stop generally is a doubling/halving of light intensity at the sensor. For apertures this means a factor of sqrt(2) on the diameter (because the area is what matters), for exposure times a doubling/halving of the time.

"Stops of stabilization" in this specific context refers to a standardized CIPA test which determines a shutter speed where the image remains acceptably sharp. They then calculate the number of stops to 1/focal-length, which is a rule of thumb for getting sharp images from the 1950s. So if a 200mm lens produced a sharp image at 1/10s in the CIPA test, then that would be 1/10 -> 1/20 -> 1/40 -> 1/80 -> 1/160 -> 1/200 about 4.3 "stops of stabilization".

The results from the CIPA test don't really hold up to the real world though once you move beyond ~4 stops.
I don’t want a natural habitat in my yard. That’s what the woods behind my house are for. I want a clean, relatively flat, and soft field of grass that my kids can run around barefoot in.

I’m all for natural beauty, but most people already live in urban or suburban environments. What’s the point in pretending when you’re surrounded by asphalt and brick?
I appreciate that as Palmer Luckey can tell you, this is now an industry driven entirely by fear of reprisal by people lacking in competence.

So let’s add criminal corruption.

Don’t take my word for it, Carmack publicly expressed regret at not fighting it harder.

And on hacker news? I don’t really care if someone disagrees with Engine John.
As if there was not enough recruiter spam mail.
German company leaks prescriptions via Bing, blames ex-employees
Archive: https://web.archive.org/web/20240516113251/https://dransay.c...

A German health company (legally based in Malta), providing digital prescriptions and sick notes, leaks thousands of documents via the Bing search engine since the URLs were publicly accessible.

They are blaming two former employees in their press statement and stated that legal action was taken against Microsoft and the ex-employees.

Further, Dr. Ansay is calling everyone to spam Microsoft's and DuckDuckGo's mail contact addresses in order to get the entries removed.

Imprint: https://web.archive.org/web/20240511200302/https://dransay.c...
The fact that you need a Google account to associate with a private space moots the entire purpose of private space.
Eight Billion People
I guess there are lots of options, I'm going to try EmailOctopus.
The how part is interesting to me. In many jurisdictions a bartender can be charged if they over serve a patron. Maybe something similar could be applied to services like Instagram and Facebook?

Their metrics are driven by advertising goals. Maybe limit the number of ads that can be shown to a user in every 24h period? If Facebook were only allowed to show ads for the first 30 minutes of any user’s session per day, a lot of the incentives for addictive design are reduced.
These are all addressable by the individual.

Externalities: any negative externality upon an involuntarily third party can become illegal via law. This can cover things like littering, servitude, etc.

Monopolies: the free market has yet to produce a monopoly that increases prices for consumers if there isn't a natural monopoly. The gov deals with allocation of naturally constrained resources such as radio frequencies.

Imbalance of power: just save more. Save enough so you can wake up comfortable with the idea that you were fired overnight. It dissolves any power imbalance when your boss needs you as much as you need the income.
Nothing wrong, just surprised
Jobs also had to be convinced to not smell like a hobo before a meeting because he did not believe in showers (his fruit diet was pure!).

If he did make it to an important investor meeting, he'd sit there massaging his naked dirty feet.

Like it or not - the business world requires some level of shallow ritual you have to buy into.
Ethidium bromide is actually surprisingly not mutagenic

https://www.science.org/content/blog-post/myth-ethidium-brom...
> And yeah, as you say I fail to understand your article.

Please do explain, then. I always try to be as clear as I can, time and deadlines permitting.

> I mean, most of the stuff is exactly where you expect it to be even if it’s actually a link to the store

What does that mean?

> nix store doesn’t supersedes the whole filesystem.

It absolutely does on NixOS, which is all I have looked at. I have absolutely no need of Nix on top of any other distro; indeed, I can't even imagine what I'd use it for.

I suggest reading the comments on the article, which it seems to me are strongly in agreement with my points. (Believe me, this is not a general rule: they very often aren't!)

Nix solves a problem I personally do not have, which is why I don't use the tool or the distro. Since the docs and the fora and indeed entire products such as Flox assume everyone has the problem, they don't spell out what it is and why fixing it matters.

> so far I don’t see how the regular filesystem structure or even gobo’s would help

That is a mind-boggling comment to read.

Unix is a ~50 year old OS, with millions of users. Its filesystem is at the core of the OS design and its layout is known to millions of people.

If a project comes along and throws it out, it has to have an exceptionally good reason. Nix does not.

Gobo does. Gobo says "Mac OS X does this better. We aim to equal and exceed what NeXT did." And it does, in its own terms: it...

1. Replaces the Unix filesystem hierarchy with a new one that is cleaner and more readable.

2. But crucially, it is not only more human-readable, it also gives better isolation.

3. It also allows radically simpler packaging tools.

4. And it bestows the ability to have multiple concurrent versions of entire software subsystems.

Nix delivers only points 2 & 4. It reduces #1 and it does the reverse of #3.

In other words: it gives isolation and the concurrent versions, but it does so via more complex packaging tools that need users to learn a whole new programming language, and it eliminates the familiar FHS and replaces it with a new flat programmatically-defined one that is almost unreadable to humans.
> if I would have to raise funds I will put laser focus in the people I know instead of trying to reach VCs that are not in my network

This is the most common piece of advice all VCs and Founders give. Even YC has called it out on multiple occasions
Leaf blowers are already mostly electric, and they are annoying as hell. People will take time to replace them, but I assure you they aren’t loved at all.
You are arguing about what is best for the app developer vs what is best for society. It's a really hard argument and even more so growing up in a capitalist society.

> Sugar is addictive. Do we ban sugar, or regulate its consumption? No! Instead we educate parents to limit their childrens' sugar intake.

This is also incorrect, there are plenty of places where sugar is regulated/limited/outright banned.
Even before the explosion of AI in 2022-2023, the quality of Google searches has been noticeably declining.
It is. It's almost impossible to fake performance since there's only one parameter to measure: work / result / etc. Good performers will produce better / more result, more initiative, and more responsive.

However it's also easier for a bad, micromanaging managers to make their team appears low performant. That's basically the trade off.
60% of timber for cardboard and paper? It's right about time for (deposit-refund?) reusable transport packaging. Might be a nice startup idea to go for...
With the exception of Jack Dorsey and Mike Krieger, every tech zillionaire I’ve spent time with is distressingly incompetent.
I hope they'll put this on hand dryers too
Yeah one could use https://github.com/walkor/workerman for PHP and it would probably beat all other frameworks in the graph.

Would it be a representative experience compared to PHP? No, because that's not would be used in an average scenario.
I was surprised to see they use the front bumper splitter as the "start" of the car and not the hood.

You would expect teams to game the system and use longer splitters if photo finishes happen often enough. Tried taking a look at the regulations and it seems that they're not publicly available.

https://www.reddit.com/r/NASCAR/comments/jncj3f/why_is_the_n...
Other way around, 100 Mbps down and 20 up.
You should hear my electric makita, it’s loud as hell and sounds like a banshee from Halo.
Wow, which cities? I've lived between cities and the sticks in the U.S. almost my entire life and while I've never once heard gunfire in a city, in the country it's a daily routine (occasionally, if rarely, even fully automatic).
SoftBank to help call centre workers by 'softening' angry customers' voices
Think of the shareholders! Or in other words sounds unlikely
Van Allen Radiation Belt
If your yard is that small, why not use devices powered by a cord? Our yard is middling, but the trimmer, with an extension cord, reaches everything that needs trimming. I confess I know nothing about leaf blowers. My wife talks about getting one, but we still use rakes.
In today's reality, regulating is innovating.
F* – A Proof-Oriented Programming Language
> With people making a personal attack out of everything,

Just because you feel attacked doesn't mean you were attacked. Nothing bad happened to you, other than being asked a simple question.

> PS: No I don't read everyone of 180 comments before I comment myself.

In this case 0 were read in order to rush and make a low effort joke because there were two rake comments above the fold and nowhere near 180 total when you wrote it. There's no need to lie here, you gain nothing from it.
Their letters to Microsoft and DuckDuckGo are also publicly available and indexed via Bing (ironic). site:dransay.com filetype:pdf (microsoft duckduckgo)

https://dransay.com/wp-content/uploads/2024/05/Urgent_Legal_...
https://dransay.com/wp-content/uploads/2024/05/Urgent_Legal_...
I don't think this is nearly the same thing as people being obnoxious with their motorcycle or car exhausts.

What I'd really say is maybe we should rethink if blowers are even useful or necessary at all over the old broom and scoop.

Many times I see landscapers use them to simply blow dust and leaves everywhere, including into busy streets, rather than using them to try and collect all detritus into a single pile for collection.

If that's more commonly the case, then why use them at all?
If you torture the soldier, at best he is providing you the information you can verify and nothing else. At worst he is providing you incomplete/wrong verifiable information. There are only limited studies on this, but consensus of intelligence experts is that it is an ineffective method

In contrast, if you convince the subject to give up information voluntarily, it may provide you not only the location of the military base, but also much more valuable information about the base and its content, and information you didn't know to ask for.
Err, they're mostly used on leaves. At least in my state.
> Cheap 10 Gbps Fiber Thanks to Local Governments

> $150/month

Meanwhile I'm here in Sweden rocking 10 Gbit symmetrical from Bahnhof (<3) for 349 SEK/month (~$33/month).
"Someone who followed every known rule perfectly still died horribly" should especially give the people who get cavalier about the known rules some pause.