skysight-inc/HackerNews huggingface dataset:
Excerpted from http://www.flownet.com/ron/chaitin.html:

Proof of the undecidability of the halting problem in six sentences:

Assume that there exists a program H that solves the halting problem, that is, H takes two input parameters, a program P and an input I and returns true if P halts when run on input I, false otherwise.

Construct a program B that does the following: B accepts as input a program P and computes H(P,P), that is, it calls H as a subroutine to determine if program P halts when run on a copy of itself as the input. If the result from H is true then B enters an infinite loop, otherwise B halts (that is, B does the opposite of what P would do when run on a copy of itself).

Now consider what happens if we run B on a copy of itself. B will halt iff H(B,B) is false. But H(B,B) is false iff B doesn't halt, which is a contradiction. Therefore, our assumption is false, and H is impossible. QED.

Turing's original proof of this theorem was remarkable (and complicated) because in his day there were no computers. Not only did Turing have to more or less invent the idea of a program, but he had to conceive of the rather mind-bending idea of running a program with a copy of itself as input. Nowadays this is commonplace. The unix command "cat `which cat`" is one of the simplest examples of a program operating on itself as input. A compiler that compiles itself is another.
In Bruges is a fantastic comparison for Patriot. Thanks for that, I've been looking for a good point of reference.
TIL— 2600 is blocked by my workplace.
Most Netflix content is delivered through local Netflix Open Connect box through their ISP, not through the internet as a whole. I am not sure how they measure this bandwidth.

Peering cost is too high for someone sitting in Asia to enjoy quality streaming from Netflix from NA datacenters. Youtube does the same thing, only they are many many times bigger (in terms of GGC penetration all over the world). This is why most people rarely get buffered youtube even at 4k, unless your ISP is shitty.

https://openconnect.netflix.com/en/
What shows took three seasons to warm up?
but that's exactly my point - there are clear-cut halting, clear-cut non-halting, and "we don't know yet" programs. My interest is in delineating the properties that separate the 3. The collatz conjecture is exactly the example I use when explaining the "we don't know yet" programs. If I could build a logic system that can positively prove halting, and one that can positively prove non-halting, then anything that remains is "dunno".

The halting problem is basically showing that you can never prove the category of "dunno" to be empty. Which is pretty self-evident given there are unsolved bounding problems like the collatz conjecture in mathematics.

For a minimal example, if I create a program that takes an AST and runs it through two truth functions, one that checks if the AST === "return;" and prints "it halts" and one that checks if the AST === "while(true) {}" and prints "it never halts", then we've already created such an application, just with a "dunno" space containing the majority of programs. Adding practical axioms to a logic system could grow the "halts" and "never halts" spaces to the point where only a subset of applications cannot be excluded from the "dunno" space, and my question is: what are the unique properties of those applications?
It is a shame that HN now is totally the mic-phone of Mozillia.
All is task is to help Mozilla to slander their competitors, for example, Chrome vs firefox, c++ vs rust,...
The Risk-Free Method for Interviewing Job Candidates
don't you still get recommended or autoplay started videos at the end of an embedded video? or is there a way to control that as well?
So if one must think about it in terms of client/server (my mind works like this), since the website data is contained in the URI itself, then the server/site where you clicked on the URL from, can perhaps we thought of as the "web server" per se. Just a way for me to think about it. This is pretty crazy though, neat stuff.
Silly pickle tricks: self-uncompressing pickles
Plenty of people are perfectly willing to draw fair districts. 7.4 billion people on Earth right now, and at least 7 billion of them would be perfectly honest and fair in drawing congressional districts. The fact that the US generally picks people from the tiny slice of committed partisans to draw boundaries is idiotic.
I totally agree. don't understand why you got downvoted so much.
If you want a 'safe' C subset, that's what MISRA C is for, no?

C++ is a bit of a different beast, as they occasionally concede performance for convenience/correctness. std::shared_ptr is always thread-safe, like it or not.

> Otherwise POSIX derived OS will continue to be a collection of security patches and band aids trying to make up for those issues.

Agree. The constant stream of buffer-overflow attacks shows just that.

It's regrettable that C/C++ are the 'default' languages for writing things like web servers, DBMSs, shells. I imagine it wouldn't be impractical to have a lot of kernel code written in a safer language, for that matter.

C is sometimes appropriate, but it's used everywhere.
How Ambitious Fintech Startup Kabbage Is Expanding While Avoiding an IPO
We would go extinct.
Russia's strategic nuclear capability dwarfs that of any country in the EU. The Russian armed forces aren't what they used to be, but without the backing of the US, Russia's conventional military threat to the EU is also serious.
How JavaScript works: WebRTC and the mechanics of peer to peer networking
We have the exact same problem in the other Cambridge (Massachusetts).
Speaking for Ruby/PHP web apps. Go is not quite as fast as Rust, but much easier to pickup since it has a simple syntax and manages memory for you. I would save Rust (or C) for the optimization phase since finding developers is harder.

