skysight-inc/HackerNews huggingface dataset:
Unfortunately I don't sell the ready-made units any more -- they're just not cost-effective to sell like that at a price the market will bear.

I want to do a redesign with more cost-effective components (an STM32 Nucleo and a shield or Morpho backpack is one idea I'm considering).

I do have some PCBs left over, a bill of materials and can give you some guidance with part substitutions if you want to DIY one. Feel free to drop me a note on Twitter (@philpem), Mastodon (https://mastodon.social/@m0ofx) or email (via www.philpem.me.uk) if you're interested.
Kuhn wasn't talking about progress though, but rather HOW progress happened.

Technological progress is how new paradigms can et expressed. No laser disc without QM, not GPS without Relativity etc. and in some sense that's exactly his point.

The iPhone isn't truth, it's just one way to express our understanding of the scientific paradigms.
As soon as you filter on the table you’re joining with in the where clause it becomes an inner join.

FROM foo
LEFT JOIN bar ON ...
/* Makes it an inner join: */
WHERE bar.baz ...
You forgot the most important part: forever.
42 work week vs 40 in the states
I live and work here and can say the tech seen is pretty bland compared to say NYC, Denver, SV etc. There is technopark zurich but even that is pretty slow, not much going on. I also read recently that Swiss investors still choose to invest in US startups rather than swiss.
For the past 3 years I've noticed gmail being extra slow on Firefox. Every other site loads almost instantly, except gmail. Even when I used to use Facebook, it would load fairly quick. Chrome wasn't much quicker or slower. Except for gmail. Gmail loads almost instantly on Chrome. I've basically given up on using mail's web interface even though I much prefer it over all linux mail clients.
Israeli scientists “print” first 3D heart
Some on the parts of some verified compilers are not "really" verified, in that there is no proof they always work. Rather, what is proved is that IF the compiler successfully compiles the program, THEN the result is correct. This can be easier, because it only requires that the compiler be able to provide a checkable certificate that its output is correct.

Consider a register allocator that uses graph coloring. In this case, the compiler just needs to check that the coloring that is produced is really a coloring: that it uses k colors, and that no two adjacent nodes in the associated graph are assigned the same color. This checking routine must be proved correct, but that's an easier task.

For a theorem prover to be verified in the same way, it just needs to produce an explicit proof, and then have a proof checker that is proved correct. The theorem prover itself, the part that produces the proof, doesn't have to be shown to always work (and indeed it won't, since it will very often time out.)
Anybody else has issue with the side banners being on top of the text in the Firefox?
You’re speculating that most people may dislike being touched, but be unable or unwilling to express their dislike? It’s certainly possible, but they would be indistinguishable from people who are fine with being touched, so there’s not much that can be done in that circumstance.
It is often pretty easy to look at the blocked domains log and spot what might need whitelisting, which is a single click away.
Be good is much more grey - all actions probably have some good but are not perfectly good. Whereas evil stuff is hopefully unusual.
They could access airbnb through something like the chrome dev tools protocol and feed the clean html to the client, with no JS (other than some click detection). Would probably have latency issues but would get around most checks.
My background is in riemannian geometry so I never had to worry about lack of a tangent space. Certainly you can define orientability of some topological spaces that aren't even manifolds. I'd forgotten but you can even define a local orientation at a point for a general topological manifold in terms of it's top-dimensional homology. I think that's the most general situation it makes sense in, you need a well defined dimension to consider this.
Because that does not work with generic protocols. You can't have a function return a sequence:

func make_numbers() -> Sequence<Int> {
// Cannot specialize non-generic type 'Sequence'
}
func make_numbers() -> Sequence {
// Protocol 'Sequence' can only be used as a generic constraint because it has Self or associated type requirements
}

Whereas with this change you probably could at some point do something like this:

func make_numbers() -> some Sequence<.Element == Int>
A similar design (the space shuttle main engine) brought me some peace of mind at work one day.

Nowadays, I do deep learning for a living, before that I was doing computer vision. One day I am really pissed off at some compiling issue, with a parallel code and I am like "fuck this, this is a plumbing issue! I should spend my time on algorithms and shit. Not on ordering the damn bytes of the raw pixels. I have done that for years, that should be a solved problem by now."

I go on reddit for some well-deserved outrage-slacking and stumble on the shuttle engine. "Yeah, that's what I am talking about. Now that is engineering." Then I realized it is basically a maze of pipes and pumps.

Uh, yeah, 95% of plumbing (and some metallurgy feats as well). Ok, back to coding my data pipelines then...
Well, I can cancel my Starz subscription at least.
How to Build a Strong Morning Routine: The Essential Guide
The original article isn’t limited to the workplace. And any environment in which humans come together is by definition a social environment.
With the eighth and final season of Game of Thrones coming out this week, I wanted to share my data visualisation of the connections between the characters in each of George R.R Martin's novels.

The visualisation was made using D3.js, Tableau and some Python OpenCV facial recognition code to get images of each of the characters (there may be some missing). Each time a character's name is mentioned within 15 words of another character's name, a connection is counted. The Google PageRank algorithm was run on the data to determine the size of each of the node portraits - the more 'important' characters have larger pictures.

The code to build the graph is on my GitHub: https://github.com/thomasc91/thomasc91.github.io. The source data gathered from the novels can be found on Andrew Beveridge’s GitHub: https://github.com/mathbeveridge/asoiaf
Source? Not that I don't believe you, I just don't understand from your comment
My debugging breaks are not to think about it. The unconscious is surprisingly good at ordering things.

The learning ones are to think about it though.
Darwin award.
Netherlands ACM launches investigation into abuse by Apple in its App Store
If you actually lived there it would probably just seem like a lot of uninteresting empty space. It only looks interesting because what you're looking at is far beyond huge, all squashed together into one picture.

“Space is big. You just won't believe how vastly, hugely, mind-bogglingly big it is. I mean, you may think it's a long way down the road to the chemist's, but that's just peanuts to space.”
People are afraid to speak up and say the truth we all know. Asian culture is about servitude and long hours of meaningless work. This is the way Asians also study and that's why ivy league universities don't want them, because they know they got no talent and no life, a miserable combination which only works for mid managers but not for the leader of our society.

The west lost its ability to say, yes, this is our western culture and you know what, it is actually better than Asian slavery. The Sabbath was invented 2000 years ago by the religion which is part of the core of our western civilisation. We should ban Asian after school schools in western countries and should not allow products from companies which doesn't give their employees decent conditions. I am as a capitalist as they come and a business owner but those Ma types make me want to go on barricades with an hammer and sickle
They dropped grand slam (22,000lb) bombs on submarine pens. Some of the hits are detailed on wikipedia, but yeah WW2 bombing wasn't accurate.

"It was the most powerful non-atomic aerial bomb used in combat until 2017"

https://en.m.wikipedia.org/wiki/Grand_Slam_(bomb)
According to this article https://www.ncsm.nl/english/health/pass-urine-drug-test , marijuana can be detected in your urine usually for 30-45 days. To speed up one's detoxing process, one should drink a lot of green tea and just be active.
A couple of anecdotes:

I went to a group rhythm workshop in San Francisco called TaKeTiNa wherein a group of 50 of us learned, over the course of a few hours, to perform a stomp/clap polyrhythm (that is, a sequence that is really the combination of two sequences with different time signatures) that I wouldn't have guessed we could learn in a single session. The facilitator guided us through by starting with an approachable subunit of the pattern, added to it piece by piece over a few minutes until we fell apart, and then gave us a few minutes of laying-down closed-eye rest time. When we came back, the previous segment seemed relatively easy, and we moved into further complexity. By the end, I was both exhausted and impressed at how much we had learned.

I played lacrosse in high school (West coast, believe it or not). Several times we were in a rut a few days before a big game, and our coach would cancel the intervening practices. We'd show up to the game and be astonished at how well we played. (I realize this is a very different time scale of effect, and is perhaps better explained by higher level psychological factors rather than a lower level neurological/memory-formation mechanism, but, then again, maybe it applies at multiple scales.)
What do you mean "Switzerland takes the biscuit", seems its green like the majority of the EU, whats different about it?
Negativity is for clicks, positivity is for renewing subscriptions.
I personally don't mind that. Also, it gives you a button to open the page in the app, so it's not like it makes it unusable.
Show HN: Dihedral – compile-time dependency injection for Go
>IMHO Firefox didn't make me feel slow anytime

Agreed, used it since version 2. Been happy with it for over a decade.

It's not been flawless, but I never felt the need to jump ship. Flash used to be pretty slow on Linux and fullscreen video was sometimes a bit unpredictable. Of course, who cares about that now? :P The WebExtension transition was a bit premature in my opinion, but I think we're slowly getting there with new APIs. Prior to that, Firefox had the most rich functionality available to extensions of all browsers - and on mobile it's still better than Chrome.

Recently, it's been getting better. We had Developer Edition (though dev tools were always done pretty well in Firefox - I've been able to take screenshots of DOM elements via GLCI for 7 years, Google only got around to copying this feature in 2017), then Quantum. I'm optimistic about the future of the browser.
The discrete-time physics hiding inside our continuous-time world
I think this is missing the marketing/sales factor. You can have a great idea, well executed, if nobody knows about it, it's still worth nothing.

