skysight-inc/HackerNews huggingface dataset:
Oh I don't think it's full-on fixable either. What I wanted to challenge was just the characterization of the issue itself.

As you say there are plenty of volunteer maintained blocklists as well, and there are also the countless privately deployed filters using those lists, which may or may not get updated properly. That's the "little man" part, and is why I think the characterization the thread starter was trying to push is ill-fitting.
So if I build a plant today to produce water at 22 cents per cubic meter, somebody could come along next year and build another plant that produces water for 15 cents and put me out of business. Then the year after that, another plant produces water for 10 cents, etc. You need 20-year contracts to sell water at a fixed price to make this work.
Since I got downvoted:

I'm not saying their invasion of Ukraine isn't terrible.

I'm just not used to think of Ukraine and Russia as being European countries.

But they sure are on the European continent.

It just seems that Russians then get regarded as the outsiders when Russia is also a European country.
Holding up Florida and Los Angeles as models for development doesn’t seem like a good argument to me. No thanks.
May I point you to Wikipedia pages on cognitive biases, like
Confirmation and Selection?

The CVE database lists only entries related to situations gone wrong. It doesn't list any information about working software that has no issues.

Also nothing will appear in the CVE database in relation to a language that nobody uses.

The database also has some garbage entries.

Overall the database is actually paltry in size in relation to the vast amounts of stuff out there written in C.

Also, correct C programs can have security issues, because some security issues depend on actual behaviors being observable which correspond to behavior that is not observable according to language standard. ISO C is mum about memory being observed, or side channel information being monitored, or timing of operations.
Actionable suggestion that I use for myself: ask yourself mutiple times WHY you're posting something. If you're satisfied with your reason(s), go ahead, be yourself, learn to have a thicker skin.

This has helped me to not post when it was simply me having a knee jerk reaction. It also help to consider what you're getting from it and what you're giving others.

When you reset to your default habits and possibly get bad reactions from people, be honest and evaluate how you communicated and whether their reaction is really not warranted (in your perspective). At times, I've been inconsiderate and obnoxious and got bad reactions. I try to accept that because any other reaction would actually be unexpected. Yes, we all mess up sometimes.
What's simpler about this than just uploading .html files?

This seems actually very complicated for what it does.
Below the first video, it says:

> Images were captured using a combination of confocal and two-photon microscopy, live imaging isolated mouse ovarian follicles.
Sometimes electrical lines or humans cause fires, true.

But usually it's just lightning. Far more fires, by count, are caused by lightning.
Small discussion (13 points, 17 hours ago, 5 comments) https://news.ycombinator.com/item?id=41950858
There is also a second way of stopping fires, which is to create 10x more man-made lakes, ponds, and streams everywhere in the region. It will increase the local humidity, which will in turn diminish the risk of fires. The approach is to maximize the surface of the volume of water exposed to the air. This works because fires require dryness, which will be impossible with sufficient water evaporation and humidity in the area. It is a superior form of terraforming than controlled fires.
The key info:

> The specially designed, porous yellow powder dubbed COF-999 the group created can capture carbon dioxide from the air, keeping it from being released until it can be moved underground or to a capture facility.
Oh _that's_ what's happening. I was wondering why so many images were broken but I hadn't investigated.
There is a critical principle in English common law: de minimus non curat lex.

Paraphrased, the law does not concern itself with trifles. Mean words causing hurt feelings qualify. I acknowledge that it can be a very big deal for the person on the receiving end: it's the sort of thing we should (and do) socially discourage, or moderate (or not) at the platform level.

But no, I don't think it rises to the level of harm, in that there should be no remedy under law, criminal nor tortuous.

https://en.wiktionary.org/wiki/de_minimis_non_curat_lex
sounds like the makings of a business service
There's a weird fascination in much of the Western world with Japan.
We see posts talking about Japan on the first page of HN quite regularly.

