skysight-inc/HackerNews huggingface dataset:
> You can dispute it in the case of some hypothetical future architecture that requires physical real world enforcement of some state change on a decentralised ledger, sure, there you might have a point, who can say what the future holds?

It's the present day, not some future. You need real world enforcement of real world states.

I just realized! Cryptocurrency bros are pure function bros. Everything is pure and has no side effects!

Except for the fact that the world is a <<result of side effects>>. All that's nice about computers has to do with them printing to screen/paper, sending across the network, etc...

Similar story with money. All we care about is that effects they have on real life.

> that attack can be ruled out if you self custody.

Which puts a huge target on your head for any kind of real world malicious actor.
The company doesn’t just provide the network layer though but also the sole(?) means to access it.
I have also seen cars go 60+ km/h through traffic-calmed cul-de-sacs where children were playing on the street. Are you saying that only cyclists emulate Carmageddon in real life?
they are doing that likely.

Google is doing XC-functionals and Alphafold. Facebook catalysts.
Huazhong University claims replication of LK99 superconductor
The pre-existing theory Newton needed was “things move when other things act on them.” Without that, the observation would be meaningless.

Seeing the apple fall told Newton “some unseen force is acting on the apple.”

Incidentally, this was wrong. There is no “force”, only a warping of space time.
No, I think it is quite opposite. Ofc, depends on location, but reading some experiences summers are hot and winters are cold. And traditionally insulation has been after thought... From times when there was no proper heating or cooling.

Maybe this is one reason why modern buildings are build, to get better cooling and heating and insulation.
In general I'd agree with you, but in this case I think the second group very likely didn't reproduce the first group's material. The measured electrical properties of the two groups aren't even close to each other. I think that strongly suggests the two groups were measuring different materials, and that the structure of the second group's material differed in some way. A more convincing failed replication would find mostly similar electrical properties and reproduce the levitation that the first group found, but explain it with a phenomenon other than superconductors
Cudos: Akamai also doesn't put the returned IP address in quotes, unlike Google and Cloudflare.
He repeatedly stated that the sample stands up(become straight) when the object is nearing it, and drop down when its far. The same applies for the negative polarity(same behaviour on N/S).
Source: Native Mandarin speaker.
Sure, which is why it's most popular among software with minimal UI (gamedev being a prime example).
For whatever reason, while gas stoves are fairly common in Ireland (I think they are in decline now, as induction offers most of the same advantages, along with its own), gas oven are practically non-existent; haven't seen one in years.

Didn't realise they were still a thing in the US, though it makes _sense_, I suppose; on a 110V system an electric oven is going to be a more expensive wiring job than on a 230V one.
That edit format looks familiar!

https://github.com/paul-gauthier/aider/blob/d5a7aac560d4584d...

https://aider.chat/docs/benchmarks.html
Huh. I've long had the opposite impression of the two communities. Quora seemed to celebrate showing off in a way that SE didn't.
The closest I've found is this one, but as you say, it's rather sparsely populated terrestrially: https://openinframap.org/#5.33/19.676/-108.238/P,T
I don't see how these things are an issue in jjs design, nor do I see how staging some files is easier than splitting a commit after the fact...

Check out the documentation, many of the cases you are concerned about are explicitly mentioned:

https://github.com/martinvonz/jj/blob/main/docs/git-comparis...
Rarely in practice, but I'd bet they frequently dream of it, not least when the snotty undergrads ask why they should even bother to study philosophy.
Those aren’t actual figures. Steel strength varies by an order of magnitude whether you’re talking about mild steel or piano wire or full hard tool steel.

An actual objective UNIT of MEASURE would be nice. The paper actually does show it, and it’s not better than T1100G carbon fiber IIRC. That’s the trick… we have better materials already, but the article writer wants to leave the impression this is better than anything we have.
Here's a timing attack that doesn't need any user interaction: https://ndev.tk/visted/
> defaulted on their $73.8 million loan after being unable to find enough tenants, becoming the latest office owners to throw in the towel on Portland’s struggling office market.

