skysight-inc/HackerNews huggingface dataset:
> Any changes will be updated when you next get back home [...] removing need for the cloud

More than one person can be in the grocery store. Syncing a file does not work because you overwrite each other's changes; this is what we started with but this is why I made (what I call) multiplayer groceries in the first place

And note that I also don't need a "cloud"; it's hosted on my own system rather than someone else's
>and when a heterodox theory doesn’t fit observations, it’s called “falling flat on its face”, as you can see in another reply below. That’s not a healthy dynamic.

Because none of them get even close to explaining as much as dark matter does. This isn't complicated or a radical shift in standards - it's just requiring something be as good as the existing answer to get serious discussion. Pointing out that dark matter isn't perfect isn't an argument for things that are significantly less perfect than dark matter. There are massive gaps between dark matter and alternative theories. Something that worked as well as dark matter did and only struggled with a similar number of outliers wouldn't be said to fall flat on its face - but nothing is even in the same ballpark as it.

The more that can be explaining by an existing theory, the higher the bar is for any alternative theory to displace it. This is just how science has always worked.

>No… but curiously, you will get your comment flagged and removed on HN for making such a claim!

Because conspiracy theories with no evidence or grounding in reality don't make for intellectually stimulating discussion, I imagine.
I certainly don't recall a "media storm" about the OSI in 1998, and I was a hobbyist DOS software programmer who was active on BBSes, newsgroups, and web forums at the time. I'm sure it was a bigger deal among the Linux and BSD and Free Software folks, but that was a relatively small niche at the time, compared to the software industry as a whole.

In any case, OSI didn't create this term, they were denied a trademark on it, and they didn't actually create any of these licenses. They aren't the government, and they aren't the dictionary. The default state of affairs is to not care about their definition. You need to give reasons why we should care about their arbitrary definition. A "media storm" is just a marketing campaign, and that hardly seems like a good reason for an entire industry to strictly follow something.

I'm especially disturbed by how some strict adherents of the OSD seem to go out of their way to attack non-FOSS licenses and the software authors who adopt them. The negative comments on the recent Fair Source threads here seem to indicate that any attempt to adopt non-OSD source-available licensing will be attacked as "open washing", even if the authors don't use the word "open".

I don't understand why people feel justified to act as self-appointed Terminology Police on behalf of an arbitrary definition from a random small nonprofit. This is cult-like behavior.
Lab-grown diamonds: Popular with Gen Z, millennials
We don't need a shadowy cabal when the reflexive action of everyone involved or at the sidelines always rushing out of the woodworks to defend the first-mover established theory. Such as the ongoing thread.

Regarding your issues
1) applied to dark matter, reworked, patched, repatched. Still completely fails and are subject to more ongoing maintenance than a Boeing aircraft.
2) all other theories categorically rejected in a paragraph, while giving dark matter infinite retakes as in 1) is clearly a strong bias towards supporting the party line, not of science.
If people normally enter characters in their phone or computer rather than actually handwriting, then there is no reason to keep remembering all of the character details.

Just like it doesn't matter that I frequently am uncertain about spelling for some words because we have spell check built into everything.

Do Chinese usually use pinyin to enter characters or what is the normal method? Whatever it is, they don't need to remember the character strokes apparently.
Well, I guess that single Hacker News comment is an example, if it also seems totally speculative and innocuous. Paranoid people have enemies, too.
I do.

My eyesight is so bad that, without my glasses, I cannot see the numbers on my iPhone, even when using the big number display in standby mode. About a decade ago I got a cheap no name thing off of Amazon with a 4” high LED display. That I can see!
I looked at HexaPDF several years ago, and really liked what I saw.

However, my only major issue with it was the difficulty (back then) for laying out PDFs. Most people I worked with found it a lot easier to layout in HTML/CSS and converting to PDF from there; so we went that way.

If I were to look for a way to manipulate existing PDFs I'd definitely use HexaPDF. I'll re-evaluate its (more recently) improved layout capabilities again and consider it for my next project. And I also think the dual-licensing model is fair.

Congrats on the 10-year/1.0 milestone.
The number of details I’m able and/or willing to convey is going to be far fewer than someone who obsesses over details for everything they do.

Ds are a small percentage of the general population. When compared to baseline, they’re going to underperform to that baseline and potentially be identified as liars.
I don't think you have to signup just to get an ActivityPub feed, but if you want to use a third parties services you may need an account with that third party.
I really like the idea of bounded contexts and aggregates in theory. What I still don't understand is how defining them can be feasible at the beginning of a project when you have too many unknowns (some of which are unknown unknowns).

I am a DDD noob (currently reading the book Domain Modeling Made Functional), but maybe someone can elaborate on how one's supposed to make such decisions when there's plenty of uncertainty.
"MACRO evolution or one species becoming another"