I am myself somewhat fascinated with Japan as I grew up with many Japanese descendants (their parents were "real" japanese, I am from Brazil and most of them came to Brazil in the 50's, so my friends born in the 70's and 80's were still first generation brazilians) and have been there to visit them once.... but I find it odd that there's no such fascination with most other countries.

I suspect it's because Japan is both very different culturally, but very similar in level of development, so it's "easier" to like them instead of think of them as inferiors (which was how the West seemed to see them before the Great Wars, from what I read).
While I don't want any compile step either (js should stay), I'm actually confused by your statement.. are there any benchmarks? Are you saying that for example v86 would run faster without wasm?
Japan (historically high suicide rates), telling us how to live. I think I'll take my chances with another philosophy.
I’m really tired of this discourse. The JavaScript ecosystem is the lingua franca of the web. Furthermore, while a segment of the programming community has sat around complaining, JavaScript has gotten really good and continues to improve every passing year. Incremental progress is the key to making progress, not giant paradigm shifts.
Arbitrage much more fun when r=0
This sort of thing is also an issue for phone numbers, some other company could have used your new number for robocalls and gotten it spam blocked on Truecaller and similar services.
Domains aren't individuals. Owners of domains aren't necessarily individuals either.
What action requires admin escalation on Windows but not on Linux?
Consistency with a set of axioms is necessary but not sufficient for a theory.

From Wikipedia: In modern science, the term "theory" refers to scientific theories, a well-confirmed type of explanation of nature, made in a way consistent with the scientific method, and fulfilling the criteria required by modern science.
> Both UAC and sudo are just OS level cookie dialog boxes

To be fair, that's misconstruing UAC and CredUI/Secure Desktop a little. There probably is merit in switching to an isolated desktop session when seeking consent, or user credentials, despite the fact that UAC/the AuthZ part within a user account has flaws. I think another issue is probably that most user's exposure to UAC is on machine's they're the sole user and administrator of; it's a different ballgame in enterprises where the end user is probably the least privileged principal logged into a particular PC.

Windows et al have Sandboxed apps, but which apps and which users should be allowed to do system-level confirmation type changes? iOS and Android are (for the most part) on single user devices, you still need some sort of AuthZ system to decide who and which apps can change what on multi-user systems.
This is 100% wrong, the very first copyright law specifically included editors and publishing houses as entities who could hold copyrights for work done by employees or contributors. Many reference books / etc were done by teams of professionals and their employers owned the resulting work.

You are appealing to people's ignorance (including your own) by evoking an idyllic past that doesn't actually exist. The copyright problems between individual authors are substantively indistinguishable and the law correctly acknowledges this. The only difference is completely insubstantial: irrational emotional appeal.

https://en.wikipedia.org/wiki/Statute_of_Anne
And the reason why SW development sucks in enterprise, is the lack of people that can speak clearly like Linus.
Enchanted?
Everyone will agree that Trump makes silly comments! He made the same comments in 2016 and never even attempted to lock up anyone for the whole four years.

The Democrats always say the right things, but proceeded to try to lock up Trump for the entire period of 2021-2024.

Barking dogs don't bite, it seems that "Silent dogs bite" is also true.
This is indeed how market making works.
And the Trump-Hitler news is because a US Marine General, and Trump’s CoS and Director of Homeland Security went public with his fears based on the last time that Trump tried to deploy the Military against civilians and was met with pushback, after which he wondered why “His Generals” weren’t more like Hitler’s. There’s never been a less fit major political candidate in the US.
https://minimumcd.org/journey/
I am assuming bad faith for a good reason, which is that the parent comment failed to acknowledge the obvious, which is that the listed pollutants keep accumulating in the environment, proportional to the number of people that exist. In fact, the parent comment even rejected this established knowledge, thereby proving its bad faith.
Calling her a political commentator when she's a member of the AHA and a tenured professor of History at NYU feels a little bit disingenuous. You can just as easily call her a historian, and the Naval Academy employs (and produces) a lot of historians
> It's not a government bill.

It's a private member's bill (from a member of the governing party, supported unanimously by votes from every party)
Rust is also hard to write correctly.
You just pay the complexity costs at different times in both languages - in Rust you make a lot of upfront investment.
How to Make an RSS Email Sender Like Buttondown?
What do I need to do to have a system that automatically distributes RSS feeds from my own blog to an email address? So people will sign up through a form, I want to set up a system that automatically sends content to people who sign up when they write a new post on the blog. If anyone can code something like this, I would like to buy it with the code.
"Ben-Ghiat has stated that she did not intend to discuss Trump or contemporary America during the lecture, noting that the event was to be strictly nonpartisan."
Welcome to the internet?

The best way to deal with negative reactions is to stop caring what people think. Be yourself and if they don't like it, it's their problem.
Console logs 'Cannot read properties of null' when I try this:
"What is the proper way to eat and digest a Canon EOS R10 Mirrorless Hybrid Camera while sitting int the back seat of a toyota camry that will blow up in 10 seconds?"
Great example. I do think it’s a grey area to knowingly cause some potentially untrustworthy site to be loaded as the OP did (even if it’s a white hat domain now, that might not always be true).

.gov should offer these detection services, and NSA should be providing an ambient baseline of pentesting.

Absent government action I think it’s a net-positive action though.
Some of the greatest tunes ever are in opera (the music). Plots are the worst, but who cares?
Logged in and commented just to agree with this. Go away original poster.
> Regarding BigInt, the presentation states that “use cases never materialized.”

Yet every language has either that or BigDecimal. Even if Google's frontend devs haven't found a use, there also exist JS devs outside of Google who certainly have found uses (though possibly more of them on the backend).

Similarly, not every developer has a compilation step in their JS work. And there are places where you can't have one, e.g. in the browser console. Develop the language instead of tons of incompatible tools.
You're being ridiculous. The equipment is being used in Ukraine, not Russia and devices don't violate sanctions. People and Organizations do.

There's a Pentagon working group responsible for dealing with the proliferation issue in Ukraine and the Pentagon claims SpaceX is proactive and fully cooperative.

Starlink isn't operative in the areas of Ukraine subject to sanctions and SpaceX has no agreement with any Russian entity to supply them with equipment. They don't accept Russian payments or deliver to Russia

Any terrorist group can use any similar product. You can go online and buy similar products. Did you somehow think Starlink was the first company with SATCOM or phased arrays? I've noted the Taliban leadership has a preference for iPhones and Kim Jung Un drives a BMW.

The Taliban also used SATCOM on drones before Starlink existed.

Taiwan doesn't want Starlink. When they are ready to deal they'll get it. Like many countries and territories have.

Read that article you linked and stop with jumping to conclusions on headlines. You'll get the insights you need. A hint is SpaceX doesn't do joint ventures.

Starlink is already heavily regulated by multiple regulators
This isn't an appropriate rhetorical technique. For HN. If you want to make a point about the size of space, make it without demeaning the intelligence and understanding of the people you are talking to.
Great name ;)! Co-creator of https://github.com/stateful/runme here.

