skysight-inc/HackerNews huggingface dataset:
Mathematical proofs are in escapable conclusions of your choice of axioms (assumptions).

Negative physical proofs is evidence showing that a particular model (assumption) about the physical world does not hold. Negative physical proofs are relatively straightforward. Take your model, make a prediction, and then show the prediction is untrue in the physical world. This is more or less how the Bell Inequality test was supposed to be.

Positive physical proofs (for example, prove that radioactive decay is random), is in general not "actually possible". We can only show that physical reality is sufficienty compatible with your model.
It's not just teflon. It's most likely also going to be it's successors.

Its going to deemed safe for a while till it's not.

Most properties desired while at the same time being cheap and durable will leak and will not play nice and with our cells or hormone system.

Especially because the goal of most of these chemical is to be cheaper the cheap. (Otherwise we would just use glass)
Because they're legal. We would still use asbestos and lead if it were not because of the legality question
I never understood why people have extensive lists of file extensions in their .gitignore files, for example `.DS_Store, .so, .dll, .pyc, .pyd, *.bak, ...`:

- https://github.com/tensorflow/tensorflow/blob/a7691d53e5d3a4...
- https://github.com/pytorch/pytorch/blob/02179827cb7cbc805277...

I find it much easier to list the file extensions I wish to track:
- https://github.com/nikonyrh/docker-scripts/blob/4aa3dc38ab59...
- https://github.com/nikonyrh/rubikstimer-clj/blob/3e77b9ad88f...
In my experience, there will always be a population of developers/users that prefer for things to always stay the same (and therefore never break). Unfortunately that means never improving.
They made this comment in a video blog regarding the XL, which is using an STM32, several variants of which have been in extremely short supply. I'd presume that might be the specific part they were talking about.

Also, they have been using 32bit controllers for all new FDM printers since the release of the Prusa Mini in 2019. That now includes the XL and the Mk4.
You forget that those 15 year old girl's lives are dependent on their 40 year old parent's lives which have been drastically impacted in terms of ability to provide a "good" life for their children.
Burning witches? Call me a radical but I can't help but notice the name of the company is OpenAI, but it's not open at all!
The cost jumps at most to whatever it costs to make, store, and burn hydrogen.
Updated context for those who read the issue before it was posted, that wasn’t there during the time of the original submission.
Incidentally ... the Hiroshima and Nagasaki bombs were dramatic single events that unleashed great destruction, but the results for those cities were not worse than those in other cities in Japan facing bomb firestorms. The nuclear bombs didn't factor much into Japan's eventual surrender.

"There is general agreement that the bombing of Nagasaki did little in the way of changing the hearts and minds of the Japanese military. By blaming their surrender on the atomic bombs, Japan avoided the Soviet Union having a hand in the post-war reconstruction process. Japan was afraid that the Soviet Union might try to push a communist regime onto the country. It was also very convenient for the U.S. that Japan attributed their surrender to the atomic bombings."

https://outrider.org/nuclear-weapons/articles/japans-surrend...

EDIT: incidentally
Ask HN: How do you recover mentally after a failed startup?
Hi,

I started a company in 2019 after graduating from from undergrad.

This is a bootstrapped business and I built it as a solo founder.

Although it managed to get some traction (tens of thousands of users), I've basically at my wits-end on monetization.

The business is only generating ~50-60k per year in profits, and I've lost hope on seeing a path to scale it further.

When I graduated from college, I decided not to pursue significantly more lucrative option to work at a FAANG company and instead spent the last 4 years working extremely long hours on this business.

Over the last 4 years, I've basically done nothing but work 7 days a week and despite doing this, I have nothing to show for it.

Meanwhile, my friends from college all took 6 figure jobs, have traveled, made new friends, found gf/bfs, learned a ton, got promoted in their careers, etc.

Obviously this is entirely my fault and I take 100% responsibility for my decision. To fix my fuck up, I've started prepping LeetCode and plan to start interviewing for a job in 1-2 months (ya I picked a great time... I know)

