skysight-inc/HackerNews huggingface dataset:
The X4's biggest problem is the Pi form factor, which yeah, is Radxa's mistake, but also a good reason not to buy a Pi 5, cause you'll also need a heatsink, which'll then interfere with your GPIO access, fan header, and so on. If I have a small eInk display HAT, I'd much prefer not sandwiching the hot bits between the really hot bits and my display.
Type in "Pandora Papers" and then "Zelen.." it stops autocomplete.

It does complete with a weird spelling of Zelensky or with "Ukraine President" but NOT with either Volodymyr or Zelensky.

No such issues with Bing.
You may be using Mobile, Its showing me in my Laptop. I will work on style issues on mobile. The twitter link is my blunder mistake. .
You are wrong. People do not say things like

> but pardon me for being propagandized at a very young age that we lived in a country that was good and just. That's my bad.

on HN without a political agenda.
English becoming the "international" language for the west has nothing to do with English as a language, and everything to do with geopolitics and economics.

As for being treated as an outsider, I actually moved and lived to the US for close to a year. I made tons of effort to try and speak good English. On the face of it, the locals were very appreciative - French accent is so romantic, am I right? In reality, they made absolutely zero effort to understand me when my pronunciation differed slightly from the correct one, on countless occasions. And believe me, I tried.
I think you reversed cause and effect. English became the world's lingua franca not because of its inherent quality, but because the British Empire once conquered the world, and then the United States took up the baton.

Basically the same reason why Latin America speaks Spanish and Portuguese. It's not because the languages were "better" in some way, but because it was conquered by speakers of those languages.

And a side effect of being a global language is that you will have to get used to everybody from India to Australia to Kenya speak your language. English speakers are expected to meet widely different dialects even at the most formal business meetings.
Took a peek, was expecting to see something that would return things like site generator (wordpress? ) and return name of plugins, themes and third party code loads (like google analytics, jqeury and such)

Still cool tool though. Wondering how I can take a spreadsheet of 100 domains and tell it to return all the things..
The infographic that you see is not autocomplete. Autocomplete on Google stops if you type "President Donald Tr"

on Bing.com it shows plenty of results after that. eg "Donald Trump News" , "Donald Trump Democrat or Republican", "Website" etc etc.
Yes.

Spanish isn’t widespread in the Central and South Americas because of the language, nor Portuguese in Brazil.

It’s not a coincidence that stores on the Champs Élysées speak Mandarin. Languages are used because they’re useful.
I am keeping an eye out for a cheap M1 Mac Mini on my local Craigslist because once you yank it out of its huge metal case, which is like half PSU, the board itself is quite small. Apparently, the PSU only outputs 12W across the entire power connector, so easily powered by a barrel jack. I quite like the idea of playing around with macOS as a SBC OS, but even just designing a smaller case with sufficient cooling would be fun too.
> it's pretty easy to understand "broken English", which again is part of why it works so well for trade.

Which, while I'm here geeking out about linguistics anyway, allows me to break out one of my favorite tidbits about the history of English:

"Broken English" is super easy to understand in large part due to the fact that Modern English was forged as a sort of pidgin at the intersection of Old English, Scandinavian, and then French. The crazy admixture of peoples in England between 800 and 1200 meant that most of the complicated grammatical bits of the language got sanded down to the essentials. English lost grammatical gender, its full case system, noun classes (mostly), most declensions, and on and on.

What replaced all that is actually a relatively simple grammatical system (on the scale of Indo-European systems) that relies a lot more on adding words than on modifying suffixes. And adding words is a game anyone can play—you may not pick the same modifiers as a native would, but you'll get your point across!
> An interview question for a position that requires knowledge of bash/linux/stuff could be:

> What if you're ssh'd into a machine, you're in your trusty bash shell, but unfortunately you cannot spawn any new processes because literally all other pids are taken. What do you do?

I'd look in the /proc/[pid]/ filesystem for visibility into what processes are exhausting the PID space.

`kill` is a shell builtin in bash, you don't have to rely on forking a new process like /bin/kill. If you can find out the parent process whose children are exhausting PIDs you're well on your way to stopping it and getting a handle on things again.

