skysight-inc/HackerNews huggingface dataset:
It's clearly not true in any practical way. because most programs these days are huge beasts depending on stacks of millions of lines of code, so little can be conclusively proven about those. It's also wrong in theoretical sense, because what you're talking about is not "halting problem" at all.
Coming back to ancient software design principles:

> The user is always right

Let them have a setting. It's really that easy.
Have you tried OnlyOffice? Integrates with nextcloud as well. Licenced unter AGPLv3 and works really good. I used Collabora before but i prefere OnlyOffice.

https://en.m.wikipedia.org/wiki/OnlyOffice
I do believe pulsed fusion energy is a much better approach to start with. We already have the ability to generate small amounts of pure fusion energy in highly-energetic laboratory experiments. If you could place a pulsed reactor in some thermal mediator (e.g. water), you could have a device that produces apparently continuous thermal energy.

A single 1 megaton thermonuclear weapon can produce the equivalent of around 1100 gigawatts of power for an entire hour. If we could find a way to capture even a fraction of this, you could power a LOT of things for quite some time. Now, obviously I am not advocating actually doing this with fission devices, but having some sort of "extremely temporary" reactor design could be viable considering the amount of energy each unit could produce, even if each only works 1 time.
> 3) Does any developer really think their time is well-spent participating in investigatory market research, advocated in this presentation?

The best developers I've worked with have proactively requested to be involved in user research and feedback sessions. They want to know the customer. They understand why they are building what they are building, and provide valuable feedback when they encounter issues during development that weren't accounted for during the design phase. They behave as partners rather than line workers. Anecdotally, these have been the developers that are most respected internally and promoted to leadership as well.
You can always sue no matter what. And any big company that is complaining about litigation has a hundred lawsuits going at any given time. It's not like an individual where a lawsuit could ruin them. If a good faith effort only eliminates 99% of the lawsuits, so what?
True enough. I guess I’m thinking, I really hope this isn’t the start of a trend.
Blank-Audio: Set of blank MP3 audio files
> it is possible to "bit bang"... a COM object by arranging everything in memory using plain old C structs ... from compilers that weren't COM aware. Is it possible to do the same with WinRT or it requires the language to be WinRT aware?

Yes, actually, you can do that. I had such code working. Basically declared the IInspectable VTable as a C struct and filled it with my own implementation. Then wrote an "activator" for the relevant classes the same way. [What COM used to call factories.]

Did the same thing with a few VTables for MS-authored WinRT classes calling into them in the other direction.

All this was tedious, I had complicated reasons for wanting to do this and I eventually switched to WRL when those reasons disappeared. Writing COM/WinRT from C++ with something like WRL is much nicer.
It would be trivial to rotate a bitmap with no loss of quality, but you can’t rotate an already compressed jpg without changing the image itself, which reduces quality.
That's because there are two COMs:

1. The good COM, which is just a class-like ABI.

2. The horrible OLE COM, which allowed you to embed Word docs in Excel and the like which is what most people associate with COM.
Then at least you should keep searching for it until you find it or die. There are virtually unlimited thing you can do in life, its unlikely there is nothing one is passionate about.
Well, that's one way to deal with overtourism.
> China is basically no different than it was under Mao

This is very much not true. For one, there's rampant consumer capitalism, very little social net, no tens of millions starving to death, and something like 10-100x more personal income.

I don't know if you have family that grew up under Mao or not that you can go check with, but, this is a really, really false statement to make.

I'm not saying it's all peachy now, just that it is a far cry from Mao.

I do agree that CCP's statement there about freedom of speech is ridiculous to say about something spoken in the US.
How can one even lose trust in "the community of scientists"? It's such a vague concept.
We Raised $1.2MM+ to Create the First Reusable Cotton Swab
Certainly, but the rule of law and trust breaking down has a systemic effect on everyone else.
TF2 is also less aggressively monetized despite being free to play.
Just tried to delete my account. Same experience, needs to verify with a photo ID. Kinda shady. I wonder if it violates any EU rules.

