skysight-inc/HackerNews huggingface dataset:
While I applaud the effort to recast Godel's proof in computational terms, I think this author makes a horrible mess of it. The core idea is extremely simple, particularly in today's world: strings of symbols can be re-cast as numbers (and vice-versa), and rules for manipulating those symbols can therefore be re-cast as arithmetic. The mapping between strings of symbols and numbers is called an encoding. Godel's original encoding relied on exponentiation of prime numbers, and that produced one particular set of mathematical operations that mapped onto the formal rules of Peano arithmetic. Nowadays we can simply encode symbols as ascii or unicode with the obvious translation into numbers and arithmetic, and that produces a different set of mathematical operations that map onto the formal rules of Peano arithmetic. All the rest, all the heavy lifting, is just cranking out the tedious details of what those mathematical operations actually are, but none of that is necessary in order to understand the core idea of the proof.
Sad that such a blatant ad makes it to front page of HN. Not sure how much I trust Google, but I trust these guys even less. The blog is an emotional rant. Not a single example of Google breaking anti trust laws. Translation - instead of competing by making a better product, we want our competitors to be taken out by government.
I've learned English just to be able to read Inside Macintosh. I was 14 at the time, with just primitive 'school' english that was completely useless in the real world.
I started to read novels, SF books and all I could find to get better just so I could read Inside Mac. In fact, I probably have to thank Inside Mac from most of my English basics as it also taught me a lot :-)

So I'm a bit 'branded' -- mind you, I still stopped developing for Mac a long while back now. At the time when the company tech was made by bearded cool people for Doctors and Lawyers to the time the company tech is made by Doctors and Lawyers for bearded 'cool people' with a latte :-)
It could be excellently implemented, but if it's too expensive for the market, the market won't buy it. Look at NeXTSTEP. Today it's powering a billion iPhones and millions upon millions of Macintoshes, but for its first 15 years, it was sitting in a box that was too expensive for the market to bear. Carmack and Romero loved them and they built Doom on them, but the market went for commodity x86, MS-DOS and Windows 95.

