skysight-inc/HackerNews huggingface dataset:
Incredible how that happened. I used Google Reader a lot, adding any interesting blogs I would find. Now I can't find any of them again :/ I think I've got a list saved somewhere, but it was just so easy to go through Reader.
This is where I’m really struggling with this story. Now, they have two places documentation can reside: in the code for the API itself, and now in a separate file encoded with a custom LISP-like language?

I feel like the author is forgetting how software gets developed in the real world... or just human nature in general.

Documentation created with this approach will instantly go stale, and will likely get out of sync with the true API very quickly.

How is this a good solution at all? How is “tricking” people into this unsustainable situation a good thing?
I'm sorry, but how you can consider anything but deductive proof as a proof? Inductive 'proofs' are not strict proofs, they are suggestions that need to be tested. Well, except mathematical induction which is said to be a variant of deductive reasoning and can be perfectly modeled with dependent types.

this

> you can choose to verify the same proposition with a deductive proof, or you can use one of the "stronger" methods.

is nothing more than a way to say "you can choose to proof or to do some handwaving instead".
Apologies if I'm misunderstanding things here, I'm just now getting back into Rust after a couple of years of not using it. Did Tokio really inspire this library that much?
One thing I find weird (probably because I’m new to JMAP and still ignorant) is having position AND anchor+anchorOffset. Why have both? Surely the latter is sufficient and safer (as any position is only guaranteed to be valid when the last response was written)? From a glance of the spec I didn’t see any explanation of why. If anyone could shed more light it’d be much appreciated.
Regarding 2 I think you're missing my point. Firstly, the first "property of interest" was rendered incorrectly (and also stated incorrectly). It was supposed to be

> How about `bar (factorial (10^10^10^10 + 1))`? Is that `True`?

Can we easily prove or disprove that property of interest?

Secondly, I know the second result is true. I'm asking how you would easily prove it. How do you easily show that "forall m. bar m == True" is equivalent to Euclid's theorem?
react code generator
https://divjoy.com/
I’m pretty sure they roll their own.
I would be surprised if simulation tools were not the most well guarded secrets of these companies.
The Chinese point of view is to take HK culture and remove it, because the Chinese way is the only way. You said it yourself. I'm not sure how that's okay or what greater understanding is supposed to yield. China wants to subsume HK at any cost. HKers want to keep their culture, rights and freedom. They're going to fight for it, and China is going to crush them and force their will on them. I don't see the good here, or how a "fair" evaluation of the situation will change these facts.
They have many levels of simulations for their processor designs yes but they’re proprietary.
The most insidious thing social platforms do is secretly ban and filter content to give the impression it is published when it is not. In any other situation, de-ranking, "shadow banning," and other opaque filtering while giving the impression of being public would be fraud. It's designed to steal the posters time and effort. Their platform their rules, except it could become difficult to justify using a platform to actively defraud people of their time and effort. Attracting peoples content with the promise of publicity only to sabotage it is straight bait and switch. I'm sure it's all very narrowly legal, but post-election lawsuits in 2022 will be ones to watch.

I'm glad this stuff is coming out, but there are viable youtube alternatives for sharing video. If they want stuff off their platform, just say so, and people will use new platforms.

I still believe this behaviour by social media companies will yield new platforms. The kids learning to code now are realizing there is a network of people using "censorship," to actively manage a simulation of a world with a manufactured consensus they find acceptable. We're barely a decade past the winner-take-all pattern of platforms, and a totally new dominant platform is less than 5 years away. I'm still optimistic that these platforms are the AOL, Compuserve, and Myspace of today.

This too shall pass.
sure it is
Those companies did not yet run price/performance analysis probably.
Most people that you meet are so concerned about what you think about them that they'll barely spend a thought on what they think about you. So if you get bad reactions to showing your achievements, the problem might be that the other person feels like you are diminishing them in comparison.

From my experience, the trick is to always focus on the emotional side of things. If you say that you feel super happy because project X worked out as planned, the other person can easily relate to that by telling you about their project Y that worked out well.

You might not understand (or care about) the details of each other's achievement, but the emotions why you enjoy talking about it should be pretty much universal.
Finding Alpha
The correct way to say is AAAUM and not Om

https://en.m.wikipedia.org/wiki/Om
That is worldwide. I am talking about the US.

In the US, BMW’s YoY in 2018 for 3 Series was -25%! [1]

Because you know, it makes just a bit more sense to compare them just within the US, where Tesla has had a chance to establish itself somewhat, compared to the 103-year old BMW.

The fact that Tesla sells almost 1/10 as many cars as BMW sells worldwide is actually pretty amazing, considering Tesla is selling purely EVs, all made in a single factory in the US.

When Tesla builds Giga4 in Europe in a couple years, then you’ll see the same effect there too.