I like the general idea though.
This is the essence of “fake news”.

Most people think fake news is reporting false information. But nowadays it’s relatively easy to fact-check something. Much more onerous is selecting facts to report on so as to tell a story that fits an agenda. It’s harder to recognize, and hey—it’s facts! What could go wrong?
It's stunning to me that in 2019 there are still people on Hacker News that don't believe in Google doing things like that intentionally.
Protobuf is a lower level interface. You can't rely on it for validation and use it for complex model / schema.

For example oneof customer (individual / organisation) with different distinct fields. In protobuf, all these fields need to be defined.
> Most Continuous Integration tools run the CI build on your branch to say if it can be merged or not. But that is not what is of interest here. If you know what you’re doing there is a pretty good chance that the code you have just pushed is working already!
> Your CI tool should perform a local merge of your branch to the main branch and run the build and tests against that.

100% this - I've never seen it written down anywhere so concisely before! What's the point in CI running automated tests on only your changes, when you have already done so locally? If you are pushing your changes just to get your unit test results (and code formatting checks etc), you are doing it wrong! :) merging it first makes much more sense / has much more value.
Mixing tryptophan heavy foods (chicken / salmon / cheese / nuts) with carbs is gonna make you crash / sleepy.

Same thing with salted + carb heavy food, as the body starts putting on water (dry mouth, drinking loads, puffy + tired)
Yeah I agree. Photoshop also "benefits from" being an application of mostly power users who are willing to ramp up and learn icons and keyboard shortcuts.

