skysight-inc/HackerNews huggingface dataset:
Hm, whether a scientist is religious should bear little relation to studying religion or anything adjacent to it.

For historians it'd be more obvious I think: it would be foolish to ignore religion since it's an artifact of human history. A historian who is an atheist can still study and compare religions.

But what about science? While the object of religion itself, i.e. the supernatural, is outside the scope of the scientific method, the existence of religion and religious practices themselves is not. What if there's a biological cause of religious belief? What if religious belief is a side effect of the same brain structures that make humans social animals, or that makes capable of language, or conscious, or something like that?

As long as you're not making a religious argument, religion as a human artifact should be fair game for science. The risk could be to offend religious people, of course.
Maybe I’m just an unsophisticated code monkey, but I read a little about Busy Beaver from time to time and I just don’t get it. Why is this an interesting problem? What do we hope to learn from it?
I still need to use it to update certain firmwares
But I mean, what happens if you just chuck those 39,000 clauses into Z3 and let it spin to see what happens? Solvers use a bunch of cute backtracking heuristics to not explore too much of the state space, and they keep getting better at it. Particularly, SAT is sort of like the halting problem, with a class of easily identifiable satisfiable instances and a class of easily identifiable unsatisfiable ones. The difficult instances are a narrow band between the other two classes. SAT solvers are so successful because so many naturally occurring instances turn out to be easy.
New class of Mars quakes reveals daily meteorite strikes
I'm surprised your price started that low.

Back in 2019 they were charging me 89.94 USD per 6 months. In 2023 it went up to 108.99 USD.

I'm expecting to be charged 178.99 USD at the next 6 month renewal, from their web page, https://www.meetup.com/blog/new-organizer-pricing-key-improv...

From my point of view it's a big increase, but nowhere near triple.
I didn't know problems in mathematics were subject to some lattice giving a definition of "biggest".

Hilbert posed several nifty problems over 100 years ago, including pithy cool ones not unlike Riemann's zeroes.

https://en.wikipedia.org/wiki/Hilbert%27s_problems

[ edited for my own typos ]
When I was young I used to upload fan art of Naruto to DeviantArt. My badly scanned drawings sucked. Everyone else's sucked. It was cool.

Today DeviantArt has its own AI which it promotes over their own users' work. I've read some threads by artists discussing where to go next, between DA, Instagram, ArtStation, and several other new and likely not much better platforms, and one comment that struck me was someone saying it was just not worth it, and their time was better spent networking offline at a gallery.

AI art might actually kill online art communities.

AI-generated articles might kill online publishing.

AI-generated spam bots might kill social media.

We've taken the Internet for granted as grandma and grandpa joined it. Tomorrow people may just get sick of all these algorithms, let go of their smartphones, and go touch some grass. Then every website is just going to be AI bots regurgitating each others' content ad nauseum.

Humans are on the web because of the reach. If AI-generated content steals all the reach, why would anyone post anything on publicly accessible venues instead of just using private ones?

"A new social contract is inevitable because the only way to prevent data from being mined is to not produce it to begin with." But is it though? You are assuming that "not produce it to begin with" is impossible. I'm afraid it's not impossible and the web experiment is at real danger. Maybe not immediately, but will it survive another 20 years in this environment?
Off topic, but I notice FreeDOS still uses email mailing lists. What email mailing list software / platforms are people using these days? Can you get mail delivered if you install an OSS mailing list and stand up your own server (vps or whatever)?
It's the other way around: https://hn.algolia.com/
From the introduction:

These tables were reproduced by photo-offset from pages printed by the IBM model 856 Cardatype. Because of the very nature of the tables, it did not seem necessary to proofread every page of the final manuscript in order to catch random errors of the Cardatype.
Erm, probably neither? I don’t know a ton about pro-Russian partisan guerrilla actions.
No that's not valid (it's attached to the search box at the bottom of the page) https://hn.algolia.com/?q=
They meant https://hn.algolia.com/
so then maintain a curated requirements.txt...
I suspect Shenzhen for one
China officially does not care about declarations of Intellectual Property from the West (ianal); by extension, they do not censor it. In the US and Commonwealth countries and the EU etc.. copyright material in publications, in various flavors, are behind a paywall in some circumstances.. Elsivier Science publications, for example.. others.. so by extension the prohibition on reproduction and copying is "censorship"
LLMs are not a general public benefit. Artists whose work is trained upon by text-to-image models aren't made any more whole just because Meta has to share its weights—it just means it's even cheaper for the folks impersonating them or effortlessly ripping off their style to keep doing so.