Go is so good that huge companies like sendgrid, cloudflare and google never move past it. Rust is great for hardware and embedded devices where memory management really, really counts.
My takeaway from this is that Kotlin appeals to junior/inexperienced developers, cargo-culters, and JetBrains developers.
This explanation seems to get thrown at every new programming language. Maybe Kotlin is a fad, maybe it's not (I've never used it and don't have an opinion)--either way, comments like this one aren't very insightful or convincing.
> One takeaway is that Kotlin is an exciting language, and one that makes developers happy.

Context? Probably "makes (Java) developers happy" due to dramatically reduced verbosity. But you get that in most, if not all other languages too. It's not called the Kingdom of Nouns for nothing.
It's only gray because they were copying the content. Shipping out the physical disc is fine, AFAIK.
Reconciling High-Level Optimizations/Low-Level Code with Twin Memory Allocation [pdf]
No one cares about a shithole of a country like India. Flagged.
Profits and censorship. The oligarchs want money and want to shut the mouths of those who denounce their crimes. And yes, it isn't only Russia who has a problem with oligarchs.
Kotlin seems to either have a lot of advocates or a strong marketing department. Its almost like a advertising company supports it.
If people wanted an object-orientated compiled language that didn't interlink with and offer a smooth transition from C, there were already alternatives (e.g. Modula).
> "the proof"

As if there can only be one. (And it seems OP is describing the theorem, not a proof)
You can still do all those things in modern C++ in addition to all the stuff that get added every 4 years. The only thing that has improved dramatically is the tooling: compilers, static/dynamic analyzers.

> And, as I said before, every C++ programmer feels bound by some mystic promise to use every damn element of the language on every project.
> Not all languages that are used get complaints in equal proportion

It's because they are not used in equal proportion.
>because you associate a higher quality with a famous celebrity.

I don't think people are buying because of perceived quality. They buy because celebrities are trend setters. A celebrity using something makes it a kind of status symbol.

But the question remains, does an ad being shown next to something objectionable transfer some of that negative sentiment to the brand? Even when people know the placement is algorithmic/automatic? I don't think speculation will answer this question.
Yeah that's the issue with most self-hosted solutions. Pretty invariably they're either a pain to setup, require someone to provide an always on server (either in their house or pay someone else to host), or are hideous/missing major features. Discord does well because it requires pretty much zero setup on my part to have a place where me and my friends can chat while playing games!

Personally availability was always a major issue to me when it came to older self hosted solutions, with Discord I don't have to worry if group B has someone willing to bother hosting because it's always there hosted on Discord's servers and if something happened we don't suddenly lose our hub and chat.
Absolutely! Actions should be more important than the names. However the names are not just labels, they often have meanings.
My experience has been with Polish, Ukranian and Hungarian programmes who are technically excellent, but very flaky.

They just disappear for weeks and then pop up again as if nothing happened. I don't know if it's a cultural thing like Indian programmers who always say yes even when they mean no, or I've just met unreliable ones.
EU should be abolished. What a waste of taxpayers money, resources and energy. Fucking scambag bureaucrats.
Yes, an irritatingly-written book, very hard to enjoy despite seemingly being perfectly designed for my interests. I feel the same way about Iain Sinclair's books, which I kept on buying until I eventually admitted defeat that they're just not for me, despite the amount of fascinating stuff within
The author isn't taking this article seriously, and I think it's pretty mundane in terms of it's humor.

What is it that people see in this?
Can Ride-Hailing Improve Public Transportation Instead of Undercutting It?
He said the opposite
Try running it through a VPN. I recommend NordVPN these days. Had good luck with Torguard in the past as well.
In fact Twitter is one of the few who CAN comply with GDPR, because it costs big ( very big ) money to comply.
We've had good luck with ECS (though occasionally I'll find it doesn't shut old tasks down). Honestly though I feel like ECS will go the way of services like SimpleDB, Cloud Search, etc. (Never going away, but a secondary offering)
Seinfeld started out with poor ratings.
> Skip the Socratic dialogs basically.

I agree, except make sure not to skip the SHRDLU [1] one, which isn't actually Hofstadter's writing at all, but a demo of the SHRDLU system which is fascinating and should not be missed.

[1] https://en.wikipedia.org/wiki/SHRDLU
I would say it's more like people are pooh-poohing certain brands of hammers as being inferior to TrendTech Hammers (R) which are "obviously" superior.
This is why some of us are Thinkpad devotees... We use the pointy-stick between the G, H, and B keys to shove the cursor around during keyboard-heavy interaction. I use the thumb to click three button zones on the top of the trackpad. To drag, you hold down the thumb and keep steering the stick with your index finger.

