skysight-inc/HackerNews huggingface dataset:
If you think we are monitoring all PHO (potentially hazardous object) then you're mistaken. We can't possibly do that. Too many of them, sky is too big, and they don't give off anything.

It's estimated we've only found 20-30% of these objects.

https://en.wikipedia.org/wiki/Potentially_hazardous_object
I would love to have more details about your setup !

Is it on Windows ? Linux ? OSX86 ?
When you say plug & play, that means you're not required to reboot or do anything special at all ?
so all of that Levandowski kerfuffle was for nothing? dear me, what a waste!
A fresher's guide to DevRel
There is apparently a port of cl-cont to clojure, but only delimited continuations using shift/reset. Delcc is probably the future of scheme anyway, but probably more in the form of prompts and aborts.
As far as I understand, that paper talks only about MALL, which is a small propositional fragment of LL's, in particular, exponentials are missing. Extending models for small fragments to full LL has always been difficult. Note that the Lincoln et al paper is > 2 decades old. Has anyone extended it to full LL?

Note also that this paper doesn't seem to be talking about Minimax.
On B2B2C Business Models
You should look into other more saner json libraries. It's unacceptable to have a runtime error. Nowadays I recommend circe.
> Basically, Amazon has no interest in making sure that the reviews are not being gamed. Since the email goes through Amazon servers, they should be able to at least make an attempt at catching such people!

Short-term, no. Long-term, it harms their credibility until they're past being the status quo because people go to alternatives which aren't as popular or infested with this crap. In short, this is good for competition.

But the real problem, as I already wrote in another post, is the fact that Amazon isn't held accountable for this. And if that's currently not possible, it should become by law. After all, they're hosting deceiving misinformation and facilitating a platform for sales. Its easy to get away being the middle man but that doesn't mean its fair.
NASA’s planet-hunting spacecraft officially begun its search for distant worlds
The "testing will catch it" argument is used as a rationale for avoiding types at all. Of course testing does work, but I find it's more costly and less reliable (e.g. I remember one infinite-loop bug that was missed because it was an overloaded function and the test was invoking another variant).

I wouldn't start porting production systems to Idris just yet, but I do think it's worth adopting the same kinds of techniques: avoiding loops entirely, and making sure that when you do recursion it's very clear from the code what parameter is getting smaller in what sense.
>It turns out you can’t fix noisy data by intersecting it with a different-but-related noise source.

This doesn't make sense to me. Why didn't this work?
This is outrageous. I also read those rules as 10.8.5 would only apply if you have in-app purchases and so on.

I agree with other posters that it is probably a low level employee that made a poor judgement call, but what always irks me about cases like this is that appealing the decision can feel like such a futile fight.
I believe he is out now but yes! Been listening to his crazy stuff next to campfires last summer... Epic.
Thanks for the feedback! I'll make something that's more mobile friendly soon!
Or just run actual freight trains which require very little humans and are quite effecient.
This little book "Diversity Map" has a better view on cultural differences, time management being one of them.

Nevertheless, I grew up in Brazil but never agreed with lateness. I found not necessarily a sign of being sloppy but rather disrespectful with the others. However, I can understand why, specially in Rio where the public and private service can't deliver service with punctuality, it is impossible to manage time properly.
Your TCP ACK approach is confusing. If you mean to check all the frames, but only say if they're OK every 32 frames that only makes sense if you somehow have a medium with high bandwidth AND high error rates. If your error rates are low conventional TCP will just send occasional ACKs saying e.g. "Yup, got the last 500 packets, keep it up".

