skysight-inc/HackerNews huggingface dataset:
I had to create another account just to reply. I had nocprocrast turned on for hacker news (the irony!)

Practical:

1. I lost 30 lbs from 200 lbs to 170 lbs
How I did it.
Step#1. Made an irreversible decision.
I pay $100 every week if I miss losing 2 lbs that week.
The deal was for 12 weeks.
I started Monday and the deal is every Monday. I have to stand on the scale and take a pic and send it.

2. I solved 200+ Leetcodes over a span of a year
Deal. I had to solve 10 problems a day on random days. Each missed problem costed me $25 per miss.

Here is another guy who became ripped i.e 6 packed within 6 months

https://nypost.com/2017/07/17/poker-player-goes-all-in-with-...

Now to the theory part.

See. The deal is this. The answer to procrastination is not more information. There is no magic info online that will change your brain and you stop procrastinating. You already know procrastinating is bad. You already know that you need to small chunk the work. You already know you need to be disciplined. You know you need to "just get started" or "just need to do it NOW!" that life is made up of choices and you need to make a choice.. You know this and yet...

YOU WON'T DO IT!

There is this movie called "Memento" where all these concepts are already discussed.

Here is the gist.
You are not ONE person. That's why nothing has worked so far and nothing will work in the future too. (likely)

You are a multitude of people living inside of you. The you that is going to nod your head or is going to be "inspired" is not the same person who is going to wake up tomorrow. You listen to a video and have an "aha" moment but the you two days from now will not follow through on your grand plan. This is like a relay race between different versions of YOU and the problem is that there is a version of YOU that is definitely going to drop the baton.

Now. You can hit rock bottom or want success as bad as you want to breathe air and then you will get what you want. This is what everyone already knows.

But what if you kind of want to be ripped or kind of want to be done writing a book or just not sufficiently determined. Is there a mechanism by which you can still do the things you don't normally have enough motivation to do?

The answer is a contract.

Beeminder is one such but the biggest flaw is that you are still in charge so you can easily renege on it.
Likewise for Stickk etc.

Instead do this:
1. Make an irreversible decision where you are not the one to call off the deal. Just like a mortgage, internet bills, rent, cell phone bills etc.

Watch yourself automatically, automagically achieve ridiculous stuff that previously you would Never have been able To do.

This is a 100% anti self help approach.
Note: I did lose a solid 30 lbs from 200 lbs to 170 lbs. But the problem is that once the contract expires I will likely go back to 185 lbs.. eventually.
Likewise, you will never develop natural self discipline with this approach but hey.. it works..
This isn't a matter of free healthcare; it's a matter of getting rid of bullshit patents and licensing problems that allow companies to pull off their absurd prices in the first place.

Insulin should be free for everyone to produce and to sell, then prices would go down on their own.

Of course, this doesn't mean the USA shouldn't implement "free" healthcare like we have in europe; just that that's not what the insulin problem comes down to.
The vegan cheese and other stuff is not part of Open Insulin. The block of text in which that is printed is a blogroll for a meetup of Counter Culture Labs where Open Insulin is also presenting.
I can't trust that, a lot of websites do that but also keep all of the "Legitimate Interest" boxes ticked by default, I need to check every single pop-up to see if that's the case or not.

I hate these dark patterns and in spite I do lose my time to uncheck everything I can, if I can't untick everything in less than 20 seconds I simply close the website, no matter what.
And then the CCP breaks it up into the original pieces.
Most places do not care about this. e.g. our local Subway restaurants print purchase number of the day to every receipt that customer gets. So you can see how many sales certain Subway restaurant has done in a single day by going to that restaurant before it closes and buying something.
EDIT: The parent first said (before being edited, with my original answer after the quote):

> Humor me and count out the first two real numbers in English in lexicographical order.

Probably "one" and "six" (then "ten" and "two", followed by all 4-letter expressions of real numbers), unless you can think of an English expression with a length of three letters or less that would occur before "one" and "six" lexicographically. If you consider "pi" or "e" to be descriptions of real numbers then clearly these would occur before "one" and "six".