Meta really does not need to be subsidized when they have so many resources at hand—if LLMs are really hard to train without that much data, then perhaps that's a flaw with the approach instead of something the world has to accommodate.
Ok. I understood. Thanks for explaining.
Very nice! I hope you folks will go far. Best of luck :)

That said, the entire field is still so far from a seriously useful QC that I still wouldn’t bet there’s a secret one somewhere in some government lab. Those are my two cents, and I may be wrong of course.
Study reveals why AI models that analyze medical images can be biased
Formatting Snakemake using snakefmt in Emacs using Apheleia
more seriously though, why isolate religion. it should be a study of "belief".

I dont think anyone would honestly argue that religion isn't a belief, and if it is then it sits in the same area as flat earthers and 9/11 truthers and Andrew Tate devotees etc etc.

Belief is the nurological architecture that people are building on.
Noriega was a CIA asset. They would rendition him away when they wanted information. This would not make the news. RAND is obviously CIA linked as well.
Creatine and caffeine possibly have a negative interaction - search PubMed for papers - eg

https://pubmed.ncbi.nlm.nih.gov/26219105/

I’m very slow and stiff in the mornings and I drink a lot of black coffee to mitigate that.

Then, late afternoon, perhaps 6 to hours later, I take my creatine monohydrate for the day just before my ocean swim.
> A reminder that the vast majority of Mozilla funding comes from Google who are an advertising company.