Has anyone else been in a similar situation?

How do you recover mentally?

I feel like my self-confidence/feeling of self-worth has taken a massive hit. I've basically wasted the last 4 years of my life and I feel a deep sense of regret. I can't help but feel like these are valuable years where people build up their friend circles, finances, find a partner, etc.

I've done none of that and I feel like I'm extremely behind everyone else now.

Would love any advice. Thank you.
Yes, you use taxpayer funds and volunteer trail crews. Having done trail volunteer maintenance myself on the PCT, I can tell you it works just fine. There are also low cost permits for thru hikers and trailhead parking, which offset some of the cost without creating nasty externalities like getting people lost (which is what happens when you charge for maps).
"I'm tryin' to think, but nothin' happens!" -Curly Joe

https://www.youtube.com/watch?v=mlejsgxOxrU
That's probably worse, certainly in the short term.

Long term, use many uncorrelated solutions: with humans "you can fool all of the people some of the time, and some of the people all of the time", but with a single AI (as with all software) once you know how to fool it, you can simultaneously fool every single person in the world who is using it.
I listened to some of his songs and enjoyed them. Beautiful music. Farewell!
What does greatness get me? And at what cost?

And when you look at it, the price of greatness is usually extremely high. You often need to move away from your family, work long hours, experience pain, experience poverty on the way there, sacrifice experiences with friends due to prior commitments, sacrifice your health, lose your friendships, etc.

And after all of that, you will still likely fail to be great.

With enough patience as a techie drone, I will have everything short of private planes and yachts.

So would I be willing to see my parents for just once a year by moving to Silicon Valley for the sake of private planes and a yacht? Nope.

So you are looking for people who either have minimal high costs to become great or an extreme willingness to sacrifice.
Glass containers are fantastic and usually cheap enough. Whether it's spice jars or leftover food containers, it all works great. Make sure the lids are also either glass, wood, or stainless steel.

The one "downside" is you do need adequate cushion if you're taking it on the go say for lunch or to a dinner gathering, but even a towel wrapped around suffice.

If you want recommendations, the Ikea 365+ glass containers are fantastic and very cheap. Again avoiding the "plastic lid" variant they have for extra measure.
Pretty much identical story in Australia - without remote everyone’s forced to live in crazy expensive Sydney and Melbourne.
This article touches a nerve for me since i have always wanted to better understand (ever since exposed to books by Ivar Ekeland and Nassim Taleb) the relation and differences between concepts like Random, Probability, Stochastic, Pseudo-Random, Determinism/Non-Determinism, Chaos, Information, Entropy.

I would really appreciate it if folks can point me to books/papers/articles/etc. which explain all of the above starting from first principles.

Also are there any courses one can pursue to study the above?
>but I seriously thought it was common knowledge that Oral B glide and equivalent products were PTFE based

Nope. I bought it because I absolutely hate flossing, and I absolutely need to floss, so I bought Oral B Glide as an effort to get myself to floss.
I would imagine if this isn't resolved to eliminate double taxation, "piss off workers, get to hire new ones" will kick in. And as the Internet never forgets things, it might be harder getting new ones. Maybe Alabama only wants residents, assuming that remote workers aren't true or desired folks?
I share the sentiment.

I am considering actually measuring my mood but it looks like the office helps me.

45 minutes of walking after work does a lot of good to my mental health. I also do a sort of one meal a day “diet” where i consume just coffee at work, and it actually costs a lot less.