> Field Office is owned by New York investment bank Goldman Sachs

I don't get it. Even if they can't find tenants, GS has pockets big enough to pay their plans. How is it that they can just stop making payments?
I thought it was about UFC for a sec :)
+1, to me the Win32 API makes a lot of sense. It may be too low level, but that's a consequence of the time when it was created.
I ran across a lot of Windsor McKay comics when I was working on my Krazy Kat project[0]. There are a lot of McKay comics just sitting in newspaper archives, waiting to be extracted and put into a webpage where they can be enjoyed.

0: https://joel.franusic.com/krazy_kat/about/
In my experience, one of the biggest benefits that isn't too hard to implement is letting the compiler write/read more than it strictly needs to.

For example, pad your arrays to a multiple of 8, 16, etc. and where possible, run loops on the entire array including the padding. IIRC both GCC and Clang are smart enough to understand loops whose limit is rounded to the nearest multiple of 2^n via bitwise operators and they won't have to emit ugly loop tails which bloat code size.

This is a bit off topic, but I remember discovering a missed optimization in GCC this way: I wanted to signal to the compiler that it is allowed to read a particular pointer earlier than C semantics would allow and did something along the lines of (void)*p; Well it turns out that dead-end reads are removed pretty early in the optimization pipeline, so GCC removed the read and then refused to touch the pointer. Replacing it with some __builtin, I was able to confirm that was indeed the case.
Did you know that the English way to pronounce "jujutsu" isn't how the Japanese pronounce it? The Japanese way to pronounce it could actually be a lot easier for many non-English speakers (I'd anyway argue it's a common enough word that people are familiar enough with it to pronounce it in a way that's comfortable to them).
To consider an observation “weird” you need a theory about what a normal observation looks like.

Additionally, all observations require baked in theories about the observation being accurate.

Btw, I didn’t appreciate your insulting first sentence.

Edit: here's a decent writeup to show what I mean https://en.wikipedia.org/wiki/Theory-ladenness
I have been thinking what the incentive is for universities to defraud people with fake LK99 results?
Maybe not an addiction in the sense that they get shakes and sweats when they quit cold turkey (or risk death), but definitely a dependence that I see in a lot of people; a dependence on weed just to be able to relax.

But the side effect of being high all the time is indifference. Things can wait.

I don't think the wording makes much of a difference, that's like saying "I drink" vs "I imbibe alcohol". Or as South Park said it, "I'm not having a glass of wine, I'm having six, it's called a tasting and it's classy".

But it does become dangerous when people think of it as medicinal, as a kind of self-medication. Some people need it, for sure, but for a lot of people it's self-medicating without dealing with the root issues.

But then there's plenty of examples of self-medicating, ranging from sugar, energy drinks, video games, alcohol, sex, work, etc.
I was expecting to be meh, but by halfway through the readme I was thinking "this actually sounds great!"
Note that the resistance of superconductors is 0 only for DC currents. The AC resistance is not 0 and typically gets larger for higher frequencies!
Looks like the flood gates are open now. I’d expect a lot on the arxiv over the next few days. A priori, theory like this should be supportive (because calculations like these can’t prove the opposite) and experiment should be antagonistic (because the majority of things that you can accidentally make don’t superconduct at room temperature).
Tangential: I have a Tolino e-reader (rebranded Kobo, sold in DACH countries), which is running Android 4, and I bought it more than 5 years ago. I am still quite stunned that it still gets OTA system updates regularly, 2-3x/year, to this day. The last update came this year, early May.
Well it does have concept of right and wrong, as evidenced here https://chat.openai.com/share/e117e800-f579-4eec-9192-e9912f... you can ask it wrong answers only and it will oblige.

Correctness is something it learns. I've read a few papers about hallucinations, and the jury is still out on whether a model knows when it's hallucinating, if we assume hallucinations are orthogonal to correctness

