skysight-inc/HackerNews huggingface dataset:
TIL, although this isn't a field I need perfect knowledge of.

I wonder if people with such cards have inexplicable problems with certain payment systems?

Edit: just saw the sibling comment, was viewing an old copy of the page
The axioms of second order Peano arithmetic are certainly recursively enumerable, in fact you can pick a formulation that only uses a finite number of axioms. And second order arithmetic is much weaker than the type system of Lean, which is probably somewhere between Zermelo set theory and ZFC set theory in terms of proof-theoretic strength.

More generally, I think that computer scientists (in particular PL theorists and type theorists) are much more likely to use powerful logics than mathematicians, with the obvious exception of set theorists.
Who are the Rust maximizers? These are the Git developers themselves wanting to use it, not some random outsiders.
Overall, it seems pretty reasonable. The regulators seem to have understood that obligations should fall on the entities in the supply chain where money is made. They shouldn't flow upstream to open-source developers who do their work non-commercially. The stewardship role for better-resourced open-source projects focusing on information sharing also seems reasonable.
It’s because homeless is a huge group of people and a conversation can never be effectively had if nobody can even agree on the definition of the word.
To some it means the criminals and addicts that roam our streets and commit crimes with impunity.
For others it’s the person down on their their luck couch surfing or living in their van and working at fast food.
When ever people have a conversation between opposing groups each only talks about their type of homeless person as if the whole population looks like that.
Take a look at figure 1 (in methods) to get a better sense of what range of features the participants were working with.
Death by dehydration, at least for an old sick person, is rather natural and though it sounds awful it’s not really painful for the dying person. Before IV hydration it’s how most people died.
This is a massive insight for me. That entire landing page is a template with small edits. No wonder it looks so good. You nailed it. Thanks for this. I think the last time I looked into templates I wasn't impressed with what I found, and I think I underestimated what was available now in 2024.
You don't need that unattainable level of confidence (a few years won't change it, there are too many variables at play and boo scientific tests) just like you didn't have it when choosing the original language
Wow, that boy is destined to greatness.. until he doesnt lol
I wonder what percentage of deaths are from non-assisted suicide in countries without MAID that might be MAID if it were available.
As the unfortunate target of a maliciously dishonest and editorialized police report which led to years of court appearances, I would at least like the cop to have to work a bit.
> Your assumption that the parent’s ad data is leaking

You're really missing the point of the comment...

Sure, maybe it is __my__ data that is leaking. I don't care and it isn't relevant. The fact that I don't get served sexualized content is the point. It still doesn't align with the parent's claim: that it is an adult focused role playing app. Clearly me not getting suggested "lovely wifus" is a sign that someone could reasonably believe it isn't.

This is what I see[0].

"wifu" isn't found via a text search, nor is "sexy", nor "lovely". "sex" turns up once, under the character "Evie" with the byline "I am Evie I'm bisexual cat person my favorite show is adventure time and I'm a..."[1]

(I'm pretty sure it isn't me. I can replicate these results on sanitized devices from different networks)

[0] https://0x0.st/XFNX.png

[1] https://0x0.st/XFNZ.png)
I'm sure language learners all over have felt this way. Once one starts learning another tongue, one realizes that languages do not exist in isolation, they are part of a larger culture and the language comes with customs, traditions, norms, and even beliefs from that culture. In learning a language, you internalize that culture and, even if just a tiny bit, develop an identity as a member of that culture.

Phoenix Ho said it better than I can is this video:

Learning Languages Ruined My Life

https://www.youtube.com/watch?v=ZZ_4gzoDDAE
I immigrated to Asia around a decade ago and the relative optimism for technology and the future in general is one of the things that struck me as well.

I mean, if you look for pessimism you'll find examples of that too -- but in broad strokes I would also describe the average perception as 'enthusiastic'. It's something I've have a hard time explaining to my North American colleagues.