But if your error rates are high and your bandwidth is high you should already know how to fix this and get very slightly less bandwidth without errors, so why is this suddenly TCP's problem and not your transmission medium?
It's great to see a development tool with this take in the Python ecosystem! I always thought that things like turtle are underappreciated for educational purposes, and having them out of the box in the standard library is a point in favor of Python as a great teaching language. But you took this to 11. :)
Glad you could find us! We will be very excited to watch and review your film. Feel free to try out the service.
Would love to hear why some disagree with this. (two downvotes) what am I missing?
WOFF font rendering issue on Windows
So pretty much the same as American prisons then?
> By far the majority of users get Krita from this website: about 30,000 downloads a week. Store downloads are only about 125 a week. Still, the income generated makes it possible for the Krita maintainer to work on Krita full-time, which would not have been possible otherwise.

So while the download count itself does not matter, it is clear that the project is really helped by its presence on the store.
Every standard undergraduate textbook on set theory does this. I quoted Moschovakis' fine book. It's trivial, once the core concepts are in place.
I think its done out of malice however they dress it up.

Ignoring history of how stolen wealth from colonialism and protectionist policies of the west during the colonial era etc when its convenient to do so is nothing but malice.

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

President Ulysses S. Grant stated:

For centuries England has relied on protection, has carried it to extremes and has obtained satisfactory results from it. There is no doubt that it is to this system that it owes its present strength. After two centuries, England has found it convenient to adopt free trade because it thinks that protection can no longer offer it anything. Very well then, Gentlemen, my knowledge of our country leads me to believe that within 200 years, when America has gotten out of protection all that it can offer, it too will adopt free trade.

Now America and its lackeys in IMF and WTO want to do the same to the poorer countries.
It supports unicode. And indeed, for a while you could post emoji, until they were added to filters disallowing them. You can still find old posts containing them, rendering correctly.
Can you post your papers
on linear logic?

That would de-anonymise me on HN, which I want to avoid.
Strikes me as a lost war for Elsevier
Out of interest in this I made Https://linksforreddit.com. You can view who links to certain articles. I backed up and truncated the 2017 data because the VPS ran out of space but there where and are interesting patterns. Nothing proof like but the same pdfs sometimes get linked close to a hundred times by similar themed and structured essays but textually different comments.
2015 MBP. Function keys, good set of ports, I’m happy. 16GB RAM will hold me for a couple more years. My slowest tasks are I/O bound anyway.
"Store downloads are only about 125 a week"

If that's the case, then with the 15% MS cut they're pulling in ~$4500 from the MS store per month - far more than their donations.
IIRC your "app" is not just the executable, but everything related to your application in the store. That includes all assets, metadata, listings, etc. Also the "transactions" includes selling the app in the store, so unless you make it available free of charge, you can't promote alternate download sites for the same content you're selling in the store.

You can however link to the "app's website", and if you just happen to have a download link there, for a version somewhat different from the one in the store... they might have a much harder time finding something wrong with that.
This works better for freelancers: check the engineer's online presence, his blog, GitHub etc, then have an informal interview to see if you two are able to help each other, and then start working together on a small actual task for a reduced price.

Both benefit. The engineer does not need to work on silly online tests, gets paid and gains an impression about how the company works; the company gets to see how the engineer solves a real problem, gets (most likely) a usable result in return and has provided the engineer with a headstart into the company's work culture should they decide to continue the cooperation.

Everyone wins, resumes become mostly useless and no artificial interviews
In hindsight, it is clear now that he was extremely prescient.

What an accurate analisys of a major geopolitical event!
Another option would be that the compiler deduces when exactly the statement x+=x would need to switch from integer to double. That's more difficult, and impossible in general, but not impossible in specific cases.
It's an interesting idea (though I'm not sure how much appetite there is out there).

We've built a version-control app on top of Git for workbook files (www.xltrail.com) so I know a thing or two about parsing the cell content of sheets.

There is no Python library that supports reading cell formula content across all workbook files (for instance, xlrd does not support formulae at all).

If you can go beyond Python, have a look at sheetjs.com (open-source JavaScript based) or Aspose (commercial .NET solution).