Now this distinction isn't very useful in the grand scheme of things because in the end the output is wrong anyway, but it doesn't make asking to work along the axis of correctness cargo cult

Further reads

https://arxiv.org/abs/2304.13734

https://arxiv.org/abs/2305.18248
> https://news.ycombinator.com/item?id=4031841

LOL!
VirtualBox runs fine with all features working.
I like the confidence here. At the minimum the chance of fraud has gone to zero. At the maximum the chance of fraud has gone to negative infinity.
falsification provides a philosophical underpinning to science, Kuhn's paradigms provide a description of how science actually is done.

If Popper can be boiled down to science = falsification then Kuhn can be boiled down to Science progresses one funeral at a time.
The claim is that the material in the video is the result of a replication attempt by the team at HUST and not something else, like an iron flake. This is their second attempt. Their first attempt failed. They’ve been posting about it all week.
Calling theories useful if they predict future events is called Instrumentalism and it’s a dead end if your goal is to understand reality.

“The magician will pull a rabbit from the hat” might reliably predict what happens, and be testable, but it is not a good scientific explanation because it doesn’t help anyone understand how the trick works.
This in itself isn't the issue. The issue is one of architecture and separation of responsibilities. Say you're Reddit, and allow people to have "sub-reddits" and they have their own moderators, and you rarely get involved in moderation yourself, except in extreme circumstances.

Reddit is still the only means of accessing Reddit, but moderation is not baked as hard into its architecture (now, Reddit itself is not an ideal example of this in practice, but I hope good enough as structural example).
I built this to tackle $30k of Debt
> "Hey man have you tried going a couple days without smoking weed?" is not interrogation. It's concern.

It's still telling them what YOU think they should do, no matter how nicely and concerned you phrase it. At some point you have to walk away; they're full adults, they're not your responsibility, they're able to make their own choices, and unless they affect you directly it's ultimately not your job to fix them.
I'm not understanding the cultural nuance. Can the lions leave?

I'm starting to think NZ just doesn't understand lions, fences or something. Are we all talking about the same cat?
truely amazing work. As it is a subset of python, where can I find what is supported and what is not supported?
I've been following one Swedish guy who moved to Japan and purchased old house in Tokyo and is made a series on renovating it as well as abandoned houses in Japan in general.

https://www.youtube.com/watch?v=vIpnyz6FXxU&list=PL_4tRHMzlA...
You can electrolyze CO2 into carbon and oxygen.
We exactly considering this since this year. But there are some major problems that cannot be solved in short term.

Inorganic crystal structure database (and there is one database literally this name) is way smaller than what we have for proteins. Also by nature, Transformer is hardly useful for crystals because the crystal is repetitive. You don't throw the same sequence over and over to transformer and hope it will work like magic.

My current understanding is that Graph Neural Network is perfect for this job because graph can exactly describe this kind of repetitive nature of crystal.
> The goal of science is to provide predictive models of the observed data.

This, a 100%.

The "explaining how the world works" is only interesting insofar as it helps produce further and better predictive models (BTW Feynmann had that exact same view [1])

Everything else is intellectual onanism, an unfortunately rather common academic pursuit.

[1] https://www.youtube.com/watch?v=_Kab9dkDZJY
Part of our tests for projects back in college (in the Netherlands) was a verbal part, part presentation, part Q&A; it was mainly to test individuals in a group project to check whether they actually contributed to the project. That seems alright to me.
If some third party scoops a more reliable process that would seem unfortunate for the original group.
useage in this manner could lead to a mineshaft gap
Show HN: Script to Backup GitHub repos and gists
Yeah, let's go ahead and store huge electrical charges in the foundations of every new house built! What could possibly go wrong?
Sure, it doesn't spread down to 1901, but the uptick started around 1970s [1].

Anyway, my main rant was about the inefficiency of giving awards to "lone geniuses", at most three, of expecting said "lone wolves" to exist in the first place, and then comes the discussion if the wolves are male or not. Unfortunately it got derailed into talking about pseudoscientific scalars such as IQ and sex binaries.