Imagine that users of an NHS website are infrequent at best with a large number of new users.
Thanks for that, great video that led me to this, https://www.youtube.com/watch?v=ImoQqNyRL8Y, sound recording organised by Dustin from SmarterEveryDay of the latest SpaceX launch, the sonic booms of the boosters coming into land are amazing, listen with headphones!
Sales Tales: the first sale is the hardest – it’s a trial
RE 1. I can't imagine any YMYL search for which Wikipedia isn't an order of magnitude better result than content marketing garbage that currently occupies the top spots. Sure, the official website of the relevant government or organization would be best, but Wikipedia is almost always second best, and currently neither of those are the most likely results to get.

I know in theory Wikipedia isn't trustworthy, but in practice, it is good enough, and its form does a lot of work here. Most entries are structured to be information-dense and fluff-free (unlike the content marketing crap), and they cite their sources (unlike both content marketing crap and many official government sources). This overall makes it one of the most useful resources for generic health queries.

RE 2. I wouldn't complain if I was doing "buy" queries. I don't do those often anyway (for similar reasons I don't use shops for product discovery[0]).

--

[0] - https://news.ycombinator.com/item?id=19643059
This isn't really a reinvention. It looks like a tumblelog, which has existed for over 10 years.

The broader trend towards curated lists does exist, true, but in the bigger picture it's no different to how any news service has "curated" the news over the years. The main difference is linking to third party sources (something which arguably Drudge Report invented online).
Because they collide. GDPR regulates how to work with private information and makes it absolutely clear that cookie popup informing the user that a cookie was already set is not sufficient. But if the cookie is not used for privacy relevant user tracking, then a popup is not necessary in neither regulation.

Those cookie popups have been a misinterpretation in the first place, the general recommendation for them already redacted by the one data protection agency that first formulated that consequence as requirement based on the regulation from way back then. They are completely out of date now. Note also how the site you link does not require them - it instead completely blocks the site when cookies are not allowed by the user, which is a different beast.
Ngx-Context:Easy Data-Binding for Nested Component Trees and the Router Outlet
I don’t think this is true at all. From everything ive seen, large corporations favour shipping new products and new features. It seems rare to support existing customers unless there is a lot of money tied to it which is probably not the cases for Firefox users. This is doubly true since there is a known workaround to Firefox support: use chrome!

You can try and blame sales, you can try and blame “innovate or die” but also engineering always shares some blame too. Often it’s engineering who want to exploit shiny new tech or make new shiny thing and not do the inglorious work of maintenance and support.
Slack and other services have this without the bouncer
Poor kid, picked on quite a bit. Nerdy. Never been too good with people aside from being nice. Have had to work hard to understand normal conversation flow and such. Have never felt comfortable or natural with touch from strangers. You can write what ever narrative you like about me being an oppressor that makes your world view cogent. Doesn't make it right.
More like Texas Sharpshooter. The more data you have, the more likely you are to find some correlation, no matter how nonsensical.

See also http://www.tylervigen.com/spurious-correlations
Important cognitive biases to remain aware of
Screencast – Sublime Text Mouse-Free Development Advanced Productivity Tips
Very funny. Marketing gimmick to get it wrong? More people talk about it this way.
He says he was Satoshi and he did it because he wanted privacy. Yet for the last few years he has done nothing but court attention and fame.

If he is Satoshi, sign a message with an early block, one mined in the first 6 months and I will believe him, until then I don't.

The important bit is that it doesn't matter anyway, Satoshi Nakamoto was the inventor or creator but he is not the controller. If Craig is Satoshi and he envisages a different type of bitcoin then so be it, but if he created bitcoin then he did so knowing that he could not control it once it was released.

Perhaps he thinks he can move value from bitcoin to bitcoin SV but if he really wanted to destroy bitcoin and create a replacement then he would just need to move all of Satoshis mined bitcoin to an exchange, that movement alone would crash the price even if he didnt sell any himself, but perhaps that may also destroy bitcoin SV because as a fork he would own the same amount of bitcoin SV and could do the same to that fork at any point.
As someone who's spent more than the last year trying to learn handstands as an adult, they're seriously hard. I don't know how long you've been practising, but I totally underestimated how long it would take me to balance one. I was starting from being pretty out of shape and I'd never done anything like this before, and I'm also tall (6'4"/194cm) which makes it harder, but I see people talking about timeframes of 6 months to a year minimum of training them seriously (say 20-30 mins 4x a week or more) to have a chance at kicking up into a free balancing handstand for, say, 15-20 seconds. It has taken me way longer than that, but I'm now up to ~30 sec holds but still with pretty terrible consistency (i.e. I get a couple of good holds and a few more shorter ones a day out of ~20 attempts).

For where it sounds like you're at, I totally recommend Yuri Marmerstein's Vimeo series here: https://vimeo.com/ondemand/handstandbalance/249766384. Not free but cheap and very good. The basic requirements are being comfortable bailing, and being able to hold a half-decent chest to wall handstand.

re: body tension, it depends what you're planning to achieve. For just handbalancing you actually don't need a lot of tension, just enough that you're not flopping around all over the place. Most of the information online that talks about buns & core of steel comes from gymnastics, where the tension is used to generate force when tumbling. Most people from a handbalancing background no longer recommend tons of ab work (i.e. dish/hollow body) since it's not really required. You will need tons of trapezius and forearm strength though, working those was really a game changer for me.
Follow up: We've also noticed that a lot of our downloads this weekend came from countries with high degrees of censorship.
At least as insidious to diagnose and overcome, if not more so, was the transient behavior of the engine components outside of even the turbopumps (e.g., valves, preburners, thrust chamber) and the high sensitivity to all the time-dependent characteristics. Robert Biggs, one of the fathers of the SSME, wrote a great book on it, most (all) of it posted online at: http://enginehistory.org/Rockets/SSME/ssme.shtml
San Francisco really is a different planet
That does require no such thing. See the comment below to tgb
EveraLabs – world’s first DNA powered decentralized supercomputer
https://www.everalabs.com/
The reason they failed is because they stopped. For some reason people expect doing something healthy to their body for a few weeks is going to outweigh the years of eating bad food that they will repeat doing after losing weight.

Just look here at this prime example:

"Researchers followed 14 of the contestants from season 8 of The Biggest Loser, including the winner, Danny Cahill, for six years after the show ended. Thirteen of the 14 regained some of the weight back, and four of those gained back what they had lost – and more."

Imagine what would have happened to that person if he didn't go to the biggest loser and just ate the same unhealthy food for 6 years? Do you think he wouldn't have gained 10% more weight? It wouldn't make headlines if he did.

[0] https://people.com/bodies/the-biggest-loser-contestants-perm...
>I'm not sure but I think he uses the word "incommensurability", which implies an absence of indicators of progress (if not him then certainly some interpretations of his book use that very word). (...) Rather, pragmatists like me have resolved to ignore him and enjoy our iPhones and lasers.

Well, Kuhn was concerned with science and epistemology, so not progress in the general sense if I'm not mistaken.

Technological progress (from simpler to more complex technologies) could hardly be refuted, even from Kuhn.

But whether iPhones and lasers are progress in the value sense, that (with a logic similar to Kuhn's thoughts on science) depends on our value framework. They're not irrefutable progress even for all of us in today's cultural climate (some e.g. consider them regressions regarding experiencing the world directly, intimacy with others, privacy, etc, and think we'd be better off without them, even if we lose portable social media apps, global internet access from our pocket, etc).

Even less so for other cultural contexts (and we don't even have to go to the past; would the Amish, for example, consider an iPhone "progress"?)
tiktok is literally shit yet addictive.
We need to know the purpose we’re trying to serve, and only then can we build something that admirably serves that purpose—even if it isn’t exciting to build.

I wonder if there is a common mindset that the majority of web developers have which causes them to love overcomplexity so much; certainly it's there in other areas of programming, but it is not quite as prevalent. There seems to be a very strong "if it's not new it's bad" sentiment[1], and as a result, the amount of churn is also extremely high. What's so "exciting" about doing more with less?

As an aside, it is good to see that this article is completely readable without JS.

[1] I've received comments from "real web developers" that some of the JS I've written is "not modern enough" --- despite it working in more browsers and being over an order of magnitude less code than their proposed "proper web development" solutions. They are correct, I am not a "real web developer", but when I write JS it's usually because I have a problem to solve and don't have any other choice.
GitHub Pull Request Comments Navigator – Chrome Extension