skysight-inc/HackerNews huggingface dataset:
I find it all so bizarre. Everything from how big the font size is in the left nav, to the ordering of the nav items, to how the feed and right nav scroll together (can’t see the top of the right nav if you scroll down the main feed) to how huge tweets with images appear (can only see 2 tweets if they contain images on a massive desktop screen) to the fact that you cant resize the left or right nav on your own...
The confusion was my fault, but I think is mostly gone now. I initially described it as commits when I was thinking of pushes, partly because I’m lumping both git and Perforce experience together. I edited my comments to be more clear, and it seems to have helped.

The question asked is valid, and we do commit often, we only avoid pushes to shared spaces at night, so some commits may have representative time stamps. As others have mentioned, squashing might compromise that, and commits made Friday but pushed Monday are, in my experience, more likely to be modified Monday right before pushing. For me, it’s pretty rare that the first commit time survives until push, I’m almost always squashing code, multiple times, before it’s ever pushed.
> The more I read about it, I’m convinced “loneliness” is an upper middle class problem.

Which makes it all the more suitable for a discussion on HN, wouldn't you say?
George Hotz, former apple device jail-breaker left Tesla to start working on Self-Driving Cars, the DIY approach. So far he has been training the cars with HD Maps and has had decent progress considering his competition. http://comma.ai
No love lost between security specialists and developers
The context is this thread https://twitter.com/skirani/status/1149302828420067328?s=21

in which a VC once again proves that what passes for "wisdom" in Silicon Valley is often indistinguishable from what others would assume was satire.
Cash is simply the physical form that the government has deemed legal tender that must be accepted for payment. In the case of countries like 1920s Weimar Republic, that cash can lose value due to hyperinflation in currency trading markets.
Textpattern CMS
Not to mention going outside and LOOKING at man made items like satellites and space stations as they pass overhead.

How does your GPS work? Get yourself an RTL-SDR and watch the traffic yourself, read the ephemeris, and correlate with your observations.

Build your own Focault pendulum, and explain the observations. And hundreds of other phenomena you can observe and measure yourself.

There are 18 spacefaring nations.

There are hundreds of spacecraft companies with about 3,000 satellites and thousands more launches, spending hundreds of billions $$.

