skysight-inc/HackerNews huggingface dataset:
>>I don't think this is proof that Fox lies more than CNN unless you can prove this is the comprehensive list of all statements made on both networks.

Wow, so we need to look at each and every statement they have made and analyze their truthfulness before we can conclude which one lies more?

I take it you have never heard of statistics and sampling.
Ah yes, Putin the famous Communist.
> "Don't worry, your ugliness doesn't bother me. After all, you're friendly!"

I had someone say pretty much this to me at work. It startled me but for some reason wasn't a problem. I've since noticed many successful, well-liked (rich, famous) people are quite ugly.
> That's great, but then it says that in order to improve you need to declare a metric so you have something to measure, and then work to improve that.

You don't have to keep the metric same. Metrics are good when they helps you to measure your progress in particular tasks. They are bad if you marry specific ones for life. If you worry about throwing the baby, setup counter-metric.
The Wetware Crisis: TEPES (2008)
Interesting charts, thanks.

https://ourworldindata.org/grapher/agriculture-value-added-p...

Shocking that corn and cow producers in India are 90% less productive than in the US.
The timezones are supposed to be small enough to be accurate +/- 30 min of the actual solar noon.

In some countries, even to +/-15 min - Russia comes to mind.
How much of this plan do you envision will be provided by Sourcegraph and how much comes from the many other people working on similar things? (For example, many people are working on language servers these days.)
Some starting points:

