skysight-inc/HackerNews huggingface dataset:
> There are no cool tricks to improving yourself.

There are and many have been invented very long ago.

Arguably, the concept of "sin" in its original meaning was not a crime but a miss, like when you get disturbed by something and shoot a wrong way rather than straight your target. St. Ignatius of Loyola (the founder of the religious order of the Society of Jesus, the Jesuits) never meant his followers to be punished for every sin they commit, he in fact wisely expected them to commit numerous sins every day and train themselves to commit less of them gradually. As taught in his "Spiritual Exercises" scripture (which is the fundamental book of a Jesuit training) one should select one particular sin (eating sugar when not actually starving qualifies by all definitions) they want to fight at the time, do their best observing themselves, draw dots for every time they commit it, connect the dots with a line, recall the cases and observe the daily progress they make. Doing just this can be very effective for many. I encourage to study this text even if you are an atheist, for sake of extracting applicable psycho-technology and some philosophy to think about perhaps. If you consider yourself a Christian I would recommend that particularly strongly as it teaches exactly what to do to progress on your way to Salvation.

> If you want to stop eating sugar then stop eating it.

The problem is there is no single solid "you".

The first lie we tell ourselves is when we say 'I'. It is a lie because in saying 'I' we presume certain things: we presume a certain unity and a certain power. And if I say 'I' today and say 'I' to-morrow, it is supposed to be the same 'I', when in reality there is no connection between them. We are in this present state because of certain obstacles or certain facts in ourselves, and the most important fact that we do not understand is that we have no right to say 'I', for it will be a lie. When you begin to observe yourself you will see that it is really so: there are 'I's in you which do not know one another and never come into contact. For instance, begin to study your likes and dislikes and you will see that you can like one thing one moment and like another thing another moment, and the two are so opposed to one another that you will realize at once that those 'I's never meet. If you observe your decisions you will see that one 'I' decides and another has to carry out the decision, and this one is either unwilling to do it or never heard about it. (Peter D. Ouspensky, "The fourth way".)

The Jesuits' technique can hack this system by teaching the 'I' which makes the decision to persist awake.

Note that both the sources I cited have been written centuries ago :-) (both available on libgen nowadays)

Needless to say, in many cases there also are simple psychological and/or chemical solutions. Many can greatly decrease their craving to specific foods (or foods at all) by adjusting their diet to contain more of specific substances (i.e. specific vitamins, fiber, fatty acids, proteins) or by just healing some specific stress-inducing psychological trauma with assistance of a good psychotherapist.
They have us - that is, the wider internet - (by the **s) so why would they do anything other than return the most profitable results?

Wouldn't you do the same thing? (don't forget to toss billion-dollar scraps to competitors, to head off monopoly restrictions).
I have recently researched a laundry machine. No chance - if you dont know where to ask or look you will be bombarded with fake marketing crap and affiliate cancer.
Because if you change one type to include the number 235498 it will also affect 377 other types.
> The reality is that system calls aren’t “fast” and they can’t portably or dynamically be guaranteed to be fast.

Perhaps, but the reality is also that the vast majority of games and other interactive applications routinely make blocking system calls in a tight main loop and expect these calls to take an unspecified but reasonable amount of time.

“It’s a blocking syscall so if it takes 1s to close a file, that’s technically not a bug” is correct, but is any player of “Papers, Please” going to be sympathetic to that explanation? Probably not; they’ll think “Linux is slow,” “Linux is buggy,” “why can’t Linux run basic applications correctly that I have no problem running on Windows or OS X?,” etc.