Maybe it just has to be experienced?
If they have craft that can travel between solar systems then our military technology is not a threat. Besides, why make your presence known when you can just hide deeper from everybody? People tend to notice with multi-million dollar craft manned by people with families suddenly go missing, especially in American waters at peacetime with modern geolocation and communications technologies installed.

If fully manned Navy frigates and destroyers were vanishing without warning or explanation there is zero chance of keeping a lid on that. Way too many people involved, many of which are civilians.
I can see a difference in the female pictures but not the male pictures. I am a straight male if that has any significance.
Not microcontrollers, but single board computers running off emmcs that are not too big. And yes, both code and configuration.
Also, dont comment on the state of homelessness, speak about the ludicrous notion of his being a bastion of nobility..

Dont get sucked into that crap.
Download New Netscape Browser
I don't know what this exists for. What I do know is that it is not a fork of Mozilla Firefox; the Netscape browser entity is Chromium.
There is a "Download Browser" link in the footer in https://isp.netscape.com/ . Click on it to download.
Agree, looking for the multi upvote button
QRS: Parsing Regexps
Will Anderson, another competitive Scrabble player and 2017 North America national champion, made an interesting and in-depth Scrabble analysis video about Nigel Richards' 2024 Spanish World Championship win that people here might enjoy watching: https://www.youtube.com/watch?v=6RvNxkQ6Bgs
Thank you, but I probably will do this myself. For what it's worth - and I'm saying this constructively, not to offend - your website is illegible due to contrast issues. White titles and light grey text against a light blue background. I was sure it must be some kind of error but I turned off all my extensions and loaded it incognito in chrome and nothing changed, so, I don't know what conclusion to draw there. It just doesn't make a very good impression for a designer.
It's clearly a vector display, and my guess is that the beam is being turned off a little too early at the end of each character's final stroke, leaving it lopsided.

The bar over a letter must mean that it's true upper-case. Cheesy, but it's what we did when characters were expensive.
Dr Angela Collier has this fun concept she calls Mann-Gell Amnesia about how basic explanations of topics you are an expert in always seem very unsatisfactory, even when they come from good sources. It's definitely a weird little bias I've noticed in myself!

https://youtu.be/wBBnfu8N_J0?si=zwSwo4L-ZfFPk0fW&t=642
It should also be noted another paper also came out today with new ancient DNA from a modern human whose bones carbon dated to around 45kya. The data suggests the individual was only 80 generations from the Neanderthal interbreeding event suggesting it happened around 45-49 kya. The event may have happened over a few generations realistically but I think 7000 years is unlikely due to the rapid expansion of humans out of Africa (or to be more precise an extremely successful expansion of a population of modern humans whose signal is difficult to filter out) all sharing this same introgression signature.
hmm even though the code is open source, how do you know that the published extension is bundled using the same code as what is open sourced? I guess I'm trying to say you'll have to be okay with some level of trust here unless you clone the open source project use it to load an unpublished extension for yourself
It's beyond me why processor with dataflow architecture is not being used for ML/AI workloads, not even in minority [1]. Native dataflow processor will hands down beats Von Neumann based architecture in term of performance and efficiency for ML/AI workloads, and GPU will be left redundant for graphics processing instead of being the default co-processor or accelerator for ML/AI [2].

[1] Dataflow architecture:

https://en.wikipedia.org/wiki/Dataflow_architecture

[2] The GPU is not always faster:

https://news.ycombinator.com/item?id=42388009
Bacteria is supposed to be really low on the complexity scale of life. Just above viruses and some other controversial "lifeforms". Yet, when put into the analogy of human technology, I realize just how enormously sophisticated these tiny, underappreciated, bugs are.

If an atom is a brick. Then a single protein has the complexity of a standard house (~10,000 bricks). A single bacteria contains millions of these proteins in a dense, interconnected network that communicate with each others. By this standard, one cell is the equivalent of a well run metropolis with its own waste disposal, work sites, government, residential, recreation, police, etc.

And this huge city can be run at near peak efficiency allowed by physics. A feat of engineering we cannot match despite all of our technological achievements.