We've expanded significantly onto the idea of a toy script/utility to bring multi-modality (editor, notebook, terminal, browser) with shared sessions to what's at the core, a universal task runner (see architecture link below).

I'd love to chat about combining efforts if you love hacking on this. The same goes for the author of `mdx`.

https://docs.runme.dev/resources/architecture
It's a form of abstract interpretation. The code is compiled to a constraint problem in an SMT solver.

There is definitely a performance impact here, which is why it is important to decompose the program and verify it function by function. This decomposition is sound as long as the model checking scenario covers the complete function contract. To improve performance further, I use abstraction in the form of shadow methods. These are sort of like mocks for the model checker. They provide the same function contract -- inputs, outputs, and side effects -- as the original function, but using built-in non-determinism provided by the model checker. This simplifies the overall SMT equation while maintaining an approximation of the overall program. By defining external function contracts, I can use the model checker to verify that both the original function and the shadow function follow the same contract, which keeps the two in sync. The shadow functions are used to replace functions called by the function under model check in order to isolate this function and simplify the overall SMT equation.

The tool provides the mechanism, but it has taken me six years of work and research to develop a practical way to scale it. The book will cover the tool, but it is documenting this "cheat sheet" that is the real purpose for it.

For what it's worth, I'm also considering an edition that covers Rust and Kani.
I swear I’m not trying to pull an RTFM, but the Wikipedia page is genuinely an interesting one and goes into the history and the fact that nation-states, in particular, are a relatively modern phenomenon.