[1] "large scale changes began around the 1970s", https://en.wikipedia.org/wiki/Women_in_STEM_fields
The “oh this sticks” part is only ever interesting precisely because it doesn’t conform to the pre existing theory.

You cannot even make an observation without theories baked in:

- Normally these things do X

- My senses or instruments are detecting reality accurately

- This thing I’m measuring will result in something interesting
etc
Nothing is reduced to 0%.

I'd also abstain from differentiating "fraud" and "error" as this is irrelevant to whether the paper is reproducible.

What we care about is true positives and negatives. But we'll also get false positives and negatives.

So replication will have to happen at scale. Individual outcomes don't matter much.
It sounds like his views have some overlap with gender-critical feminists. Out of interest, what is his stance on women's rights in general?

I think one of the curiosities of the right recently taking a sceptical interest in trans ideology is that, particularly on social media, there are loads of 'terfy' left-wing feminist women who have been talking about this for years, and they seem to be having something of a feminist influence on right-leaning folks.
Just in a few hours there will be a "Who is hiring" thread. You might want to try your luck there.
It's difficult to understand the full context. For all we know this is some sort of maverick with a Weibo channel (or whatever) to promote. But I think we'd know that by now? No idea.
Ask HN: Crypto's Role in Auth vs. Authorization?
What are the key cryptographic mechanisms used in distinguishing authentication from authorization, and how do they contribute to the security of digital systems?
> I know of no such scientific model. Indeed, almost all of them do not predict observed data.

Now you're being entirely unreasonable.

How did NASA put people on the moon?

How did we fly satellites to the outer reaches of the solar system using orbital sling effects?

Clearly because the Newtownian model of gravity is entirely wrong. We only pulled it off by chance.
> Since we're talking about induction as the basis of science, I'm surprised the concept of "falsification" wasn't mentioned, which has been the "workhorse" of most science during the past two hundred years.

An article on the subject of falsifiability and Popper was also published on the site (and posted on HN by me within minutes of this one):

https://news.ycombinator.com/item?id=36951476
Introverted Inventors Pitch Ideas to These Online “Shark Tanks”
These websites allow inventors with great ideas to submit them and receive investments.Or contribute solutions to problems posted for a fee.
https://archive.ph/Aq2T0
Can you tell me why a scientist would decide to do a certain experiment without a theory about what to test and why? Why that experiment and not any of infinite others?
love the atomic full screen button on the video player XD
> yet I shan't smite thee, for thou art already burdened by thine own misconception

That is actually hilarious.
The author posted this statement under the video:
"Under the guidance of Professor Haixin Chang, postdoctor Hao Wu and PhD student Li Yang from the School of Materials Science and Technology of Huazhong University of Science and Technology successfully for the first time verified the LK-99 crystal that can be magnetically levitated with larger levitated angle than Sukbae Lee‘s sample at room temperature. It is expected to realize the true potential of room temperature, non-contact superconducting magnetic levitation."

He is putting his name out there, including his professor's, and his schools (A decently reputable uni in China).

I utterly fail to see the incentives for being fraudulent here.
Happy to see neither one works on Safari. One says "no sites visited" and the other "both sites visited" even in incognito.
I hate megacorps but I hate local businesses even more.
Depends on if it can short its charge to ground I guess, and how fast. An uncharged concrete capacitor is of course pretty harmless even if it cracks, so perhaps you could pour some strain gauges into it so you get advance warning of impending problems.
Typical HN take that is nothing but a lie. Worst experience I ever had in a desktop app were from Java UI applications (jdownloader), python (caliber, pgadmin) or the win 11 super laggy ui (native). Meanwhile now we have a lot of web application with much better performance that their "native" counterpart (For ex: Email clients, Text/Code editors).
> This is undoubtedly because every UI nowadays is using JavaScript.