All contained in a tiny droplet of oil so small nobody noticed it until a few centuries ago. Yet so numerous and ubiquitous it shapes every aspect of life on Earth. It amazes me everytime.
As a person who likes words, this is exactly why I dislike Scrabble. It's right up there with spelling bees.
I actually co-maintain a project which has exactly 17 different languages* (though 3 of which are since removed, and 6 languages cover 99% of everything), and noone has ever complained when I add a new language for something throwaway... I think the real issue isn't using multiple languages, it's using a language as intimidating as Rust. Adding some C or C++ or JS to a project usually isn't nearly as problematic (although admittedly it certainly is for the sorts of inexperienced programmers who'd like to contribute to my project).

* If you're curious, in roughly decreasing order of use: FreeBasic/ReloadBasic, HamsterSpeak, Euphoria, C++, Python, C, Bash, Batch, XSLT, JS, Objective C, Emacs Lisp, Squirrel, GDB script. Removed languages: QuickBasic, x86 assembly, Makefile
OP seems to be Irish. Outside the US, "pension" means retirement plan/savings in general, including defined contribution plans. This contrasts with the US, where "pension" is a defined-benefit plan, almost always sponsored by one's employer or union.
This was a lifesaver during the early KDE4 years. Most projects it's wise to avoid .0 releases, but for KDE4 even up to .4 or so it was questionable. Thankfully this catastrophe didn't repeat for KDE5.

There are still KDE3 features I miss that neither KDE4 nor KDE5 has ever had. The one that sticks out in my mind is the ability to edit the start menu directly, rather than having to move to a weird parallel world.

That does remind me though - why isn't "icons on the desktop" a thing by default anymore? I'll admit I stopped bothering to go edit the defaults for every new install, but why?
Some of those screen images seem incredibly modern, like a Windows 2000 machine attached to a CRT with a BW filter.
I think this is a simplistic take, reminds me a bit of a passage in the wonderful quote by Henry Beston in The Outermost House:

"…man in civilization surveys the creature through the glass of his knowledge and sees thereby a feather magnified and the whole image in distortion."

I think other parts of the body play a huge part in how we interpret a persons face.

The body can make the face appear more masculine or feminine; as can clothes, haircut, tattoos etc.
Was gonna post some snark about assumed languages, countries, etc, now i think there could be an interesting post in that..
I don't think Canada has the death penalty.
> I just can't be uncharitable enough to believe a person who has seen it first hand, that a person would embrace such unfettered cruelty as to deny a person living in constant hell a drop of water.

I have seen it first hand. Suicide is not a drop of water, it's a loaded .45.

That said there's a qualitative moral difference between easing someone's pain in a way that may hasten death and killing them to ease their pain. Almost no one who argues against MAID is arguing for "all medical interventions, forever".
My grandparents were way to with it to suffer as much as they did. It was honestly traumatising to watch.
gitoxide is written in rust.
why would they want copy paste code from it?

also, why they hate cpp? cpp without exceptions and late binding virtual inheritance is nice, and gpt said nonstop has full 17 and partial 20 cpp standard support.
Dataflow Computer Architecture
Actually there's very little material to go by as experts say. Fossils of apes are rare and those with DNA are rarer.

Point is media and charlatans will use these research, add their own bs & start unscientific fads, racial theories or paleo diet sort of scams.

That's the concerning part - research can go on, present new info etc that's welcome.
There was great work this year showing that everything we thought we knew about living to a hundred is likely a lie.

https://theconversation.com/the-data-on-extreme-human-ageing...
I believe younger generations will abolish.

I wouldn’t count on it. I’ve learned young people are just the same as everyone else. I hope I’m wrong but I used to think they had more empathy. Let’s see.,
Nice paper. I’d like if someone re-ran the numbers using modern chess engines… the engine they used is exceedingly weak by modern standards.
> The law requires proven damage

I'm aware. That's why I mentioned it. There's no remediation if there's no damages.

