skysight-inc/HackerNews huggingface dataset:
> You can't have a theory of computation without mathematics.

You're right that you can't have a theory without some language to talk about it (and it also requires people to come up with it, so is psychology more fundamental than physics?), but the theory of computation is about the laws that govern the power of mathematics. I.e. mathematics (and the universe) was constrained by computation long before anyone knew that. On the other hand, Turing was very careful not to rely on any mathematical and even logical results in his 1936 paper, not even on the principle of explosion (which is used in modern formulations of the halting theorem), precisely because he knew he wanted to get at the fundamental limitations of the very process of deduction itself (he does say that the theorem can be proven using the principle of explosion, but that would be "unsatisfying"). Turing showed that if a premise can be written as some string of symbols and so can the conclusion, then, due to constraints on the mind and body of the mathematician writing them, the process of deduction is subject to the laws of computation. This applies without any need to describe what the symbols represent, if they represent anything at all.

While the theory of computation does use concepts such as functions or sets, it knowingly treats them as higher level ideas than computation. I.e. a number or a set or a function is a name given by humans to something that can be computed or an abstraction of such a thing (so we can talk of non-computable things).

And if you want to include TOC as part of mathematics (some do, some don't), then it is its most fundamental part, more fundamental than formal logic (some people include that in mathematics, but most don't), which is subject to the laws of computation but not vice-versa.
Had propofol a few years ago when I went in to get some kidney stones blasted out. Can confirm what others are saying. They inserted the needle and a few seconds later I went from fully conscious to waking up at the end of the procedure with no recollection of time having passed, as if someone toggled my power switch off and on. When I came to, I was babbling incoherently to the nurses for a minute or so, but after that I was fully awake and felt as if I had just woken up from the best, most restful sleep I'd had in a very long time; it was a very pleasant feeling.
This is the first misunderstanding of people not involved with QA in any way. (IS9000 series).

In this sense, quality doesn't mean "goodness", rather it implies predictability and repeatability. eg Are you doing what you said you would do to make something of "goodness" you defined?

Under the ISO standards it is entirely suitable to have a quality assurance system in your company that says, "we will make minimum effort to make to minimum quality, to the measurable metric of x failures per y products and intended product life span of z days".

The colloquial use and technical use of the word quality are quite different.
You got to start with what's within your control, right? Then you may continue with others. But until you do that you're a hypocrite.
No, not really anything to do with Gell-Mann.

The term was coined by author, film producer, medical doctor Michael Crichton. He explains the irony of the term, saying it came about "because I once discussed it with Murray Gell-Mann, and by dropping a famous name I imply greater importance to myself, and to the effect, than it would otherwise have"
https://artur-martsinkovskyi.github.io//2018/logical-fallaci...
"A Beautiful Way to Interface". Ugh. Yeah, it's really terrible.
Who ever asked a Foss developer to be responsible for gui/usability issues due to their theming?

This all seems like a huge issue made about nothing on consequence
Incorrect url, should be: https://artur-martsinkovskyi.github.io/2018/logical-fallacie...
Owners of replica Noah's ark sue insurers over rain damage
At some point it might even need to become a national security / defence force issue.

I mean, what was the point of all the wars, death and destruction if the military just allow themselves to suffocate? That would seem like a strange end.
Think about the fame?

The short term effect of these policies is to cause a significant amount of economic pain and discomfort on the people you enact them against.
> The problem with deinstitutionalization and modern therapy is the assumption everyone can be treated.

The problem is that places like California tried deinstitutionalization full stop.
Hey man I appreciated you response to my question. I'm frankly very impressed you had the data to back up your assertions.
Twitter accounts are being hijacked for spam
I always try to argue honestly and use HN discussions as a way to pick up even more sources and information to get better understanding of climate and energy security issues, but yeah, I am aware that there's plenty of people reading these comments and I may be convincing some. If so, and to the extent people are convinced by information and not accidental rhetoric, I'm happy I could contribute. I do want to see meaningful climate change happen and I want to do what I can to help it. Since I'm not yet involved in it in professional capacity, HN discussions is one of the few things I can do.