I also change the settings to use the edges of the trackpad for scrolling rather than requiring a multi-finger gesture. This allows me to do brief bouts of scrolling with much less relocation of the hands. I would even turn off the trackpad mouse behavior if I could do so without also losing the scroll function. It's only ever a mistake when I brush the across it and move the mouse.
Answer - it can't. Don't waste time reading that stupid article written by dimwitted writers.
So what you're saying is that they totally get culture?
Response to Andy Raskin's comment that Drift is a reality TV show
??? what is this vague coward shit?
The machine could go a level above and helps the human to reflect about its intents. That would basically be a machine convincing the human he/she is already happy right now, and he/she doesn't need to earn more money, and therefore doesn't need that "new e-commerce website". An artificial psychologist conversational agent would help you know about what you really want in life :)
(Socratic dialog as literary device should not be confused with Socratic method/questioning as a thinking device)

Socratic dialog's have different uses. On the one end it can be used to consider serious existing counterarguments and provide answers to them. One is to explain one point of view and not to provide balanced opinion.

One-sided Socratic dialog that is like a 'happy path' without hairy counterarguments falls into the latter category. Hofstadter uses them to illustrate a concepts, not to go question them.

In fact the hole book is just attempt to repeat the same ideas again and again.
If family members don't invite you to events because of the lack of whatsapp, you probably are not very close.
I'd be hard pressed to think of a show that didn't take a few seasons to warm up. That's not to say they were bad, but it took some time for the actors and writers to figure out how the characters work.

The problem is less pronounced now that most shows are serials planned out years in advance, but it still happens.
Which OS? Linux and Darwin are still entirely C in the kernel, I believe. Windows is C++.
A/B Testing to improve online sales
OCaml and Multithreading (2015)
Russia's nuclear capacity? How is that relevant? The UK alone has 215 nukes (just checked wiki), so yeah maybe Russia could kill all of us and we'd only kill 90% of them but past a certain threshold additional nuclear weapons are irrelevant.

My last post as HN is supposed to be better than this kind of nationalistic -swinging but I think the idea that Europe is reliant on US for protection is pretty absurd. Multiple nuclear states, you can't just assume that all of our nukes are faulty (and nor would anyone else). Nor would they be unable to maintain them without the US if relationships soured so far. We lease them from US companies because we are (historically!) allies! Similar level of standing military as the US, which could be ramped up above given larger population and GDP.

There's a fair statement: "US contributes unfairly much to NATO"
And a completely mental statement: "Europe is dependent upon the US for protection"
> decided to explain its working by coming up with a metaphor involving record-players and records that are designed to physically break the record-players they’re played on

Wait... I've seen this style of explanation somewhere...

M O N A D T U T O R I A L S
All the logic happens at the back-end level via our API communicating with Gmail's one. Nothing is done on the client-side (i.e., extension) besides the integration of our buttons/features within Gmail's UI.

The RSA key is just used to show that what has been inserted was through our service. Note that the final hash resulting from the mixer is done without any RSA.
You're absolutely right! We'll get this up ASAP. Thanks for your interest in the site.
I understand it sounds like whataboutism, but whatboutism is one of the most dangerous labels. It allows people to just dismiss conversation about current and pressing issues in the world in favor of navel gazing at a far less pressing issue. It provides cover for human rights abuses in countries which were conveniently “not the subject” of conversation initially.

Like when women in the world are trafficked into sex slavery, married off as children, honor killings, caste rapes etc. and a charge of “whataboutism” is used to refocus on how a default avatar in social networks is unfairly male instead of female.

It has been over a century since slavery was abolished in the USA yet it persisted and persists around the world now. I think it SHOULD be talked about, and analyzed and solved, whether or not it is whataboutism, just like we should talk about malaria or anything else. Just because it isn’t happening here doesn’t mean it’s not a BIGGER and more pressing problem.

So just cause someone coined a stupid word doesn’t mean you get to dismiss issues affecting millions of people or excuse a double standard. Go beyond virtue signaling and care about actual utilitarian statistics and solutions.

I would argue the supremacists are those who focus exclusively on their own ethnic group and navel gaze at their own coutry at the expense of people worldwide.
Steve Yegge had an entertaining and informative post last summer describing his own experience with Kotlin and his thoughts on what makes it a compelling language. It's a great read: https://steve-yegge.blogspot.com/2017/05/why-kotlin-is-bette...
Eventually at Google US you get 5 weeks PTO, which is the same as in Google London. Plus Google has four more holidays in the US than in the UK.
Facebook should shut down, or get taken over by the US government - nationalize them, I say.
I know they were. What’s your point?
The Road to Reality by Roger Penrose was a bestseller just recently and I found that impossible to read even with a graduate degree in Physics.
A Real-World WebAssembly Benchmark
> the properties that separate the 3