There’s a reason BMW just fired their CEO.

[1] - https://www.press.bmwgroup.com/usa/article/attachment/T02893...
Show HN: vue-speedometer – Vue component for showing speedometer like gauge
> At that time at least in France “specialist” would tell the most random diagnostics with a straight face

Right, this does make the story (if not the underlying causes) sound more realistic.
Hi All,

`vue-speedometer` is a Vue component library for showing speedometer like gauge using d3.

You can see it in action here - https://palerdot.in/vue-speedometer.
source code - https://github.com/palerdot/vue-speedometer

As an aside, it shares its core with `react-d3-speedometer`(https://github.com/palerdot/react-d3-speedometer) which was recently rewritten by modularizing its core.

If you have a need for a similar component in your Vue apps please let me know on what you think. Feedbacks appreciated.
Cathay CEO Quits After Airline Caught in Hong Kong Protests
GEB by Douglas Hofstadter has an interesting section on translations of the Jabberwocky http://www76.pair.com/keithlim/jabberwocky/poem/hofstadter.h...
I doubt you're missing anything. "Offsetting" projects are based on hypothetical calculations of how much would be emitted without the project. This is the easiest part to fudge. And if they didn't fudge it, then people would pick cheaper projects or just not buy them at all.

What happens, for example, if refugees decide to keep using wood as well as the free briquettes? It could result in higher emissions (Jevons paradox).
That's an overly simplistic analysis.

>>If you owe them billions, it's their problem.

It is also entirely possible that if the US decides to actually make this (say) China's problem by overtly refusing to pay back the debt, everyone else who holds US Treasuries would start dumping them, driving demand lower and lower until both (US and China) the giant economies come crashing down.

That is, this may not a zero sum game. By which I mean, both countries could lose (and also end up taking the entire world economy down with them for at least a while).
What would be the bad effects of using simple words to talk, despite being capable of procuring needlessly complex terminological constructs?
Towards Knowledge-Based Recommender Dialog System
Check this video
https://youtu.be/-HMgaToaEac
I have seen the same stationary overlook on other fields and always blows my mind that people involve would get away with that.
I'm pretty sure people like Steven Crowder do not contribute to any diamond discovery process, can YouTube deplatform/demonetize him yet?

And don't start with "but how do we tell them apart" - sometimes it is very clear cut.
>Imagine if humans weren't born with biological mouths, instead synthetic mouths were invented and sold by a company, allowing people to speak. We wouldn't accept the company installing a blacklist of words or phrases to stop people from saying them.

But we already have that in European countries. Why do we accept this from the government instead?
Why did he write it up so badly? He could make his arguments so much clearer if he just stated them fully. Maybe this piece was meant for math PhDs, not a general audience. To me, it comes across as an attempt to impress the reader with the semblance of authority and knowledge, not to guide the reader through the reasoning. This style of writing is often used to hide bad reasoning, to gloss over weak arguments or deliberately deceive. He could have done a better job.
Thank you so much! I am just getting started with a widescreen modified K3
The old technique of threatening company’s business with mainland, unless it does what’s favorable for the political system. Easier to handle if you’re based in the US or elsewhere, but China’s closer here so the situation is challenging.

I feel like HK & post-Brexit UK could make great friends…
I know :). I actually hesitated, because of that. To be honest I ended writting and sending it just because this is Hacker News and such things are much better received here. In Reddit, for example, I wouldn't have bothered.

Also, I'm not "very smart". I have a high IQ, which might be correlated but it's a different thing. EDIT: I strongly believe that a high IQ means, above all, a fundamentally different way of thinking. Which might make you smart, and which is the main cause of the communication problems.
Can Google deprecate them self out of political and sexual scene also .. please no more parties with Epstein..
Apple fixes this stuff quickly enough for it to not be a huge issue, and if they ever needed to make iMessage a separate app like Android does with theirs they could do it. I'm certain they could remotely make it show up in the App Store in a moment's notice if needed. App store has root access, it can do it.
> It's not a hypothetical at all. This is bound to happen sooner or later.

Based on your hypothesis?

> Maybe the difference is that sick people don't riot?

So people dying is ok its just that they should not riot?
I just honestly enjoy doing it. I spend every saturday and sunday morning working on side projects at coffee shops - it's my favorite part of the week.
Fully agree. I've met many high-IQ people who treat normal humans with a sort of "I'm better than you" disdain. And, obviously, being too arrogant will make communication difficult.
Most people have the view that the USA is a democracy. The USA is not and has not been a democracy for a long time. Majority votes do not elect a president, electoral votes do. So you can, in theory, have millions of fewer votes and still get elected. As is the case with the current president and some past presidents.