(We also have MEP elections today; I'm currently agonizing on who to vote. It so happens that the people with sanest (IMO) climate and energy policy goals are also the people I disagree with on other topics. I feel I'll go with the climate though - it's really a critical issue.)

The "brainwashing" part was a bit tongue-in-cheek - a better word would be "influencing" or "convincing", or maybe even "inspiring". But I like to take opportunities to remind people that all of those are, to an extent, the same things, and that we have an industry full of professionals whose job is to do that regardless of the content of the message they're delivering.

EDIT: Keeping with the spirit of your comment, I know there are some regulars here working in cleantech and energy sector. I won't name any names, you know who you are - but remember, your input in these topics is very appreciated and important!
I currently use taskwarrior and nextcloud to synchronize task states between computers. This web based solution would help get rid of the synchronization part if it replicated enough of taskwarrior's functionality.

What I use most in taskwarrior is creating, starting, stopping and closing tasks under projects, then I use hooks written in python which read the changes from stdin and post the task changes to jira and slack.

So if this project could support web hooks, I could write a glue service for it to call when new tasks are created or states are changed.
> because it makes people think they did "enough"

It doesn't. I reduced my own meat consumption and I don't think it was enough. In fact, no single measure would be enough. There are no low hanging fruits here. We need lots and lots of different adjustments across the board.

So, this is a good advice, along with all the other good pieces of advice.
Trade has made it possible to have fewer wars, I personally wonder if the fracturing of globalisation by automation technologies will lead to harder borders, a less open world, less trade and more wars. America is always looking for an enemy to win against.
468ms in the UK.

9ms on Cloudflare, 10ms on Google.
Yeah, it strongly reminds me the media of USSR. They switched narratives in a perfect unison with politics like that. Sometimes they even did it ahead of politics preparing ground for changes in politics.

I wonder what the mechanics of it might be in a democratic society. It was easy to do in USSR: top-down structure allowed state to rule media by orders. But democracy is more nuanced than that I believe. At least I've never witnessed ahead-of-time switch in narratives of democratic media.
"This is only because of economies of scale"

It probably is part, but not all of the problem, people want safe reactors, that isn't cheap.

To answer your point 2. There isn't going to be a nuclear plant to step in anyway, they're such long term projects. If you plonk down a nuclear power station now, fine. But in 20 - 30 years you're going to have new nuclear power stations in a landscape that is hopefully already dominated by solar and wind, and nuclear just doesn't fit around renewables (which are cheaper when the winds blowing/suns shining) well enough to succeed.

Your point 1 is potentially good for nuclear, if it raises the usage factor. Nuclear's economics are based on running 24/7 but you can't do that with renewables.
So does this mean that I will get a performance hit with the comming windows update?

Is there any way to mitigate this performance drop, disable the fix?
Or they don't? I mean, it is very possible to have an extremely reduced impact on your environment. You can even have a positive impact! Not at our current average life style, but maybe even at our current average life quality.

Population already has a negative rate of change in the west (leaving out migration).
cows don't fart (or at least that's not the problem), they belch.
That’s definitely it, timing is dead on. Thanks!
Sold His First Business $400M and Is Now Reinventing How Brands Are Built
Sourcetrail dev here. Thanks for the feedback!

Yes, Python indexing speed is still slow, mostly due to the underlying framework that needs a lot of time to resolve symbol names. We hope we can improve this.

The crash on closing was already reported: https://github.com/CoatiSoftware/SourcetrailBugTracker/issue...
I opened another issue to not inform about indexing when only renaming source groups: https://github.com/CoatiSoftware/SourcetrailBugTracker/issue...
Yep, and most of those applications have a certification attached, "Functional Safety Engineer", which most of of Silicon Valley don't seem to know exists.