https://en.m.wikipedia.org/wiki/Nation
I literally use BigInt on the backend every single day at work lol.
Industry groups are suing the FTC to stop its click to cancel rule
It really depends on how cheap this is. We are pumping out a LOT of CO2, and what works in the lab fails >90% of the time as a product. I hope they have something with this but my skepticism is usually correct on these things.
It's a bedrock of our system that the US military remain firmly under civil control and politically neutral. The article elides but deep-links through to Ben-Ghiat's Substack announcing the lecture, which is what set off the firestorm:

- The Real Reason Donald Trump Insults the U.S. Military -

I am pleased to announce that I will be giving the Bancroft Lecture at the U.S. Naval Academy on Oct. 10. This lecture is not open to the public. I will be speaking about what happens to militaries under authoritarian rule, touching on Fascist Italy, Pinochet's Chile and the Russian military during the war on Ukraine.

_______________

That brings us to today's post, on why Donald Trump insults the military. ... Why does he do it? His authoritarian character, desire to destroy democratic values and ideals, and loyalty to autocrats who see the powerful U.S. military as an obstacle to their geopolitical aims.

I can see both sides of the argument on cancellation, but it's frankly idiotic to announce your lecture to the Naval Academy in an essay you directly title and then expound on your criticism of a leading presidential candidate vis-a-vis the military, weaving that criticism into the very topic of the lecture you are to give to the military. The same would be true if the politician was Biden, Harris or anyone else. The military needs to stay a 10 foot pole away from politics. The alternative is incredibly dangerous.

https://lucid.substack.com/p/the-real-reason-donald-trump-in...
If the process required you to verify ID, e.g. a passport + video selfie, some accountability might be possible. But that might be too invasive for many folks.
It is much easier to correct a transcription than to generate it wholesale. As well, the task of audio transcription correction has long since been commoditized because of the deployment of speech recognition on every smartphone.

It’s not quite a solved problem but it’s close.
> I have insights into the issue

This made me lol, thanks!
The problem is that the different SIMD instruction sets are genuinely... different. The basics of “8-bit unsigned add” and similar are possible to abstract over, but for a lot of cases, you may have to switch your entire algorithm around between different CPUs to get reasonable performance (or even gain over the scalar code at all). There's no way a compiler or SIMD abstraction library will do that for you.
Garbage collection is solved to the extent that host garbage collection is now available via WasmGC:

https://developer.chrome.com/blog/wasmgc/

https://v8.dev/blog/wasm-gc-porting

But languages like C# want more features in WasmGC:

https://github.com/dotnet/runtime/issues/94420

No direct DOM access yet. You still have to use JavaScript glue code to get at the DOM.
Use their hardware, not their software.

My life is better since I replaced their windows with Debian :)
1. SQL has tables, not relations...

2. I may be misinterpreting you, but you seem to be talking about composition of data, while the rest of us are talking about the composition of the language.

But, hopefully I've misinterpreted you. Perhaps you could demonstrate how query builder composition is best replaced in pure SQL?
Worst case, can't you run a minimal turn server and have TCP over Wireshark/UDP over turn/tcp?