Worst case is that I leave late and it’s cold so i take an uber, but I actually prefer it.
I am 4 days away from finishing comp sci. To get a credit out of the way, I signed up for some BS course on “tech and society”. Humanities types were happy to complain about how tech is destroying society, but mot a single one could define “algorithm”.
But then it's pretty much the same as using the old version and turning on swap, so I don't really see the point. As far as I understand the whole model needs to be read constantly so there's no benefit from the random access mmap provides.
I agree that Emacs would greatly benefit from this feature but "unusable" a overly dramatic. It's an inconvenience. I use Super on the desktop as much as anybody but I manage with remote tty sessions (including termux from phone) just fine. I just make sure that I also have a terminal-friendly binding for anything critical that I have on Super.
Space program has been taken over by DEI administrator class, just like every other institution.
We can start with new developments, and we can just allow someone to sell their house in an existing neighborhood to someone who wants to make it a neighborhood grocery store. No deconstruction if “75 years of infrastructure” required.
The cabinet and speaker are also modeled, and in some ways those are more important than the amp:

https://youtu.be/-eeC1XyZxYs
What cultural norms do support the inverted population density though? I’m not aware of one that does. Welfare states high on individual independence rely on the young and able to work and contribute tax to support the old. In the same way that traditional cultures rely on the younger generation to support their parents.
It sounds like you never saw Django. The stated goal of the heros was to buy a slave from his owner to use for brutal boxing matches, but what they really wanted to buy was the freedom of Django's wife. The purchase of the boxing slave was a ruse because there was no way the slaver would have even met with the heros if they just asked to buy the wife on her own.

My original comment was just to imagine if Elon Musk was running the same scam as in the movie when he bought Twitter. I'm not saying he did the scam, just that it would be fun if he did.

By way of support for my silly imagination: there was a bit of theatrics with the purchase and the law suit. And it's not impossible to imagine that he may have lied about the freedom of speech reason.
Maybe add a filtering DNS (Pi-hole for example) and add a truckload of adlists to it.

That will need some fine-tuning at first (and also another device at his house) but especially with a daily update of the adlists this should prevent him from going to the most common scam URLs...

If he's using his phone on the go, maybe throw in Wireguard/OpenVPN into the mix and make sure that it connects as soon as he leaves his home Wifi...
Credit card issuers maximize profitability
It's sunday, a great day to learn. Please share your insights.
The American would of course insist that the energy company has a right to reach into their wallet.
One way to look at it (and I am not sure if this is correct, but it may be what the essay author meant) is to not treat the `unreachable` as affecting the presence of the decision, but only the result of the decision. If `unreachable` was replaced by a normal statement, we'd have:

if (argc <= 2)
do_something();
else
return printf("%s: we see %s", argv[0], argv[1]);

So the `return printf` is executed when `argc` is greater than 2. If we remove just the body of the first branch:

if (argc <= 2)
;
else
return printf("%s: we see %s", argv[0], argv[1]);

the same thing holds. And additionally when `argc <= 2`, control will move past the `if`.

Under this view, if the `unreachable` won't cause the entire removal of the `if`, the compiler will produce the equivalent of:

if (argc > 2)
return printf("%s: we see %s", argv[0], argv[1]);

return puts("this should never be reached")

Again, I don't say this is the correct interpretation, but it is one possibility, that would have to be ruled out by other parts of the standard.
Is Smoking Cannabis Safer Than Breathing Air?
I think my answer to this would be "thanks for preserving this for us; we're ready to take it back now". These artifacts absolutely belong to their countries of origin, but we have a collective duty to ensure that they are protected -- and museums should ensure that conditions are in place for them to be properly handled before returning them.
So a BASIC compiler with back-ends for multiple architectures/platforms?

Interesting challenge/dream: make something like this (for computers of that era) that is able to compile itself.
Ok, but aren't we already using AI in e.g. spam filters?

Also, there is some asymmetry in this problem. E.g. a little more false positives (a detection, but no actual threat) is not so bad, so we can err on that side.
This is cute but I'd rather get the energy into the 8-bit Unity project:

https://8bit-unity.com/

Not just because I've got all of these machines in my collection, but also because the 8-bit Hub, which is a bit of hardware that allows all of these machines to get on the Internet, play multiplayer games, etc. - IS AWESOME!

Not to discourage those who want to build isomorphic translators. Just that, there are other projects of this ilk which are a step beyond ..
Blocking newly registered domains also helps a great deal.