The idea of 3 branches of government, supposed to put checks and balances on the democratic system is also a ruse. The President has the executive power to do almost whatever he wants. Never in the history of USA, any president has ever been criminally prosecuted, despite a long laundry list of atrocities conducted, nationally and internationally - since its existence. Congress will often blindly side with their party's elected President to pass or block any legislation, Even if overwhelmingly majority of the people of the country wants legislation it will either not get passed - or get heavily diluted by lobbying. The revolving door between private industry and government is a huge deal and perfectly legal which results in absurd things like Oil industry executives being in charge of the Environment Protection Agency (EPA).

The Judiciary Branch is also heavily politicized and partisan. Which is truer now than at any time in its history and will often side alone party line and there is nothing anyone can do about it.

This is, of course, an overly simplified version of reality. But don't call USA Democracy, its anything but.

IMO Corporatocracy is the closes type of US political system. This has been the case for a very very long time.

Some links:

https://en.m.wikipedia.org/wiki/Corporatocracy

https://thehill.com/opinion/campaign/413142-the-united-state...

https://www.washingtonpost.com/outlook/2018/11/06/united-sta...

https://www.theatlantic.com/magazine/archive/2018/03/america...

https://www.reuters.com/article/us-mitchell-democracy-commen...

https://www.bloomberg.com/opinion/articles/2019-04-11/is-u-s...
They can also just not upgrade their browser, then. If they don't have the time/energy they're probably still on IE anyway.
It just means the quality of HN is downgrading very rapidly.
Misandry is one of the biggest challenges in academia: all levels of education are predominately female instructors, and female students graduate (at all levels) at a higher rate.

Yet, in 40 years of women earning more degrees than men, we’ve never seen a serious program to help men reach equity in education — something that can only be described as generational scale institutional sexism, in bold defiance of Title IX.

And that’s because the women in positions of influence are sexists, who appropriate all of the educational funding for the female majority — often by telling emotionally manipulative sexist myths about men.

This has led an entire generation of men to struggle under institutional sexism, and has led to increased radicalism and social instability.
I strongly recommend Shambavi mahamudra Kriya taught by Sadhguru
https://www.innerengineering.com/

I’ve been practicing their 18 minute meditation for almost a year and it has been quite amazing.
> We need to find a way to sustainably live on this planet with a reasonably sized population

Well said.

Let's face it. Capitalism doesn't need to exist. What need to exist is the human race. Capitalism might as well be a byproduct of our rapid technological advances comes with industrial revolution.

If we think out of box, this might be as well an outlier of our history. Productivity rarely increases this much and drastically through human history, and guess what, the world is fine.

We might as well approaching the ultimate limit that we are testing the Earth's very capacity under the name of growth.

Maybe acknowledging that technology advances later will slow down (it probably already does), the easy to grab resources are fully utilized, and we might not further optimize our energy efficiency, isn't an abnormal thing in the future.

Capitalism is a tool we devised, now it has probably fulfilled its destiny, at least for that time being. And the focus of global governance should shift from being the economical winner to co-exist peacefully and sustainably in a controlled way.
> It's very common for young people to not understand financial matters like options grants. That doesn't mean it's okay to benefit from their ignorance, especially as the company is now making a large number of people very wealthy.

You have it backwards. If the person doesn't understand financial matters like options, a company could exploit that by offering them these complicated products in lieu of cash.
The only way to make recycling work is to make the waste worth something. It works well with beer and wine, with a deposit, 95%+ of beer/wine waste gets recycled. If tossed, the deposit is enough to induce street people to return the old container for the deposit.
Going a step further, I propose all items sold have a dual bar code. One part is the point of sale (POS) universal product code (UPC). I propose to add a serial number AND a buyer number to this.
The serial number is for that piese of waste, the buyer number is whoever bought it. Buyer number is permanent, tied to you and your address. The tie between the purchase and the items number and the waste item will prevent counterfeit garbage being made to get the deposit. The potential deposit thief will not know what was bought and for how much or where, sso faked ecycle returns will fail. Now a can or bottle is onlt worth 5 o 10 cents and does not drive countefeiting which 50 cents or $1 would - unless the check sum of who/what/where is consistent with the item returned.
Deposits need to be substantial, like 50 cents or $1 per item so the genuine buyer pays that when he buys it. The fee is large enough to motivate a high rate of return - which 50 cents or $1 will do. Recycling trucks will have bar code readers and each item must be scanned and the deposit credited to the buyer. The bar code will also allow the truck to divert each item into a category box where the items are all alike for best recycling practice. This will slow the process, but the process will be highly automated znc can be done while the truck moves, or back at a depot to keep truck mobility high.
This means ALL packaging. All plastic bags are outlawed, only paper allowed. paper bags reinforced with jute or hemp (jute/hemp are fibrous plant used for rope or reinforcing bags because it biodegrades). All packaging will, in time, be fully identifiable as well as biodegradeable. With all plastic being capable of a detailed machine sort and segregation the waste plastic will all be of one type for bext ability to recycle.
If someone tosses waste on the ground, the bar codes will identify who tossed it and he can either be fined or lose part of the recycle fee. Street people will be able to recycle items found on the street and will earn that fee. At 50 cents or $1 that fee will motivate street people strongly - might even cause fights?? Once an items is scanned as recycled, the cash goes to the buyer/reycler's account or the street persons one. Once this happens, the name is wiped from the system, but his cash remains as his deposit returned tax free, as it was his money in the first place. The street person also gets the $$ tax free