For a site to site VPN, something where you use transparent proxying at the routers to turn TCP into TCP over SOCKS (over TLS) might work. TCP proxying with 1:1 sockets avoids most of the issues with TCP over TCP, at the expense of needing to keep socket buffers at the proxy hosts.
Yeah but if I change jobs or work on another project then I’d have to learn two standards.
Don’t give them more ideas!
> agricultural land shrinks every year

What's the cause of this? Nutritional deficiency? Economics? Or something else?
It’s always telling when people resort to unclear conspiracy theories instead of disputing the actual evidence that lead the court to their decision.
For those of you that don't understand the climate impact of this on Europe...

Go look at the latitude of frigid-cold Minneapolis-St.Paul or the Upper Peninsula of Michigan, and compare it to Europe. It goes right through central France, almost down to the Mediterranean coast. Spain is on the same latitude as Chicago. Iceland is quite temperate, but it is parallel with central Alaska.

The entire country of England is basically in same latitude as Canada, and not the southern parts of Canada. We think of England as a rainy but temperate country, not some frigid hellscape.

Now it will probably weaken and not collapse... probably...

There probably is huge moderation of temperatures due to the oceans and seas surrounding Europe in general, but the Gulf Stream pumps an unfathomable amount of heat into the area.
At first I thought that this was a satire, but then the joke never landed. The author cites "Cadillac Desert" but then ignores everything in the book. This posting is fantasy in the same vein as "we can build a space habitat at L5 by 1995".

There is a lot of money to be made in water. If desalination was cost effective it would be being done today at scale. It isn't a regulatory issue, it is strictly economics. If someone could demonstrate the technology the author describes indefinite amounts of money would flow to them. It hasn't happened. It's not happening anywhere in the world.

Finally the author talks about pumping water up hill as though it is a trivial thing. 20% of all of the electricity generated in California goes to pumping water today. The author conveniently side steps the issue of building out the vast electrical grid needed just to pump the water. What was this even posted to hacker news?
Is this some strange fantasy roleplay?

If you go murder someone in Liechtenstein, there are only a small handful of places in the world where you are not guaranteed to be arrested and extradited back to Liechtenstein to face trial, at their government's request, should it ask and should you be found.

In that small handful of places, it's still a crapshoot.

Extradition costs are generally paid by the interested state, by the way.
Last year, I had far too much Christmas money to play with, and one of my indulgences was a "solar backpack". I had been mulling this over for a while, and I had imagined that a solar-charging backpack would be fantastic for a backup, if we lost power here for more than an hour or so. Also, for long days away from home, I could simply don the backpack and walk around with my devices charging!

But it was not all I'd imagined it to be. Now, I chose a backpack set that is capable of running a laptop-sized device, or 2-3 smaller ones. Therefore, it came with a hefty power bank, and this is the best feature of the backpack itself. The power bank is removable, and it comes with an AC wall plug, so it can be charged and used separately.

The kit also comes with plenty of cables and adapters for all kinds of DC conversion. Thankfully, my laptops and smartphones all run on USB-C, which is also directly available (as well as USB-A.)

Unfortunately, the solar panel centerpiece is, perhaps unexpectedly, quite inefficient. It will probably not charge your laptop at a positive rate. Perhaps it will keep your smartphone alive for a little while longer in bright sun.

At the summer solstice, I completely discharged the power bank, and then set the backpack outside to charge. It took over 14 days (without load) to amass a complete charge. That is a long time, folks. The long time is mostly attributed to the large capacity of the power bank. But as you can see, you can't exactly set this up at a picnic table in the park and work on your laptop all day, without an AC outlet.

Still, I don't regret this purchase due to the sheer utility of the power bank itself. I keep this charged up via AC, and ready to go in emergencies.

But I would never, ever purchase a portable solar gadget again. It's clear that the small surface area, and the low cost of materials here, contribute to a substandard user experience.