skysight-inc/HackerNews huggingface dataset:
At my previous job on my last day there was no one in my reporting line around so I went to the group next door and asked their manager if I could hand in my company BB and credit card to him instead. He was bemused but said OK.

An hour later I get a call, I have to come over there urgently. When I get there, that guy has organised me a leaving party on the fly. There were 30 people, cakes, and a card full of nice messages. Several people made speeches. I was totally blown away, he didn’t need to do that at all. If I had worked for that guy I probably never would have left...

I've had a few girls tell me, after it was too late, that they always had a crush on me.

This started happening to me after I got married.
I'd prefer if people said why they consider the code good, instead of throwing out a bunch of random projects.
Sourcegraph CEO here. Yes, Kythe is a very ambitious project and we have a lot of respect for the team building it inside Google. source{d} (https://sourced.tech/) is another company doing awesome things in the code analysis space.

From our POV, the more people trying to accomplish these things, the better, because:

1. As developers and humans, we want these things to exist!

2. Our business and product is a code search and browsing tool, which benefits from better code intelligence/analysis. We don't sell language servers directly; we sell a tool that makes use of them.

(For interactive tools (editors, code search, and code browsers), which is what we're primarily targeting, LSP (https://microsoft.github.io/language-server-protocol/) is a better fit than Kythe.)
What is the relationship between Sourcegraph and the LSP? The Master Plan reads like you were part of creating it?
The only core library code I needed to look at was namedtuple, which is pretty incomprehensible even with context.
There would be zero cost for renting the space. Well, until communitys fetch on and have special laws for this solution.
>>> But for the Web site for my startup, early on it was clear that I needed a good key-value store as a Web user session state store (server). So, I designed one, coded it up, and have been using it. It seems to work fine.

Well depending on what error scenarios you might run into your code will work until it runs into those scenarios.

Few ideas what could go wrong you can get from this video:

https://www.youtube.com/watch?v=4fFDFbi3toc
There is a big difference between explaining / teaching a proof and verifying its correctness. We're talking about the latter here.
That's a good question - with d3fc we have a component for label layout, but this is designed for labels within the plot area, avoiding overlaps / collisions etc ...

https://d3fc.io/api/label-layout-api.html

I have thought about creating a more advanced axis that provides more powerful tick label layout. We already have our own axis component:

https://d3fc.io/api/axis-api.html

The purpose of this is to support the decorate pattern.
> If they had a question on a change, it would add two days latency

Wouldn't that be just one day? You ask the question while they sleep, they answer while you sleep, you get the answer the next day.
Worst Puzzle Ever  (2009)
> The reviewer gets to see a another dev's code along with a good description of what that change does so if there's an emergency someone on the team might actually know where to look.

In an emergency, you need developers to be able to figure things out regardless of whether they have seen something in a code review or not. Knowledge of a code base is built much more efficiently by actually working on it and, to a lesser degree, reading the code. With the time you save not doing reviews, you can let people write tests or do refactorings to build that exact skill directly, instead of having it be a side-effect.
Hah, those code reviews must be fun. At least as much as a Scala one ;)
Ah. The docs read like k8s was the only concern.

I’ll keep an eye on it for possible future day where it supports bare OS.
Sourcegraph CEO here. I have been a near-daily Emacs user for 15+ years. The unsolved problem for you and me as Emacs users is this: I wish I had the same high-quality extensions that VS Code users get. I use VS Code 1/3 of the time because the editing experience is so much better in many languages (such as TypeScript).

Have you tried VS Code? I would highly recommend you try it if you haven't yet. I think you'll see what you are missing.

(Of course, Emacs has many awesome features/modes that other editors lack, too. The same principle applies there.)
The PC was an accident, which IBM repented themselves quite heavily, tried to regain with PS2 and failed to do so.

If the current trend of UEFI and laptops without any expansion options is any indication, that open PC of yore will fade into a very tiny niche, as computers become appliances.
They are, however, expected to make the machines fair and up front about what they're doing. Randomly rejecting the user's inputs because of knowingly bad hardware isn't part of that deal.

The reasonable thing to do would be to disable that play mode altogether, not rig it.
> First, there is no universal "semantic". The meaning of things is ambiguous, and given a broad enough pool of people and cultural contexts, it becomes nigh impossible to converge on a single consistent model for individual terms and concepts in practice

It sounds like the Semantic Web failed because we tried treating a longstanding (and possibly unresolvable) ontological problem as a straightforward and technical one.

I don’t really follow academic philosophy, but is it known these days if such categorisation problems are even “solvable” in the general case?
I like the Laravel framework. It has a clean style to it.
More changes coming to Instagram, including gifs in the DMs and
Formal proofs increase trust in mathematics. E.g. Fermat's Last Theorem is supposedly true, but I can't understand the proof. I have to trust the mathematicians who say the proof is correct, and I know that in other fields (most notably with the replication crisis in psychology) people accepted things as true when they weren't. If I had a formal proof I could run it through a theorem checker and see that it was correct, and I could use multiple independent implementations of the theorem checker for more confidence. If I'm using human mathematicians as black-box theorem checkers, I don't have the option of using multiple independent implementations, because all mathematicians work with other mathematicians, so it's possible that they're just agreeing with each other's mistakes. With the software I also have the option of examining how it works, all the way down to transistor level if I want to.
Thanks, I’ll certainly take a look!
Isn't Google's Inference API for time series data? Finding patterns? Prolog is more of deductive logic engine right?
"Highest" I don't know, but "code whose quality I look up to", then:

For C: Process Hacker and some similar code that is designed like and written around Windows kernel APIs: https://github.com/processhacker/processhacker/blob/master/p...

For C++: Some of the Boost code, and stuff like it, such as P-Stade Oven: https://github.com/himura/p-stade/blob/master/pstade/pstade/...

For others: (need to look later, I forget)
Especially “this”.
> Did you read the article?

Unfortunately, I did. Did you?

The article claims that even after all the safety mechanisms were installed, people were still irrationally afraid of automatic elevators, and that a PR campaign was required to help people to stop fearing automatic elevators.

The implication is that people are similarly irrationally afraid of self-driving cars.

I claim that this is an idiotic comparison because people should be afraid of self-driving cars until they are proven to safe and reliable. So far, all we got is PR.

As you so sensibly pointed out, building a self-driving car is orders of magnitude more difficult than automatic elevators.
This is a bit out of touch with reality. People generally care a lot of what others think of them.

Personally I can't even grasp as how one can think that 99.99% of people doesn't matter. They most certainly do to me. Why would I not care about "them"? I believe seeing others as a waste of time is probably not doing yourself or anyone else any good.

This isn't to say I base my self-worth on what others believe to be true about me, but staying open to their perception makes it easier for self-growth. I get more input and can evaluate it and see if it's something that I should implement in myself or not.
> I live in Europe, and find it weird that people can consider the week to start on Sunday.

You are almost certainly neither Portuguese nor Maltese.

In these two European languages, the days of the week are literally numbered as if Sunday were the first day of the week.

Portuguese: Monday is "segunda-feira" which means something like "second market day"
Maltese: Monday is "it-Tnejn", which AFAICT means "the second [day]"

In both languages, most of the other days have similar names, representing their position in a week that starts on Sunday.
Html was literally invented for sharing academic research. The fact that it can also be used for shopping, banking and showing your friends your holiday slides is an happy accident.
Sourcegraph CEO here. Microsoft designed and released LSP. We are eternally grateful for that! We played no part in its creation. The first LSP mention links to the repo at https://github.com/Microsoft/language-server-protocol with more info.

We have, however, built and/or sponsored many language servers. (Those, in turn, build on compiler APIs that other people tirelessly created, to which we also owe thanks.)
Ask HN: Where can I find a text file with a set of representative URLs?
My google-fu is failing me today.

I'm looking for something similar to an a list of phrases but for URLs.

A phrase list looks something like this: https://www.phrases.org.uk/meanings/phrases-and-sayings-list.html

Is there a standard text file with various URLs of random web sites?

Ideally some URLs would have the path, query and fragment components.
Why are these digital service blocks seen as anything but tariffs by the US government? They cost American companies billions of dollars and help enrich Chinese companies.

Yes, maybe censoring is the purpose, but the financial effect is the same.

I'm not opposed to foreign countries fighting against tech monopolization either, it makes sense from their perspective.

I'm just wondering why the US government doesn't seem to see it as a hostile act and respond likewise. Do they just not understand the effect it has on American companies? That senator asking Zuckerberg how Facebook can offer a free service comes to mind...
I'm not saying we shouldn't study why kidney stones occur and how to treat them, but saying they are "beautiful" does not contribute to our scientific understanding of them.
This is unnecessarily cruel. Design is subjective: someone liking git's UX design doesn't mean they "know nothing", just that they have very different opinions from you.

And please don't respond to this telling me all the ways git's design is bad; I'm not disagreeing with that.
> If you want to go around the central objective of the exercise - which is to adapt yourself to solve the problem - at the end you are only cheating yourself.

So the "central objective" of that problem is not important? And we shouldn't rely/memorize on 1 unique way of problem solving?

To understand your correctly, you mean we shouldn't just learn to solve an unique problem, but approach the problem like a general problem solver/thinker?

I am used to work on understanding/learning solutions to mathematics questions when I don't know how to solve them myself. And keep on practising similar questions and eventually harder questions to get an A in exams or answering the doubts of my friends.

When I have started to do programming nearly a year ago, It's really squeezing my brain hard. So far, I can tell that only one type of mathematics is similar to programming, is those questions that ask us to derive complex equations for n (like big o notation)
I live in Northern England and a couple of years ago my wife and I visited the town of Staithes[0][1] on the the North Yorkshire coast.
To get there from where we live you have to go around the North York Moors, either travelling east and north up the coast or north and east. If you take the latter route you can end up going through Cook's childhood home of Great Ayton.
I had no idea Cook was from around there and that he lived in Staithes.

Staithes (along with Robin Hood's Bay[2] further south) is an amazing example of what English fishing ports were once like and I encourage everyone to visit if you have the opportunity.

[0] https://www.google.co.uk/maps/place/Staithes

[1] https://en.wikipedia.org/wiki/Staithes

[2] https://en.wikipedia.org/wiki/Robin_Hood%27s_Bay
I admit I don’t have the knowledge to make my own assessment, but I’ve read some downright poetic praise on djb’s work [1], and more than once.

[1] https://cr.yp.to/
Nothing is wrong with what you designed. It's simple, it does exactly what you want it to do and best of all: you understand it end to end.

However, if you're asking why people spend so much time writing Key-Value stores, the answer is that what you've designed is, I'm assuming, using the filesystem to store session state for each user, which is pretty much a Key-Value store unto itself. So people who write databases feel the need to reimplement the algorithms in that filesystem layer, and expose them over a TCP api rather than system calls. There can be performance and scale reasons for this. But the filesystem is the oldest trustiest Key-Value store and if it's good enough for your purpose it's so much easier.
Xiaomi Poco F1's low price is ad-supported
Lambda School
>I can prove Pythogoras' theorem with a diagram

I don't think I agree with this statement. As a matter of fact, I've always had a deep unease with so-called "geometric proofs", where a succession of visual transformations of a diagram are used to prove a theorem.

You can certain explain the intuition behind the proof of Pythagoras theorem with a diagram, and there's huge pedagogic value in doing that.

But to me it isn't a formal proof until it has been codified in a language that a computer can walk from start to end making sure each step is valid.
Free cryptocurrency giveaways are becoming real business model
These secure boot systems exist because of DRM protection to media that is mandated by the content companies. Their point is to verify that the whole OS from kernel to userspace can't be modified by 3rd parties (such as you, the owner of the device).

It boils down to "no secure boot, no DRM, no Netflix 4k for you".

At least this was the case when I was still working with consumer electronics a few years ago.
I have two special needs sons and I've done all kinds of therapy and what not. So kind of randomly:

Nutritional supplements actually have a better track record than drugs for dealing with things like ADHD. If you can pinpoint the things that you need for your brain, you can see real improvement over time.

B vitamins, high quality salt, the right fats and certain minerals, like magnesium and calcium, are likely candidates. Start a journal. Try one and only one new thing at a time to see what it does. Don't buy multi vitamins. Get individual supplements and make sure they are bioavailable.

Mold problems at home, work or anyplace you spend a lot of time can have significant negative impact in mental function. Try to root out moisture issues and mold problems.

Start a private journal and deconstruct what people say to you, how you feel about it and why you feel that way. Most people aren't terribly nice. The veneer of civilized behavior tends to be pretty thin. It may be more them than you. You may find your reactions aren't as irrational as you think they are.

During my divorce, under circumstances where I didn't really care how things played out and a lot of men were chatting me up, I point blank asked men what they thought was attractive about me. This was incredibly eye opening because every one of them had a different answer. So my ideas about what made me attractive -- that it was X or Y specific thing -- were completely busted and it was a fantastic experience. People are attracted for reasons specific to them. It isn't really a case of "I have X trait and that is my main attraction."

So if you ever have an opportunity to participate in a workshop or similar where you can get feedback from a variety of people, you might be surprised what you learn about how the world sees you. It can be a wonderful antidote to the thoughts about yourself that dominate your self image.

Similarly, I did a series of self portraits in therapy and that was eye opening. Most people don't really have a clear idea of what they look like. Their idea of themselves is often something of a caricature that exaggerates specific traits and underplays others.

Best.
Excellent point. What mathematicians write to each other are arguments not proofs. Machine checkable proofs are really proofs.

This should not be embarrassing to mathematicians. It opens up potential for a lot of progress in several directions. Arguments can become better ways to communicate with humans. Proofs can be developed where needed to resolve questions about arguments. The relationships between arguments and proofs can be improved. Tools for each can be developed without having to support both.
Tom Lehrer performing two versions of The Elements, the original and the Aristotle-ian:

https://youtu.be/AcS3NOQnsQM
That was exactly the point, if you abstract then you are handwaving details (unless you abstract inside a formal system that itself defines methods for abstraction and then you are back to square one)
Because if you're compositing on the GPU, you're not compositing on the CPU :) It shouldn't help that much with video players, but it does always help a little
Definitely agree with this. Both the documentation and code are of excellent quality. Others that come to mind are sqlite and zeromq.
There's a follow-up: https://infiniteundo.com/post/25509354022/more-falsehoods-pr...
I think putting opinions in code review comments is fine, as long as you’re clearly indicating it as an opinion. The worst is when a reviewer tries to justify their opinionated comment with some vague appeal to style or readability instead of “I hate this part, ship it”
Even the fruit is trying to kill you.
That's exactly what I thought. What's the harm in just telling them? He makes it sound like it was completely out of his control.
> unlockable by a single switch in the developer settings

Nexuses/Pixels, OnePlus, Xiaomi's Android One line (Mi A1/A2) do not require unlock codes.
I hold the source code of Go standard library & base distribution (i.e. compiler, etc.) in very high regard. Especially the standard library is, in my opinion, stunningly easy to read, explore and understand, while at the same time being well thought through, easy to use (great and astonishingly well documented APIs), of very good performance, and with huge amounts of (also well readable!) tests. The compiler (including the runtime library) is noticeably harder to read and understand (especially because of sparse comments and somewhat idiosyncratic naming conventions; that's partly explained by it being constantly in flux). But still doable for a human being, and I guess probably significantly easier than in most modern compilers. (Though I'd love to be proven wrong on this account!)

At the same time, the apparent simplicity should not be mistaken for lack of effort; on the contrary, I feel every line oozes with purpose, practicality, and to-the-point-ness, like a well sharpened knife, or a great piece of art where it's not about that you cannot add more, but that you cannot remove more.
One of China’s larger tech companies also owns a competing streaming service with casting in Chinese, so most Chinese viewers generally don’t use Twitch.
I've started doing everything in LaTeX - diary, everything I'm learning about, books I'm writing, maths, documenting my programming etc - the last few months too; it's going great. It took a few months to learn about LaTeX packages, basic TeX etc. (And every time I use TikZ I've forgotten it all again..) It's especially useful mathematically in avoiding errors when doing page-long calculations with pen and paper - copying lines instead of writing them out, and the whole thing looking so lovely and neat - eliminates 95% of the errors I made before, and it's faster. I still do ideas, sketches etc on paper, but anything that's likely to be want to be kept goes straight into LaTeX.

But also..all my favourite books have markings on each page, margin comments, turned-over corners etc. Any pdf book I read more than once or twice, I'll get a paper copy, I think.
Lua. It's has everything a good C project should have: small size, simple build system, portability by using the simplest constructs and not ifdefs, a clear and well define scope that none dares trespassing.
> No AI needed, decades old tech suffices.

This can be said of quite a lot of startup companies these days.

Compare the Zume robot shown in this video https://www.bloomberg.com/news/articles/2018-08-07/softbank-...
to any number of videos showing factories making pizza such as https://www.youtube.com/watch?v=jdWftLcvmGM
https://gist.github.com/soupi/73ab7dfd4d65fc68b62868d56b720b...
Took a look at Provakil and it seems interesting.

May I ask how much a typical engineer startup salary is in India? I had heard they got pretty high with all the US companies opening offices there (like 50-60k USD+)
Would it be possible to simplify the system by making default assumptions about a consensus/common-sense logic? Are topologists interested in different logical foundations?
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p098...

The people that actually implement coroutines in the compilers actually think that eliding the allocation is very doable.
This could be said of many comments in many threads, but by posting a comment you're polluting the site as much as he is. Downvote and move on.
Hey there! Thanks, great comment. I'm considering rearranging the topics when it's finished.

My thinking was that the event loop is one of the first thing that you'll encounter, i.e. app.exec() in main, when using Qt. The fact that the flow of the app is event-driven is important to understand when working with a GUI toolkit and thought it would be good to introduce early on (even though you rarely use the actual event system itself). Perhaps not as a first topic though.

Yeah, I realised that it shouldn't be Shown HN, but can't find a way to edit it, thanks.

Appreciate the feedback, cheers!
SQLite.

and for this reason alone!

https://www.sqlite.org/testing.html

As of version 3.23.0 (2018-04-02), the SQLite library consists of approximately
128.9 KSLOC of C code. (KSLOC means thousands of "Source Lines Of Code" or, in
other words, lines of code excluding blank lines and comments.)

By comparison, the project has 711 times as much test code and test scripts -
91772.0 KSLOC.
I understand that other people don’t think like me. For me this would be little different to the current status quo with gory horror films, which I abhor almost vitriolically.
> Mathematicians digest papers nonlinearly.

That's a fairly weak argument: you can browse an electronic document in a non-linear fashion way easier than a book.

And also: books don't have CTRL-F
I believe the roar around GDPR in the EU is vastly overrated. It's always a good idea to track as much data as you can, especially in email marketing. I see absolutely no interest in a tool that deliberately doesn't track valuable data points. Data is today's gold. Nobody cares if data has been collected in a legit way or not. In a few years I expect the whole data privacy talk over there will be just a blip in the radar...
Meh. Given the recent Spectre, Meltdown, etc. maybe we shouldn't focus on performance first, but security.

https://www.openbsd.org/faq/pf/perf.html

https://www.openbsd.org/crypto.html

https://www.openbsd.org/security.html