But of course you can also pick an arbitrary universal Turing machine or other suitable formalism, pick an encoding as bit strings and order expressions in such a formal language according to their bit strings. Ordering expressions in the English language is only the less formal counterpart.

(If your point is that ordering expressions of real numbers in English is far from unambiguous without first agreeing on a dictionary of valid words and on rules of what can be considered an expression of a real number in more than one word then of course I would agree. But what I'm driving at is not that it's easy to unambiguously count out the real numbers in English, of course it's not, but rather that any kind of natural or formal language expressions, by being recursively enumerable, are "numerous" enough to be a countable set of expressions. To say that the real numbers are uncountable is to accept the view that there are real numbers that are not and can never be expressible in language, which is a view that only makes sense against the backdrop of a very specific philosophical framework. One that is definitely accepted more or less implicitly by most working mathematicians, but not the only possible one. And this philosophical framework cannot itself be justified or grounded by a mathematical argument such as Cantor's diagonal proof.)

---

Reply to the parent after edit:

> You could say the same about just real numbers, which can also be ordered from smallest to largest. This definitely not 'trivially' implies countability.

No, what I meant was that by ordering expressions in the English language or other suitable formal languages first from smallest string to largest string and within these groups lexicographically, you can enumerate all the expressions in such a language, which makes them trivially countable.

Of course this does not give you a 1:1 mapping from expressions in a language to real numbers, but it is meant to illustrate that the real numbers are not uncountable because they are 'too numerous' to be counted by the natural numbers, in the sense that a box is not large enough to hold a collection of things. They are uncountable because we accept the view that there can be real numbers that are not and cannot be expressible in language, which is a platonist view that is open to philosophical critique.
> It's not about NIH, it's about this being a low-level tar parsing library, not a ready-to-use unpack tool or even a library with unpack functionality. I would never expect such a library to do any sort of automagic path mangling for me unless explicitly stated!

I can appreciate this but I disagree; the defaults should be the exact reverse -- do the safest thing by default and people who "know what they're doing" (famous last words IME) should have a path to do the less safe thing.

I lean towards having programming languages that are developed with the most mistake-prone 20-40% of programmers in mind, rather than the absolute best software engineers, though I certainly understand the hesitance to have languages come with training wheels by default.
> Sidnote, has anyone seen what the Travel channel has turned into? This thing where every show is about UFOs or bigfoot (bigfeet) or goatman.

There's something here to unpack about audiences (humanity even?) if this is what networks devolve into. Looking at you History Channel
The Doomslayer (1997)
FirstRowSports- Watch Free sports online with your favorite site alternatives
Ask HN: Is there a “privacy focused” way of software licensing?
Hello HN,
I was working on a desktop software and wanted to enable purchasing a one time license for usage. I really don't want to collect email / user name / IP address and so on of the customer ( imagine zero server component if possible ), but at the same time don't want the same license to be used on multiple devices (malicious users to exploit this system).
Is there a way to achieve this? Anyone having experience to share in the field ?
Isn't it more like a website in one country rightly stating it's not bound by the laws in another country?
> Since it is a continuous rotary pump, the patient will have no pulse with this device.

The former US Vice President Dick Cheney had a device (Heartmate II) that also resulted in him not having a pulse.

I'll refrain from any political jokes on HN.
I agree. I think you cheat this some - depending on the medium - by separating time spent creating with time spent editing. In myself, I've noticed that editing can reinvigorate the creative process, but if I'd been creative earlier, the burst of creativity spurred by editing is short-lived, and I'm often ready for a nap when I'm done.
Agreed, Boeing and the rest of old space use a ton more vendors than SpaceX does, and don't have problems with them the way SpaceX has.

I guess the difference is that not double checking your components is a rookie level mistake, properly vetting vendors is a sophomore level mistake.
'Zhongguo' means 'middle kingdom'.