This is one of the reasons I pay for NextDNS and set my parents' network up to use it.
It's really bad reply from Greg.

He's the owner of the project, he has the power to accept / not accept changes, and he didn't object to the version change, now he pushes responsibility to the contributors. It's ugly way of dealing with other people.

The way to solve this situation is to set up a video call between them to deescalate the emotional part of the situation (which is not a big deal anyways, we can wait a few days for the technical details to get resolved).
These towns exist already and they need to provide services to the people living there.
LDR-GPT
In exchange for a deafening level of noise.

One of the things those recording engineers used to battle was a high noise floor in the signal. AI lowers that signal<>noise ratio (applying the analogy to producing music or "content").

The issue isn't the barrier of entry in terms of skill or technical expertise, it's malicious and greedy business practices. And tech is ripe with that in all new ways of its own. Institutionalized, codified psychopathy is on trial here.
Anger’s Privilege
Supplementation can only do so much when there are fundamental psychological issues at play too
So much snark! Here and in the issue. Programming is hard enough.
Physical proof is not the same as mathematical proof. It is strong evidence for a mathematical model to be an adequate description of reality.

But that means we did not proof that the mathematical model is reality. There might be some weird edge case looming around the corner under which our model utterly fails to describe the physical world. Then we have to adjust the model or find a new one.
Sell all your furniture and all but irreplaceable and critical belongings, possibly including selling any cars you may have. Use a few thousand dollars of that money for airfare or gas money and move yourself and minimal belongings to a new location. Stay in a long-term-stay hotel (<$100/day) for a week or two until you can get the cheapest apartment you can find. Slowly repurchase essentials as needed. Done.
>"Whether this is a net win depends on the memory access patterns of the applications you use. If you had an application that had 6 very hot pages, and 14 additional warm pages, then this could very well be an improvement, since the very hot pages could stay in normal memory, and the 14 warm pages could take turns occupying the two remaining normal memory pages. On the other hand, If you had an application that had 10 very hot pages, and 10 additional warm pages, then this could end up a net loss, because there aren’t enough normal pages to hold the application’s very hot pages, so you are constantly compressing and decompressing memory, and that extra time spent on compression could exceed the time saved by avoiding the I/O to the four pages that didn’t fit in RAM before."

This is an excellent point!

Also -- another observation (for future CPU engineers): The interception and on-the-fly compression/decompression of memory pages that were decided to be swapped out to disk -- is currently handled by additional software which implements this functionality. (zstd for swapfile, etc.)

But, maybe in future computers -- this shouldn't be handled by software...

Maybe a future CPU, if well engineered -- would implement page tables with extra information -- not just a bit that says "this page is present/absent in/from memory" -- but also a bit that might say that it has been compressed and cached to a special pre-determined section of memory by the CPU (and/or cached on the CPU itself) -- which also has onboard compression/decompression hardware specifically created for this purpose...

In other words, it might make sense to move all of this functionality to a future CPU -- where the compression/decompression could get done completely in hardware (should be much faster than software if properly engineered) -- and if a page can't be compressed -- then the CPU hardware "knows" that -- in, or in close to real-time...

Such a CPU should allocate extra data in its page tables for storing advanced statistical data about the historical "heat" of a page -- such that it could decide the best policy for it on-the-fly -- swap to disk, compress/decompress on-the-fly, or simply keep in memory and swap or compress out a different less "hot" page...

Anyway, there is no doubt some future work to be done in that area...

If the engineering for this was absolutely perfect -- then the net effect is that future computers would have X [MB,GB,TB,PB,?] of physical RAM like they do now -- but they'd appear to have Y [MB,GB,TB,PB,?] of RAM -- where Y is greater (much greater!) than X, and where all of that extra "compressed/virtualized" memory -- runs at the exact same speed that regular memory does now!

Impossible to engineer?

Well, maybe... but that would be the ideal, the pinnacle of that engineering -- if it could be obtained...