That's a weird way of thinking about it. What actually happens is that one species splits into two, when two populations of the species are separated for long enough to make them incapable of interbreeding.
Ok, lets nitpick further:

for cvd risk mortality if you exclude the largest single study that also had a long duration (WHI 2006) it made CVD risk mortality significant, so one of those long duration studies is dragging the results the opposite way.

We need to remember we are talking about relative risk so what does a 17% increase correspond to? 15 more incidents per 1000 participants with a ci of 24 to 2 incidents per 1000 participants among studies that were mostly moderate to high risk individuals. It's a rounding error on a low risk event that is probably an even lower risk event for most of the population. If you look at something that actually exists and is relevant you will see 100% plus changes to relative risk. All cause mortality relative risk is 2.29 in this study on the effect of smoking on women, for example: https://pmc.ncbi.nlm.nih.gov/articles/PMC6219821/

Figure six explores saturated fat cut offs and all but 2 of the events trend down for the last observation which is only at 13% energy from saturated fat, probably need to look at higher saturated fat levels to make sure the chart isn't an upside down U and we aren't stuck in the most deadly part of the curve arguing about whether we should cut more when we could increase consumption more to solve the issue.

I'm sure there's more but I am out of time.
You’d genuinely be shocked how many hardcore tech folks own and run hobby or semi-commercial farms.

I run a biodiverse fruit orchard.
The most noticeable change is the substitution of “ for ", which doesn't require this package--this package just does it for you instead of you actually changing the character in the HTML text. (The more interesting parts of the package are some alignment and spacing stuff that is less noticeable.)

If you work with monospace terminal/code/markup a lot, you are probably very used to seeing " . But it is definitely well established that “ is appropriate for human text, Word has automatically corrected this for many years.
I'm still haven't gotten to Evan Prodromou's ActivityPub book, so I may be wrong on some of the details here but my understanding is:

ActivityPub has an outbox and an inbox. The outbox looks a lot like RSS, and allows for publishing things. The inbox allows you to receive interaction. Likes, replies, boosts, etc...
The issue with the modern internet is that it's primarily used for communication (via short writing), often resulting in poorly written messages. Animals communicate through sounds, but this doesn't mean they can talk.

I agree with PG on this point and have noticed that people around me are often surprised when they receive well-written wsapp/sms messages that include proper punctuation and other linguistic markers. Additionally, many people rarely engage in handwriting today, and handwriting is known to improve clear thinking and literacy skills.
50 Years Ago, Sugar Industry Paid Scientists to Point Blame at Fat (2016)
You said the same exact thing as parent

Tf
TOML is a monstrosity and I'm terrified Python is backing it up.

I'd love to see more HCL.
The Honda Ridgeline if confidently NOT a truck.
They would still need to create a large number of plausible details, which is difficult.
For DSP I made a rule for myself: if I have to travel to another planet, I have to bring enough material to increase (ideally double) the production of a resource. That made traveling feel more useful.

Course that means I often had oversupply.
You don't actually need to reach for theories about the inner workings of a brain. A person's education history can strongly bias towards one form of information presentation over another. For example imagine a self learned musician who doesn't even know the notation vs a classically trained one.
The Knowledge Graph: things, not strings (2012)
In fact, PeerTube provides RSS and Atom feeds, no account needed.
I am acutely familiar with the math.
Sort of meta-question: why do nutrition takes from grifters and quacks like this spread so well particularly among the Hacker News community while I see few articles about normal science-based nutrition?
Sugar industry, tobacco industry, oil industry.

Which other industries have distorted reality, and which future ones will be revealed in the coming decades?
Indeed, many of the successful people I know personally have struggled with some type of mental health disorder, and/or developmental disorder, but find it to taboo - and dangerous for their career to talk about it. I think once it is no longer taboo people will be able to accommodate and manage these situations better, and people with them won’t have to be afraid and secretive that they will be “found out” or aren’t suitable for their jobs, etc.

Just because someone can hide it or still do their job doesn’t make it “mild” either.
Thank you for this link, very informative.
No scientist is saying these alternative theories can't also go back to the drawing board and be reworked until they also explain things.

But if dark matter is 90% of the way there why would we bother with something that is 20% of the way there? Cosmologists and all sorts of physicists will still take to the time to read papers on MOND variation #2754 to see if it's actually making any headway. The problem is, it never really is. Maybe that'll change someday. Scientists are certainly giving it the chance to.

Dark matter is already held to a higher standard than all these other theories. Why should we lower the bar for them?
This discussion wouldn't be complete without a mention of https://en.wikipedia.org/wiki/Lion-Eating_Poet_in_the_Stone_..., which AIUI was initially constructed as an argument against Romanization.