edit: Just to be clear. Like the link said, there were other authentication methods, like SMS. Blizzard disabled the other ones on purpose.
I think the best way of dealing with nonsense in Internet forums is to give a single reply, and then go away. Getting dragged into an ongoing "discussion" is unlikely to be worth the effort, since such people typically resort to rejecting evidence and making ad hominem attacks.
That may be your experience based on what you shop for and where you do it.

America is way behind Europe on this. 99% of the time I go to Safeway, I have to bring out my calculator because the reference volume/weight is different from the other items on the same shelf.
> 1% - 2%

I'm not surprised. Disappointed after getting certainty, but not surprised. Hope you'll get around to it non the less. Will keep an eye out.

Again, much thanks for such a detailed response.
https://www.meetup.com/ is along these lines, but it's been around for years so it's obviously not a complete solution. There are special-interest groups on there but also broader "I'm in my 20s/30s and just want to be social" groups.
That’s not an option if you’re trying to detect left-arrows vs right-arrows, on street signs for ex.
It's mostly a reflection of the fact that you don't have to implement COM interfaces to use DirectX—you only have to call them. Also, the constructors are wrapped in functions like D3D11CreateDevice() so that you don't have to use raw functions like CoCreateInstance().

If you're using an API like DirectWrite (at least older versions) that requires you to implement interfaces to do basic things like load fonts from memory, then the COM underpinnings of the APIs become very apparent.
Hardly secret around institutions that have them.
Coherent was a great option in and around the 1990-92 timeframe. It was a great UNIX clone for $99 (with a great manual to boot). What killed it is they, for some reason, spent time and treasure port XWindows to it instead of working on a TCP/IP stack. It would have been the perfect Internet OS.
Being called out by Don Hopkins makes my day.

Edit: On a serious note, thanks for pointing out my careless and potentially insulting word choice. My fiancee has an 'invisible illness' (lupus), and I would be very upset if someone referred to them like that, so I should strive to be better.
What system is this? I had used a 20+ character password on their website using my password manager to enter it every time. One day they said the password was wrong, which was unlikely since the password manager was entering it. I ended up doing a password reset and set it to something shorter like 15 characters, and then it worked. I don't know if they truncate or not, but they've definitely allowed much longer passwords than 6 or 7 characters. I've hit this issue with their website more than once so I know they've fixed it and re-broken it a few times in the past.
Note the Contact link in the footer: you can email the mods directly. In my experience they're very responsive.
Prague had its own version of the Tiananmen square protests in 1968, when the Soviet Union and other members of the Warsaw Pact invaded the country to suppress the reforms. https://en.wikipedia.org/wiki/Prague_Spring
The outrage directed at China… that looks pretty authentic. It certainly isn’t what Wall Street wants. It certainly isn’t what the mainstream media wants as the talking point for the next election. I think they had decided on health insurance.

There’s no doubt that Trump is capitalizing on it and why wouldn’t he?

What makes you think this is fear-mongering? As in fake. The Hong Kong events, South Park, NBA, etc… this is as organic a shit storm as I’ve ever seen.
Too much description gets tiresome, sorry.

I often think of Borges, how incredibly economical he was with words, yet still able to paint a vivid picture. I want prose to be as economical with words as possible. The reader's (my!) time is valuable, so the author should not take too much of it. Boring the reader, risks losing the reader.
Better (in this case) would be to use algorithms that take advantage of rotational symmetry. What do you do when the phone is at 45 degrees?
It makes me sad that everything you wrote including the swearing is justified. If only at least one other manufacturer could come up with a decent trackpad.
> Unless, of course, your dataset happens to involve text or symbols in any way, such as the numbers '6' and '9', or left/right arrows in traffic signs, or such obscure letters as 'd' and 'b'.