That aside, "client" integration of such a tool could be a major blocker from our own experience. E.g. if you could build it in such a way that it's "fire and forget" (like uploading it to SharePoint and integrate it there) it is a lot more likely to being used. Or integrate it via Git (drop me a message if you want to chat). Or add it as a feature to something like rubberduckvba.
You are telling yourself this, but you don't realise it - you are mistaking your own voice for objective reality. You might have heard the expression 'the map is not the territory'.

The only person thinking bad things about you is you.
Python totally ignores them at runtime, PHP has this but it actually slows down the code a bit.
It does make catching bugs easier.
"São Paulo, for example, feels as hurried as a major city like London or New York, complete with high-pressure business culture, overcrowded public transport, killer traffic etc."

So the measuerment of being reliable is the stress factor in the city?
How sad.

I really like reliability .. to lower stress. And hurry only, if needed, not as default.
Exactly, this is why extending scope of democracy (workplace democracy, more decentralization, liquid democracy, direct democracy etc) is important, intellectual/political/economic/corporate elites with power however much "enlightened" they are , without having skin in the game lead to disastrous policies.

One person, One vote is the least flawed way to gather signal from actual people who have skin in the game.
I wonder when they'll finally give up.
I get a "name not resolved" when trying to navigate to your link
Agreed.

The folding of other consortia modelled after DEAL during negotiations has been shameful so I am glad that DEAL are standing firm.
Does anyone even use the Windows Store on their desktops? I've never installed a single application from there. I like my next-next-next-next wizards.
Reviews on sites like Amazon or Yelp are a monoculture: everyone sees the same set of reviews and the same ratings. This creates leverage that makes it worthwhile for shills to spend large amounts of effort "infecting" those sites with bad information, since once they find effective ways of doing so it affects everyone.

So the solution must be a review system that works like Twitter, where each user has a unique "view" composed of sources they've selected, directly or indirectly. This diversity would make infection much more difficult and less rewarding for shills and other attackers.

I'm still trying to figure out the best design for such a system. The requirements and usage patterns would be quite different from Twitter's, and I'm not aware of any existing attempts that I can learn from.
What an amazing effort. Now what would it take to entice the creation of Númenor and Beleriand....
Elm functions in WebAssembly
Yes, they could, and should, if they can afford that.

However, 125 dl/week * 9,79 usd/dl * 4 weeks in month * 0,85 of what they get to keep from the price = 4160,75 usd/month.

That might be a pretty big chunk of their income. As you said, beggars can't be choosers.
Curious: is "Hug of Death" the 'official' term given to sites that suddenly experience a huge load after being featured on HN, like the "Slashdot Effect" in the past?
Two scientists are changing the way the world looks at mist
Truck drivers must rest for considerable amount of time. For example, in EU truck drivers cannot drive for more than 9-10h per day and there are further restrictions (i.e.weekly)[0], so you either must send few drivers to a prolonged journey or truck will simply stand idling >50% of time. I'd say this reason only is enough to make autonomous trucks economically viable.

0. https://ec.europa.eu/transport/modes/road/social_provisions/...
Why and how to start your SICP trek (2014)
WikiLeaked: Over 11,000 messages from private WikiLeaks chat released
Chinese Intervention: “Management made us change the antagonists to North Korea”
I see more and more mentions of abusive behaviour by corporations.
Google blocking AdWords / Compute accounts, Facebook rejecting ads, and now this.
It seems innovators must navigate around automated systems and/or non-technical employees whenever their product is slightly outside the norm -
Usually unsuccessfully.

So what's the alternative to entrusting our fates to faceless corps?
Distributed apps perhaps?
I'm not sure I can follow you here. I have said that you need to express infinitary formulae in a finitary form.