And I'll be darned, this script parses /proc. No | pipes or $( .. ) substitutions that would need to spawn another bash subshell process either. Pretty clean.
You can't develop statistical software or novel methods without math talent, you can (and it has been done) w/out a math degree.

Many early achievers in math have done solid work prior to being awarded a degree, some have never (for various reasons) earned a degree.

eg:

Mr Malcolm James Hood was a remarkable man. He was a much-loved husband, father and brother, a loyal friend and a respected UWA lecturer. He was an eminent academic, a champion of applied mathematics, a skilled woodworker, a lover of classical music, an avid reader and a lively raconteur, to name just a few of his pursuits and passions.

Born with both great intelligence and a capacity for hard work, Malcolm forged a diverse career, beginning in aerodynamic research and moving into the emerging field of computing, before finally transitioning into lecturing and teaching.

~ https://www.perthmoderniansociety.org.au/wp-content/uploads/...

Less well known than Clifford Cocks, locally known for the Hood & Storer Mathematical and statistical tables [1], contributed to S (precursor to R) [2], and known for post war off book work in defense R&D on bomb guidance and statistics (but not by many).

No degree, I don't know the full story, something to do with going straight into classified work and amassing an impressive body of work that was never publicly recognised .. none the less he spent the later part of his career in a math department well regarded by folk with Doctorates.

[1] https://catalogue.nla.gov.au/catalog/2807622

[2] https://en.wikipedia.org/wiki/S_(programming_language)
you’re assuming that the tax bills had no effect on the economy…instead, the 80’s saw a massive reduction in inflation and tremendous economic growth that helped all parts of society. Is it possible that the tax cuts and the economic growth were related?
For an alternative (but still very valid) interpretation, Wanda Landowska playing BWV 903 on a harpsichord in 1935 totally blew my mind: https://www.youtube.com/watch?v=h-tsbumcyVc