In short, it's the same nominal sound with varying tones ("shi", which is closer in pronunciation to "shirr" than "she"), repeated about a hundred times, which is of course meaningless in spoken form (since there's not enough context to differentiate between the various forms), but actually conveys a story in written form.

With the shift toward typing and (especially mobile) computerization in the recent era, it's really not surprising (to me, at least) that Chinese society is moving in a direction where literacy no longer extends to recall of individual characters, and only encompasses recognition, since recall is no longer as necessary of a skill in day-to-day life.
Not a dumb question at all!

Documentation is definitely not one of x86's strengths. Other architectures do much better. For example, ARM provides formal models of their CPUs, and RISC-V is so simple you could implement all its semantics in a few thousand lines of code.

There are quite a few instructions with undefined behavior, but it is not that much of an issue if you can choose to avoid it -- for example in a compiler.
Almost all UB is found in flags or when using invalid instruction prefixes.
And although there is some unexpected UB, like `imul`'s zero flag being UB instead of being set according to the result of the multiplication [1], reading the manual and sticking to the parts that are clearly not UB gets you most of the way.

However, it becomes an issue if you need to analyze a binary that uses UB.
Then you can't choose which instructions to use, so you need to have a complete model of all UB.
That's much more difficult, and for example most decompilers currently fail at this.
We have an example of this in Figure 1 of our paper.

[1]: https://explore.liblisa.nl/instruction/F7E8
Please don't litter HN with LLM generated slop, this is actively reducing the quality of discussion. No one wants a future HN where people just spam LLM responses at one another.
That's true, and it requires more planning and available time.

I'd like to add a perspective on the contrast between Europe and the U.S. in this context. Having partially lived in both regions (across various European countries, though my main base is Buenos Aires, Argentina), one of the things that bothers me most about the U.S. is the car-centric culture. It feels almost artificial in 2024, as if it’s been taken to an extreme (I say this with a grain of salt). I don’t intend to start a flame war, but it’s surprising to me that in many areas where a 45-minute walk would be natural, there are no pedestrian paths. I’m not suggesting that cities like Los Angeles should be entirely pedestrian-friendly, but there are places where basic walkability is neglected, despite the infrastructure being suitable.

What I want to convey is that it's difficult to compare both regions' approaches to moving, and say that the article is amazing!
Recurrent Neural Networks for Deception Detection in Videos
They want you to just submit a PR with a test that, if passed, would indicate the problem for you is fixed.
That depends. To my wife or kids? My boss? My friends? I’ll go into as much detail as it takes to make them happy. To a police agency? Not a word unless my lawyer’s approved it first. But it’s that last group that’s most likely to be using formal lie detector systems.

I don’t do criminal things. It’s just general life advice never to answer police questions without a lawyer, and to otherwise STFU until they’re on scene. Before that I’m not confirming the color of the grass in my yard.
Composers have very distinct styles my teacher would joke Mozart adored the triad, Beethoven the octave and Chopin the tenth.

A fun game I like to play myself is "guess the composer". I think I shocked my friend the most when I watched West World with him and after seeing the intro only once I guessed correctly that it was the same composer as the Game of Thrones intro.

Sometimes I second guess myself too much between late Mozart and early Beethoven but I think most the composers have their own hallmarks.

Chopin in particular was quite idiosyncratic because his piano writing was fairly innovative. He came up with a lot of new ways to play the piano and his polish influences and focus on salon music is very distinct
'Aerial arms race' with birds may have turned ancient cicadas into ace fliers
Yes I mentioned that a few posts above;

> Do you prove that every line of arithmetic in your program will not overflow

My point is the analysis takes time, training, and is easy to regress. In practice programs operate within a reasonable N and if you push the limits they will fail. Or the devs wait for a bug report, and then set a pessimistic limit on user input.