[The Functional Programmer - keeping Repetitive Strain Injury at bay](https://www.youtube.com/watch?v=q_eelK-KLIA)

[Wikihow](https://www.wikihow.com/Strengthen-Your-Wrists)
>Motorola’s use of a single QFUSE that must be blown to unlock the device, permanently voiding the warranty.

If this isn't illegal (the warranty part), it should be.
They use physics grad students to build the wiring assemblies for the detectors?! And they work?
[cartoon]Some penguins in need of serious help gathered: IPv4 Anonymous
Python core libraries have great code. You can open pretty much any module and be able to understand the source without much context.
> C++ will always have a place because it's a language that literally has (or will have) everything.

I don't think that's true at this stage. Nowadays, beyond legacy code, C++ is used mainly in embedded, number-crunching, and cross-platform GUI applicationd, and that's about it. Meanwhile the world has moved on to web services and web apps, where C++ is nowhere to be seen, and other competing lower-level programming languages are starting to eat away C++'s lunch.
Which textbook?
When we take the language into consideration, unwound like to mention Redis.

Often codebases written in C are a a mess to understand, a mess to read. The Redis Source Code is understandable even without deep knowledge of C
It's solid pellets, and can't be recharged as easily as a battery or (flow) fuel cell.

Aluminium (air) batteries are potentially very promising though.
In PHP land where I spend time for work.

Hands down Symfony.
I did not mean to misrepresent your meaning. I think often a heated argumentation starts when people use the same words but have different interpretation of those words. For example, what "right" means. Here it seems you used "Right" to describe neo-fascism/far-right populism when at least me did not read it like that.

I believe this is the root cause of a lot of flame wars on social media.
To don't share a solution goes against my ethical moral code. Sorry.
for sure not. OpenBSD makes no attempt to use proper performance which is critical for a kernel. there are so many naive ad-hoc data structures and algos, it's a shame to walkthrough.
Fixing React Native Issues and Happy Deploy to Bitrise, Fabric, CircleCI
RhodeCode is open-source too and unfortunately looks like Kallithea is a dead project by now. It didn't have a feature release since 2015, only a few bugfixes.
Still showing as parked for me.
5 Trade Promotion Optimization Myths You Need to Stop Believing
I first heard about it in the excellent learning how to learn online course: https://www.coursera.org/learn/learning-how-to-learn
For clean C++, I like leveldb (a key-value DB library) and re2 (a regex engine). Random files from each of them:

https://github.com/google/leveldb/blob/master/table/table_bu...

https://github.com/google/re2/blob/master/re2/nfa.cc
Awesome ! The Go wasm js shim uses DataView to access the linear memory. Any idea in which release of Google Chrome this is going to land ?
I'd be happy to hear it.

You too
Not true from my point of view, people have the same criticisms of their government as you'd see in any other country. Chinese people aren't like brainwashed.
What so you mean by automated presubmits?
Are those „just“ CI checks for static analysis or is there more sophisticated things going on like merging it to a generated branch, deploying it, running all tests in the infrastructure there and more?

Can you elaborate a little bit more on this? Or point me to a resource that is doing this?
This is just disturbing for me, I live in a country where more than 80% of people fully trust the police, one of the highest trusted occupations in our country.

I can't even imagine the mindset that talking to the police is dangerous to me.
Secure Storage for React Native (Android and iOS)
Are kids helpful and, if so why?
If you are right then calling them "proofs" is misleading. The results aren't proven, just made convincing. So I guess they are "arguments" -- only detailed enough to convince others who already know enough about the entities being discussed.

Automated proofs by contrast really are proofs but as many of these comments show are not arguments.

So maybe the problem to be solved is to appropriately connect mathematical arguments (what mathematicians call proofs) to proofs, while recognizing that they are actually two entirely separate families -- as different as plants and animals.
Linus finally gave in.
Well, they got into YC in an era where funding available to YC companies was basically infinite. Plus they had nonzero sales and an early graph that probably looked good. What VC could say no to that? (Keep in mind “spray and pray YC” is probably a top quartile VC strategy.) Getting into YC post ~2012 basically makes VC funding an afterthought. So the interesting question is what made them attractive to YC. (I’m not questioning, just clarifying.)

Edit: also there are tons of companies that get insane amounts of funding on total punts, with future failure obvious. (Just go trolling through AngelList, you’ll find plenty.) Thinking any one thing is truly necessary to get VC funding is a wildly incorrect mental model.
I mean, why can't they just have a regular bootloader like a PC? It's a lot of effort for what is essentially 0 gain if you just have full device encryption.

The phone should at least always be unlockable by a single switch in the developer settings - none of this "oh go to our website and generate an unlock code/pay us money for an unlock code/phone us" which is a HUGE pain in the butt.

I swap between roms a lot, and the whole idea of a system partition and data partition etc is just stupid. They always are the wrong size for what they need to be and then I try to install gapps and its like "oh your system partition is too small my dude," so why separate these and just have everything like a regular linux OS.

Maybe I'm missing something stupid? But I kinda just want a phone that just starts a linux based operating system like a PC, and lets me do everything I can on my linux PC in a touch-centric way.
A more structured way to work with CloudFormation
Bonus problem: in my company, the business calendar (which is the first week of the year, quarter ends) is sometimes shifted by one week with respect to the ISO definitions for historic reasons.

I have implemented a large application which does a lot of time calculations, and run onto most of the issues listed in the article, except that I didn't use hewbrew calendars :).
> It doesn't have async/await,

That's just a C# idiom, and far from being the right or sane way to handle concurrency.

Meanwhile C++ has active objects and futures and other concurrency design patterns.

> doesn't have a sane way to create simple web servers

Check POCO.

> doesn't have map/find/filter/etc on collections, at least not a version that won't span multiple lines or the whole screen because they require mandatory arguments (begin, end) that are useless 99% of the time because you want to operate on the whole collection anyway, etc.

That's a very silly complaint. You acknowledge that C++ does have map/find/filter (which at this stage is rather obvious to anyone who ever used C++) but somehow you're complaining that C++'s interfaces require programmers to specify where the collections should start and finnish.
I like Spectrum for both their architecture and code quality. Node.js/JavaScript.

https://github.com/withspectrum/spectrum
Https://spectrum.chat
>>What do you imagine most people use for web/http servers? Java.

You are trolling, right? Lol ... PHP, Go, Javascript, Python, C#, Ruby are pretty popular.
10 years of speed in Chrome
This almost looks like the original App Engine logo.
I really liked the clojure core, I read it quite a lot when learning the language.

I have heard good things about sqlite, and some day, I plan to read it :-)
I’m no C expert so I’m somewhat guessing, to me,
PostgreSQL source looks remarkably clean, well structured and nicely commented.
I only read that Gladwell overemphasized the specific number but that the overall idea is still true. The original research Ericsson was trying to emphasize that long duration of training using deliberate practice are key.

There's an episode of the Freakonomics podcast that describe the whole situation and it has interviews with both Gladwell and Ericsson:
http://freakonomics.com/podcast/peak/

> ERICSSON: Now, right. Gladwell basically thought that was kind of an interesting magical number and suggested that the key here is to reach that 10,000 hours. I think he’s really done something very important, helping people see the necessity of this extended training period before you reach high levels of performance. But I think there’s really nothing magical about 10,000 hours. Just the amount of experience performing may in fact have very limited chances to improve your performance. The key seems to be that deliberate practice, where you’re actually working on improving your own performance — that is the key process, and that’s what you need to try to maximize.
To me, this article highlights two things:
- the sore need for a way of automatically verifying proofs.
- the sore need for a formal, agreed-upon language in which math proofs can be written.

The language of math has always been much more mushy than mathematicians are willing to concede, and the chickens are coming to roost: 21s century math has become so complex and sophisticated that very few people can actually even read the content of proofs, much less understand them.

Shinozuki's case is an extreme example of that: after almost ten years, even he other experts in the field aren't sure of what he's saying.

There is a clear need for formalizing the language of mathematics in a way that allows machine to verify he validity of a proof.
I keep reading about key-value stores with this and that property.

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.

But on key-value stores, I don't get it because what I did was easy, too easy, really, to say much about it except how easy it was to do.

So, a Web server has a user and their session state. For the user, I also have a GUID (globally unique identifier) that is the key for the user and their session. The session state is in an instance of a class I've defined.

So, the Web server serializes the instance of the class to a byte array and passes that and the GUID key to a subroutine that uses TCP/IP sockets to start a TCP/IP session with my session state store. To Windows, my session state store is just a simple, console application.

The session state store is listening for a TCP/IP connection request, accepts the request, and gets the GUID key and serialized object instance with the session state.

The session state store has two instances of a standard .NET collection class, say, A and B. Instance A uses the GUID as the key and the serialized session state as the value. Class B uses the then current system time-date (GMT) as the key and the GUID as the value.

So, whenever the session state store runs, before it returns, it looks at the earliest time-date stamp in instance B and deletes from A and B all the key-value pairs that are too old, that is, timed out, that is, have encountered session time out.

The code of the session state store is simple -- single threaded. Then the code needs a first-in, first-out (FIFO) queue, and for that I am using just what TCP/IP offers with a maximum queue depth of 100 which I hope is enough -- will be able to tell by looking at the site log file.

That's about it.

It's simple. It's darned fast and nicely scalable via virtual memory and, then, sharding, etc.

I designed the whole thing in a few minutes and implemented it in about a day, but I'm no expert in session state stores, key-value stores, Redis, etc.

So, what is wrong with what I designed?

Thanks.
‘Chief slowdown officer’ Jeff Bezos shares Amazon management tips
zeromq. Both the code and documentation are very good.
Strictly talking about code quality, I will nominate RCP100, which is a small, virtually unknown, now-abandoned routing software written in C [0]. I started programming with C way back in the 90s, and this is one of only two projects I can recall being immediately struck by the beauty of the code (Redis being the other). I know almost nothing about the author but he seems not to want to be known by name. You can browse the source on Github [1], which I uploaded myself, since you can only get a tarball from sourceforge. Anyway, as someone else mentions, C is usually a mess, but RCP100 struck me as beautiful.

[0] http://rcp100.sourceforge.net/

[1] https://github.com/curtiszimmerman/rcp100
And yet this proposal still doesn't let you implement zero-overhead objects-as-coroutines. I'd like to be able to create a coroutine that initializes some state ("constructor"), yields back to the caller, and lets you call alternate re-entry points ("member functions") that manipulate the state and yield back, or the final entry point that cleans up the state ("destructor"). If the initialization fails for whatever reason, the yield will simply be skipped. Crucially, I want to be able to do all of this without indirect jumps other than returns.
I think it should go to nukes. Bear with me, I'm serious. When you look back at history war is nearly always the cause for the greatest suffering. It causes starvation, 'involuntary migration', and so many other things. Whatever has been built up in an area, it does a wonderful job of tearing down. Look at Libya for one of the most stark examples. Libya was steadily developing and seeing increased prosperity. Now, it's been reduced to neglected, unstable, and impoverished rubble since we 'freed' them.

And this didn't used to just be a story of Mideastern nations. This was the story of the world. The one thing that changed this was nukes. Mutually assured destruction is why the Cold War is now called the Cold War, and not World War 3. And it's why direct confrontation between developed nations has really become a thing of the past. Countries like China would never have been able to develop if not for the peace and stability that nuclear weapons have enabled. We can even look to nations like India. It's surreal to imagine that until 1947 that entire nation was just a property of the British Empire. Even the notion of a British Empire is surreal! But now that they have gained their independence and are a nuclear nation, they are also gradually increasing in prosperity as Indian decisions are being made to put Indians first. And as a nuclear power their decisions, independence, and developments are all effectively guaranteed, at least until we develop technology that can effectively render nukes harmless.
> Weeks start on Sunday

> False. Weeks start on Sunday in the United States, Monday in Europe, and a couple of places start on Saturday.

In some countries weeks start on Mondays.

> All the important years are four digits long

> False. It’s the year Heisei 30 in the Japanese calendar.

Or 13.0.5.15.0 in the Maya calendar.
Not quite, the problem is that Anticheat regularly bans emulation software, ie Wine, and they don't really want to do anything about it. They could simply flip a switch and Wine would work with their Anticheat. Plus, they do have a separate stack for running on Linux in case the product supports Linux, so that's no excuse either.
Isn't Kythe[0] trying to achieve this already, with a graph based, multi-language framework?

Of course, there are no integration with current dev tools, but the core is there to make it work, maybe?

[0] - https://kythe.io
For sure not. nobody pays for shitty open source, and for commercial closed source, you have no idea and care for the internal code quality, you only care for the feature set. if it gets the shit done.

the problem with open source is clustering of medium-level devs who drive out better devs.

the problem with closed source is management who prefer code monkeys over engineers who want to solve problems.

you as user have zero influence over these phenomenons
NetBSD.

Why? I was able to do substantial changes to the kernel when I was a teenager (late 90s), mostly on my first try. There was no giant wall of abstraction I had to climb over or some huge swath of mutually interacting code I had to comprehend. There was also nothing that required fancy code navigation and the creation of something like the ctags database in order to find out what on earth was happening.

No action at a distance or lasagna style dereferencing or mysterious type names that are just typedef'd and #define'd around dozens of times back to something basic like char. No fancy obscure GNU preprocessor extensions or exotic programming patterns.

Nothing had obtuse documentation that tried my patience or required much more than enthusiasm and basic C knowledge.

I did things like got a wireless card working from code written for one with a similar chipset and got various other things like the IrDA transmitter on my laptop at the time to do a slattach and thus work as a primitive wireless network - all in the late 90s.

I likely had no idea what, say, the difference between network byte order and host byte order was at the time or how the 802.11b protocol worked or what a radiotap header was or any of that. The separation of concerns was so good however, that none of that knowledge was actually needed.

Compare that to say, the Qualcomm compatible WWAN I just dealt with over the past few weeks where I needed to have in-depth knowledge of an exhaustive number of things (very specific chipset and network details) to get a basic ipv4 address working. Then I needed to read up on GNSS technology and NMEA data to debug codes over USBmon to get the GPS from the wwan working. Then after I had the qmi kernel modules doing what I wanted and the qmi userland toolsets, I had to write some python scripts to talk to dbus to get the data from the modemmanager that I needed in order to log the GPS. All the maintainers of these pieces were very nice and helpful and I have nothing negative to say. This is just how it usually is these days.

Back then however, I wasn't a good programmer, I was likely pretty terrible in fact but with the NetBSD codebase I was able to knockout whatever I wanted every time, fast, on a 486.

I miss those days.
Not really the Christian God, but I definitely do have a place for spirituality in my life. For me spirituality is appreciating nature, taking care of my plants and animals, casually learning and delving into polytheistic nature-worship and other left hand path religions, and just letting my own curiosity about what else might be "out there" roam free. All of this is completely outside of my actual daily work, but taking an interest in these things in my spare time seems to provide a comforting balance to my mind.
> I had an affair in my twenties with a man

> No, he absolutely was not in any position whatsoever to say "Oops, sorry. You can move in with me." if his phone call outed me to my husband and resulted in a divorce.

> I'm not exaggerating when I say psycho asshole monster.

I mean, you had affair. You can only have affair between two people who are the kind of people to cheat on their partner. You should expect him to be psycho asshole monster, since you yourself are a cheater as well.
The fact that encoding Math proofs in a formal language is currently painful is well acknowledged.

However, it shoudln't deter us from the goal.

People used to code in assembly and Fortran. It was and still is quite painful.

But programming languages have improved, and resorting to those original languages (which is what Coq is) is rarely necessary these days.
Just like code review doesn't happen on its own, pair programming does need to be a team effort. A single developer deciding to do pair-programming more tends not to change an entrenched culture. Working in the same place and time and on the same code change doesn't happen automatically, particularly in places that support flextime and working from home.

The one place I worked where we pair programmed all the time and it worked well was a startup where everyone hired knew going in that it's an XP shop (and this was part of the attraction).

On the other hand, flextime and working from home actually are important benefits. It's a tradeoff.
A C++ ABI does not require an OS written in C++. It just requires all compiler implementations to agree to standardize on a single ABI and enshrine it in a spec that any future implementations must abide by.
> Allowing code generated in one module to successfully call functions in another.

That's not quite true. That's already possible without a standard ABI.

What's not possible is to get code compiled by a specific compiler to call modules built by another compiler provided by another vendor. That's the only problem that is addressed by a common ABI.

I would also add that considering MS's interoperability history and how prevalent MSVC++ is, working on a standard ABI would be a waste of time.
The only question I got is: why we as humans cannot fix this by having a proper calendar system that actually reflects the world and does not have these flaws?
Make your meetings great (again)
There are some pretty powerful open source financial charting libraries, for example:

http://rrag.github.io/react-stockcharts/
http://techanjs.org/ (although no longer maintained)

Although I'd argue that it isn't that hard to create your own, entirely bespoke, chart from scratch using D3 (and d3fc as an accelerator)
Actually latex would be quite sufficient, basically what you are proposing is an appendix where you list additional details

The real reason people don't do this is simple, it would require an inhumane amount of work and details which will likely be wrong themselves and will for sure be to boring to be checked. Most science is wrong in some aspects, sometime it is better to have a meaningful intuition that can be understood by other expert (and maybe rejected)
How Qualcomm Tried and Failed to Steal Intel's Crown Jewel
The requests codebase is really well written and it has a beautiful api

https://github.com/requests/requests
If you worry about RSI, use speech recognition whenever you write emails or comments. There is even a trick to use it on Linux if you're interested (not the crappy sphinx/kaldi).