What's the connection with martingales?
Before it was called Firebird, it was called Phoenix (I don't remember the related icons though) [1]. The name's also referenced in about:mozilla

[1] https://en.wikipedia.org/wiki/History_of_Firefox#Phoenix_0.1...
To point #1. That happens still to today. It is a matter of education and resources. Unfortunately, both are low in Brazil.

To point #2. Any guest in Brazil will be treated differently during their visit.

https://jornalistaheitormenezes.blogspot.com/2015/11/o-carna... has some interesting historical context about Feynman's trips to Brazil.
i wonder what did races to 1, 10 and 100 billion look like?
France bans smartphones in schools
You left it too soon. Clojure.spec brings much more than most of the other type systems could deliver.
Exactly. It's a party! people should feel good and not under the artificial pressure of time.
This is pretty interesting. I am from India & you can observe something similar in India with a lot of people not all. We are not the most anal about being on time & most meetings never start on time. Parties or group dinners will never ever start on time. There is this thing called "Indian Stretchable Time", a funny variation on IST. I always wonder how much of this has to do with our cultural concept of time. As per Indian mythology, time is not linear but circular, there is a cycle of birth & death till you attain moksh (salvation). The other thing I notice vs. west is that people in Indian offices chat with coworkers a lot more.
Depends on if the Foundation is tax deductible (501c in USA?).
If you're asking whether it's a common term, yes.

If you're asking whether it's the most common term, that sounds hard to figure out.
I find the earlier/Socratic dialogues, from Symposium to Apology, much easier to read, more fluid and dynamic - that probably has to do with the character of Socrates himself.

Works such as the Republic are a bit too heavyweight / scholarly for me..
I don't understand why the number of books people read a year mean anything.

If someone read one book a year, but they were part of the "Art of Computer Programming" (including some exercises), it would be much more impressive than someone who read 50 books from Goosebumps series.

Reading is important, but contemplation and penetration of a subject should be the goal (e.g. doing exercises in back of a book, summarizing a book, critiquing a book). People who are trying to finish a book every week is missing the point, and will never read anything that is difficult or dense.
"The Spartan-inspired political system advocated by Plato in The Republic is totalitarian beyond the wildest dreams of a Hitler, Stalin or Pol Pot."

What do you make of the claim that The Republic isn't about an ideal state at all but is rather an allegory for how individuals should govern themselves (ideal "soul"), with "totalitarian reason" at the helm I suppose, and that it's even stated in the book itself that this is the case?
IP, TCP, and UDP all have checksums, though (a) that's less powerful than error correction and (b) the above are weaker than the Ethernet checksum (Ethernet is 32 bits while the others are 16 bits, and also I think these three are all addition- or XOR-based instead of a polynomial CRC).
Any back end will work fine with those front-end frameworks. You just have to be able to build out an HTTP API. Rails is still perfectly viable, just less dominant than 5 years ago.

If you’re building this thing to have it built, I’d say go with what you know - at least on the back end where what you know is still relevant. Learning new front end paradigms will be enough of a challenge in itself.

If you’re building it primarily as a learning project, then go ahead and pick up something new for the back end too.
Dixons Carphone: Unauthorised Data Access
What makes you think that the HN poster has any affiliation with the project, or vice versa?
But not on the same terms: it is questionable if access to Galileo for example will continue, and if it does, what kind of access level the UK will have.

As a EU citizen, I worry that a fierce competitor (and in some aspects a potential foe) is going to be (mis-?) using EU infrastructure.

Why would the EU choose to be put at a disadvantage by giving the UK more negotiating tokens? We have seen that the UK tries to advance negotiations in some areas by using leverage from other areas. Which is fine, it is part of the game. Let's just avoid falling into more traps.

The underlying problem is that of trust: trust is not the right tool to build international relationships: independent institutions must be there to arbitrate whenever disputes arise. But the UK refuses to be held to account. It is thus an unreliable partner.
Normally? Web apps.

But people are missing the forest for the trees: yes, the tech is crappy, because it's committee driven tech, but we're using it not for technical reasons, instead we're using it for political reasons.

And it's worth doing and stopping promoting the proprietary variants (native apps, basically).
That probably counts the same account installing on multiple devices or reinstalling it. So in reality probably bit less.
Are they for full LL or just small fragments (like MALL)? And what kind of completeness properties are known to hold or not to hold for those models?
I think once you've chosen "one", you need to stick with it: "if one drinks milk, one's bones would benefit".
Yes. For a while, you've been able to embed JavaScript wrappers using stdweb (https://github.com/koute/stdweb). There are pre-built libraries covering much of the DOM. But you may need to submit PRs if you get heavily into <video> or something else with non-standard APIs.

The shiny new toy is wasm-bindgen (https://github.com/rustwasm/wasm-bindgen), which will soon allow the use of WebIDL (https://heycam.github.io/webidl/) to wrap the entire browser API, if I understand correctly.

In practice, it all seems to work pretty well. But for public-facing sites, you need to watch the number of dependencies you include and keep the *.wasm size down.
It's the most common one on reddit at least.
I agree with you and yet people are convicted based on the basis of one person's word against another's all the time.
I am surprised that no-one has mentioned Amazon yet.

If you look at the boxes now[1], they only have the Amazon curved-arrow logo on them. Even the black Prime branded packing tape no longer says Amazon on it. Also the ending of the TV adverts are the same, with just the curved arrow logo.

--

[1] In the UK, at least.
Would love to see New York Times leaks, especially about the so-called "narrative."
Also depends if ReplayGain information is merely stored as extra non-destructive metadata or applied to the waveform: https://wiki.hydrogenaud.io/index.php?title=ReplayGain
Are you talking about big picture focus (working on the right things)? Or little picture focus (getting into a flow state so you can finish the task at hand)?
I go to it first, for the auto updates without additional software. It also updates apps seamlessly, unless you check the logs you won't even know it happened. I use it for Spotify, Netflix and a few other things. It needs improvement but I like it.
3 ex-SolarCity employees claim company oversaw bogus sales to inflate valuation
I see TS as basically the one example that has nothing to do with the MS ecosystem.

I actually only know web developers using Macs to edit their TS, maybe a rare case of Linux, zero other MS things used, except maybe VS Code. And maybe it's debatable if VS Code is the best TS editor, I also have no numbers about widespread use, but I doubt it's a majority.
Rather Than Ask Google, Let’s Ask Shodan
Yeah predictability and reliability can give a sense of comfort but in a big city there are so many variables out one's control that it is easy to let things be and live life on its own terms sometimes.
How active is she, and how much space does she have? There are people who spend a lot of time buying things at yard sales and estate sales and then selling them for profit on EBay.

Is there a college or university anywhere near her? Many of them will let retirees audit classes for free or a tiny fee. If not, maybe she’d enjoy a MOOC or two?
I have found that Java enforces a higher floor of readability than most languages, simply because you have to type out so much "boilerplate" for everything. Though even that does not come close to Haskell. Ironically, the introduction of lambdas made bad Java code using them far less readable.
Composing Programs – An introduction to programming in the tradition of SICP
How quitting my corporate job for my startup dream messed my life up
That must have changed rather quickly. In 1972 Alan Kay wrote "A personal computer for children of all ages". Here is the abstract:

> This note speculates about the emergence of personal, portable information manipulators and their effects when used by both children and adults. Although it should be read as science fiction, current trends in miniaturization and price reduction almost guarantee that many of the notions discussed will actually happen in the near future.

The paper is a great read. He basically imagined that in the future we'd develop the iPad and some high quality educational software for children. Forty years later, we can proudly say we've successfully developed half those things.
Taskbook – Trello for your Terminal
They want:
http://nalacrea.n.a.pic.centerblog.net/68b481a5.jpg
actually it's:
https://www.youtube.com/watch?v=kP3YL9AEUlo

when it should be:
https://www.youtube.com/watch?v=KvMxLpce3Xw
Didn't the Mafia used to hijack trucks?

It doesn't seem that ridiculous even with humans - high value loads often have police escorts in my country for this reason.