If ANY of this was made up, it would involve about a half million people keeping a secret in the conspiracy. (edit - that's just space industry. astronomers, cosmologists, LIGO, EHT, etc, geologists, including the oil companies.. add another million maybe?) So we're either talking about willfull trolling, ignorance, and illness, or malice.

I would be more inclined to believe malice, in the form of that family spending millions [1] to spread antivax propaganda. Perhaps it's a more general anti-science thrust to control the populace. There, it's a conspiracy in the opposite direction.

https://www.washingtonpost.com/national/health-science/meet-...
Highlight this and pin it to the top of this comment thread.
The amount of studies about skeptisim and gullibility around the world are near none, but there is some data about US highschoolers consider true and it shows dangerous trends such as 1 every 4 students believing astrology is real: https://www.questia.com/magazine/1G1-148278044/skepticism-in...
> but I don't understand that is connected to model software on paper

I was talking more generally about techniques that allow for sneaking in mathematical thinking in various stages of development, not just modelling. Largely because of the very precise types which make a large part of your program verifiable (and force you to think about a lot of things you wouldn't have if you were using, say, JavaScript).

I was recently making a script engine for a game. It was really neat to realize that the "runScript" method was literally just a mapping between two monads. No special state inbetween, no complex logic, no file lookup or anything like that. These types of insight accumulate, and there's really a tonne of stuff to learn (this potential for learning the language itself feels much greater in functional programming for me).

> Isn't there any easier way to describe I/O than with category theory?

This isn't category theory! Do you really think every working Haskell programmer is some mathematician? No. Look at this random image I googled, you think Haskell programmers understand this? https://i.stack.imgur.com/4IzGk.png Most mathematicians don't!

The notion of a monad in functional programming might be inspired by category theory, but you're really better of not taking that connection too seriously. Functors, applicatives, and monads are all very simple notions that should be understood as programming constructs, not arcane math. If you want an area of math to research to most benefit your functional programming, that is undoubtedly mathematical logic and/or intro-level type theory, and not category theory. (This should take you in the direction of dependent types.)

Really, types are the key. The notion of a monad is best understood not through vague real-world analogies with sandwiches, but through the type and implementation of its >>= method. The reason for that is that the point of monads is in composition. And basic linear algebra is enough to understand the importance of composition, not category theory. Just look at the Maybe monad to immediately understand it: Nothing >>= f = Nothing, Just x >>= f = f x, where f : a -> Maybe b. Isn't this a really clear, intuitive way of composing operations which might fail?

Same goes for IO. The only thing you're doing is composing some values. When you compose an IO Int with some function of the type Int -> IO (), you get back a value of type IO () (which your runtime executes if you bind it to main). All of this is right in the type, and it's just as intuitive a way of composing IO values as Maybe ones, IMO.

You get the added benefit of execution becoming not a side-effect, but a first-class member. Evaluation of IO programs is not their execution, you could evaluate putStrLn "asdf" a million times without it being executed. You can literally store those programs (values) somewhere and execute them later.
My initial approach was also technically wrong; it tells you the fraction of queries which happen once.

To find the fraction of queries each day which are new, you would want to add a second field to your aggregation (or just change the count), the first date the query was seen. After you get the first date each query was seen, sum up the total number of queries first seen on each date, compare it to the traffic for each date.

You could still hand the problem to a new hire (with the appropriate logs access), expect them to code up the MapReduce before lunch (or after if they need to read all the documentation), farm out the job to a few thousand workers, and expect to have the answer when you come back from lunch.
But why? Having to sweet talk the compiler into simply reading/writing data by building towers of super abstract mathematical concepts doesn't look like a win from here. If that's the cure, I'll take the disease.
Except that even in programming, the name "side-effect" is not too clear. It stems from the fact that subroutines sometimes behave a bit like functions, and when they don't, we call the added behavior a "side effect". If you want to be mathematically precise, subroutines are predicate transformers, and, again, there are no "side effects" (This is a mistake functional programmers make when they speak of referential transparency; most languages are referentially transparent, and that was the whole point of the paper that first introduced the term to programming. They are only not referentially transparent with respect to an incorrect semantic model). The philosophical difference between a subroutine with side effects and a derivative is small.
Appears to be a public TCP-to-websocket proxy to a Tor client w/ a JS wrapper. I assume the host could be an onion service address which does have value, but you're still going through a proxy.

At that point, you might as well have your own web server side connect to Tor and do what you want, it's not hard w/ libs out there. Otherwise, if I see this on your site, I just might start using your proxy as my new tor2web, heh (not that there is real value over just my own Tor client running locally).
That's not true and a misunderstanding of what `unsafe` does. It has nothing to do with borrow checking (which is what trips people up when writing a double linked list). Unsafe is primarily used for FFI and lets you dereference raw pointers (among a few other related uses).
Yeah, racist software
The don't actually do experiments. The setup experiments then manipulate them to get the results they need throwing out all the results that don't fit what they think is correct. One can simply check out the FECORE youtube channel and website to see how they do "experiments"

They also enforce group think by removing people who ask them hard questions and who don't just accept what they say. Since FE appears to be about the only community some of them belong to it makes it hard to ask tough questions.
3 Misconceptions about iOS App Security
It's not even that complex. Arguably it is simpler than the way that you would otherwise do inverse square root, you could write a 5-line comment that anyone who's understood high school calculus could decipher, it's drop-in/drop-out, and doesn't need to be maintained.
I don't see what are you reading there, but "this is a human limitation" is the correct conclusion

Hence why we need languages that are better at memory management than C. It's ergonomics.

In the same way you can't put a racing gearbox/clutch in a street car and expect everybody to deal with it. They won't.
> the most sophisticated system of disinformation ever created in the history of mankind

The exact same system is used for spreading that information too. Adding your personal bias into the system is not a "fix" for disinformation.
CommitStrip is publishing a new book (and posters)
From the article, better contextual targeting appears to be the goal of WaPo's project:

> The Zeus platform monitors contextual data such as what article a person is reading or watching, what position they have scrolled to on a page, what URL they have used to arrive there and what they’re clicking on. The publisher will then match that data to its existing audience data pools, which it has accumulated over the last four years, to create assumptions on what that news user’s consumption intent will be. The technology uses machine learning to decipher the patterns.
It’s like the FE who designed an experiment that he said would conclusively prove whether the earth was flat or spherical. It seems he actually designed a legitimate experiment, because its results showed that the earth was spherical.

To your point, of course his and his followers’ response has been to try and identify the error in the design of their experiment. I suspect a few months from now we will never hear of this experiment and it will go down their memory holes.
One area I wish they would improve is the DMs. Being able to organise them into folders would be amazing, but just marking one unread again would be a huge improvement.
The ones I really enjoyed reading were:

https://www.pyimagesearch.com/deep-learning-computer-vision-...

https://www.machinelearningisfun.com/

and

https://www.amazon.com/Deep-Learning-Python-Francois-Chollet...
Pinebook Pro – 4K Playback, YouTube, WebGL and Quake 3 Demo
Ask HN: How TikTok, or FaceApp got so many users?
AptDeco (YC W14) Is Hiring a HR People and Culture Manager in NYC
I think there was language added to the front of some official python website (one of pypa's I think?) that gave that impression. It was later changed.

Yeah, it's true that the marketing around pypenv was definitely over the top.
If/when old.reddit.com stops working, I will overcome my Reddit addiction once and for all.
Right, the business model is getting nuanced with revenue from YouTube / Patreon etc... Some will continue to do it as a form of marketing. Also, there's a non-monetary social status benefit that will cause people to continue even if it's not a money maker (that you are alluding to). Like most other human activities it will follow something of a uneven distribution where 20% of the podcasts get 80% of the views (or something like that).
Desalination Problems, Alternatives
The during-credits scene shows the "researchers" doing a livestream where they explain away their "anomalous" findings with various hand-waves. They didn't want to find the actual answer, they wanted to reinforce their belief
>coolest part of the documentary

I'd actually describe that as the worst part, at least insofar the way you contextualized it. That's literally a moment where they are faced with overwhelming evidence against their "theory" and still cannot accept they are wrong.

This isn't something to be admired.
Contextual ads work fine for some things (printer ads for "printers" searches and reviews), but for things that aren't e-commerce, context is much less interesting, and it's more effective to show a retargeted ad for printers on a news article on the latest laser research than an ad for laser pointers.
There used to be an opt-out, but the endpoint has been removed. I'm not aware of a way to go back at this point.
A large chunk of the traffic is Google Analytics and various APIs, so even if you pay you will almost certainly be tracked by Google. Piracy obviously has its own risks.
Is Michael Phelps ten times faster than your average competitive swimmer, though?
I think that 'to avoid merging or committing to public branches' means 'to avoid pushing' here, specifically the 'to public branches' part.

Because, obviously, it's pushing commits that's problematic, not committing per se (in git vocabulary).
The "main" flat earth research organization if FECORE which kicks out members who ask hard questions and deletes comments from their videos that detail flaws / misstatements of fact in their reports and videos. They don't care about getting the correct answer, to them they already know the correct answer so anything that goes against that answer is ignored.
You don't need to know category theory. You just need to understand a few things that came from it, like `Maybe`, which is the most obviously useful and trivially easy monad. Just forget about the fact that it's a monad and any general rules about monads and just learn how to use `Maybe`.

From there, input handling is just a state machine. Easy to draw on paper as a graph.

> Part of the benefits with modelling a program on paper should be to make communication easier. And to require people you communicate with to have knowledge in category theory to understand your design fells silly.

This is an odd complaint, because you can also say:
requiring people you communicate with to have knowledge in (state machines | graphs | `if` statements | ...) to understand your design feel silly.
Look up online communities dedicated to Homesteading. There also seems to be a movement around "backyard chickens" (i.e. raising small amounts of livestock at an average suburban house).

So far I haven't come across any information on physical communities of homesteaders, although a local community seems like a necessity if you ever want to take a vacation again. Can't really leave crops on their own for very long without them dying, let alone livestock...
Toys R Us plans a small comeback with 2 stores this year
Show HN: Plugserv – a tiny ad server just for your own projects
It's not about the money.

Doom would have been revolutionary even if it and all of the other games it inspired were free.
It is normal for Americans to think that other countries don't matter. That's why they're missing the point that China is already the richest country in the world and it is growing at double the pace of the US.
yeah, no. it's way worse than you portray it here.

these people refuse to question their beliefs, exactly the opposite of your claim. they believe that the earth is flat and nothing can get them to change that, no laser gyroscopes, no movies from rockets going to space, nothing. it is a thing of their identity to believe that the earth is flat, they feel special about it and to lose that belief is to be expelled from their social circle.

this is neo-cargo-cult-tribalism at its worst.
These are commit times, not merge times.
It's not censoring, just changing the algorithm according to relevance. You could argue that other people were censored first so that youtube would suggest FE theory videos before their own which may have been more relevant. But it seems youtube's current algo is 'this is a conspiracy video, here's another conspiracy video' instead of 'this is a 9/11 video, here's another 9/11 related video'.
Doesn't have to be political propaganda, the anti-vax movement wouldn't be as big without the publicity it gets on social media.
Only a small proportion of traffic light signals are adaptive and/or connected today. Most rely on manual signal timing studies to set a timing schedule. The up-front cost is typically prohibitive. Full disclosure I am founder of a startup changing the economics on this.
> I think it's possible to leak memory if you are sufficiently clever and doing really weird stuff

Note that Rust provides an easy way to intentionally leak memory, unlike many other languages: https://doc.rust-lang.org/std/mem/fn.forget.html
Set your user agent to `Mozilla/5.0 (Windows NT 6.3; Trident/7.0; rv:11.0) like Gecko`
Or make it even simpler - split read and write access. Camera/Photos are already split, but I should have the ability to let an app save a photo without having to grant it complete access to my photo library.
Thank you! Most people I've worked with end up so afraid of complexity that they create tech debt through crazy simplifications that require constant work arounds.
It's because Russia has been demonised in USA's propaganda over decades. They're selling trying to do the same with China now, except it's more for direct commercial reasons than to protect the ideal of Capitalism as it was before.

I grew up getting a lot of "evil commies" messages in US American media and I'm not even in USA (I'm from UK).
I wonder if a neural network could be trained to recognise people who "look honest" or who "look like they'll repay their loans" (aka, profitable credit scoring data).
This is all part of Lucene and not specific to Elasticsearch as far as I understand.

Update with link: https://lucene.apache.org/core/7_1_0/core/org/apache/lucene/...
Engineering at Twitter must be a constant context switch. Every quarter there’s a new blog post about some new re-design they’re working on.
The FE community basically refuses to do any radio based research. If you ask them why the radio emissions of the Sun go away after it sets they get upset and delete your comments because it goes against their idea that the Sun is just moving away from us and not setting.
This article is a reblog of Microsoft's post: https://msrc-blog.microsoft.com/2019/07/16/a-proactive-appro...
I feel like the term has quickly / maybe always lost meaning.
Not from the South myself, but I noticed a similar trend in parts of the Midwest and anywhere that's not a big city.

Similar to the UK would be somewhere like Japan, which is well-known for its culture of restraint and politeness. Loneliness and suicide rates are high, while dating and marriage are suffering. It would appear a result of having a relatively restrained social culture.

PS. what is the spotify trick?
Verizon resurrects media business as safe haven on the internet
This reminds me of something I read of Thich Nhat Hanh's - don't answer the question, answer the questioner. The belief they're espousing is really secondary to the attitude that leads them to buy into it. I find your approach as not only more likely to effect positive change with that, it's just more compassionate and respectful.

There's an almost palpable element of dehumanisation among those ridiculing them and wanting to silence them, as if holding on to untruths makes them unworthy to exist in our society.
On top of that, in terms of VC's he's an utterly unremarkable one. Poor guy had no idea he was he stepped in with that thread. He was just trying to virtue signal and play thought-leader.
Open offices are ruined by people.

Some people cant work and interact with others in a respectful manner. Just because you're in an open office doesn't mean that others DON'T have the right to a low-disruption work environment. It gets really tiring to have to constantly fight off rude people just so I can get a few minutes of uninterrupted focus.

"It doesn't bother me, therefore it doesn't bother anyone" is such a common trope.
Just playing devil's advocate here. Are you sure there is enough arable land and healthy topsoil to meet demand? Is it feasible or practical to create arable land and topsoil? If the answer to either of these questions is "I don't know" then I maybe the economics here aren't favorable to your argument. Again, just devil's advocacy here.
lol... The first sentence below definitely doesn't belong. The second outlines the legitimate use case.

> Hackers and fraudsters use various schemes to fake ad traffic and, as a result, a vast number of ads are never seen by real people. Therefore, more and more companies use proxies to detect fraud, improve ad performance, and check advertisers’ landing pages anonymously.
> we're collectively not willing to pay $1/day for what used to be called newspapers and magazines

> The industry made clear it preferred to sell subscriptions but consumers collectively said no

That's not how I see it.

People were happy to pay for cable TV and get no ads. But ... cable channels were all too happy to take that payment AND the money from ads. Magazines and newspapers aren't any different, and neither is the internet.

I would be happy to pay $1/day, even twice as much, to not be tracked. There is no one I can pay that to, and there never was; and if such a thing would have existed, they would still likely start tracking at some point, as happened with cable TV and ads.
What is the term for being a bit too eager junior making some systems that become business critical and then getting some second hand shame for making something the existing team can't support.
It also changed features of the face (nose, eyes, mouth) and was from a machine learning perspective pretty neat:
https://cdni.rt.com/files/2017.08/article/598c83d2fc7e937a4c...

Here is a discussion on Reddit about if that filter was „racist“ or not:
https://www.reddit.com/r/changemyview/comments/6tvaqp/cmv_fa...

Personally I think if one is not US-American it is rather difficult to wrap ones head around it.