My piano teacher pointed me to this recording when I studied the piece with him. It was scandalizing at first, but the free improvisation in the arpeggiated chords is almost miraculous. (I also love Paul Badura-Skoda's take on the piece: https://www.youtube.com/watch?v=Xx5gojkXdeI)
I did a linguistics course by the amazing John McWhorter.

He discussed how much-used languages have lots of adults learning it, badly. This smooths the rough edges away over time.

But tiny languages can be as hard as our brains can accommodate, which is very hard.
Not to worry, McAfee CTO was not actually in charge of technology

https://archive.is/20240724213623/https://www.barrons.com/ar...
Compile time is another reason to prefer push_back, which is a function, to emplace_back, which is a function template.
Blockchain-based DNS would allow people to actually own their domain names instead of just renting them for an annual fee.

Domain transfers could be effected on-chain for a fee. Spam prevention is built-in because any action recorded on the blockchain incurs a fee. The fee is determined by the free markets and nobody holds a monopoly over the market.

People who trade domains would end up subsidizing those who hold domains; allowing them to hold domains for free, permanently (once the domain is bought and initial transfer is made).

It removes the need for an authority like ICANN who decide who gets to control what.

You don't have to limit yourself to one blockchain, new blockchains could launch and be treated as distinct gTLDs.

You don't need Certificate Authorities and the complex, trust-based infrastructure to implement certificate verification. It can all be done on-chain, anyone can sync their own nodes to verify who owns what domains.

Blockchain is naturally good for high-read scenarios. It can scale in terms of number of reads without limit; just add more nodes. The writes are limited, however, transaction fees serve as a natural regulating factor; it can always meet the demand, for the right price; which is determined entirely by the markets and based on usage of computational resources, not based on monopoly pricing.

Bitcoin, with a measly maximum of 4 transaction per second, has already proven that transaction fees can stay reasonable, even with extreme levels of hype on a global scale.

BTW, if you managed to read my comment, you can consider yourself lucky because this perspective I'm sharing is consistently suppressed and heavily down-voted... You can be sure that there are financial interests behind the current DNS system which do not want to leave room for any tech which might liberate the internet from the clutches of the incumbents and which might force them to compete on a free market.
OK, good. So ... 3 soldiers

(about 20% of Tonga's contribution)
Yes because nobody can get fire insurance anymore. Which is required for a loan. The cal fair solution is 7-8 times the cost of traditional insurance.
Does one have to take a test for renewal? Or is it a one and done type thing?
Upon further reflection, what's really happening in that example is that I'm using non-CSG primitives provided by OpenSCAD, so I retract my comment (at least partially).
Looks similar to what standard ebooks[0] has done with public domain books. Anything different compared to them?

[0]: https://standardebooks.org/
what you call an ‘appeal to authority’ is what some of would call a “citation” - feel free to post citations to the evidence you feel supports your argument.
The Lupin
Pennsylvania's oil industry dumped waste across the state
The busses get a lot more scrutiny.
I suspect that’s a result of the performance. While both threads are capable of the same tasks, you don’t get the 2x performance you would with a “real” second thread, really a second core.

So conceptually it’s a little more like having 1.25 single threaded cores, or whatever the ratio is for your application, if you only care about performance in the end.
Infinite GitHub Contributions
Pallene: A statically compiled companion language for Lua
Thanks! greatly appreciated, Apologize for the experience. I'm myself a firefox user but in the light mode, I must admit, testing on Dark mode had been comparatively low. Sure will add a explainer video!
Right, these are exactly the types of claims we try to debunk in Linguistics 101. It is a horribly misleading article. If one wants to see if something about a language is difficult for human beings, I suppose one can look at the point in development that children master the concept. But even that can be misleading, since there are language internal factors that can lead children to pick up a particular aspect of grammar faster in one language than another. In English, noun-verb agreement comprehension is relatively late, but the same concept is comprehended relatively early in French, though according to one article, not necessarily in Spanish [1]. One can't simply look at a language in isolation and say it seems hard to me, so it must be universally difficult. Navajo may seem relatively easy to pick up if one already speaks an Athabaskan language.

1. https://www.sciencedirect.com/science/article/abs/pii/S00243...
umm. Give a x days deadline and make after it public like Project 0 works, threaten to take away "Verified by MS" badge or create a WhatsApp group of Fortune 500 CIOs and badmouth in it.
There is only hardcore. No other mode exists. Large biomes... sometimes it drops you in a desert where there is no wood, and the only obtainable block is sand. You can't build a roof with sand. There is no way to obtain coal or charcoal, so you can't make torches to light the night sky and keep monsters at bay. No trees for kilometers. You see the beach, do you dare try swimming for it? The drowned zombies come out of nowhere, you swim too slow to dodge tridents. Maybe wood out there in some sunken ship, but wooden blocks are difficult to discern from slabs or stairs down deep. Iron, if you can figure out the correct way to get to the chest. If that chest is even there in a broken ship.

"Survival" isn't about surviving, because if you die you just respawn and go grab your stuff. There is only hardcore. "Creative" isn't about creating, because you're just wishing stuff into existence effortlessly. There is only hardcore.
Secure Boot with factory keys has never prevented this attack, by design. You can take a valid, signed OS image from your favorite vendor (Microsoft, Red Hat, whatever), write some userspace code for it that asks for a passphrase and looks exactly like the legitimate paraphrase prompt, and configure the boot order to boot to it. It will pass the Secure Boot checks because it is completely valid. Secure Boot, as configured by default, never had userspace verification as a design goal.

There are at least two solutions:

1. Deploy your own Secure Boot keys and protect them with a firmware password whatever mechanism your particular system has to lock down Secure Boot settings.

2. Use TPM-based security so that even knowing the passphrase doesn’t unlock FDE unless the PCRs are correct.

#1 is a bit of a pain. #2 is a huge pain because getting PCR rules right is somewhere between miserable and impossible, especially if you don’t want to accidentally lock yourself out when you update firmware or your OS image.

Of course, people break PCR-based security on a somewhat regular basis, so maybe you want #1 and #2.
> 99% of people with "severe mental illness" are not homeless, suggesting there are workable options for people with mental illness

How homeless is homeless? Crashing on a friend's couch? Staying with their mom for a few weeks? Living with eight other people in a building nobody's sure who owns? That 99% doesn't imply they're holding down a mortgage or even leasing an apartment.
Note that the “unsafe read beyond of death” trick is considered undefined behavior in the Rust and LLVM memory model, even if it’s allowed by the underlying hardware. Like any undefined behavior, compilers are allowed to assume it doesn’t happen for the purpose of optimization, leading to results you don’t expect. The only way around this is to use inline assembly.

https://github.com/ogxd/gxhash/issues/82
Is this true with respect to the ABI? I get how a temporary is blown away at the end of a statement with a `;` if it wasn't bound to a reference that extends its lifetime, but wouldn't the code need to allocate a return slot regardless?

What I'm thinking of would be

```c++
struct MyBigClass { /* lots of members */ };

MyBigClass makeABigOne();

auto main() -> int
{
// We still need to construct a return slot here, even though we don't use the value, right?
makeABigOne();
}
```

Perhaps this is tangential, but I'm wondering if maybe I'm missing a subtly based on what you mean by "allocated" (in the abstract machine, or in the ABI).
> This is precisely how Google built AlphaProof! Read the article, Lean's role is quite critical to its success.

I read the article. It doesn't say anything about generating new proofs to train on. It only mentions scraping Github for lean theorems+proofs.
> For the Ridgeway in particular, the claim from the podcast is that there is in fact no archaeological evidence that this was a prehistoric routeway, nor that it was a single coherent long-distance entity. The claim is that it appears this way because highland areas and ridges are better preserved, because they're generally not cultivated and are less subject to erosion, so the whole thing is just a selection effect.

I had a search around and came across four or five citations claiming that the ridgeway wasn't actually the long-distance path it's popularly known as... all of which were dead links. So I'm inclined to suspect that it really is exactly what it's thought to be; at a minimum I'd want to see a publicly available text for why it's not, rather than a podcast or paid book.
Hey! First I loved PA. It was such a great game. Second, I’m curious how you simulated combat. Was it simply every every server tick you updated all units or was it something smarter?
The code talkers didn't just talk in Navajo but utilized a code system based on Navajo [1]. There were also code talkers who spoke other Native American languages.

1. https://www.cia.gov/stories/story/navajo-code-talkers-and-th...
How does this compare to git-subrepo?
The real question is why Fuji changed its name to "Fujufilm" just as film was phased out...
Standard eBooks has nicer covers...
Up until a few years ago, the first conversion would have been the official way to write a German word that contains the ligature ß (a lower-case letter) in all caps, because there was no corresponding upper-case letter. However, in 2017, an upper-case variant [1] was introduced into the official German orthography, so the conversion cited here should no longer be necessary.

[1] https://en.wikipedia.org/wiki/Capital_%E1%BA%9E
“President T” completes normally. Given that “President donald regan” makes no sense, I’m going to guess this isn’t purposeful election interference.

Now, posting a fake Kamala Harris ad using an AI generated clone of her voice on the social media platform that you own, thats election interference.
Yep, everything has multiple contributors, it's all about degrees of contribution. The biggest cause of inflation has already been shown to be increasing the money supply.
People are overdosing on off-brand weight-loss drugs, FDA warns
I think “UEFI rootkit” usually refers to a malicious .efi file installed in the ESP. An actual firmware rootkit, installed on the flash chip, can likely bypass Secure Boot entirely, and may well be able to bypass TPM protections as well.
Are you on iOS perhaps?
Don't forget that being homeless is now illegal :(
but you didn’t??
The primary cause of homelessness is two-fold:

1. The Mental Health Systems Act of 1980 that closed all Federal mental health institutions, leaving the community of psychiatrists to wrestle with the tough border cases while still tenuously mingling with the locals: totally dismantling the 1946—P.L. 79-487, the National Mental Health Act.

2. The FDA authorized take-home of SSRI and SNRI medicine in 1981 and 1982 respectively. This also marked the rise of mass-shooting in psychopharmacology profiles of such deceased shooters.

https://www.kff.org/wp-content/uploads/2013/01/7684.pdf

We have come full circle from no psychiatric drugs (1820s) to full anti-psychiatry movement today.
Right, so it seems two egregious errors: no (or highly lacking) fuzzing of kernel modules acceping arbitrary input, and no testing of configuration changes given it's ingested by a kernel module.
How about water computer? https://youtu.be/IxXaizglscw
This might be an unpopular opinion here but the people that think like you appear to come off as really bad at analysis. You are raising the alarm like the changes are going to happen over night when the models forecast the changes to be gradual over the next 100 years. As just one example, it would be a disaster if sea level rose 60 centimeters ( as it is in the current policies 3 C temp) but it's almost a non issue over 100 years because every piece of infrastructure in the flooded area today will be depreciated multiple times over on that timespan. You also seem to disregard technological progress, which is a stupid thing to do on such a long timeline. You also seem to totally misunderstand cost/benefit analysis/ human thought. You are asking people to give up a lot today for some moderately far future potential thing that may or may not happen. Of course a lot of people are going to look at the trade off and very rationally tell you to pound sand.
> In all seriousness though, I think RTS games (I only do single player) would be more fun for me personally if I could leave the economy/build order stuff to a reasonable AI and focus instead on military unit control. I’m just not someone that can handle all of that at once.

Just pick an RTS game without base building? They exist.
To be pedantic (mathematical?), computers can find any result that has a formalisation in a finitary logical systems like first-order logic, simply by searching all possible proofs. Undecidability of FOL inference isn't relevant when you already know such a proof exists (it's a "semidecidable" problem).

I imagine that would be the main use case for heuristic solvers like this one - helping mathematicians fill in the blanks in proofs for stuff that's not too tricky but annoying to do by hand. Rather than for discovering novel, unknown concepts by itself (although I'm with the OP, don't see why this is impossible a priori).
> Stale inventory is growing fastest in Texas and Florida

> In Dallas, 63% of listings sat on the market for at least 30 days in June, up from 52% a year earlier, the biggest uptick of all the major U.S. metros. It’s followed by four Florida metros: Tampa, where 70% of homes on the market in June had been listed at least 30 days without going under contract, up from 60%, Fort Lauderdale (77%, up from 68%), Jacksonville (70%, up from 61%) and Orlando (69%, up from 60%).

> There are a few reasons Florida and Texas are seeing the biggest increase in unsold inventory. Those states are building more new homes than other parts of the country, adding to overall home supply at a time when demand is fairly slow due to high housing costs, including skyrocketing insurance and HOA prices. Additionally, some homebuyers who live in Florida–or are thinking about moving to Florida–are having second thoughts due to the increasing prevalence and intensity of climate disasters.

Related: https://www.redfin.com/news/home-purchase-cancellations-june... (“Cold Feet: Buyers Backed Out of Deals at Record Rate in June as Home Prices Hit All-Time High”)
I can't reproduce this. In fact, when I type "Don" Google suggests "Donald Trump 45th U.S. President."

If there was some kind of filtering happening, I was going to guess it had something to do with all the recent attention to the search history of the Pennsylvania shooter. But now it seems like even if there was some kind of filtering happening, it's since been deactivated.

Ironically, Elon Musk retweeted a deepfake Friday of Donald Trump's political opponent...
Sim City is older than RTS, or at least older than the genre defining RTS of Dune 2. Herzog Zwei release at about the same time as Sim City, and definitely didn't have any influence on it.
You're still talking abstractly, though. What was actually lost, in concrete terms?

As I noted in my comment, I'm still subscribed to YouTube channels of people who are still playing on the same server with the same group (with some changes over the years, of course). I don't play Minecraft as often as I did in 2012, but that's because I have a career and a family, not because I can't. I'm now introducing my son to Minecraft Java and he's loved it every time we've played it.

I'm just not seeing the loss, and those who are bemoaning it here haven't actually pinned down what's now missing from Minecraft as a result of Bedrock (or even Microsoft in general).