It is a way of archtitecting systems building software, sometimes quite trivial in terms of "code lines" to an attempted known quality which suits the consequences of failing.

You generally only use it when the result will be litigation around fatalities or permanently disabling injuries, so this just proves the whole point - some software needs engineering, some software is better to produce as quickly as possible and see where it goes.
I think it depends on who you're trying to protect against. While using DoT to a public resolver gives the public resolver the ability to build a history of your queries, running a recursive resolver yourself means anyone who's watching the wire (ISP, local government, etc.) can build a query history instead. Some people trust Google or Cloudflare more than those other entities, or figure that Google already knows pretty well what they're up to since Analytics is pretty much everywhere and they use Gmail.

The most useful option I've seen for trying to get the benefits of both has been rotating between a list of DoT resolvers, so none get all the history and end up with fragmented profiles. There's issues there since people access the same services and thus they'll get the full list over time if the software doesn't record who got what request and stickies it to them. There's always the option of doing it over Tor, but then you're introducing multisecond latencies to your DNS queries, which isn't exactly a great experience.
Most financial powers when rising up have stolen technology. This is very much not unique to US-China.
Maybe reading up on the history of America brazenly stealing from other countries could provide some contrast here.

https://foreignpolicy.com/2012/12/06/we-were-pirates-too/
My Late 2013 MacBook Pro 15" broke down last month (wouldn't start). I didn't want to go through the setup of a new laptop, so I took it to Apple store. Got a new screen, new chassis, new screen, new keyboard, new logic board (I think). Same SSD, all my data was intact.

Total cost: $700. This MacBook is 6 years old and it was totally worth it.
A German manufacturer of homeopathy is taking legal action against critics
I’m real
Perhaps the "good news" reports get more attention? You can find reports that agree with my observations. There's not a consensus on this - perhaps due to lack of evidence.

My comments are based upon observations of several years of visiting, and speaking with scores of people that work/live in the Exclusion Zone. Anecdotally, large Animal sightings of things like Moose are rare enough that even people who have visited hundreds of times, over decades, will stop, get very excited, take photos, and then chat about the last time it happened.

Edit: this report agrees with what I have found (in real life)

https://academic.oup.com/jhered/article/105/5/704/2961808

"All major taxonomic groups investigated (i.e., birds, bees, butterflies, grasshoppers, dragonflies, spiders, mammals) displayed reduced population sizes in highly radioactive parts of the Chernobyl Exclusion Zone."
كلمات اغنية الدراهم جمال الشريعي مكتوبة كاملة
Show HN: Gather NPM package download statistics via CLI
I’ve personally started just eating meat on the weekend as a gateway drug into full vegetarianism, it’s actually a really nice thing eating so much veg and clean food all week and then maybe roasting a really nicely grown chicken on the weekend. I definitely feel much better.
I’m not yet in my 40s but can postulate that the 90s was not simpler from a tech perspective let me explain.

1. Today we have google in the 90s we had mailing lists . It is much easier to use google than it is to construct a well thought out question.

2. At the start of the 90s we had very little access to mobile phones. We had no uber. Imagine landing at an airport and having to use a pay phone- or calling collect. This is much more complex and difficult then what you can do today with a smart phone.

3. Say you wanted to build a website. There was no simple answer or Ruby on Rails to make give you a right way to approach it. You had to figure it out without google. For reference lookup corba. Software engineering was definitely not simpler
Thanks for posting this. Subscribed.
I had noticed that it appears to happen a lot here on HN but I didn’t want to say incase of confirmation bias.
"both at perception, dexterity and mind work"

Off-by-one error ;-)
The Apple //e had a way to track vertical retrace but that's a fairly late model. It was a sort of 'interrupt-free' system anyway so given that and its overall slowness, cycle counting ends up being the practical default.
This is interesting. A number of drugs are thought to function similarly from an interesting mix of classes such as propranolol (a beta blocker) and even steroids like dexamethasone.