I don't think Chinese is that flexible. The only thing I can think of is Chengdu (which is not really related): https://en.m.wikipedia.org/wiki/Chengdu#Name
They might have stayed cost prohibitive for a lot longer if it weren't for the Apollo program buying up everything they could get
Heavy enough to hurt you if it falls on your head, light enough to easily carry for a while.
So then have tsmc buy intel???
Yeah 3D models and all their LODs, textures with all their layers, (one surface could have half a dozen layers used to render it), the myriad audio and music files. Games can be really humungous orchestrations these days.
I wasn't thinking of removing the history specifically, but yeah, this applies.
@version_five - Thanks for the heads up, fixed that bug!
Linux/GNU, Wikipedia, WorldWideWeb: these are existence proof, at meaningful scale/impact, for something...

There's a qualitative difference between "open" efforts, and "conventional" organisation.. qualitative. Wikipedia, for example, co-exists concurrently with twitter, FB, news feeds and advertising-optimised ranking algorithms. Consider Wikipedia during the "truth crisis" era or whatever it is that social media's blooming has created. It is affected, but there is way more dignity and resilience in wikipedia's handling than Alphabet, FB, etc.

Something similar is true of the web itself, email, etc. Whatsapp, even IG, snapchat or whatnot are more or less in the same realm as email. Email isn't without surveillance, lock in, spam or antipattern issues... but the protocol itself isn't a primary belligerent, as it is with proprietary messaging platforms like FB's.

In any case, it's worth trying to export these examples to other realms.
My dad is starting to get dementia, but all he does is watch TV. I wish he would build guitars.
Direct link: https://youtu.be/sOILiAIwwFM

It is a great showcase of the instrument
In the near future it is more likely we will wipe out ourselves either due to Nuclear War, Global Warming, rogue AI or similar, than some hostile alien civilization will get us. It seems that we are those hostile aliens for ourselves.
So I keep hearing that there is cheap, patent unencumbered insulin in the US but nobody wants it because it's not as good as the more recently invented patented variants that are sold for a premium.

Is this open source stuff just the same old patent unencumbered insulin that people apparently just don't want?
Becoming truly detectable - on a cosmic scale - might require a higher technological level than our current one.

Attaining that technological level could be inherently linked with the ability to realize the dangers to begin with.
What do unemployed Russians do for health care?

Greets from curious person in the USA.
thinkers like to assert vs feelers prefer to go with the flow. Introverts vs extroverts.

women can be more assertive in some areas (aka swipe left).

It’s hard to be assertive when you don’t know what you want , or you don’t know which course of action maximizes what you want… she didn’t know what she wanted more (be helpful to her colleague, or do her work). Or she didn’t know what would be better for her career… altruism frequently involves this problem. practice asserting to pay the restaurant bill… (what’s more valuable ? The good will gained or the money lost ?)
I believe your first point and disbelieve the second.

That doesn't get away from the basic fact that all advertising is an attempt at manipulation. The advertiser is trying to encourage a transaction when there wouldn't otherwise have been one. It would be pointless if this wasn't the case.

If you don't want to be manipulated at all (my preference) then it's better not to see targeted adverts.
So if rent is $1,000 per month today, the equivalent minimum wage would be $75 per hour.
Cheaper insulin would be nice, but we ought to put more focus on preventing and reversing type 2 diabetes. Virta health has had good results in using diet to put diabetes into remission, allowing patients to reduce or eliminate their need for insulin.

https://www.virtahealth.com/blog/with-sustained-type-2-diabe...
That's a chicken and egg problem. Making fuel off of Earth is going to require so much mass for infrastructure that it won't be feasible until we have fully reusable vehicles.
They may not work 8000 times harder, but they may bring to the table a skill which is 8000 times more valuable than a shelf stocker at Walmart.
As other commenters have said, we can't take our own viewpoint as an example of what kinds of civilizations survive because our technological age is so young.