But that is exactly my point: what separates these three classes is the state of our current mathematical knowledge, and that obviously changes over time.

> Which is pretty self-evident

No, that is not at all self-evident. (If it were, someone would have proven it long before Turing, and he wouldn't be famous for it.) I don't know what you mean by a "bounding" problem, but we can prove a lot of things about programs with a structure similar to Collatz. For example, we can prove that a program that searches for a prime larger than its input will always halt for any input.
Can you elaborate? Can you give an example of a specific problem you ran into with ECS, and how you were able to easily solve it with K8S?
The problem with free education is that as more people become educated, the signaling effect of education becomes diluted. So the Europeans are paying for something that decreases in real value the more that people have access to it. That's a self defeating policy, especially since it encourages people to remain in academia for significantly longer than they would otherwise, because hey, it's paid for by the taxpayer.

Someone earning a second Master's degree in Russian literature is not a productive use of taxpayer money.

In the US by contrast, people are able to make decisions for themselves about how to educate themselves because loans are widely available and are just a tax on their future income. If they want to pursue a high income career, they will take out a loan to cover educational expenses since it makes financial sense to do so. If their desired career is less lucrative, they will not take out more loans than absolutely necessary, freeing that money up to be put towards more profitable projects in the broader economy.
Lol, that's because H1-B is a temporary work visa, not an immigration visa.
WebSub enables real-time web (push instead of pull). Like WebSockets, it's a protocol, not a technology. It's designed to be used in creating new technologies. One such example: https://superfeedr.com/tracker
One of my favorite death concepts is the Death Alternative[1] mod for Skyrim. It weaves "death" into the narrative. Instead of dying, you're robbed and left for dead by bandits and then can go on a quest to get your items back, or you're captured and enslaved by vampires and must escape (or, IIRC, join them). I love that it makes defeats part of the story. They become part of your character's history, helping define who your character is. It makes death meaningful, more so than checkpoints or saves, but not as frustrating as permadeath, while being a powerful mechanism for procedural storytelling. I would really love to see it in more games, by I believe Death Alternative is the only place I've seen it done.

[1]: https://www.nexusmods.com/skyrim/mods/45894
You're all caught up
The direction C++ went was pretty different from even what would've been considered 'object oriented' at the time. I'd say half of what made C++ special was how much stuff could happen purely at compile time.
A lot of this seems to be driven by Android developers who are locked into an older version of the JVM because of decisions Google has made. In other words, Kotlin is taking improvements from languages that target other environments (the CLR, native compilation or even newer versions of the JVM) and giving them to programmers who are stuck on a version of the JVM that isn't seeing any progress.
Native programmer for the last 16 years. D is the one I'm building with because it keeps the "everything is possible" ethos from C++ and has no big agenda.
Would you like a five minute lecture on frequency response and bandwidth of what you upload based on the dynamics compression, filtering, and other processing YouTube does to make videos sound good and all of which have nothing to do with a transport compression algorithm, but how said transport algorithms reduce bandwidth when double compressed because you’re probably not uploading 32-bit PCM to YouTube, and how none of that matters anyway because most people uploading to YouTube aren’t familiar with a spectrogram nor DC offset? (Seriously, one track I got via youtube-dl was the most offset I’d seen in my life. They either don’t fix it, or the fix goes horribly awry.)

I’d simply offer it but this thread thinks I’m an angry ranter so I’m making you not cower in fear out of respect.
I've been doing Kotlin on the backend for a while now, and I can't recommend it enough. One of the things that I really enjoy about the language is that it is _not_ a clever language. It's not trying to revolutionise PL theory, it just wants to get out of your way and let you get on with it. This shows up as the language being mostly worried about bringing well-understood modern conveniences into the Java world (interface delegation, property delegation, data classes, generic variance, type inference, etc).

On top of that "modernised Java" base, the language then adds only a small set of clever new features (mostly inline functions and receiver lambdas), and it leverages the hell out of those few features to produce a lot of value — e.g. there is no try-with-resource in Kotlin as a language construct. It's implemented as an inline receiver function that takes a receiver lambda as an argument.
Coding Concepts – Reflection
Java was cool at allowing a couple of things nothing else did: applets, and an actually cross-platform language.

But the language itself never seemed “cool” — it horribly verbose even from the start. In fact, it's much better now than it was.
You don't love them because you hate them you dimwitted trash.
If you're just launching a standard app, pretty easy. However, anything complex requires writing a ton of AWS SDK code. (For example, we launch a spot instance with a given task definition, assign a given customer's work to it, then shut it down when the work is finished, and then on to the next customer)