If your dataset consists of nothing but isolated 'd's and 'p's in unknown orientation, you won't be able to classify them correctly because that is an impossible task. But it would be more common for your dataset to consist of text rather than isolated letters, and in the context of surrounding text it's easy to determine the correct orientation, and therefore to discriminate 'd' from 'p'.
This is only based on playing around with it in a VM and poking at its source code after it was open sourced with a BSD license in 2015, but to me, Coherent seemed like a quite well put together system. Enough that it made me a bit sad that it's now an OS of the past.
Curious that they wouldn’t include PPO in their related work, but DDPG. Did I miss something important that makes PPO inapplicable here?
This is the account deletion flow. Cancelling a WoW subscription* is a separate process, since you can have a Blizzard account without an active WoW subscription.

(* I'm not sure if they have any other games with automatic recurring payments, but if so I assume it works the same way.)
I had 3.3.4. I clicked check for updates, it recommended 3.3.5. After install, I clicked check for updates, it recommended 3.3.6. I installed that one too. Why did it not just suggest 3.3.6 from the start?
Network effects actually favor open, federated platforms over walled gardens. The problem is that social media, "user-generated" content hosting, etc. have yet to be disrupted by federated offerings - they're still at that stage where there's one Compuserve and a zillion indie BBS's that don't even talk to one another (no UUCP, no Fidonet)! It will happen as it always has.
Youtube says you get about 350F. The sun's angle is probably too small for a proper reading. (And you get something like -15F for daytime sky.)
Tesla owners in CA get a warning to charge their cars before the power goes out
So could you slowly rotate a satellite and extract a bit more energy in orbit? Since the side facing the sun is baking and the side that's away is freezing?
This is from 2004, way before stealth drones went mainstream but all were in development.

https://en.wikipedia.org/wiki/Lockheed_Martin_RQ-3_DarkStar

https://en.wikipedia.org/wiki/Lockheed_Martin_Polecat

https://en.wikipedia.org/wiki/Lockheed_Martin_RQ-170_Sentine...
Android used to recommend to open the hamburger menu when people open the app automatically, until they have opened it once themselves.

> Upon first launch of your app, introduce the user to the navigation drawer by automatically opening it. This ensures that users know about the navigation drawer and prompts them to learn about the structure of your app by exploring its content. Continue showing the drawer upon subsequent launches until the user actively expands the navigation drawer manually. Once you know that the user understands how to open the drawer, launch the app with the navigation drawer closed.

From http://www.androiddocs.com/design/patterns/navigation-drawer... (older versions of the docs, I can't find it on the current site)
What proportion of China's economy is HK? I don't know a good source but I recall seeing it's a low single digit percentage of China as a whole. They definitely punch above their weight per capita but I feel like China is more than willing and able to take the loss.

After all, with Western governments changing every few years, who will even remember in a decade?
Well yeah most of it’s just CRUD and that’s pretty straightforward even at a large scale (ex stack overflow.)
Beijing is slow to realize that trying to strong-arm the West's views on Tibet, Hong Kong, etc will not work, and in fact, makes their international position weaker.
1. You cannot wave your hand and say all countries are guilty of the same atrocities or the same behavior. To this day, China continues to deny that particular atrocity ever happened, and scrubs the internet it controls of any such mention. Compare that to how Germany treats the history of the Nazi Regime. It's night and day. HK wants a democratic voice - that shouldn't be hard to understand.

2. It's an incredibly bad argument that HK should be trying to peacefully win over China to their cause given that China has made it absolutely clear that they do not recognize HK.

3. "If you're going to wave the Chinese equivalent of alt right symbolism and violently target mainlanders, they will be treated accordingly."
Is there a 'Worst of HN' I can submit this to? I haven't seen someone so bravely defend fascist police brutality in quite awhile.
This really only works when you live a lifestyle capable of supporting casual to heavy drug use, which is something that many people don't have due to their values, responsibilities, etc.
I'm interested in more information regarding the Safe Systems Programming Languages team's work. Did they assess other languages other than Rust?
I'm scanning through their blog entries, without having read every single one in depth so please pardon me if I miss something, and I'm not seeing anything mentioning formal methods or other systems programming languages.
It's a very interesting development for sure!
I've tried working like that and it makes a massive difference. To be able to visualize all the intermediate stages is valuable because they are basically never right until you are able to isolate and refine them individually.

https://github.com/LiveAsynchronousVisualizedArchitecture/la...
I mean, he is predicting whether someone is a terrorist... based on physical measurements. It's pretty much the definition of prejudice. What could he otherwise be doing?
Right, there's that as well. Because we experience nervousness differently, you might as well tell the reader that the character is nervous.

Again, I take "tell" to be about characters telling the reader important details by unnecessarily saying them in dialog to other characters.
http://norvig.com/beal.html

Peter told me he often gets candidate solutions that the sender hasn't even validated.
Agree to disagree. To me there's nothing more American than citizens/organizations coming out in support of what they believe in, and forcing their representatives to either advocate on their behalf for those beliefs, or face the consequences come the next election. And of course he doesn't have the right to speak personally for all individual NBA employees, but he absolutely has the right to speak on behalf of the NBA itself and the resources it controls. He's actually the only person who does have the authority to do that, it's his job. And if any employees disagree with the direction the organization goes and the principles it chooses to stand for, they are free to seek employment elsewhere.

> [Silver] should definitely not be getting out ahead of the State Dept.

I hope I'm not misunderstanding you, but I can't find another way to read this other than that you think the NBA shouldn't take a stance because the US federal government hasn't taken one. This idea is extraordinarily dangerous in my opinion, and I am vehemently opposed to it.
This definitely tends to change for many people as they age. Focusing on your career or raising a family removes a lot of the time and/or energy you have to dedicate to these kinds of activities.
Funny, it looks like a common headache.

Lots of other complaints in this thread and also something I have encountered on Android with a small side feature allowing users to upload some pictures.
>Even the halting problem is easily solved in practice.

no, it's not. Knowing that this specific program halts or not doesn't address the issue.
Unless you enable module loading then you can probably just build the module.
>Which is a nice way of knowing that Google employees aren't randomly snooping on your files.

Why would I, as a end user, be given to trust this if I think Google employees are snooping in my files? I have no way to audit how this is kept, so I'd have to assume that any Googler snooping these files is either doing so using a backchannel that is not audited or the log is a no-op.
You don't want to use all your cores to run things faster?
Elm is so small, I'd almost argue that it's easier to learn Elm and The Elm Architecture than it would be than to worry about some almost equivalent combination of TypeScript, React, Redux (which was inspired by TEA, afaik), etc.

From a business perspective, having 0 JS crashes or errors in production is nice. I say that as someone who works at a startup that switched to Elm in 2017 and have had that very experience.
Speaking of passwords, I just discovered that HN will ban your IP address from creating an account if you have a question mark in your password. I assume this is to help against SQL injection? (Not a security person here.) Pretty extreme result, but luckily I can post from another IP. I wonder how many users have hit this and not known why?
AgaveLab | Guadalajara, Mexico | Backend server dev | Onsite

We are working with a San Francisco-based client and are expanding our team here in Guadalajara. Together we’re taking on a big challenge – a product that “virtualizes” large legacy data warehouses (in the multiple terabyte scale) so that they can be migrated into modern cloud environments. The company has been around since 2015 and recently closed $11M usd in their latest venture funding round. Their first commercial product was launched at the beginning of 2018 and they already have a strong roster of Fortune 500 clients.

We’re looking for developers to work with us on the infrastructure of the core engine that translates, in real time, database queries and results; then optimizes them to execute on modern cloud databases. Currently the Mexico team consists of six people but the intent is to dramatically grow the team this year. As we grow, management and team leadership positions will be available.

REQUIREMENTS

Experience with the following:

Data Structures and algorithms

Computer science fundamentals

Spoken and Written English

C/C++ and/or Java, although we don’t care which language you’re using now

You write clean, organized, effective and maintainable code

TDD

You love to build scalable infrastructure products and would be interested in solving tough query optimization and execution challenges.

More -> http://agavelab.com/server_engineer/
You can hedge that risk with periodic backups.
It didn't end well, but if any dictator or warlord is ever worth a war to overthrow, Saddam Hussein was.

Is that something the US should be doing? I think not, and it frequently ends badly, but Presidents keep trying. Like Obama in Libya or the elder Bush and Clinton in Somalia and Bosnia.
ken replied to the thread about this on TUHS 4-5 days prior to the actual crack. But you are right. No one actually said "hey ken, better change your password if you haven't because I am going to crack the password you used in 1980".
Is that better or worse than the X tones of carbon emissions diverted?

Will any of the composite materials breakdown over time and leach in to water supplies?
>including foreign, via tariffs

Border adjustments, not tariffs.
I love this idea. But I fear I’ll be shot for executing it. :)
> only managed to beat an S&P 500 index fund by 1-2% after fees