The implication by users who frequently bring this up is that there's some unique influence on Mozilla. Yet if we're going by reminders Mozilla had a deal with Yahoo for three years in-between for it to instead be the default search engine and they were still paying hundreds of millions for the privilege (it's been estimated they were even paying $100m more than Google at the time, though by 2017 Mozilla reportedly felt they should have been making more and ended the deal prematurely after Yahoo was bought by Verizon).

Ie: I haven't seen evidence it's been unique partnership with Google in that regard. If there are more concrete examples of influence though I'd be interested (and it has to be understood I'm not a Google apologist either, I just seek more accurate critique as it's more robust).
"Maintain a Website" - this really means "publish" (your works)

Because even if you do tons of very good work - if you don't publish it, then it's as if you're doing nothing.

This is where a lot of non-profits fail.

A lot of them are doing very, very good work - but because they suck at documentation & publication ; then people doesn't know about it at all.
Most difficult maze with future potential to boost carbon capture
They’d just be blackballed by the courts.

It’s already trivial for law firms
to generate mountains of bullshit, and seeing the output of some firms first hand, I’d even call it the primary business model for a few of them.

But if they don’t stick within certain bounds of sanity, they get sanctioned by the court or can even be disbarred. Judges really don’t like references to non-existent precedence, or making arguments based on laws that don’t actually exist.

And opposing council, unlike random ignorant member of the public, has both the incentive and resources to identify bullshit like that.

Decreasing the cost to generate bullshit while removing any human checks on it may sound interesting, and might even work for a short period of time, but is going to meet the brick wall of reality pretty quickly. It’s already started to do so in many cases.
It depends on your goals and heart health. If you want to burn through fat fast, then caffeine before heavy cardio workouts is the way to go (assuming your heart is in good condition)
Still popular, still less broken than wayland.

I hope Wayland situation improves... plasma6 defaulting to wayland has given it a lot of exposure, which hopefully will result in betterment.
The sun will eventually expand I think in like a billion years or so. Is there any food on Mars?
This has an easy answer — it’s just not the one that people who desperately want to use LLMs for copyright washing want to hear.

The test for what constitutes a derivative work has not changed; it’s the same whether a single human author produced something, or a team of humans, or an LLM. It will be up to a court to decide whether a work is similar enough to be considered derivative.

If an LLM spits out a verbatim copy, that’s obviously infringement. But if the LLM spits out something similar? Well if the LLM spits out something like George Harrison’s My Sweet Lord [1], a court may well decide that it’s derivative of He’s So Fine. Especially if the LLM “subconsciously” “knew” about He’s So Fine because it was part of the training corpus.

[1] https://en.wikipedia.org/wiki/My_Sweet_Lord#Copyright_infrin...
Google's carbon footprint balloons in its Gemini AI era
> Indeed, a great part of these IPs are known as MikroTik Routers

I wonder why they decided not to include the exact percentage of the attack coming from Mikrotik devices or a list of the top 10 vendors and their share.

Like, did Mikrotik generate 50% of the high packet rate DDoS? Or was it like 10% coming from Microtik, 10% from major vendors and 80% of others/unknown?
Many protocols use an ephemeral private key, and protocols like TLS that don't today are moving toward ephemeral private keys faster than they are toward PQC.

The ephemeral key gets signed with your long-lived private key, but that's all your long-lived key is used for.
Is Apache AGE a better alternative to neo4j
I’m using a neo4j for tracking simple relationships and querying a node’s neighbours recursively. However, I’m unsure if I need a full-fledged graph database like neo4j, which offers a lot more complex graph querying capabilities.
Apache AGE seems like a potential alternative, as it can be used as an extension on an existing PostgreSQL database, which I have, allows the use of both SQL and Cypher for querying. This interoperability might provide powerful querying options in the future for the use case.
My main concern with neo4j is maintainability. Finding experienced neo4j developers can be challenging, and debugging neo4j related issues often requires a deep dive of its inner workings.
Given my requirements, would Apache AGE be a more suitable choice compared to neo4j?
link to repo for more context: https://github.com/getmomentum/momentum-core/issues/26
In some ways community college is in a no man’s land between no experience necessary jobs and better career paths that require similar lengths of training.

e.g., why study to be a paralegal when it’s a job with possibly worse pay and working conditions than many servers and bartenders enjoy?
Link to actual report :
https://www.gstatic.com/gumdrop/sustainability/google-2024-e...

IMHO Verge's article is a useful summary without Google's corpspeak.
Looking at that list there are probably 100s of "metro areas" with > 1m

Look at the UN 2019 population estimates and sort by it. The last 10 areas are

5.49m, 5.49m, 5.38m, 5.38, 5.30m, 5.21m, 5.16m, 5.09m, 5.05m, 5.02m

Given how curves like this usually go there's an extremely long tail to get to 1m

Concepcion has only ~200k people with <1m metro. Looking at a map of the city and with only 200k people it doesn't seem big
Heavy resistance training at retirement age induces lasting beneficial effects
Sony camera business seems very strong. They’re clearly the leader in mid-range video in their A7 line and are quite commonly discussed in Hollywood blockbuster making-of, I think the recent Top Gun was shot on all Sony hardware. They’re the sensor in iPhone.
So, to get to 100%, Australia would have to increase solar usage by 1000x. Which, according to the above figure, would mean covering ten percent of Australia with solar panels. Sorry, I don’t believe the analysis.
I mean, it's still stupidity, but it's upstream stupidity with the ability to punish.

So, snafu.
Try tea instead of coffee, sounds like you're just taking too much caffeine
I've installed Asahi on my Mac and so far have been happily computing with the following

Emacs
Firefox
foot (terminal)
swaywm (and the associated utilities)
KeepassXC (password management)
mpd (music)
calibre (ebooks)
mpv (for the few local videos I still watch on my computer)
evince (for pdfs)
various cli utilities

What I like about these is how consistent it is. No sneaky updates that shuffle things around (I don't mind learning new stuff, but I don't like to have my workflows break for no sensible reason). If WordStar was everything I needed, I wouldn't want Office 365 either.
Just check the lunar phase before you book. Made the mistake of being in Hawaii during the full moon, so we didn’t get much of a view of the stars on our Mauna Kea trip. Don’t get me wrong - the experience of visiting to the top and watching the telescopes opening up was worth the trip, but we missed out on a real stargazing opportunity.

And we did see a fireball meteor, so that kinda made up for it. But I don’t think those are guaranteed.
Eh, imaginary numbers were invented to be useful. Cardano needed them as intermediary steps when plugging in his cubic formula.
Discussion (140 points, 7 hours ago, 99 comments) https://news.ycombinator.com/item?id=40859993
I don't think you're a bad parent, but I do think you were using hyperbole when describing how much time ChatGPT saved you. I also don't believe that you would spend a week away from your kids to make a 1,200-line app that just explains how simple bash commands work. https://explainshell.com/ already does a pretty great job of that.

I don't have a personal distate for LLMs — I use ChatGPT weekly and I work for a company that ships LLM-powered functionality that I use daily. But your comment implied that LLMs can today provide a big productivity improvement for developers, and that’s not something I think there’s any concrete evidence for.

I do find the hype immensely distateful, especially in response to an article pointing to the environmental downsides of that excitement.
Welding of steels containing chromium (stainless steel and high tensile steels) is done commonly, including in home shops with little PPE. It's not like if you weld steels containing chromium you'll immediately die, it takes a lot of exposure.

Like all other toxic exposures you should do what you can to mitigate it, but you're kind of overstating the danger of welding chromium-containing steels.
I mean we kinda expect community colleges to pick up those who are left behind and willing to learn
Not everyone is going to a community college for just a 2 year degree. Many use it as a flexible, affordable solution for taking prerequisite courses required for a 4 year degree.
Under the accounts menu in the bottom left, open Feature Preview and enable Artifacts.
Replying to signal boost this. I too get hair loss from DHT-boosters such as creatine or the herb tribulus terrestris. I should note that I have a higher than average amount of body and facial hair, so likely have naturally elevated DHT levels.

When I stopped taking creatine, I did lose a few reps in all my lifts; it does work.
Paper: Hamiltonian Cycles on Ammann-Beenker Tilings https://journals.aps.org/prx/accepted/9c077K95P1d1d60727e054...
Lol wut? It causes cancer, it doesn't kill you within days.
Well, it is just my opinion, but I am sure the reality is not that far off. I think the majority are voting based on the popularity of the candidate. Some people I know choose candidates based on which candidate has the most support in the surrounding community. They just follow the people's choices without finding out about the programs promoted by the candidates they choose.
Google now pays $250k for KVM zero-day vulnerabilities
Try shooting a government official and see how that works out for you.
The West censors politics too, to be fair.
Anyone can be "cancelled" for a political opinion, get fired, or face other ramifications. Many people were "ghost banned" or banned during the COVID-19 craziness, and some were even fired. Julian Assange is another well-known example of a political prisoner. Many people on Hacker News or LinkedIn refrain from engaging in politics because they fear getting fired, judged, isolated, or even prosecuted.
Thus, each country has its own "nerve" that no one can talk about.
FreeDOS has a benefit: in case you do not need or want a more complicated operating system than DOS. Another benefit is in case your intention is to run DOS programs on the computer.
So my assumption was that Unix timestamps were monotonically increasing and that for the case of leap seconds the conversion from timestamp to UTC would take those into account and for some seconds have 2 mappings. That would keep the ordering of events, it would break assumptions like a day is 86400 seconds.

But I guess they decided to keep that invariant, which makes negative leap seconds really hard. Maybe that’s a good trade off.
China and India both have tons of places that meet that criteria.
Location: Europe

Remote: Yes

Willing to relocate: No

Technologies: LLM, RAG, Python, Document Processing, OCR, Image Processing, NLP

Résumé/CV: https://superdocs.io

Email: superdocsio@gmail.com

I'm a freelance consultant specializing in document processing.

Currently building LLM + RAG apps.

I can also help with:

- Data extraction from PDF documents
- OCR projects
- Table detection/recognition
- Document classification
- Document splitting
- PDF workflow automation
No, we measure angles in radians so that e^(ix) = cos x + i sin x.
> training on roughly “the commons”,

The proposal in the article, however, is not about "the commons", it's about content that the users themselves produced, and then they voluntarily gave permission to Meta to use.

Or are you saying that if I produce some type of material, I shouldn't be able to license it for someone else to use it freely?
There's a whole bunch of ways to run a project. Some of them don't really involve "running a project" in the first place and are just the work of one person. Others have very different social dynamics than FreeDOS. If you want to be an asshole to everyone you perceive to be an idiot, then ... you can do that. You're allowed. I'm not saying it's the kind of project I'm very likely to contribute to, but not everything needs to suit my preferences.

Besides, many social conventions "exclude" people. I was once reprimanded for using the phrase "getting shit done" because any profanity, no matter the context, is forbidden, apparently. I felt that was childish and infantile enough that I didn't really feel like being part of that.

In the end all that's needed is publishing the code. You don't need to care about community or anything. You can, but don't need to.
They’re a good place for folks to develop more academic discipline in that they tend to have a more rigid structure than university, more like a freer high school than the free for all of university.
The heavy measure is 1rm: the maximum weight that can be handled for one rep, under supervision.

Most people won't be doing this. They will be doing more reps of a lower weight. Which is more like the medium group than the high group.

I count myself in that camp, age (just!) and effort wise: I do four distinct sessions of weight bearing exercise a week with reps, a mixture of on and off water rowing, pilates and gym work and it's tiring, satisfying and nothing like the maximum tested here. Almost all the people I do this with are the same with a few exceptions. Doing the high grade of this test is .. hard.

The health benefits of the medium group are more indicative of whats practically achievable, IMO.
I hear this all the time, but does that work anywhere? Everywhere I've heard of, so many of the credits don't transfer that it ends up being a waste of time and money. But maybe I only hear about the cases where people have something to complain about, or the states I've lived in have crappy systems.
My schools had bans on cell phones, music players, game machines ~20 years back. Teachers would confiscate any gadgets or toys students used in class time, maybe sending them to the office to be reclaimed at the end of the day. When did this stop being a thing?
https://web.archive.org/web/20230811042051/https://www.nber....
That might be the most hyperbolic description of hexavalent chromium exposure I’ve ever seen. It’s a powerful carcinogen and repeat exposure is known to increase chance of cancer. I’ve never seen a case of it killing anyone in a few days like you describe. Are you thinking of hydroflouric acid exposure?
Typical doublespeak. Hitler stole the swastika and christofascists stole another flag. I’ve been following white nationalists for long enough to have seen this dynamic countless times. Old dog whistle gets them too easily identified so a new one gets picked up and then the cycle repeats.
Governing in the Political Twilight Zone
Interesting, as the icon present on the parent user's site seems to be an even earlier, less refined (and clearly AI generated) version than the prior iteration[1] before changing to the abstract design.

[1] https://web.archive.org/web/20240208004519im_/https://ladybi...
But this does not depend in the unit.
If people are interested, this is probably the best explanation of the Riemann Hypothesis I’ve seen: https://youtu.be/zlm1aajH6gY?si=d3dbimf2Y7wTe8GP
Ballmer Is Richer Than Gates, a First for Microsoft Billionaires
> It has to be more often than leap seconds to really get those gears oiled. Unless this is a proposal to do leap deciseconds, I don't think this method reduces the pain.

Yeah, if we're not going to abolish leap everything in UTC completely (which I think we should) then leaps need to happen at most quarterly. When the last leap second came through it was long enough since the one before that the bugs in Linux had been fixed and then unfixed.
Interesting. In what way is the structure more rigid than university?
Not necessarily. The seed database only contains TMs in tree normal form (TNF), which already contains several reductions. To convert the percentage of TNF halters to the percentage of total halters, you'd have to account for the multiplicity of each TNF machine, which is a bunch of fiddly combinatorics. Also, you'd have to add the machines that have no TNF form due to never writing a 1 to the tape.
Does anyone know if an effort to get Guile to run in Windows without wsl. I feel like guile is the only other scheme with an ecosystem to rival Racket, but I’d love it if I could support Windows users as well