The components simply weren't commoditized to a level of being cheap enough to address a large enough market to thrive.
Please not IP. I hate it when stupid sites insist on switching to Latvian or whatever because that's my current VPN endpoint.
yeah - I think it's fully explained by a virulent plague of memetic brain worms, and doesn't need a conspiracy. I recommend Neoreaction a Basilisk by Elizabeth Sandifer to get a handle on it (and not just because my name's in the first sentence).
One of my favorite calculus textbooks that I've ever read is (Calculus Made Easy)[http://calculusmadeeasy.org/], available in entirety at the link. The book does a great job of not being pretentious about the subjects, the subtitle is even "What one fool can do, another can."
> All of this teaches one lesson: be more like Apple. Treat your customers poorly and massively overcharge them. Make sure you are never the biggest in your field. Essentially, don't offer products that are too good for the price.

You’re wrong on both counts: Apple has its own share of potentially monopolistic behavior, and there are billions of people worldwide who disagree with you on how the company treats them.
I agree, the teacher union strikes in Chicago ground the whole system to a halt with 300,000 kids not in school. If prolonged it could've seriously hampered childrens' progress in education.
What does it mean to serve first party ads? The ads are (mostly) for third party products/companies. Newspapers also run ads for third party products. The only difference is that the ads/sales department at the NY Times is substantially less complex (and lucrative) than the same at Google.
what else is there to search, honestly? 1000 headphone affiliate sites? "honest" reviews sponsored by sennheiser? Reddit at least provides generally-ungamed reactions and high density of opinions. Adding "reddit" is the default for any search that matters for me nowadays. I was just searching "game payment gateway" , reddit had the most informative comments.
Yep. What I'm doing with buildroot is maybe a couple dozen packages. Fresh build, with toolchain and all, takes around 20 minutes, and I end up with a 10MB image that contains the kernel & userland, plus another image with bootloader. It didn't take long to get there, the learning curve was very shallow.

I wanted to give yocto a chance but after a week of getting nowhere I want to be with it, I turned back to buildroot.
Why Do Progressives Hate Gentrification?
Dynamic Import chunks from other webpack bundles
The UI is not very clear. It's not obvious that you must doubleclick a node to expand it. Also, the options in the first move is to wide and it doesn't enter in the screen.

Feature request: Can I permalink a node?
>> Aside from [...] libel
I don't know of such a breakdown, there is a list on this page of some of the projects they contribute to as well as their own open source code. https://aws.amazon.com/opensource/?opensource-all.sort-by=it...
I think it's happening. When a friend signed up with one hospital, their diagnoses & medicines subscribed showed up from other unrelated hospitals and clinics too. It wasn't a full import, but it was a lot!

Also with most lab work being done by quest & labcorp, I think that is pretty close to being portable for the %80 case too.

I think this is what apple health is also trying to do.
so , a hit piece. cool.
The Surprising Endurance of the EReader
DDG's main selling point is that they respect your privacy. I could not care less where they get their results from. As such, I continue to take their "PR" seriously.
There was a political scandal in the UK when a politicians wife took points on her license for him, to prevent him getting a driving ban. The camera that clocked him only checked numberplates. She grassed on him a decade later and went to jail for her trouble.

https://www.theguardian.com/uk/2013/mar/11/chris-huhne-vicky...
While this is true I tend to solve problems in bulk. I do not want to post 16 questions all at once for people to check my proofs. Sometimes people think you are a student and are trying to get answers for homework assignments.

It would be better if authors would write textbooks aimed at beginners that are self-studying and thus provide solutions. The author of this textbook has a missed opportunity by ignoring to provide solutions. I don't recommend this book to anyone for this reason.
I started using librepcb for some smaller projects last year after having some issues with kicad. My thoughts after manufacturing ~10 boards:

* It's simple, but what is there works reliably.

* Library management works really well.

* There are some issues with grids and alignment

* DRC was available in the ui but could not find any errors (have not tested 0.1.3 yet).

* No auto place/route. Horrible default placement.

* Minimal manufacturing support but what is there works

I moved from kicad when my old designs started looking different/broken due to updated components (!!). How can kicad team allow this?
Godel was himself a Platonist and didn't view incompleteness as a refutation of Platonism, rather as a restriction on the avenues of human access to mathematical truth.
Invariant under Lorentz transform.
Yeah. And even if their hobby is tearing up cash to mulch their back yard, I don't think it inherently harms anyone. There's a lot of talk about a wealth gap but it still feels like those caught on the wrong side are more prosperous than they used to be (eg they have smart phones and many other modern conveniences which didn't exist a few decades ago).
A Poisonous Mammal Evolved Its Venom
This is not always fair but saying “500mg of acetaminophen” is more likely to get you labeled a kook or someone with illness anxiety disorder, at best someone trying too hard, rather than a pro. Doctors in the US say Tylenol.. like most brand names it’s easier to say than the generic.
> It’s really sad to see the anti-success rhetoric

Oh, come on!

Google is not doing its job well, other could do parts of it much better, but Google is too big to allow others to enter its same space, so we need alternatives that can put pressure on Google more than we need Google.

The "people hate success" rhetoric is so sad it can't even be measured.
The phrasing in his comment was vague. The first part "Why do you think Google Search still knows" can be read like a rhetorical question, especially when combined with the outrageousness of the alternative (that Google isn't tracking you)

And if he really is saying that Google doesn't track you in incognito mode, then I'm going to go ahead and assume he's either lying, or he's not in a position to know about that system. This is Google we're talking about here.

https://www.theguardian.com/technology/2017/nov/22/google-tr...
Too many questions, my friend, shallow questions. And it seems like not for a good discussion, but for pushing your personal opinion, manipulations, or some agenda.

Please, do some research - on how a large country can make a small neighbour dependent on money injections, how they can ask to pay for credits with key state factories, keep hordes of agents and influencers in their governments, military, among politicians, on the history of Russian relations (btw, yesterday Finns remembered Winter War https://en.m.wikipedia.org/wiki/Winter_War).

“So you are saying that you would’ve stayed in Belarus if not for Russia”

I never said that, bad try.
Which urban myth do you see being spread in this thread?
> how to make transparent aluminum

Which is just alumna (aluminium oxide, AKA ruby and other gems).
and then take a look here and you will realize the actual danger.

https://www.youtube.com/watch?v=TIlEYGFBECU

there was a lack of fear or caution in the first video,
when a robot could easily twist a human like a lemon wedge.

management of public perception could make soldiers obsolete.
There's the !sp on DDG which gives you Google results without all the profiling using StartPage.com
Thanks for posting this. I'm planning to start work on my first ever PCB tomorrow and I'll try learning this instead of KiCAD and see if I need to switch or not.
Sounds like a good plan. Drop me an email if you feel like chatting. I’m always interested in this stuff.
One of my great surprises coming into my masters degree in condensed matter theory working with superconductors was just how poorly we understand them.

We have these incredibly seductive theoretical frameworks for thinking about superconductors which we know are deeply flawed, but it seems nobody (myself included) has the vision to see an alternate way of looking at them.

The tyranny of the BCS theory of superconductors is real.
Haha right! Quake also ran from the console. I spent my high school years working at an ISP NOC in the 90s with one of my responsibilities being to maintain the game server (battle.net & Quake)
As others have pointed out, DDG appears to use Bing for the majority of their results, as such is not a "truly independent search engine[]".
One man’s “flame bait” is another man’s truth.
Thanks for linking to the 1997 WDC (only 1 "w"!) Q&A with Jobs. For those hoping to cut to the chase, the timecode for Jobs' prompt and the hapless attendee who asks "What about OpenDoc" is 4:26 [0]

The four and a half minutes prior are interesting (thoughtful introduction, Jobs' framing of the session and his brief thoughts about Apple's current position), but what he says in response to the questions following the OpenDoc question is deeply thought-provoking.

Many of the ideas Jobs shares show the general shape of recent and current Apple business decisions macOS and iCloud, for example. Especially interesting are his discussions of NIH syndrome, networking, and more.

Thanks, twoodfin, for pointing to this session which punctuates Jobs' return to Apple the year previous.

[0] https://youtu.be/yQ16_YxLbB8?t=266
You claim it wasn't "appropriated" then you dismiss it as an "old testament." I think the OP's point was proved.
key=value is a convention used in so many places that have nothing to do with form encoding

Would Java developers see this and imagine you're passing values for a .properties file?

If you've never seen the tool before, you also wouldn't know how it works at all. Once you hit help for the first time (you know, to actually learn how to use it), knowing it defaults to JSON is pretty much a base truth.

It's entire value proposition seems to be stongly tied to JSON support (2nd highest feature in the pitch at the top).

This is like saying you'd forget jq takes JSON strings...
To echo this, Godel was influenced by Cantor and Leibniz, both definitive Christian theists. Godel himself was also a theist.

Cantor believed that he had been chosen as a messenger by God to be the recipient of what was to become set theory.
>I too have a problem with math tools passed down without any surrounding context

Also one of my peeves. However over the years I've come to realize that in addition to teachers who omit the context, there is also a class of student that actively doesn't want to hear the context. I'm not sure exactly why this is, but I see it in my immediate family quite a bit. A sort of <cover ears, lalalala...too much detail> kind of thing perhaps due to difficulty taking on too much information?
There's https://www.qwant.com/ from France. They crawl the web on their own but it's a big job so they currently supplement with data from Bing.
I've heard some great podcast interviews on it. I think the answer is some of both, since I do think political opportunists of many sorts manipulated and rode the wave.

I do also recall LW as having a fever ward stench too when I visited it back then... not as overpowering as the 'chans, but bad. Its the stench of a lot of people thinking about and discussing nothing with many words.

In any case maybe we will emerge with a greater immunity to pseudoprofundity and superficial appeals to ego wounds and personal triggers (like male insecurity).
"Hate speech" is such a glaring flaw in "freedom of speech (EU version)" that it invalidates the concept. These laws differ by country, which makes it a nightmare to follow. Some of them have historically been quite silly. There was a case in 2008, where a protestor was fined because he wrote something along the lines of "get lost, jerk" on a sign directed at the president. This eventually got overruled, but it should never have been a case at all. Then there are also the obvious cases such as Count Dancula or whatever he's called.
> what I've talked about before here on ycombinator

Please don’t lower the quality of discussion like this. It’d be nice if you could discuss the content of the comment itself, politely, and refrain from attacking the poster by claiming they have a hidden agenda.
I don't think it's a hugely controversial statement to say that the hobbyist circuit/pcb design scene is a lot smaller then than the number of hobbyist graphic designers. So the question is more can the community actually support two/three of these programs while also offering enough features for both to be usable - or do we just get two/three effectively unusable programs with no library support.
You can litter this thread with as many comments about organized crime and labor as you like, but it no way describes the entire history of labor struggle in the US and elsewhere or it’s overall bent (you admit this yourself in relation to European unions). And is it actually your supposition that a union at a place like Google is going to be taken over by the mob? Who do you expect to believe this line?

If you want to actually unwind the history of organized crime and unions in the US, you would have to also get into their long-standing ties with intelligence and federal police services, especially as a means to disrupt and purge communists from the labor movement. A good chapter to examine might be what drove Hoover’s odd, counterfactual insistence that the mafia more or less didn’t exist for a good part of his tenure at the FBI. Or the CIA’s Operation Gladio and it’s involvement with the Italian mob.
This looks very interesting on first try, I'll take more of a look when I'm on a decent screen.

Can you at the moment, or would it be possible to show a position score calculation at each point? Obviously that is going to be time intensive if the scores are not already available in your source data, but it might be a useful addition as an option at any point. Explanatory comments also - where available - would be nice.

Excellent work, good luck.
This opinion will be unwelcome here, but:

Why on Earth is anyone showing interest in this self-congratulatory blog post, in which Kun even feels the need to say that he didn't make any errors in the text, just oversights?

The only reason for this book to exist is Kun's egotism. His whole online deal is smug self-promotion, and he seems to lack the self-awareness that would enable him to tone it down. He is a caricature of the arrogant tone-deaf geek.
Fellow Invernesian here — you still local or escaped for different pastures?
Reddit is a great option (and this is exactly what I do for a lot of searches as well) but its only one of many forums. If you're a programmer searching for headphones, results from HN would be great. If you're a designer, then results from DesignerNews. If you're using them for travel, then you probably want /r/travel.

Reddit is a great option, but there's a TON of hidden forums out there that are gold mines for information, which is something I've been also keeping in mind while building this product.
I think it begins with binomial expansion and coin tossing.

e.g. https://socratic.org/questions/what-is-the-difference-betwee...
One time I tried to install HTTPie from ubuntu 16.04 apt repository I got an old version that was not compatible with httpie-jwt-auth so I had to install it using pip.

1. pip3 install httpie.

2. python3 -m pip install httpie.

3. sudo pip install httpie.

Finally, it was working. Last week I upgraded to ubuntu 18.04 and surprise, httpie is not working. I didn't bother installing again from pip. Luckily this time, apt repository had a recent version.

Scrolling back through my terminal history, I see that I went through the same struggle with s3cmd.

So yeah, installing anything that requires python is a bit painful. Fortunately, someone in the comments mentioned https://github.com/rs/curlie which is an HTTPie alternative in golang.
Instead blame the NIMBY cunts?
As blog post mentions, more than half of Google searches do not result in an (out-)click, but stay on Google. So, the comparison is not completely outlandish.
SIGARCH finds no improper peer-review in events leading up to student's suicide
In June 2019, Huixiang Chen, a PhD candidate at the University of Florida's Department of Electrical Engineering and Computer Science was found hanged from a building on campus. He had killed himself, but prior to doing so, he sent a suicide note to his friends.[1]

The suicide note alleged a series of severe violations of the peer-review process for a paper submitted to and accepted by that year's International Symposium of Computer Architecture (ISCA).

In August, ACM SIGARCH and IEEE TCCA launched an investigation into the allegations.[2]

The investigation recently concluded, with the investigators finding no improper actions taken during the peer-review process.[3]

[1]: https://medium.com/@huixiangvoice/the-hidden-story-behind-the-suicide-phd-candidate-huixiang-chen-236cd39f79d3

[2]: https://www.sigarch.org/other-announcements/sigarch-tcca-statement-on-investigating-reviewing-irregularities/

[3]: https://www.sigarch.org/other-announcements/outcome-of-investigation-on-isca-2019-paper/
... And the AMA is lobbying for that increased funding?
Could you fork it instead? Make a copy of the whole thing and then let the two compete over time.

Counterargument: you can't copy the people who know how it works.
For one, the opinion is put forward in a pointlessly mean way
1) Doesn't Amazon charge for ingress and egress transit, and isn't this unusual, and isn't it more expensive that way? I could have swore I recently calculated AWS transit to be something like 20x the cost of that in a normal colo datacenter. Maybe there's something in AWS billing where this only comes into play when you cross certain technical boundaries, I don't know enough to say, but I'm thinking it would have to be something like that in order to "save a ton of money."

2) Contemporary site/app development renders the latency of individual requests irrelevant. The whole page is going to boop and bounce around for 20 seconds anyway, why make a big deal about it?

The web is a measurably worse experience now than it was 10 years ago (maybe even 5), so it's ironic that Goodhart's Law has led so many astray toward measuring smaller and smaller trees within a growing forest. "Well but we have to get the request for number of friends below 10ms" while the other 400 requests on the page are dilly-dallying and experiencing their own latencies. Then the CSS gets applied.
>Isn’t it either the right metric or not?

To illustrate, perhaps an example closer to home:

If someone asked you to tell them "how many lines of code in this project?" you'd start wondering things like "do I count comments?", "do I count dependent libraries?", "perhaps some metric that is equivalent of a statement count but not strictly counting lines?" and on and on.

Statistical measures are like that. Someone with a decent knowledge of the problem space came up with the best stab at how to characterize the data.
There are other ways to fingerprint users, though if Google is using them they’re certainly not making it obvious by allowing users in incognito mode the ability to sign in to their associated account.
Interesting, I'll start using that short version now. I always hated the long version because it took up a ton of vertical space and I didn't need the extra verbosity. In fact, I'll probably teach me kid that method when he gets to division in school.
> Network effects come into play pretty strongly here with libraries

positive only when managed correctly. Kicad includes tons of low quality libraries. I have had non-working pcbs thanks to crappy kicad libraries.
Awesome! Thanks for the info!
Makes sense. In 2012, I was at a Fortune 10 oil and gas company that suddenly got squeezed by Oracle as our licenses were expiring. Given that most of the in house software was running on Oracle and leveraging one off functionality and APIs not standard in competitors or in the open source community and that most of the original devs had moved on (most were IT contractors anyway), we had little options. And the rates Oracle gave us were absurd, but they knew we were locked in, and they understood the industry was doin well and we had money (this is before the markets downward dive).

If you’re a cloud company, you absolutely, 100% do not want to depend on an Intel or AMD. If anything, as CEO, this is probably one of the what if scenarios that would keep you up at night.
Perhaps what's needed is an antitrust breakup which forces Google to divest its ad business. They can then sell wholesale search to others, who can compete by monetizing it.