From the article: "Over the 25 years ended in March, PE funds returned more than 13% annualized, compared with about 9% for an equivalent investment in the S&P 500"

When you are dealing with exponents small differences become enormous over time. Remember: y = y0*e^kt where y is money later, y0 is money now, e is 2.71, k is the interest rate, and t is time. So assuming 9% annualized return in the SP500, after 10 years, your million dollar PE investment will yield 2.5 million in the stock market, but 3.7 million in PE or a 1.2 million dollar difference. In addition, they maximize y0 by leveraging.

Ignoring the terrible social costs (e.g., Shopko from the article) and the fact that their accounting and tax practices are suspect, I'll take the PE any day.
As I've learned the hard way, this kind of ignorance of abnormal psychology can lead you into big problems.
That's pretty normal behavior, in my experience.
I think there is a big difference between expressing your thoughts from having them. I am quite certain that more or less everyone harbors thoughts that would not be socially acceptable to state to someone in the workplace, but they are completely normal (as in common) thoughts. It is not creepy to have them. It is expressing them to someone that would cross the boundary.
Is Google Search not a walled garden? How about GitHub? Bandcamp? SoundCloud? They appear to be winning in the sectors I can think of. Even internet piracy.
Why is that an acceptable way to handle it?
Yes, thank you. This can't be stated enough or loudly enough! You absolutely have to manually check, then check it again -- even with privacy issues, find a way to be non-identifiable and check it. Data is such a huge factor in whether your project will fail or not, yet too many people don't give it the respect (and dare I say love) it deserves.
I used to answer correspondence for the EFF Cooperative Computing Awards (which are an actual financial prize for finding very large primes) and people who wrote in were almost uniformly either kids or people meeting all of the criteria mentioned here.

Almost none of them thought it was important to understand any prior results about primality testing before submitting a claim for the prize, while a majority didn't seem comfortable with the idea of a mathematical proof or theorem. In general, they didn't have a sense that some properties are always true, some are never true, and some are sometimes true and sometimes not true, and that mathematical reasoning can often definitively establish which of these categories a particular property is in.
China's One China Policy
Have your watched every video produced by YC? I've applied this last round and if I get in, I'm pretty it was because these videos helped me write a clearer and more concise.

Even if I don't get in, these videos have taught me enough that I've made more progress and insight on the last two months than arguably in the last year. I cannot recommend watching and rewatching these videos.

Also, you can still apply now, even if it is late. You know that right?
With GDPR you have the right to be forgotten. Therefor they need to remove all data about you that is not protected by any other law ( like billing information or something like that ). According to GDPR Art. 17(2)
this is where nuclear isomers are hoped to fit in.
the big hope is that fusion can be switched on or off, like a flashlight.