This happens in pure C++ or C in Windows too. It's neither just JS nor the problem the parent mentions (though of course in those cases those can sometimes contribute too). My understanding is that it's the various the layers of abstraction + security mitigations code has to go through nowadays.
Adding to the security part, there are also situations where compilers will optimize something, only to introduce security issues, hence the need to functions such as explicit_bzero (https://man.openbsd.org/explicit_bzero).
Desert kurrajongs, the compass and water trees of the Australian outback
Marijuana addiction is a kind of addiction where "just stop doing it" is the solution. Physiological addition to marijuana only develops if you smoke waaaay to much every day and easily fades away with just minor headaches taking just a a day or two of withdrawal. The psychological side of addition is a result of unhappy lives of the people and should be addressed by a psychotherapist and/or life coach.

I can only speak about actual marijuana though, I know nothing about THC vape pens.
Show HN: Webpecker: Web Scraper Chrome Extension
https://nitter.net/Andercot/status/1686286684424691712
George Hotz: because eventually Elon Musk's false promises and over the top shenanigans just weren't doing it for you anymore...
https://ghostarchive.org/archive/dl0FR
You do know headers are transferred whether you look at them or not, right? A request to icanhazip.com results in a response that is 90% completely wasted bandwidth.
It's a much more long term and sustainable approach, unfortunately a lot of companies and individuals are incentivised to do short term gains, i.e. "cut out the good wood and leave the rest, screw whoever comes afterwards, and 30 - 50 years from now is not my problem".

But for the people that live there, it is their problem, they exist with people that were there 30-50 years ago, they know the local history going back hundreds of years.

Most of us live in a temporary and individualistic society. In my country, generally speaking, people get married, buy a house, have kids, live there for 30-40 years, then sell the house because it's too big and inaccessible for their aging bones, live in a rental or buy an apartment for the next 10-15 years, then sell that and spend the rest of their money on the retirement / care home. Some might pass on to their children. Usually the children don't inherit the house, because they can't afford to buy it or buy the other children out, or because they don't want to live in their parental house or town. Nothing remains from the previous generations except maybe some keepsakes.

The only example of generational stuff are some farms or companies, but even they don't last; farms from 100 years ago are not up to modern standards and cannot compete with industrial farms. I was staying at an airbnb on a farm like that, the only reason they still survived was because they lived in a protected nature area and they could benefit off of tourism, making and selling their own products in their own restaurant and local stores. Cottage industry, but they're the exception because it's a lot of work to make and sell products like that; you need an audience that's interested in locally produced goods like that, and it has to be priced competitively.
The best answer i got when i tried to make it stop apologizing was:

"I apologize for apologizing unneccesarily and will avoid doing it in the future".

2 Chats later it apoligized again^^
Politicians ultimately want to stay in power. They support it because they think it will bring them votes.

Bu voting them out you send the message that this is not the case and their views will change.
Yes, agree. Reaching for possibles, though. This is such a world-changing discovery that I'm trying to curb my enthusiasm, which is lifting off.
Public key cryptography is pretty pointless if you don’t take advantage of the public part. One, you can’t send me any encrypted messages without my public key. Two, you can’t verify my signatures without my public key.

Insecure algorithms are a red herring here too. Either I know what algo you used and can interact with you, or I don’t.
Rust pre-release testing strategy
The floor is l̶a̶v̶a̶ lightning.
You are also exactly the type of person who will totally fall head over heels for Richard Heart, so you should invest all your money in HEX.
Popper is more methodology of science, while Kuhn is more protosociology of science. Kuhn’s book doesn’t refute Popper’s, even if he would have liked it to.

I don’t know about the two others, but after reading about them briefly they seem as antirational as any philosophers subscribing to Hegel and/or Marx. When it comes to Lakatos specifically, I can say with certainty that his philosophy of mathematics has so little to do with mathematics that it’s not worth any paper (I studied maths and know many professional mathematicians personally).
I think reading documentation along with many other tasks is meant to be just budgeted into a task when planning it. You probably wouldn't write buggy code that doesn't work then say the sprint didn't have an explicit line item for debugging?
A kilometer deep hole is not very cheap.