Propofol sedation is a pretty big proposal for something like this so they'd need a comparative effectiveness trial I think.
>Remember, 100 companies are responsible for 71% of climate emissions

Most of these 100 companies are oil companies, and the emissions from oil they sold on to consumers is unfairly attributed to them. Exxon don't burn oil for fun, they sell it to people to power their cars.

This statistic is incredibly misleading.
The creator will stop working on it if there are no sign ups. Basically, if you move to it now you're taking a big risk that the whole thing will just be shuttered because it's generally more likely than not that no one will sign up.
If we follow this logic rigorously, how then to explain that Huawei is actually got some of the best smartphones and other products not found across the competitors?
Spectre/Meltdown is a serious problem, but they matter only in shared environments (virtual hosting with multiple accounts per physical machine).

Why the mitigations are even on by default, if the problem doesn’t exist for dedicated single user environments? (desktops/laptops/dedicated server hardware with no code from other users running).

P.S. https://make-linux-fast-again.com/
And the system encourages good faith discussion not just “I disagree, downvote until the hive mind is protected” like HN gets.
The Books of College Libraries Are Turning into Wallpaper
That region is not densely populated fortunately. Mostly affected are Yurimaguas (population 60k), Tarapoto (population 180k) and Moyobamba (population 80k).

From what I gathered on Twitter, there are some collapsed buildings and some power outages, probably a few people hurt, but nothing as devastating as during the 2007 earthquake in Ica.

This happened in the middle of the night and it's now early morning, so more news will probably come in over the next hours.
Nope. You can't even write a busy loop that syncs with the frame rate because the ][ lacks a VSYNC flag. Some modern demos manage to read the beam position, though -- they look at values on the bus left over by the video circuitry when the bus is floating (the "vapor lock" hack)
Oops, don't know how I managed to submit that without finishing it. Oh well, I'll throw in my footnote anyway:

[0] More precisely, claims they can't know to be true. (And are also almost certainly false.)
You may find it worth the time spending an hour reading through the work done by Yaacov Trope in this space, some that are referenced in the article
Apparently this is a 2MW turbine