And I think it would be interesting to try, no matter what the outcome -- even if the effort failed, something would be probably be learned that might help the next future engineering effort...
Yes agreed. Teflon is shorthand for all of the fluorinated hydrocarbons in my mind. I know they’re not identical but they’re close enough and most if not all will end up being found to be toxic.

The problem is a lack of a precautionary principle— manufacturers can change one molecule and re-market their product and groups like the EPA have to do extensive research on each new variant to show danger. Molecules are assumed safe and marketable until shown otherwise by underfunded agencies. It’s insane.
I've failed several times by that metric, and statistically everyone does who tries. So you should attempt not to feel deflated by where you are, though I know that that is much much easier said than done.

(I have now semi-retired, early, and have started a PhD, and my kids are teenagers, and I am having plenty of fun, so this seems an acceptable sort of 'failure' to me!)
Leanpub Author Services: Now with GPT-4
Sounds like a poor fit imo, yes: clean code etc. is very valuable but a startup has to weigh this, existentially, against getting shit done(tm) before funding runs out.

It's not really your problem to solve unfortunately - unless you hired them. Startups flourish when you have exp. engineers who know which rules to break and when, any less and it's bikeshedding over snake_case as the runway collapses.

At best you can try to offload some of the stylistic complaints to CI/CD pre-commit lint checks etc. etc. but not sure how valuable that is if the code doesn't work!
Banana leaves
In the long term, WFH jobs are jobs which can be replaced by an artificial agent, no?
“in my social circles” suggests that they’re referring to knowledge workers.

I would 100% believe that among highly credentialed knowledge workers, more men than women are in roles that make remote work feasible.

You’re not wrong, of course, about the broader population.
High income and rich are not the same thing) I agree with grandparent comment that rich/wealthy denotes an accumulated level of assets, not just a high income (which may or may not be transient)
Body-counts of modern witch-hunts by far exceed early-modern witch-hunting
Witch-hunts are practiced today throughout the world. While prevalent world-wide, hot-spots of current witch-hunting are India, Papua New Guinea, Amazonia, and Sub-Saharan Africa. While an unknown problem in vast parts of the Western populations of the world, body-counts of modern witch-hunts by far exceed those of early-modern witch-hunting.
Fine. HN is, after all, a place where you can be pedantic.

But those of us who are actually writing programs mostly care about "in practical terms", and in practical terms, this doesn't happen, so we don't care. We've got enough trouble worrying about what does happen; we don't have time and energy to worry about what doesn't and won't happen.
Sorry, but a company that reports it has had zero avian flu outbreaks in it's facilities and still jacks up it's prices so high that profits increase by 700%... that's textbook price gouging.
At least one reasonable bar is not effectively vandalizing other communities by airlifting in a bunch of uninvolved commenters into an already drama filled situation.
Wasn't the entire point of the PPP scheme to give away money to be used for payroll? I didn't use it, but it seemed to me like from the outset that it was designed to give away money, notionally documented as a loan, but one which would be forgiven if used to provide payroll continuity to employees. (In other words, documented as a loan so they could claw it back legally if you didn't use it for payroll or other approved purpose, but if used for payroll, it was a loan in fictional name only.)

I don't think that was a mis-use of the system, but rather the intended use of it. (We can argue whether it was a good or bad idea, but it plainly seems within the bounds of the program as designed/intended.)
I don’t think it can. You’d need the witness to testify or sign an affidavit and submit it as evidence. But there’s a lot of particulars about evidence so I think depends on how they said it.
The best solution is what the Indieweb folks called POSSE: Publish on your Own Site , Syndicate Elsewhere:

https://indieweb.org/POSSE

For instance, I might publish a clip on my own site first, then mirror it to places like YouTube, TikTok and Reddit so more people find it. Or post an article on my own site first, then repost it on Medium and Substack (with a canonical saying my own version is the original if possible).

That way you're not tied to a specific platform, and can just find another place to share/post your work if any of them go to hell.
Swap is a system level property not a program level property. They are similar, use similar mechanisms, but the experience that a user would see are very different.