If I'm made of marshmallows I'm not human and not eligible for health insurance. If my insurer believes your claim which is a reckless disregard for the truth and I'm denied coverage, you're liable. If my wife leaves me because she didn't want to marry a marshmallow and causes massive legal damages and emotional harms you're liable for defamation.

It's like you're arguing you have the right to punch. Like, sure, swing your arms wherever. But your right to swing your arms ends at the tip of my nose.

You don't have a right to lie about me.
I used Hacker's keyboard for years before moving over to unexpected keyboard for any terminal work done via phone. Unexpected keyboard gives easier access to symbols and has slightly larger keys (less keys on the main layer) than Hacker's keyboard.

I still use Gboard for my main keyboard, but looking for replacement suggestions that have a good swipe to text
This is a great thanks for sharing.

I'm used to physical hackintosh & OS-KVM; how does docker macOS compare to them in terms of user experience? Is it usable for xcode development?
I don't believe I'm missing the point of the comment at all - excepting that maybe the point itself isn't particularly clear or relevant. I was only speaking to the demonstrably incorrect assertion that the parent's "ad data is leaking".
Epic's store will be preinstalled on 'millions' of Android phones
That isn’t the full list, and all of the criteria must be met, not just one of them.
Japanese flick input is closer to thumb-key ( https://github.com/dessalines/thumb-key I just discovered in another comment), and even that's a bit different as you get to input a consonant+vowel pair at a time (e.g. ka-ki-ku-ke-ko on a key)

I switch between Japanese input and hacker keyboard all the time for termux and it's much faster to type Japanese; this thread made me want to try both thumb-key and unexpected keyboard but I think I'll try thumb-key first.
I can’t speak for ChatGPT, but your intuition is correct that LLMs tend to play more like “humans” than Stockfish or other semi-brute force approaches.
They really aren’t, I can’t believe someone here would link that.
Yeah, you're right, I should have stuck to the facts (lack of evidence rather than ascribing malicious intent) - my bad.
The open social web is the future of the internet. Here's why I'm excited
Brits choose German names when they want to be funny.. Like Klaus Hergersheimer.
I'd probably change that name if I was you
Some of the rules codify many bad practices, from poor color support to unergonomic keybindings.
Given that the support isn't universal and breaks in parts anyway, it's better to break it competely and use something more ergonomic
The Witcher 4: CD Projekt Red's Plans for Its Next Big RPG
I believe it’s something like 500 elo points difference at this point between Magnus and Stockfish running on cheap hardware. Computers are so strong the only way to measure their strength is against other, weaker computers, and so on until you get to engines that are mere “grandmaster” strength.
Because very few people used these icons?

How many program positions on your desktop can you reliably remember without having to search? Isn't it just about the same amount as you can fit in the menu bar you've got on KDE/unity/gnome? And if you've gotta search, isn't the launcher with fuzzy search quicker anyway?
And yours is backed by what exactly?
The model weights.
> It's like the FAQ is trying to hint that TDE is the "real" KDE, a continuation of the same project initiated by Matthias Ettrich (who, afaict, has no connection to TDE), and that the KDE Foundation's project is an impostor.

Certainly that's one interpretation. The other interpretation is exactly what is said and no more. Where did this "imposter" accusation come from?
He is considering https://chessladders.com/ sponsorship deal.
> keyboard or cam etc but you can't even answer that

They are not all built the same. It depends on the SPECIFIC device.
Just curious: The comment you're replying to had the link with timestamp 4:01:38 which is basically just before the move happens; is that not enough as it is?
Claus for concern: why we should be worried about Santa's health
If you are sufficiently mentally ill and determined enough to die that you get through the MAID screening, counselling, information sessions, etc, then you are determined enough to die by other, messier, likely more painful, certainly more traumatizing to the people around you methods.

As well, mental illness is not just a state of mind. Sure, there are stories where a failed suicide attempt was the catalyst for someone finally being able to reach out for help, there are also the stories where people have been reaching out for help forever, and help's just not coming. Where they can't afford the medication, or no medication seems to work, or they have an addiction problem and there just isn't any way for them to get into a treatment program, etc.

Not to mention the stories where their attempt left them powerfully sick and/or disabled. We're talking near-miss fatalities here -- recovery from those is rarely painless, quick, or complete.

This isn't a case of medical professionals and program officials just not caring. These eligibility criteria are very carefully considered. In fact, they're SO carefully considered that they've delayed eligibility for MAID due solely to mental illness THREE TIMES to ensure proper safeguards are in place. Currently, it's pushed back to 2027, so we're not even talking about anything that is even a present-day concern.

(https://www.justice.gc.ca/eng/cj-jp/ad-am/bk-di.html#s1_1)
It is a racket, but there is no will to fix it.
Never felt so seen by something so succinct. Ranked competitive daydreaming indeed.
The relationship can't be changed retroactively, or at least not in a practical de facto way. For example "what UTC was at the moment when clocks in Elbonia showed 5PM on December 1st 2024" is a fact that has already happened and won't un-happen just because the Elbonian government passes a law claiming otherwise.

What you do need to worry about is the relationship being after an event has been planned and before the event occurs.
Oh, you absolutely can.
Mathematicians uncover a new way to count prime numbers
Entitlement is exactly my issue with radical individualism.
Awesome. Thanks Price! Keep up the great work. I do love a good self hosted, well designed app.
> why isn't "icons on the desktop" a thing by default anymore?

Wide screens and HQ displays. More pixels, more space, less need for maximized windows as maximized windows look ridiculous on modern setups.

Most people make the windows smaller, sometimes with other programs next to them, sometimes alone. Often you have them floating and you don't want icons ruining the view or being distractions, this way the desktop becomes a wallpaper or infinite backdrop of art to your windows to let you focus. It's very zen and peaceful to open a window in the expanse of space.
Yes, from what I understand – and they also make mistakes.
> Be coming homeless isn't a problem with the person, it's an outcome of the system we live in.

Like most things in life, I don't think it's as simple as that. I think it's a complex mishmash of systemic factors and individual choices that cohere into a big ball of suffering.

For example, I had a close family member who was an alcoholic. He couldn't keep a job because of his drinking problem, and wound up going through all his friends and family who would take him in (before wearing out his welcome at each place in turn). He was getting put out of the last place he had available, basically, when he died suddenly. But if he hadn't died he would've been homeless. Was this a problem with the system? Maybe - he had a pretty good support network, but you could make a decent case that if we had the right support system in place at the right time it would've helped him. But also, there was absolutely an element of choice to it. I have a lot of sympathy for the guy, because addiction is a bitch. But systems of life or no, he made choices at various points that led him to the point of homelessness. A different person in the same circumstances very well might have had a different ending to their story.

I don't think blaming the homeless is productive, certainly. Their lives are shit and they don't need someone smugly telling them "just do better bro". So I do think that trying to improve the system we live in is just about all we can do (that, and be compassionate to people we meet). But unfortunately I also think it's not realistic to expect any amount of systemic change to be able to solve the problem.
fyi: adguard has this site on a blocklist, probably a false positive?
Nigel Richards usually outperforms (and is orders of magnitude faster than, at least for the complicated endgames, if I understand correctly) the best computer Scrabble programs.
Rust was fine in cygwin for me. The only issues I had were where the build system choked on non-rust dependencies.
> In England a quack never fails unless he is untrue to himself, that is, if he be not sufficiently outrageous in his professions; let him promise and persevere in promising the impossible - let him screw his courage to that point and he’ll not fail; the yearly sum in advertisements alone by some of those venders of nostrums (the value of which they assert, and truly, is unknown and incredible) must be immense. [...]

> – Henry Wood – "Change for the American Notes in Letters from London to New York by an American Lady." (1843)

I feel this phenomenon is still going strong over a century later and an ocean away.