skysight-inc/HackerNews huggingface dataset:
>> This presumes people hold on to a belief because it is valuable to them. I'm not so sure of that.

Some people hold a belief simply because they were raised with it. If it does nothing for them, they are IMHO more likely to be convinced by a mild face-slap argument and some evidence of a contrary belief. The people who have a belief tied to their identity, or the the people who say "this changed my life" are not going to convert with Dawkins approach because he's trying to take something from them, or even attack their identity (quite rudely).
> the hierarchical polyamory that pushed me over the line.

Really. At that point one should have the decency to declare your outfit a religion, and stop paying taxes.
I think it probably needs to be a specialized combination of LLM and hardcoded knowledge.
That was just ironic I am sure

Just like the “very easy math” that they all touted that was all that was needed to manage the entire thing
That sounds like a query planner… but it’s fundamentally not really what dynamodb is about. Query planners are amazing but the tradeoff is unpredictable performance - dependent on traffic, data size etc. Dynamodb offers “predictable performance at any scale” precisely because it doesn’t offer this sort of abstraction.
I'm not really an expert, but one obvious thing is you need to take non-pure metals and purify them. Recyclable batteries fail when the chemicals instead chemically combine with something other what you intend them to, crystalize, or otherwise become not the pure metal you start with. That impure metal is not conceptually different from ore, and the same process to turn ore into battery material must be done.

Note that ore is more complex as you need to remove a lot more non-battery stuff, while in a used battery what you want is still in fairly high concentration, just not in the form a battery needs.
Beyond impressed.
Don't ever go back to that second mechanic.
Not surprising. M1 pro -> m1 max = same number of cores at the same speed. So only if you are doing something CPU intensive and not cache friendly would you notice the memory bandwidth doubling.

M1 generation -> M2 generation is a pretty small difference, not something you'd normally notice. In my experience unless using a stopwatch or running benchmarks folks don't usually notice improvements till they get into the 1.5 to 2x range.
Either we're in a simulation or the universe is infinite and has always existed. Eventually the science will catch up.

Eternal Inflation is a similar idea, but suggests greater spacing between universes allowing for independent physics to develop.

https://en.wikipedia.org/wiki/Eternal_inflation
Not a very good manual, apparently. The guys who used it were caught speedily.
Chromium, manganese, iron, cobalt, nickel, copper and zinc are elements # 24, 25, 26, 27, 28, 29, 30. The processes to separate them are currently resource-intensive and expensive. They need to be separated by conventional smelting and refining processes or hydro metallurgical processes, or some combination. These processes need to do a great job of purification for the materials to be battery grade.

Plasma ionization, can it be cheap and scalable?
the world is full of competition. write the article is a competition against other articles.
If you ever get the chance, solder under a (say 40x) stereo microscope. The soldering station at my internship was this kind of setup and it literally gave me a whole new perspective on soldering. I got to see exactly how the flux and solder flow, how the heat spreads through the material and at what moment the heat was too high that it would melt or release the tiniest coper traces on the board. Also how well solder sticks and flows once everything is properly heated.
That depends on topic. It doesn't make sense for medschool students or for people just studying vocabulary. Additionally, if there's a high quality deck such as https://dojgdeck.neocities.org/ , which is a grammar deck for Japanese, it is preferred to use them - if anything, you can extend them with what makes your own cards special, such as mnemonics.
I'm not sure if the author is here, or if my comment attempt was successful. So, can I suggest you take a look at a third leg of the formal methods stool?