But IMO Dark Forest is bunk anyway, because it assumes that projecting power over interstellar distances is easier than defending yourself. That's not true within terrestrial history ... even though the arrival of colonists was massively disruptive to populations in (for example) the Americas, they couldn't have outright destroyed them. To survive, they had to trade and mingle with their neighbors, ultimately changing both cultures.

The sequels to The Three Body Problem kind of discuss this, and extend the dark forest idea to consider that any population that splits off from you is now a dark forest alien. I find that crazy xenophobic and ultimately an impractical black and white view of self vs other. On Earth, successful civilizations have been capable of trade and cultural exchange in addition to force.
Maybe, instead of constantly drumming on about "diet and lifestyle", we should be studying why the "diet and lifestyle" message has completely failed to move the needle on the obesity crisis.

Cuz I'm pretty sure nobody with diabetes has not heard about "diet and lifestyle". So comments like that are not adding anything to the conversation.
In order for the human population to "live within it's means" at an impactful scale it would require a change of capitalist philosophy that quite obviously isn't going to change anytime soon.

Yes.
Claws Mail 4.0.0: GTK 3 Port
'Inflammation Clock' Can Reveal Body's Biological Age
There is no way to underestimate the stupidity of people in groups, and our eusocial stupidity might be unique to our species.

If someone knocked on your door, quite unexpectedly, in the middle of the night, can I err on the idea that you would be quite panic-struck?

But if humanity got a signal from another civilization tomorrow, do you think it is safe to err on folks being quite happy?
Anything that challenges popular (Western narratives) is flagged. I am looking for a non-Western HN, pls if anyone knows a place that isn't overrun by brainwashed mods.
I’ve used it to save a lot of pages related to ham radio. I have several 30-40 year old radios and I’m afraid one day information about them will just drop off the internet.
Try läderach chocolate
Chinese civilization? Seems like the Ship of Theseus; convenient, but mostly a modern construction.
my take.

In kashmir, we have this

https://www.theguardian.com/world/2021/jul/02/kashmir-folk-s...

and this now recently popular song "janaan"
https://www.youtube.com/watch?v=-8wFcR1eP7M

the song is based on a poem about a fallen friend. now because it was sung as a popular "song", it has become
https://www.reddit.com/r/Kashmiri/comments/oinjz2/i_know_thi...

edit:

the original poet
https://en.wikipedia.org/wiki/Ali_Mohammad_Shahbaz

"The above Poem is written by the Poet in memory of his friend who had been martyred by Indian forces."
Such maps exist (called "Hochwassergefahrenkarte" in Germany), but comparing the picture of Altenburg linked elsewhere in this topic and the map, the flooding has significantly exceeded even the "HQ extrem" (= extreme flooding, defined as a 200-year-or-rarer flood) level.

And officially designated flood plains with associated legal restrictions are usually based on a 100-year flood.
Should You Give Up Caffeine? Author of Book on Mind Altering Drugs Thinks So
They're based out of the EU and UK, which you can figure out just from casually perusing their site.

There are plenty of worthy non-profits that aren't based in the US. The OpenBSD Foundation, for example.
make it easy to freely trade drugs between countries and prices will plummet.
Hollow nano-objects made of DNA could trap viruses and render them harmless
Chaos Theory and Market Predictions
A lot of anarchist writing is leftist or comes from leftism. But a lot of it leaves or at least attempts to leave the left/right template behind.
I saw him in an airport - this tall, lanky man walking very slowly with his suitcase behind him, head down. He looked so weary and worn down with a heaviness over him and a face that looked much older than his age.

We see the beautiful end result of his work but I suspect much of it all was an endless grind he couldn’t get out from.
Wow, actually slightly shocked how seriously this model seems to be taken or, at least, how sticky it is.

Coefficients, dynamics, number of entities involved, stationarity. There are so many unknowns and so many reasons to believe incomplete understanding could scupper predictions...