https://simecatlantis.com/2018/09/13/simec-atlantis-energy-u...
Bill Gates’s review of Bad Blood (2018/
The real question to ponder is who controls that on off flip switch?
A picture on my Contacts is an extension of my memory, not of their taste. It's not strange to choose what I remember someone by.
The US economy has benifited enourmously from its trade with China; that those benifits have not gone to the rust belt is really America's own choice.
Because it doesn't jive with the vegan agenda. Look at the most upvoted comments here. It's all stealth vegan propaganda masquerading as concern about the environment.

Never mind that cars, ships, agriculture ( I bet most of these vegans haven't ever heard of petrochemicals or fertilizers ), smartphones, electricity, etc are all individually greater contributors to environmental damage.

Also, the growing numbers of bison, deer and other ruminants around the world contributes to increase in methane levels. People forget that all ruminants ( bison, cows, etc ) all produce methane though they'll use the faux stat of them being net negative contributors.

And sad as it is, veganism will actually increase fossil fuel usage as the vegetation that people eat need petrochemical fertilizers to grow and a vegan diet cannot be locally sourced like meat can, so they need to ship vegan food from all over the world. But vegans don't like facts too much. They'll throw in the nonsense about livestock agriculture being transfered for humans. Good luck surviving on corn, soy and wheat. Humans aren't ruminants. We are omnivores by nature.
Why discount EVs if you’re listing energy efficient new housing stock?

EVs are not a car someone is getting who wasn’t otherwise getting a car. It’s not a question of “let’s build 100 million EVs” but rather, since we are building 100 million vehicles, as many of them as possible should be EVs.

Keep in mind that in order to achieve meaningful results it’s going to cost a lot of money. That means asking people to pay more, perhaps significantly more, for items, or in taxes, to cover that cost.

Increasing costs is not just a theoretical hand wavey “oh the rich will pay” effect. It’s a “pushing more people below the poverty line” kind of effect.

The idea that we should be using way less electricity per person is also I think missing the point entirely. Electricity per person is a good proxy for productivity which is a good proxy for wealth of a nation. Reducing energy use is putting the whole country on a diet, and shrinking GDP would cause more pain and suffering than climate change in the short term. The solution doesn’t lie in that approach.

In fact we should be using significantly more electricity per person, to offset the reduced amount of fossil fuel consumption.

Electricity generation & supply needs to get highly renewable and a lot cheaper. That is already the trend and we will get there over the next 20 years. Once the retail cost for generation and supply is reliably below $0.05/kWh you have effectively priced out most uses of fossil fuels. If electricity stays expense then I just heat my house with natural gas and keep driving my ICE vehicle.

Your “rolling coal” example is prescient, although perhaps not for the reason you think. These are people who have been asked to make basically zero personal sacrafice at all (maybe they chipped in $1.00 toward the EV tax credits) who still feel threatened by EVs. Rolling coal is not a strike against EVs it’s the perfect example of how important it is to find efficient solutions that don’t undercut members of our society, and why EVs are such a great solution.
> To some, myself included, it kind of does.

That is an unfair inference because the author of the post explicitly says otherwise. To the extent he is speaking to you, he is only saying "thar be dragons" and that he will not explicitly support your use of a theme—therefore you should file any theme-induced bugs with the theme author and not with him.
To get a better sense what you can do to actually make a difference, I highly recommend https://www.amazon.com/dp/0954452933/tag=davidmackayca-20 (also available online for free).

If you take one transatlantic flight, you'd produce more CO2 than by driving for a year.
I'm involved with tourism in the Chernobyl Exclusion Zone.
I'm not sure you mean the same thing by self-distant as what the article is talking about.

It seems like you are talking about altruism, or looking at situations with an eye towards acting selflessly. Taking actions that will benefit others without regard to how they affect you.

The article is talking about visualizing a situation from a third-person perspective, so that "you" are an object to be analyzed in an emotionally detached way. Rather than viewing a situation from "your" perspective. The idea is looking at your 'self' as some other person helps you to detach from the emotions you feel internally. And this leads to making decisions based on reality rather than how you feel.

All the factors that might lead to you being exploited by other people are still visible when you self-distance. You can still see the co-worker waiting in the wings to throw you under the bus. But rather than _feel_ the discomfort and rage of knowing that the person is after you, you see objectively how you stand in relation to that person. This makes it less likely that you will take impulsive actions driven by instinct, and more likely to take a well-reasoned path that minimizes the likelihood/impact of being exploited.
Who says anything about as extreme as a trade war? Its simply a matter of what you bring to the table and what that is worth to the other party. If you disagree on that value that doesn't make it a trade war.
The British were at it before the US, post-war Japan was at it. The US was built on it. The first few incarnations of US patent law only allowed US citizens to hold a patent - so foreign inventors and corporations could not protect their inventions in the US.

It's such a common phase of growth that it is surprising people are surprised at China following along.
Not so sure you’d be “cured”, since PTSD can alter the body’s stress response.
Where I used to work we relied on our Chinese partners to do the hard bits you describe, e.g. mold making, and kept things like packaging design in the UK.

Going further back when I used to work in the bicycle trade it was even worse, I thought that my mate doing the bicycle design would at least be able to use a CAD/CAM package, but he was working off printouts sent through from China. We didn't have the design skills in the building at all. It was more of an approval process, but we were claiming credit for the design as part of the marketing.
Rather dubious line of reasoning though: Shakespeare writes women well, so he must have been a woman. Sure, but he also writes young men, old men, kings, drunkards, commoners, jews, moors and wizards very well. Maybe he was just a great writer?