If you are familiar with C, check out Frama-C (https://frama-c.com/) and the WP and RTE plugins. The approach is based on Tony Hoare and EWD's axiomatic semantics (https://en.wikipedia.org/wiki/Hoare_logic). It does not have a good memory management story, as far as I know, but is very good for demonstrating value correctness (RTE automatically generates assertions for numeric runtime errors, for example) and many memory errors.

If you are familiar with Ada, check out SPARK (https://www.adacore.com/about-spark), which is similar to Frama-C but has a much better interface in the AdaCore GNAT toolkit and IDE.

Both work similarly: Assertions in normal Ada or C code as well as the code itself are translated into SMT statements and fed to a SMT solver to find counterexamples---errors.

I have some blog posts from several years ago about Frama-C:https://maniagnosis.crsr.net/tags/applied%20formal%20logic.h... (And I really should get back into it; it's a lot of fun.)

If you are not familiar with Ada or C, Dafny (https://dafny.org/) is another option based on .NET and devoleped at Microsoft. It seems nigh-on perfect for this approach. (The language uses a garbage collector.) At the time I was looking, there was little documentation on Dafny, but that seems to have improved.
Hey, one simple example is `mov byte[0], 5` . You need to give relative memory address (wrto DS segment value) in the brackets, and specify whether you want to store a byte or word length value.

This syntax is intentionally verbose, so anyone new to assembly wouldn't mistakenly store word when byte was intended.

You can also check the complete supported syntax here : https://yjdoc2.github.io/8086-emulator-web/help in data transfer, mov section.

Hope this helps!
And then there are the M of N keys schemes where one can have multiple parties holding the keys. Example: Three keys, any two can sign transactions. You have one somewhere safe(in a safe) and one on your hardware wallet. And the bank has one for your account. The bank can't do anything without you also signing the transaction. You can always sign transactions on your own with both your keys.
http://web.archive.org/web/20230410130758/https://www.wired....

https://archive.ph/PAhqM
There's still competition your just playing with a stacked deck.
But it does very well at medium distances while you find all over.
Maybe I've read this before, but I guessed by the problem description that the answer probably had something to do with time...
Video: https://www.youtube.com/watch?v=FPFKgNAmHcY

Statement: https://www.dalailama.com/news/2023/statement-by-his-holines...
I don't think a pure LLM approach will work (or maybe it will, who knows?). I am more thinking of a hybrid that combines LLM or other AI with some hardcoded knowledge for this domain
It's the common lie, not the common name. I can't get the politicians or the newspaper to change, imho because they don't want it to, but I'll take it up with whoever uses it by showing them how it's not true. Once you realize Portugal uses the law to enforce their "decriminalization" you can't in good faith keep supporting or even repeating the lie yourself. It only takes that first recognition of being mislead before you can find your own references and see what the street-level reality is.

Our cities, SF, Vancouver, Portland, Seattle, LA, Victoria, etc know they're distorting the meaning by claiming it's what Portugal does. They've been told that they're wrong in this by journalists with experience in Portugal and by the very architect of the Portuguese system and they refuse to choose other language or admit that they are in actuality enacting the exact opposite to Portugal.
The "autonomy" being important for human motivation is part of old school management textbooks. The motivation was supposed to result of "autonomy, mastery and accountability" combination. For last 20 years, with move to agile, we have been loosing both "autonomy" and "accountability" parts. Frequently also mastery. We did gained predictability and there is less pressure then it used to be.

We lost agency over years.

> It's like that line from "The Incredibles"--if everyone is super, then no one is.

This sounds like sci-fi, only because there is no autonomy anymore in software development. But it used to be that you had some small part where you could make autonomous decisions, did some estimates and could feel in control of your own situation if lucky. The process had issues ... but you had more agency and did felt like "main character in your own situation".
Yeah, for some addresses that have no trouble whatsoever with AWS we've seen crazy-high dropped packet rates from DO. Sometimes, but not always, it's the reason for perceived extreme slowness from them, though other times they're just routing through some connection, somewhere along the way, that's about as wide as a straw, for whatever reason. Non-North-American addresses tend to get it the worst, but we've seen it with US and Canadian ones, too. AWS? Smooth sailing for all, from datacenters physically located near the DO ones we were using.

With DO we'll have some clients seeing great performance, and others who may as well be on a spotty dial-up connection at the exact same time. Frustrating, and there's not really anything you can do about it except switch to another host. I'd love to know what the story is with 'em.
I believe it fudges the numbers to give you better than expected results on lower difficulties.
It wasn't/isn't just them. It wasn't a massive secret either.

https://news.ycombinator.com/item?id=32077583

The test of all these security exploits are in the exploiting. In practice, you can run wild and nothing will happen. My HN password was 000000 for years.
Hey, thanks! Happy to hear that you think this is interesting.
Also, your project is amazing! The design is really beautiful, and the features are really awesome! Thanks a lot for sharing this :)
Hate seems to be such a strong word. I mean, as a man of faith myself, I have encountered HN posts that are compel me to consider "how can anyone, God-fearing or not, not see the disappointing hubris in this claim (that summarily and dogmatically counters the mystery of God)?" For one to express the pursuit and fruits of a relationship with the Creator, on the other hand, is quite the opposite and most admirable and NOT delusional, IMHO.
@GallenErso: I celebrate your positive (sans skepticism, that is) investment in the mystery of Life! In the final analysis, I trust that you'll find more than just satisfaction in this supernatural pursuit--myself, I have found an alarming and disarming hope, beauty & suffering in charity and meaning & purpose in every single endeavor.
Lasty... I'd encourage you to check out the Magis Center. God bless!
IQ tests weren't designed to determine good vs better humans. It was designed to determine mentally deficient vs below-average humans.

Consider a weightlifting competition where the weight-limit were 20lbs (10-kilograms). You'd be able to determine those with severe injuries or deficiencies vs a typical human, but you wouldn't be able to determine a peak-athlete from an average person.

---------

Now sure, we can increase the reps to absurd levels, like "200 reps of 20lbs", which will start to separate out the athletes from the typical humans. And that's roughly what the upper-end of the IQ test does: you need to be more-and-more accurate / fewer mistakes to reach 115, 120, 125 IQ or above. But we've have pushed the test far beyond its intended purpose.

IQ itself partially depends on a somewhat unproven concept of "general intelligence", which IIRC no one is even sure if it applies to average (or smarter) humans.
> Wait, what? ... WTF? ... Unbelievable.

You sound shocked! shocked! to find gross incompetence going on in a place where the accounting system is an Excel spreadsheet manually maintained by the CEO himself, with entries like "Hidden, poorly internally labled fiat@ account" (sic) purportedly worth $8 billion.

Private keys in plaintext in the shared Google Drive that the entire company has access to? That is the least surprising news I've heard today.
Clojure's value is all in the what you're not doing, that can be hard to explain if you've never experienced the pain it tackles

So I'm sure as part of your learning you will have created a web app maybe a rest end point or nextJS, next I want you to go check out Clojure Electric take a look at some of the demos and try and replicate it in JavaScript with any framework in less code

If you're convinced of the potential for the language install clj-kondo, parinfer, paredit into your editor and never type directly into the repl

Unfortunately it's nearly impossible to learn Clojure without tooling support so find that Clojure plugin for your editor and don't ignore the other tooling before starting
I believe hidden comments can be seen if you enable showdead, and if you do so you'll learn why they are hidden (they add virtually nothing to discussions).
Release engineering: Verb

see OpenBSD
Does the article compare these incidents with similar cases of disabled cars that did have drivers? No? Then nothing to learn here.
When I'm deep into half-marathon+ training, I (personally, not scientifically) observe that I become zinc and magnesium deficient. I simply will not recover, I will feel extremely fatigued, etc. There's a lot of controversy over this, but I more or less have to take ZMA to sleep at night, to remain asleep at night, and to recover from the training load I am putting my body through (I also carry a 2-3x per week lifting load regardless of my running schedule).
Probably incompetence. Or maybe, done this way to create doubt if/when they decided to take the money and run. "Who did it? Who had access to the keys?" "Uh, everybody.."
So much has been said about p-values and null hypothesis significance testing (NHST) that one blog post probably won't change anybody's opinion.

But I want to recommend the wonderful paper "the null ritual" [1] by Gerd Gigerenzer et al. It shows that a precise understanding of what a p-value means is extremely rare even among statistics lecturers, and, more interestingly, that there have always been fundamentally different understandings even when p-values were invented, e.g. between Fisher and Pearson.

Beyond that, there was a special issue recently in the american statistician discussing at length the issues of p-values in general and .05 in particular [2].

Personally, I of course feel that null hypothesis testing is often stupid and harmful, because null effects never exist in reality, effects without magnitude are useless, and because the "statelessness" of NHST creates or exacerbates problems such as publication bias and lack of power.

[1] http://library.mpib-berlin.mpg.de/ft/gg/GG_Null_2004.pdf

[2] https://www.tandfonline.com/toc/utas20/73/sup1
Both are bad. Crime is bad, but this is an argument for making software engineering more like a medical doctor's guild. Some things simply should not be done. There is an expectation of competence for some things like finance and medicine.
Imagine the world where everything is fully automated. You arrive at a city, order a self-driving taxi, do a self-check-in at the hotel that is managed by robots, order a food that is cooked by robots, using ingredients delivered by robots, grown in farms managed by robots. The hotel itself was 3d printed and the city district was planned by an AI algorithm optimised for economic utility. How many iterations are there before this is the reality? It would probably take a century before something like this is the norm.
They moved there after hundreds of years of not living there. It was homeland of someone else and they made it their own. But the process was not friendly. Anti-semitism in those other places was also very real .. but the homeland itself was a new place for massive amount of those people and peoples got pushed out.
> mpengine.dll version 1.1.20200.4 was released on April 4, so the fix should be available for everybody now. See the end of comment 91 to know what version you are using. Also, the latest discoveries in bug 1822650 comment 6 suggest that we can go even further down in CPU usage, with all antivirus software this time, not just Windows Defender.

Really nice to see open collaboration between Mozilla and Microsoft development teams resulting in a net improvement for everybody.
A decade later, this VR treadmill is finally ready to ship
I found this article very useful as much for the comments as the article. HN does have some really smart and insightful people.
I've lived through the browser wars and I can tell you that this would not surprise me one bit.
Honestly have never had an issue with apps not sharing iCloud data (also I don't put 300MB+ files on iCloud Drive).

I do use other file sharing tools that work just fine (1Pass, Google+, etc).
I feel like a lot of these critiques are just straw-manning p-values consideration.

Consider effect sizes - this seems to be a completely different (yes important) question. Obviously the magnitude of the impact of the drug is important - but it isn't a replacement or "something to look at instead of p-value" because the chance that the results you saw are due to random variation is still important! You can see a massive effect size but if that is totally expected within your null model, then it is probably not all that exciting!

Effect sizes are a complement to some sort of hypothesis testing, but they are not a replacement.

> Prior probability.

yes, when you can effectively encode your prior probability I would say the posterior probability of seeing what you did is at least as good as p-value.
I've always found building/running your app code on OpenBSD (even if it's not your target OS) - makes for a better app overall because of how strict OpenBSD is - it forces your app to run "correctly" more than any other OS.

I've been able to find and fix way more app bugs, than when I ran my software on other OS'es
That only difference is an extremely important difference
Trying things is science, and any experiment can be retried to see if results replicate. People who aren't scientists or don't have time or equipment to be scientific about a thing have to decide where the balance lies, between how much science they're capable/willing to do vs. how many assumptions they're willing to make based on other people's science.

There's no belief system called science and you can't be pro- or anti-science. Science ironically is pretty questioning and skeptical, so questioning some piece of science, is scientific.

Certainty and the temptation toward it is your enemy if you would maintain a "scientific" worldview. Politics demands certainty, simplicity. Fascism, especially so.
"Sufficiently advanced incompetence is indistinguishable from malice."

I don't recall who said it, but it seems to fit.
Yeah, that I'm mystified by. A good manager, to use an imperfect analogy, is more like something between a coach and referee for the team; I don't think fans of baseball typically see the coach as the main character, important as they may be. At worst, a manager is seen as one of the lower demons in a particular level of corporate hell; a henchman or toady for the villain, if you will.
No, you just type \N. You can also use `nat` instead if you prefer.
Because whether or not an element/isotope can exist is a property of nature. We have to discover whether it can exist.

Manufacturing implies we can have any element/isotope we want, which is not the case. By attempting to manufacture, we discover whether manufacture is possible. We discover the existence of a new isotope.

Whether an isotope can exist is a property of the universe. We similarly discover the speed of light, discover quantum mechanics, discover radiation, etc.
Of course they can spend the money ... Musk risked a fortune

Honestly I think you're just jealous.

I started from nothing and have a few million. It's not crazy. There are like 30 million millionaires in the USA.

Do you think the economy is zero sum? Elon musk _took_ money?
I think the mistake may have actually been writing ammeter instead of voltmeter. Ammeter is not safe as general advice as a typical one won’t be anywhere near large enough capacity for working with a car battery and should come with a lot of disclaimers about how to hook it up. Measuring voltage drop would work but only for fairly high loads.
I enjoy most of the comments I've read from you, although that is just a subset. I'm not sure if you use sockpuppets. I didn't know that was happening.

Do you mean you have been accused of using fake accounts to upvote your submissions?

Sounds like too much work. I do see your stuff often, but I'm usually busy in this loop:

* Feel guilty about not contributing to HN
* Resolve to learn something worthwhile
* Check HN again
* Repeat

:)
there has to be a better way for a beginner to learn Lean even with the faintest high school mathematics recollection.

I can still do theorem proving in Idris excluding the mathematical notation and still learn concepts such as totality, covering, equality etc
Let's hope he doesn't buy the judge with the stolen funds...
I've seen no source that shows that Xcom fudges its displayed hit chances. You may be thinking of Fire Emblem, whose games use a variety of well-documented approaches to fudging their rolls: https://fireemblemwiki.org/wiki/True_hit
JEP 445: Flexible Main Methods and Anonymous Main Classes (Preview)
One advantage of formal methods is in determining "what was expected" (including all the goofy edge cases) without having to burrow into the details of code.

Take a look at Alloy (http://alloytools.org/) and TLA+ (https://lamport.azurewebsites.net/tla/tla.html) for example. (Or even the ancient Z ("Zed") notation (https://www.cs.cmu.edu/~15819/zedbook.pdf)).
> Yes, "main character" is Twitter jargon not normally used in business.

I thought "main character" was a literary term? As in the "main character" of a book or story. Does it mean something different on twitter?
A new paradigm is needed to explain long Covid
I wonder if this is why Firefox often gets killed when I have other high-resource apps open?
this is how 95% of startups operate
Citation needed for "Traffic has gotten worse over the past few years since a lot of bike lanes were put in." For one thing, it's not even a causal statement, but you're implying it is.

For another bikes take up ~half the space of a car going in the same direction. So the inclusion of bike lanes and their usage would only improve traffic because it removes the actual cause of traffic (cars) from the road.
I agree, and would add lack of statistical power to the list. Underpowered studies (e.g. small effects, noisy measurement, small N) decrease the changes of finding a true effect, paradoxically increasing the risk of false positives.

It's immensely frustrating that we haven't made a lot of progress since Cohen's (1962) paper.
While Amplify offers a lot, using it for deployments only is really pain-free. If you have a node.js app that you want to deploy with support for feature branches and automatic webhooks listening to your git repo then it's a great serverless deployment choice compared to choosing some serverless frameworks where you still have to deal with CLIs and shell scripts in the repo.
A scientist theorizing is not the same as a scientific theory. Nonfalsifiable surely ought to mean end of wits or preferably being content with simply not being able to truly know, not "anything goes".

Making stuff up to ponder the possibilities is all fine, don't get me wrong. But it shouldn't be given too much weight.
Bold of you to assume that product decisions are based on rigorous statistical tests.

Jokes aside, for product decisions (or all kinds of decisions, really) you should differentiate between statistical significance and relevance. A small measured difference in some metric, even if statistically significant to p < 0.000001, may not be relevant for a decision.