skysight-inc/HackerNews huggingface dataset:
Thanks - I am glad I could help.

I posted a reply to your question about 20 minutes ago, but I think it was mostly wrong. Meanwhile, here is something about Ritz's theory:

https://en.wikipedia.org/wiki/Emission_theory

(This has a good simulation of the effect at https://en.wikipedia.org/wiki/Emission_theory#Refutations_of... )

https://en.wikipedia.org/wiki/Ritz_ballistic_theory

My corrected reply is that what would make this effect measurable (if Ritz's theory were correct) is the catching up of the fast light to the slow light over the long journey to Earth. What matters for that effect is only the range of speeds imparted to the light by the star's motion. We are measuring the timing of observed orbital events, not the speed of the light, and the only significant effect of Earth's orbit on those measurements comes from its position in its orbit, nearer to or further from the binary, which makes at most a 1000 second difference (the time of light to cross our orbit) and is easily taken into account.

In other words, I agree with you.

The emission theory article notes that this theory is consistent with the Michelson-Morley experiment, so De Sitter's argument appears to be very significant in establishing the correctness of relativity.

By the time of this paper, Ritz had already succumbed to tuberculosis at the age of 31.
Mad HN nitpick:

> – dedicated to Piet Tacx, Fred Fluitsma and Eddy de Leeuw, thank you both very much for my early career and everything that followed from it.

it says "both" but you're thanking three people :-)
if the input doesn't fit into memory than usually merge sort is better, because it is sequential and we do not need to jump around
> but what I find most surprising is the claim that this would make the halting problem solvable.

I don't think this is correct. I believe that it only makes the Halting Problem verifiable to a simple verifier dealing with two entangled verifiers. So a verifier typically has to rely on an oracle to solve the Halting Problem, but this new proof eliminates the need for that trust by a verification procedure using two entangled oracles.
> If dependent types would accept unsound proofs, the soundness of the entire type system would be compromised to the point of undefined behavior.

This seems like too strong of a statement. Every language that allows for nontotal functions has a type system allowing for unsound proofs. This does not mean the type system is compromised to the point of undefined behavior.

Dependent Haskell is explicitly going to be unsound even in the presence of totality (type in type). Idris allows for partial functions by default (although you do need to annotate if you want to use it at the type level and the compiler doesn't know it's total). Dependent type systems are not required to be sound by any means.

If you lie to the type system you just blow up at runtime, e.g. with an exception. Same as in any other language.

Leaving that aside, my point is that as long as you don't need your proofs at runtime, you don't have to use a deductive proof with dependent types! Substitute the property check thing there with a model checker if you want 100% assurance, but you don't even need a sound verification! If you're okay with just 99% confidence instead of 100% then just do the property test and be done with it (that's my example with concat and chrisdone is talking about when you would run the property test). If you're feeling really adventurous just assert the statement without proof and move on. If you don't run it at runtime how you prove something or even if you do is up to you.

Also out of curiosity, how do you express that, say, a static method with two arguments is associative in JML or any other contract system, Hoare Logic based or otherwise? I suspect you can, but I also suspect it looks annoying and hacky where you essentially encode a function application counter in your ambient state and have to basically make an inductive statement. EDIT: ah ha in JML you have the keyword pure that extends Hoare Logic so I suppose you do an assert with pure? But then how do you express the general notion of associativity? By requiring purity as a precondition and then writing out the condition again? Can you specify purity as a precondition? I'm not sure how you do that, presumably you'd need JML to be able to recognize a SAM class and then be able to tie purity to that, which seems hard if not built-in.

Whereas with dependent types it looks very similar to the usual notation.

(x, y, z : A) -> x `op` (y `op` z) = (x `op` y) `op` z

For

op : A -> A -> A

More generally you can express associativity itself with:

isAssociative : (op : a -> a -> a) -> ((x, y, z: a) -> x `op` (y `op` z) = (x `op` y) `op` z)
It’s easy to dislike Boeing. They are a bloated and corrupt company that were unfairly awarded $2 billion more than SpaceX for the same project. Despite that advantage they still showed up to the party with a vastly inferior rocket system.

For me personally I can only wonder how much further along SpaceX might be if all the money we’ve given to Boeing had instead gone to SpaceX.
I have a feeling that's also because rather than build a business around making things as expensive as possible and dragging contracts out as long as possible, they're trying to make significant advances in technology. While I know it's not necessarily true, it feels like the US Space Program has been a glorified corporate welfare scheme since Saturn V (prior to SpaceX shaking things up).
> Germany's most violent soccer club

That's nonsense. St.Pauli isn't a particular violent soccer club. Far from.

https://www.youtube.com/watch?v=4gkqL0I20sI

https://youtu.be/FzhEt7VXS_c

They even visited their fans in the US:

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

According to the New York Times they have the world's coolest Kindergarten:

https://www.nytimes.com/2017/04/24/sports/soccer/welcome-to-...

> its most known police station

Paul McCartney spent a night there, when the Beatles started their music career in Hamburg St. Pauli.

https://www.beatlesbible.com/1960/11/29/paul-mccartney-pete-...
Interesting, will definitely reconsider. Thanks!
Nah, disclosing these vulnerabilities is usually about CV-padding and publicity .

There aren’t many people out there hunting bugs just to be nice.
Will this have any impact on the Folding@Home efforts?
Thanks for your suggestion.

It used to be way more "restrictive" than that, until yesterday when my unscientific analysis prompted me to make the change to 50. At this level, I felt that many users would be able to get some work done and properly test Flookup at the same time.

Of course there might be some more room for expansion and I'm willing to do it depending on user feedback and more research.
Black box model is a perfectly well understood term of art.

It means a model which has a somewhat opaque internal working. A lot of modern ML approaches treat the model as a black box in that it is not particularly clear how the features actually interact to reach the prediction.
You should add some contact information to your profile.

And/or get in touch.
cool. it gives me a lot of confidence to hear these stories :-) Where did you initially "advertised" (I don't mean paid) ?
I would consider not trusting your intuition when it comes to pricing.
SaaS marketing tactics and case studies
Try a little salt and black pepper on your cantaloupe. It's amazing.
Allocator Designs
How to Corrupt a SQLite Database File
"<java something-something> bytecode is really easy to decompile"

by the 3rd time i was laughing at this...

"not a problem, barely an inconvenience"
They’re almost 50 and don’t have a full time job with pension. That is not a good position to be in unless you come from money, are married to someone who does, or has a solid professional career or gold plated benefits and a permanent job.
I want to keep my setup as lean as possible. I hoped I could find a way to suspend and resume groups of application, but apparently on OSX it is not possible.

So far I have a hack that starts a number of terminals from which the various applications necessary are started.
nice one :>
Is this cert revoked yet?

Sure, Entrust is required to revoke it. It is bound by BRs. If it refuses, Entrust will get itself blacklisted by browsers. On the other hand, having the cert revoked will cost Netgear dearly. As a result, I wonder if Entrust might be dragging its feet on the revocation.
This stopped being a useful distinction a long time ago.
Lawnchair Larry Flight
Radiohead Public Library – new onlive archive
> Of course, the more candidates there are, the more competition for the jobs. But it doesn't follow that the jobs' terms will become increasingly exploitative, such as being offered in shorter term, with less pay, lower status and fewer benefits. That requires a separate decision to degrade the offering. [...] Anyone who tries to explain it purely as supply and demand, or even “nature”, is either ignorant or is trying to sell you something.

Higher supply does lead to lower price, though.
Idk. You could probably get pretty far just starting with hand made custom cars. 5 guys, 4 welding machines and an electrical engineering degree could probably make a few in their first year to just get started.
the same with the demos for completing a phrase based on Crime & Punishment... having all recently seen the text completion demos of GPT-2 the Reformer examples are decidedly underwhelming

I mean, I'm sure it's a great new technique and all
What tech do you use? Really like your website btw, friendly, clean and clear
This is clearly a group that makes more than just threats: https://www.thesportsman.com/articles/effigies-hooligans-and...

They're football hooligans, with everything that usually entails. ESPN are just being apologists for them because their violence is accompanied by the correct political ideas.
For the competitive games where higher framerate is most advantageous (i.e. shooters), I come to the opposite conclusion. Games like that tend to have long periods of low activity where you aren't being challenged, with short periods of chaotic fighting where framerates are significantly worse. It's only during those chaotic times where the performance (of both the hardware and the player) actually has an effect on the outcome of the match.

I think it's far more important to have a consistent framerate than it is to worry about wasting potential (fast) frames. Inconsistent smoothness and input lag will create a disadvantage compared to just playing at a capped (lower) framerate.

So I think a balanced system (both the hardware and the graphical settings) with a 144hz monitor should be able to run games at far beyond 144 fps most of the time, so that the framerate will only drop down to around 144 in the worst moments. I would even suggest setting a framerate limit near the worst framerate your system often drops down to in the game.

How much your hardware needs to be "overprovisioned" depends on how poorly optimized the game is. For many games this can as much as a factor of two difference. So you might only be putting 50% load on your GPU most of the time, but peak at 100% load at important times.
> Cries for help on the Spotify forums were ignored

Yea sounds about right :(
"cult" in that is used in the same way that "cult film" or "cult classic". Nothing to do with an actual cult.
there is a building squatted
since 1989 by far left scene

Which building would that be?
WTF is the whole world bonkers?
Eat crickets and sit in a room, don't breathe though. That will kill Mother Earth.
Synthetic to Real Dataset as a Service –| Zeg.ai
We are launching synthetic datasets as a service. Dataset is indistinguishable from real world objects and contain every possible information that exists in real world (shape, material, lighting, etc.) AI-led companies can significantly increase their precision and performance at a click of button. Currently, available for real world small objects say consumer good items but open to exploring other objects that could be useful for your product/ research.

More details here: https://www.linkedin.com/pulse/synthetic-real-datasets-ml-tushar-sharma/
When I started my first consulting agency it was primarily focused on helping game devs treat their projects like a real business, which I witnessed was a common point of failure for indie studios. I reached out to my old Preproduction in Game Development professor (Brian Sullivan of Age of Empires fame), who also had a lot of consulting experience, and thanked him for everything while asking for advice moving forward. He seemed genuinely appreciative of the message and gave me some great advice.
Please bear in mind that there is a regulation in EU that prices of the same product should not differ based on the country you are coming from (source: https://europa.eu/youreurope/citizens/consumers/unfair-treat..., "Price discrimination is not allowed" section).
I prefer to read comments that add value or substance to the posted article. Sarcasm doesn’t accomplish this in most cases.
And so does wikipedia.
Terraforming Mars
It wasn't the researcher who disclosed the keys, it was the vendor who did, knowingly and purposefully (in their firmware updates).
> "Germany's most violent soccer club"

In 2009, they became the first club in Germany to adopt a set of guiding principles by passing a resolution the club's AGM.

These values include social responsibility and promoting the interests of members, employees, supporters and volunteers beyond the sphere of sport; tolerance and respect and social responsibility. The club is regularly involved in solidarity actions with a wide range of causes.[0]

Such violent, wow.

[0] https://www.bundesliga.com/en/news/Bundesliga/st-pauli-hambu... also linked above.
The trick is to choose sufficiently niche heros.

When I was young I was active in the demoscene but I knew few other demosceners in person. Needless to say, I looked up super much to many demomakers, genius programmers/artists who seemingly could create madly impressive works out of thin air. It was as if they could convert dreams into code, or something [0].

Then gradually, after visiting more demoparties, I got to know some of these gods, and without exception, they were super nice. I ended up collaborating (gasp) with some of them.

I'm convinced that if you're popular and you're overrun by fans every day, it gets tiresome. That's where that saying comes from. But I'm sure that your favourite knitting youtuber, or your physics teacher, or that amateur Ambient Techno Metal producer on soundcloud you're totally mad about, they really don't get fan mail often enough. Reach out.

[0] eg https://www.youtube.com/watch?v=VvPriI0sTwQ how??
Seconding this, Spotify at work is blocked and lots of active YouTube activity would look bad, so I fire up the beloved YouTube 24hr lo-fi beat stream and let it run all day pretty much
I know there are other problems and unknowns when using WhatsApp on an iPhone.
I do not see how this is related to E2E though... Does it mean that any try to secure communications on the iOS platform is irrelevant in your opinion?
I would also argue that the mentality of the kind of people who _want_ this sort of information about others tends to lead to bad places. Most normal people living their life don't _want_ that kind of information or power.
Setting Up GitHub Actions for a React/Node Project
The best analogy for technical debt is debt - that is where it got the name from! Just like financial debt, technical debt is not necessary a bad thing, but a tool - and something to manage, control and track. And just like financial debt, taking out too much technical debt without paying it back can crush you.

There is nothing wrong with taking out a mortgage (and thus getting into debt) to buy a house - you just need to understand how to pay it off. Similarly, if you start a startup trying to find product-market fit before running out of money, there is nothing wrong taking on technical debt to do so, as long as you understand what you are doing.
> why didn't this person take the time to read and fill

> out the issue template?

Really? I'm thankful when people just report bugs, rather than ignoring them. Assuming they're actual bugs. I can always ask them for details and wait until they give them.

I feel like I've been saved the embarrassment of the bug continuing to live on in the code.

> Or, in cases where bugs are user errors that could be

> resolved by just reading the documentation, all I can

> think of is: I spent this time gifting this user some

> software, but they can't even read the README before

> filing a bug report?

For me, I'm frustrated that the UI and documentation are not clear enough, or not attractive enough, to ensure everybody reads them and abides by them. I mean, for me it's an imperfection on my part, or perhaps "basic human nature".

What I'm most frustrated about is when people can invest the time and effort to write long bug reports without realizing that the behavior they're seeing is not a bug at all.

Another source of frustration is bugs which are not mine, but affect the behavior of my software, and which I can mostly do nothing about.
Because this post is specifically a found private key for a certificate in the Web PKI it was not necessary to post that key in order to achieve all the positive consequences of public disclosure. The key only enables negative consequences.

I could give some leeway to a grey hat who finds the data but doesn't understand what it is and posts it. "Hey, what's this blob of data?". But this poster clearly understands it's a private key for a certificate in the Web PKI.

You can disclose the fact that you know a private key that isn't yours without revealing the key by various methods, but one that's very easy for non-experts is to create a bogus CSR. Just tell OpenSSL (or a tool that's actually good) that you have this private key and you want to request a certificate for it. Give bogus details, for example in the Common Name of the proposed certificate you can explain this is a Netgear key you found.

You can now publish the CSR, it is inherently proof that you've got Netgear's private key but it does not contain that key and so black hats will need to do their own work, for which you are certainly not responsible, to get that key from a Netgear box if they want to.

It would also make sense to tell the issuing CA, you should send them that CSR, although it's not terribly harmful to send them the actual private key and I guess if you're worried the CA's representatives don't "get it" this is a very blunt way to make your point. If the issuing CA doens't respond, tell m.d.s.policy both that you found this key and that the CA did not respond, and if necessary that can be escalated until the CA is distrusted (by Mozilla, and in my experience eventually everybody for reasons we'll not think too hard about here).

In the case of Let's Encrypt the process is, like everything else, fully automated. Call the API (by running your client software of choice) and prove you know the private key for a certificate they issued and want it revoked, its status changes to revoked and the next batch of OCSP signatures will show revoked for that certificate.
"The resulting algorithm outperformed all entrants at the most recent blind assessment of methods used to predict protein structures, generating the best structure for 25 out of 43 proteins, compared with 3 out of 43 for the next-best method."
This is not related to skiing, but assuming there is less snow overall, it seems there is a point where will need to "generate" snow anyway to store water for spring/summer, this is probably still cheaper that building dam/reserve everywhere.
"The vagueness of the word "life" produces an illusion of the concept being "interesting" when it is actually we ourselves who made up the word."

We make up all words and yet don't seem to find every word interesting.

"which is basically just little nano machines increasingly interacting with each other to form larger macro structures."

I'm sure a lot of us would disagree with you downplaying how interesting most people find that topic. A lot . of things can pretty much be described as "little nano machines increasingly interacting with each other to form larger macro structures".

If someone were to ask me "What's a computer?" I could technically respond with "little nano machines increasingly interacting with each other to form larger macro structures" lol
Huge Dust Storms in Australia
What We Learned Hosting Our First Ever Devops Workshop
Exactly - why I said "Though do note that the word "cult" is used often and would not be a stretch to see how an outsider to that culture would run-think in the wrong direction. But like the flag, which probably don't help the ignorant upon their perceptions."
I like the ‘screenshots’ section prominently featured on the homepage.

With the trend toward illustrations and mocked up interfaces it seems like many SaaS companies leave out actual screenshots these days.

To me that’s an important gauge for whether I’m going to have a decent user experience if I sign up (even if it’s just flat screenshots with no explanations)...
Infant mortality is lower for the bottom decile, almost certainly the bottom percentile in high and middle income countries now than for the very richest and most powerful before antibiotics. Calvin Coolidge’s son died of an infected blister he got from a racket playing tennis.

In every continent bar Africa education, healthy lifespan and average wealth as proxied by GDP/capita have improved since WWII. Even in Africa education and health have improved, despite AIDS, and it looks like economic growth might finally take off.

Some of this is due to technological advances but capitalism beats the pants off all alternative models at that, as we can see from the history of the Soviet Union, which managed to almost keep up militarily with the US while spending twice to three times as much as a proportion of GDP.

Slavery is absent in all OECD countries and almost all that are substantially poorer and less economically free.

Yes, we have evidence of this.
You can use permuted feature importance to tell you what inputs are most correlated with the condition. WAYYYY better than the binary correlation methods most statistics use for each feature.
For my day job, I'm not sure. I do software development for insurance. It's a very multi-faceted industry, more so than the average person would expect. From a tech side the biggest issue is updating old systems without breaking integration with a million things across the board.

In my side work, I run an agency that aims to reduce the amount of BS in advertising (I know, a lost cause). We focus on being honest, creative, and making people happy, instead of falling in line with the rest of the "you're inadequate but this product will fix you" approaches.
Monday: The Call to Worship
I do sometimes. I think of how rarely I receive compliments and how good I feel whenever I do receive them. I did the Digital Nomad thing for 2 years. After the (exhausting) experience I emailed the employer, thanking him for all the experiences they made possible by allowing me to work remotely: surfing, exploring waterfalls, meeting my then-girlfriend... included some pretty pics as well.

They loved to hear it. That's also why I do it. This job meant more to me than just employment.
I can't say I am super looking forward to hexapod wall climbing robots.
It is not really about an about page, even though I think it is important to have one. It is about when I use a service or even more so if I pay for one, I at least want a name and a country where my data is being processed. It might sound old fashioned but I just like to know who I'm trusting.
Atleast those (obsolete?) bitcoin miners can be put to this use.