Also undefined != crash. Your compiler has options for what to do when signed overflow is detected.
Evolution means that genetic characteristics change through the generations of a population. Adaptation via selection is one process that can cause evolution. Sexual selection is another process that can cause evolution (male peacock's tails for example), but that is not caused by adaptation to the environment.
“His lips are moving” is a fireproof detection method. At least for politicians and marketers.
I believe it would be straightforward to determine policy if we had an oracle with perfect knowledge that operated under a so-called veil of ignorance [0]. Getting good outcomes with a fair & reasonable minimum standard of lifestyle for the people who are the worst off isn't particularly hard. The problem with implementing that system is the lack of oracles and deficits of intellectual honesty.

The key point is we don't need to vote to determine what works well. Whether a policy gets good results is just a fact regardless of whether or not people vote for it. And there are a large number of policies that were terrible the last time people tried them and will continue to be terrible even if the voting public decides to try them again.

[0] https://en.wikipedia.org/wiki/Veil_of_ignorance
Interesting. I like the idea of encouraging people to try creating a test or even a whole fix, but saying that’s all you will accept is a bit much. On the other hand, I’m not doing the work to maintain you-get. I don’t know what they deal with. This may be an effective way to filter a flood of repetitive issues from people who don’t know how to run a command line program.
A toy golang one you can embed, and a tutorial for how it was written here:

https://github.com/skx/foth

You can see it embedded to provide a turtle-like graphics thing in this repository:

https://github.com/skx/turtle
To add to this, there are also official Microsoft extensions to VSCode which add absurdly useful capabilities behind subtle paywalls. For example, the C# extension is actually governed by the Visual Studio license terms and requires a paid VS subscription if your organization does not qualify for Visual Studio Community Edition.

I'm not totally sold on embrace-extemd-extinguish here, but learning about this case was eyebrow raising for me.
No one is waiting for super geniuses. They are just trying to use groups of people to solve hard problems instead of relying on individuals. It's amazing what people can accomplish by working together.
The core gameplay loop is still very much the same. More complex recipe is not really a more complex game. It just means more of the same planning and calculation but with more variables - which is to say more tedium not more fun.
How bad it was? What planet are you on? It was incredibly ambitious and impressive. They made huge progress in just a few years on robots.

Check out a Salesforce, apple or Google event where they flex about adding a heart rate monitor to their watch ir similarly banal improvement.

Ill never understand the hate
Your framing of "the" reasoning is rather impressive itself.
As the other commenter said, they want a failing test, not a fix.

A detailed description of the encountered problem;
At least one commit, addressing the problem through some unit test(s).
Examples of good commits: #2675, #2680, #2685

"Addressing" is probably a bad word to use here. "Demonstrating" would have been better, IMO.
My apologies that using available technology to improve upon suboptimal solutions disgusts you. In case it helps to know why "that screen" improves upon paper in the first place:

- I'm not always home when I decide to want to buy something, so then I couldn't write it on that paper

- We go shopping together most of the time. That screen lets you check items off and sync that to the other person's that screen. Alternatively, there is a mode where it gives each participant a subset of the items so you don't get duplicate things

- That screen can give you the list in the right order if you just tell the app one time what layout a store has (e.g. first the bread and breakfast things, then the cooling section, then the freezer section.. those sorts of categories)

- That screen can also work with a map function where it does a traveling salesperson problem to find a good path to walk down to get each item, but this requires entering the location of everything rather than just having everything broadly categorized

- That screen suggests things you frequently buy, so it's one tap for what you commonly need

- That screen can temporarily hide items you are going to get in the next store, so you can glance and see that the list is clear and you're good to go check out and then unhide the things when you enter the next store

- That screen can automatically add items from recipes you've added

- You have that screen anyway. The pen and paper, on the other hand, are consumables

We could forego all these benefits for, eh, not being "glued", whatever the advantage in that is. It's not like I'm getting distracted by notifications in the store if that's what you're worried about
> hell most vehicles, to exceed 10 years without serious failures.

I do that with cars, usually 10 to 15 years (camaro-15, ford exploder-12, wife's chrysler sebring-14 (which was surprisingly problem free considering chryslers quality stats)).

One of my friends loves to get new ones every few years, but I'm more focused on the cost.
Judging other's competence will only be a problem if brain-computer interfaces become widespread before AI largely replaces the competent workforce, and my money is on AI replacement coming first.

- Only a brain chip could make AI usage undetectable in practice. Without that you can tell if the person is checking his phone etc. Though you're right that an in-person interaction will be needed, otherwise there's no way of knowing what the other person is doing or if he's a real person at all... And since the latter problem (dead internet) will only grow, perhaps beyond the rectifiable, in-person communication will surely be in business again.

- Once AI replacement of competent humans has reached a certain threshold, what do you stand to gain from testing a human's level thereof? Are you interviewing for "above AI" positions? If not, relying on AI will be as normal as relying on a calculator.
open apple notes and type in my grocery list and go blissfully about my day
What happens if you don’t know Python? Python is a relatively easy language to learn but no way I’m gonna learn Python just to report an issue
It's also general life advice to never take a polygraph, so maybe just don't do this thing either.
I need a rundown of your clients.
A database for dietary AGEs and associated exposure assessment
The idea that you can just get a farm for free by walking in and asking for one is pure fantasy. Agricultural land is worth money and a good amount of money in most cases.
Australia-to-Singapore clean energy cable gets green light
It appears so: https://lore.kernel.org/git/pull.1785.git.1725890210.gitgitg...
> There is no reasonable disbelief in evolution.

Again, as I've said, it's a reasonable theory. Using the word "theory" isn't about casting doubt, it's purely about intellectual honesty, at least as far as I'm concerned.

The way it's taught is often in an absolute way. The way science is taught in general is in an absolute way. That's because humans struggle immensely with nuance.

Typical traditional Eastern views transcend this creationism/evolution duality for example; one more door to explore.