This sound like 1984, well, it is - in a way. We are heading down a globally unsustainable path with our trash. We either die of it, or we defeat it. Only people who die of it are 1984 casualties - those that recycle and get the $$ are not recorded, not taxed and are helping the world as we all must see the rising sea of trash needs to be dealt with rationally.
And yet, look at how well the average Trump voter is informed about Trump.

This might work if you leave the system undisturbed, but there are other forces involved in this process your model doesn't account for.

It's the equivalent of buying out EC2 instances for an hour or so and "recalibrating" your P2P mesh. And it wouldn't fix itself.
I think there’s a genuine problem with the way that compensation has evolved though. This is in the 2nd or 3rd thread tweet, she says perfectly upfront that she was 23 and had no idea. That is far from unique, I talk to all kinds of people commonly who have the same tales of their early career. And I don’t think it’s particularly healthy to have complex compensation structures where workers are unprepared to actually make intentional informed decisions. That is ripe for abuse and deserves some sunshine.
>The internet is making online discourse more and more important, perhaps online discourse is already more important than oral discourse.

It's an Eternal September[0] problem, though, in the fact that any discourse has effectively been quashed by setting up "us versus them" factions, yeah?

In our bubble (on HN), sure, we can have respectable (or maybe not so much) discourse but we all come not holding our fingers in our ears, stamping our feet because we think 'x' person is in 'y' camp.

You don't see the festering problems that have affected other platforms (yet) and I think it's very telling that we recognise that discourse is important - but we seem to be in the minority (in this sense of openness to exchange).

The problem with YouTube, however, is that discourse hasn't been a principle part of YoutTube for quite some time. Someone makes a video. If we're lucky someone else might make a "My Response To..." video and, if we're luckier, a further response might be made, "My Response to the Response To...".

However, all one needs to do is look at the cesspool that has become YouTube comments and they will see that discourse isn't a fundamentally important principle there (anymore).

The likewise goes with places like Reddit, which has divided itself into "us versus them" camps about almost everything under the sun.

So, I agree that (online) discourse is important - but it seems to be a bygone idea that a select few of us (present company included) are desperately trying to hold on to.

I'm conflicted as to whether that should give me a feeling of hope or an immense sadness.

[0] - https://en.wikipedia.org/wiki/Eternal_September
I strongly recommend Shambavi mahamudra Kriya taught by Sadhguru https://www.innerengineering.com/
I’ve been practicing their 18 minute meditation for almost a year and it has been quite amazing.
On the other hand, if you don't know those 24 characters you're going to struggle understanding anything. It's not sufficient but it is necessary.
The process also always informs the end result, whether you want to or not, for better or for worse. (Whoever is the judge.)
Oh yes. That's been the dominant approach at least since Computer Architecture: A Quantitative Approach came out in '89. The search space is pretty complicated, though, given the physical interactions as well as the logical ones.
Exactly right. Also you need to think about the sheer amount of dollars that China and Japan have. There are only so many investments that can give you a return on 1 trillion dollars without significantly adding to the risk of losing the principal. Treasury bills are essentially no more risky than the cash that you trade for them.
I work on this project: https://github.com/SerenityOS/serenity

We currently boot into QEMU by default for testing and debugging :)
I'm not sure why you mention Canadian legislation when this product is for America. Secondly, Canadian government setting these constraints doesn't mean that THC impairs driving. What is their evidence? Laws aren't always supported by science and data.
This is one of the first hands-on tutorials available on v1.9 mix releases - great content!
I must say I don't know much about ateji in Japanese.

In this case, though it does seem that the characters where chosen at least partly because of their actual meaning.

It seems that it is both an ateji and a jukujikun [1] because the word does not come from the characters but the characters do have the correct meaning.

[1]https://en.wiktionary.org/wiki/%E5%8F%AF%E6%84%9B%E3%81%84#J...
I think the article is quite correct with its statement that pure IQ is meaningless.

If you use your intelligence to learn something useful, that is, well, useful.

But if you just have intelligence and don't utilize it towards a purpose, it is useless, like an unused full battery.