I know everyone likes to believe themselves to be a good Fermi estimator. But trying to model the world beyond 2050 when the weather a month from now is a hard problem. Well, let's say it's Quixotic at best.

Which makes me think the model isn't actually under discussion here, it's just all our priors about how much we fancy technology as a solution or not etc.
Not really. It used to be that economic growth is strongly coupled to energy and resource consumption, that meeting more needs was done through people getting more stuff. But this has decoupled now for some decades already (in the developed world - in the developing world there's still a hug lag of "stuff backlog") as consumption and its growth shifts towards various intangible goods and services where people get increasingly more desires met in better ways (i.e. economic growth) without an increase in electricity and metal and plastics required for that.

More people than before getting a car inherently requires an increase in consumption of energy and resources as car manufacturing needs to grow; but more people getting access to a Netflix series does not; if people use larger cars then it requires an increase in consumption of energy and resources, but iPhone 12 mini is much better than the original first iPhone and meets more needs while requiring about the same energy and resources.
Why is it only a problem when you have to choose from an infinite amount of sets? Why isn't the problem that you can get an infinite number of sets in the first place?
How to Navigate a Friends and Family Funding Round
Where can I see the HLS proposal?
I worked with a guy with diabetes. Hes about to retire around now.

The company we were working for was acquired by a VC backed larger entity who offered much less in terms of benefits. His out out pocket expenses increased quite a bit as the new entity self-insured and even the best health plan had really high deductibles and the coverage was not great even after that. IIRC it covered like 60-80%, its a bit foggy because I could basically never use it.

He was using blood test strips and injecting insulin because it was the only thing that fit in his budget. We talked about it very occasionally, I asked him if he could get the electronic insulin thing that attaches to your arm and talks to your iPhone, and he told me about the coverage and costs and he really couldn't swing the out of pocket.

This guy was pretty advanced in years and had controlled his diabetes pretty well, but I saw the inconvenience and sometimes normal forgetfulness affect him often. His mood would be unpleasant at times, and I could see that he was often not feeling ok. Eventually, his doctor had an old tamagotchi looking leftover electronic blood sugar monitor that he ended up giving him for free, I guess it was old enough it wasn't going anywhere. His doctor thought the diabetes could be better controlled and took it upon himself to try to get him to upgrade his quality of life.

He used that for a while and it was a bit janky but worked, I noticed his mood and demeanor improve quite a bit for a few months, this also improved our work, but he stopped using that because there was some upkeep on it that was also not covered in our plan. So he went back to the blood-finger-strips.

I felt pretty bad about this situation, this dude was stuck in a job that even I hated (and quit, nowadays I have BCBS from an actually good organization) because the old, acquired company had a really good deal: Employee Ownership. When the firm acquired and consolidated that company, they took on the employee ownership agreement. This was a huge chunk of this man's retirement, but the new deal required him to stay on in order to claim the benefits he had been planning on retiring with for 25 years.

He could definitely have quit and made more money with better benefits, but he would have lost his retirement strategy.
This is really cool, and I love the idea of embedding assets around the web. When I first saw PlayCanvas years ago I kind of dismissed it. But it just keeps going, and becomes more and more feature-filled. Now it really seems like a solid product - and a solid idea. Well done to the creators!

Does anyone know who PlayCanvas are? (And are they hiring?!) I love WebGl and WebGl2 (here's a little Minecraft thing I made: https://github.com/mrspeaker/webgl2-voxels), so for my own projects I always want to do it all "from scratch". But this is a much more productive engine and that playground is really tempting me to dive in further.
because sure, we all know that health care and drugs cost nothing to make. i want to have free food too and free houses too, please add that to the list.
How much of the insulin is used for type 1 vs type 2?
I'd suggest GCS+Cloud CDN or S3+CloudFront.

I've been running several sites off Firebase Hosting the last 4 years and have seen surprisingly high downtime, cache clearing errors, and unexplained 502 errors from Firebase Hosting.
The Lonely Ballad of the Dulles Airport Mobile Lounge (2016)