“Syscalls should be fast unless there is a very good reason not to be” strikes me as a wise operating principle, which weights usability and usefulness of the operating system alongside being technically correct.
Any WASM that runs for more than a few milliseconds is going to be compiled to native code. I do wonder just where the remaining 50% of bandwidth is going. IIRC bounds checking is only be around a 10% penalty in most studies. I guess there are other checks needed in JS (stripping signaling NaNs, etc but I don’t think WASM requires that)
uBlacklist can blacklist domains on google
A Creative Commons license would be more appropriate.
An audio (possibly also video) chat app with a configurable fixed delay. Ninjam (https://www.cockos.com/ninjam/ ) implements the basic idea but the open-source client is fiddly to get working and the recommended paid client is a DAW so is also pretty daunting. It would be nice to have something in the browser.

It would be nice to have something similar that worked as a website, and even could be sort of a cloud version of the A Capella app where you can collaborate on looping harmonies in realtime.
The glottal stop is very common in British English varieties, but the extent to which it occurs is pretty variable, and it's still perceived as somewhat sub-standard (depending on where the T it replaces occurs; replacing Ts between vowels is more sub-standard than replacing Ts at the end of a word, which is more sub-standard than replacing Ts before a consonant [in fact even Americans frequently replace Ts at the end of a word]).

On the other hand, in American English, flapping happens pretty reliably in the appropriate environment, and it's absolutely standard and expected---any failure to flap where required will probably lead to your speech being perceived as having a British twang.

There's also a phonemic vs. phonetic thing here. In British English, a T turned into a glottal stop can still be distinguished from any other consonant, so it's still a T phonemically even though the phonetic realization has changed. In American English, flapping applies to both T and D and the result is usually indistinguishable with respect to having been originally a T or a D. In that sense American is going a step further.
I like Dick… he’s a cool dude.
As the sibling post said, lithium fires are a completely different class and beast than a petroleum fire.

Material science improvements won’t overcome the fundamental fact that the third atomic element on the periodic table just really wants to light things on fire.
I guess we just disagree then. I think we have plenty of resources to do both.

Government might better focus on clamping down on frivolous waste of resources such as cryptos (both waste of hardware, energy and most valuably talent).
That was the original Yahoo business model. It doesn't scale. You can't hire enough human beings to curate the entire web, and if you try to automate it, then the SEO spammers can game the automation.
I am infinitely surprised why Elon Musk doesn't buy up cheap gas stations and turns them into all-electric charging stations. It turns out that customers are quite ok to pay close to gas prices as long as they feel they are getting bit of a discount. Higher charing price is not a deterrent for buying EVs.

I would expect charging will be much more profitable business than manufacturing EVs in a long run. It's like Gillete makes blade handles cheap but blades very expensive.
Google has never, ever produced high quality search results for medical questions. The jokes about this are about as stale as the ones about airline food.
> Reading a book, reading a paper, etc -- these activities take discipline that most people don't develop or don't often apply.

Except some of the past moral panics were about reading books, they worried that kids were reading the wrong books, voraciously!

Reading popular fiction didn't used to be considered something that took discipline, it used to be considered escapist entertainment, people did it because it was entertaining.

Millions read books and newspapers (not sure if that's what you meant by 'papers'), only a couple decades ago. On the subway in NYC for instance, you would be surrounded by people reading both paperbacks and newspapers. Not very long-ago, in the adulthood of people currently middle-aged! It's not true at all that this was a rare thing undertaken only by people applying discipline.

It might be no big deal that this attention has shifted to social media, just another shift in the particular mediums used for cultural production and consumption. Without even getting into that debate -- just the fact that you believe that reading things on paper is something that takes discipline that few have ever developed -- is astonishing to me. It has definitely not always been that way. It was not that way literally only 20 years ago, not very long ago at all -- it is remarkable that things have shifted so quickly you now believe reading books has always been a thing only for those with discipline, to be done distastefully like eating your veggies.

(It could just be a shift in mediums, but the essay tries to illustrate the deleterious effects on our lives of the new mediums, which I recognize from personal experience and observation, myself).
Missouri coroners proudly admit they aren’t counting any COVID deaths. It’s definitely being undercounted. I know someone who died in Wisconsin but the hospital said he didn’t have COVID then a year later they admitted they’d done the test wrong and actually didn’t know. None of the data provided is reliable. More people should be worried about how unreliable our healthcare system.
I've used SPARK with GNAT Studio, I've used Frama-C, and I'm also experimenting with CBMC. Frama-C is way more powerful than SPARK, but also consequently has a much deeper learning curve.

SPARK does not allow doubly linked lists:

https://blog.adacore.com/pointer-based-data-structures-in-sp...

For example, singly-linked lists and trees are supported whereas
doubly-linked lists are not.

With Frama-C you can prove doubly linked lists and all manner of complicated pointer manipulating graph algorithms. It does not impose a Rust-like pointer ownership policy as does SPARK.

However, for embedded development, SPARK's restrictions are a good trade-off, as the more restrictive rules allow more proofs to be fully automated than with Frama-C and simplify diagnostic messages. A fly-by-wire avionics computer doesn't need to dynamically allocate a billion graph nodes. But SPARK is not "general purpose" like C with Frama-C is.

AdaCore's SPARK tool stack is not actually written in SPARK as far as I can see, much of it is actually OCaml and Coq/Gallina for the Why3 component also used by Frama-C. See all the .ml OCaml and .v Gallina source code for yourself:

https://github.com/AdaCore/why3

And of course the compiler backend for Ada/SPARK is GNU GCC, written in unverified C:

https://github.com/gcc-mirror/gcc/tree/master/gcc/config

Compare with CompCert, the formally verified C compiler:

https://github.com/AbsInt/CompCert

Frama-C unfortunately requires a user to be mathematician-logician logic programming expert to fully utilize. One can begin training in Coq/Gallina with the large free online Software Foundations course:

https://softwarefoundations.cis.upenn.edu/
OP Here. I submitted this 6 months ago as a Show HN and thought I would try my luck again after adding a blog post last night about doing the same thing on AWS.
Can't say I've visited it much, but the fact it still exists makes me happy
Totally, I’ll claim to have been very pessimistic before it happened. Referenced the likely downturn in an economics assignment that didn’t impress my very optimistic lecturer. I missed the bottom though, was convinced we were going down a lot further. Don’t fight the Fed, I guess.
The sites are serving Google a different version of the page than they serve the rest of us.
A few more bits of useful info for this setup:

- Most Heat pump water heaters have a 3000W-6000W backup resistance element used when conditions are too cold to run the heat pump. If you live in an area with long stretches of near or below freezing weather, make sure you install it in a conditioned or semi-conditioned space.

- The exception is the Sanden C02 system which can heat water even in sub-zero temps.

- Heat pump water heaters draw about 800W / 4A when using their heat pump, although probably more for the Sanden. As with most fixed speed compressors, the inrush/surge current can be as much as 4x the steady current, which is important for sizing the wiring and circuit breakers, as well as sizing max current output of any batteries that might be installed.

- Heat pump water heaters have slower recovery times than gas fired water heaters.
Yahoo is the same as it always was, but these days it produces better results than Google.

Bing is okay but getting worse over time.

Google image search is the worst. Bing is marginal but at least useful.
A few scenes in which it's important to note that someone is "in their trainers".

American English, this is nearly meaningless noise. Possibly some sort of orthodontic apparatus?

Trainers == "Sneakers", casual athletic shoes.
I've had great success with the Gooloo jump starter. It has saved me from grief many times, most recently when I left the headlights on.
I haven't looked at his twitter recently but, to use Cornel West's brilliant term, being a long-distance revolutionary is a very difficult position to maintain.
Was it really ducks, or was it an autocorrection?
Mathematicians, data scientists use new technology to shape political districts
That’s a tragedy. Maybe there needs to be regulation requiring results are delivered by genetic counselors rather than physicians. Or maybe this is willful patient error.
I want a general-use assembly debugger that works like the in-browser one on microcorruption.com
> So basically there was no dedicated room inside the house for WFH before?

I was previously working from our bedroom. The main downside was if I wanted to start working while my wife was still asleep.

> When you use your shed, what are the aspects that you came to value? E.g. is it more about the feeling of nature (because the garden is much closer) or is it more about the sound-separation from the rest of the home? Or would you be as happy with a dedicated room within your house?

Sound separation, and not needing to work for my room that also has another purpose. But a dedicated room with in a house is better for me, and when one became available I started working from there instead of the shed.
I have a BlackBerry playbook and it has not worked properly for years: I think it has something to do with https support or some other aspect of authentication to websites, but 90% of websites don't work with it, even with the latest update which is years old.

It's too bad because the playbook, like other BB devices from that era is running QNX and with a terminal emulator could have been a handy tablet to play with if it could connect properly to the internet
Here's the logged out search result in the US:

https://smallpdf.com/result#r=65aec01a358fb33d67f37736c8c099...
That's the entire point. Bitcoin has just one use case, and it's very inefficient design is tailor-made for that one use case.

Alt-coins have use cases that can all be solved by AWS. The inefficient design is er....inefficient for those applications.
… but isn’t there still a risk to whatever devices are on both ends of that cat6? ie the access point and the head-end router or switch?
This assumes the rules are black and white and there's no concept of bad faith.

A system could very well have rules/guidelines and then have humans review & monitor the system and user-submitted complaints for any abuse, and harshly penalize such abuse with a temporary or permanent ban.

It could end up in a situation where it's technically possible to gain a slight advantage by gaming the system but no participant will risk a complete ban and the system ends up working well for everyone.
You can host the API part on Google Cloud, and then use Cloud Pub/Sub to publish new jobs from the API.

On the macOS side, you would need an application (in whatever language you prefer), that pulls events on Pub/Sub topic, processes the image/video, and then uploads the result to the cloud (either on API, or maybe directly to Cloud Storage or the database.)

This will ensure that your M1 machines are never directly exposed to the users, and allow you to scale out to multiple machines if needed.
This is a fascinating argument. I like the perspective of a game like poker having greater similarity to true war than traditional war games like chess or go due to ever-increasing information. This adds another dimension to the game.
The site says it’s CC0.
Reddit is full of subversive marketing. The real communities discussing their passions are absolutely exploited by "undercover" PR agencies.
I realize now that I have a different definition of “cancel culture” than you and some other people here, which is OK.

I was thinking of what Bill Mahr, on his HBO show, talks about as far as cancelling appearances at universities of people who were invited to talk, and then some subgroup protested that they didn’t like their opinions. I am also thinking of cancelling people whose political opinions vary, and also in this case an elected Congresswoman who has some very wrong ideas about the dangers of vaccinations.

I think that racist, etc. remarks are easier to filter and discard than political ideas. I feel comfortable using automated filters to discard racist, sexist, and homophobic remarks, but I am not comfortable discarding political speech.
Did you mean to link to the DOOP flag? https://theinfosphere.org/Democratic_Order_of_Planets

Your link just shows me a gray box.
Much like eating healthily, this seems to be something where it takes a while to detox, but once you do, you have less and less interest in the junk.

I stopped using any "Meta" products, turned off notifications on my phone for anything else, and have screen time limits (though Apple's screen time is much less effective than Android, for some reason). I keep my phone in another room at night.

I find now that once I spend a small amount of time on social media (even HN) I start noticing a kind of gross, anxious feeling that leads me to pause.
24 hours, any purchases made, and it's still a thing. Though rates are much lower nowadays than they were 3+ years ago.
I disagree. It is clear from the title, “When They Warn of Rare Disorders, These Prenatal Tests Are Usually Wrong”, and the lead that they’re focusing on false positives.
I think these features are more general young-isms, not really regional. Older Americans don't use them either, right?
It also wasn’t just the tick over to the year 2000. It was various dates and times around the year 2000 (leap years et al). But the Jan 01 2000 problem was the biggest and most high profile.
Consider what I was replying to, which laid pollution at the doorstep of profits.
The people doing actual, good reviews/guides also use affiliate links. Getting rid of affiliate links to get rid of the bad actors gets rid of people trying to do it right. The bad actors will have another path in within a month while the person who was run out of their honest business is left hanging.
84% of people who got a positive test result will end up telling their family "it's OK, the first test was wrong, my baby doesn't have a 1p36 deletion after all". The 99.9% of other people who got true negatives are important from a test design perspective, because specificity is closer to the actual levers you can pull on, but it's not super relevant to the decisionmaking process of someone who gets a positive result.
I've spent some time pondering things like that, but ultimately concluded that we should keep these things away because there is a duplication between type-level and code level, and I'm completely fine with sprinkling a few runtime assertions in most cases. Normal code syntax is much more suited to expressing invariants. Obviously I'm not into statically proving the correctness of my programs, so if that's your cup of tea things are probably looking different (and I'm sorry for you).
Theres no point. But people want to search using their url bar. People don't want to change their default search from Google. I use DDG and !nhs so I'm with you.
If you do want to learn how this works with defi, look at DAI and those loans which are based on overcollateralization and incentives for people to hunt for and liquidate others who don't have enough collateralization.

2008 was caused by starting with undercollateralized loans enabled in part by fake rating agency ratings, and failure of regulators to regulate. That system failed and the backstop FDIC can only write checks up to around a 3% failure.
I raised an eyebrow at the roof choice as well. The roof slopes towards the foundation? Odd choice
Yes, he is making a comment on his data and as an insurer this data only includes working age people, not the elderly.

So of course he doesn't see elderly deaths because they aren't in his data set

But since his data set is limited, we just can't draw this conclusion
For me every single result was quality articles or Wikipedia listing amusement parks in Italy.

I'm in Paris

I don't click on trash sites ever. Not sure what else might bias your results.

Try creating a new chrome profile and searching.
You could achieve something similar with a browser extension like uBlacklist [1] with community-driven lists.

[1]: https://chrome.google.com/webstore/detail/ublacklist/pncfbmi...
Not sure that works everywhere. And it contradicts the information on the top of this thread, as well as nullifying the justification as well.
[1] The person that many hold accountable for the opioid crisis was made head of the FDA by the Biden administration on his first day!

[2] Most fentanyl (+ precursors) is manufactured in China and then comes across the southern border from Mexico.

[1] https://www.theguardian.com/us-news/2021/jan/28/fda-janet-wo...

[2] (PDF) https://www.dea.gov/sites/default/files/2020-03/DEA_GOV_DIR-...
I ran outdoor-rated cat6 in metal conduit between my house and shed, about 6 feet, and it has worked very well. What do you see as the problem?
Yes, but what the comments are saying is that DDG has an advantage over other searches because their bangs allow anyone to easily use another websites search function, so by using DuckDuckGo you aren’t limited to Bing and DDGs search.
So you think my garage is fine? Seeking anonymous expert-sounding internet validation :D
I am in the exact same quagmire trying to research water softeners and drinking water (RO) systems. I am having to pull fragments of information from many different sites / videos and having to discard large amounts of contradictory and misleading information.

At this point, I’ve had to resort to reading scientific papers on how some of these technologies work (and how some don’t work) just to avoid the bad information. Unfortunately, the more I research the farther I get from making a purchase. This is not where I want to be, however, since the water in my area is very hard and everything gets scaled up all the time. I’m looking to purchase an espresso machine to get into the hobby but I’m not going to drop the money in expensive equipment until I can get access to water which will not damage it in short order.
Scituately!
This isn't a new problem and I'm pretty sure Google has countermeasures for that, and even if they didn't, it doesn't look like an unsolvable problem - automation can help but having a "report" feature on the search results page or literally paying real people (using real browsers) to review results can work and is virtually bulletproof.