skysight-inc/HackerNews huggingface dataset:
> Chestnut

There's plenty of wood for all uses. If you drive the back country, you'll see quite a few tree farms.

> Puerto Rico

The shortages there are the ones government utilities are supposed to provide. A lot of people, however, made money providing various solar power systems. Anyone who can pay for it can get power.
No, because most of a rocket's propellant mass is the oxidiser. With a jet first stage you get the oxygen from the air up to the point where you run out of air.
Announcing+Nginx+Plus+R18
Show HN: Define JavaScript class methods outside of their class
I would say it's a mix of all of those things. I have been lucky in my career, but before I went into development I was most assuredly unlucky. I do pick good companies, I've declined jobs from places that paid more but were a quality of life hit. I do have a luxury of choice since I'm younger, but I'm planning my family and saving sensibly so that choice isn't a luxury I can't afford down the line.

But the more I reflect on this thread, the more certain I become that mentorship is important and cost-effective for any industry.

A company that can't justify training and mentorship is either two things: financially poor or culturally rotten.

This is American capitalism, for all it's good and bad, this is a company first society we live in. A company that can't plan to have enough money to train employees is irresponsible. A company that won't train employees is pernicious. Either way, count me out. In the competition of employers I'll take the one that invests in me, and as I've said earlier, I've seen others follow suit.

This isn't some hippy dippy stuff. I don't want a company to cradle me. A company that can't or won't see the value in training its employees to be more effect in the industry its in has to be a special type of near-sighted. For a variety of reasons this is hardly a death knell for them. Plenty of places consider you a liability and glorified typist, they do just fine, but the rot is there and even if it won't kill them, they are a company diminished.
> It allows us to throw different use-case-optimized GUIs at a sync'ed folder of org-mode files. A clear example are the mobile apps, but there are others.

This is a good point, I agree.

> As for the knowledge base features, however, I'm still far from being able to reproduce the speed and precision of recall that I had on InfoSelect, or even Evernote with a solid tag hierarchy. I also use Dynalist to have an outliner on mobile.

What speed and precision are you missing? It seems that org mode should have the capacity to establish any content connection scheme you could dream up.

> KB situations

What does KB mean?

> I would also love to be able to browse connections in my knowledge base, TheBrain-style, but that will always be clunky to unusable on a pure-text UI.

I don't think this is true. Depending on the kinds of connections you want to browse in your knowledge base there are plenty of ways to transform the ui to show them. That is what I see org mode to be at it's essence, a software tool to allow for transformations of text on screens. I think though, that your point is more about browsing. We should have text-based ui browsers for connections. All a gui like the brain is doing is putting animations and a mouse on top, we can definitely specify things via the keyboard in a number of ways to replace the mouse, and who wants animations to begin with? If the main pull at the end of the day is that GUIs are pretty and text UIs aren't then let me point you here [1].

[1]: https://lepisma.github.io/2017/10/28/ricing-org-mode/index.h...
We used this resource to put together a model for our distributed sessions management algorithm, heres a GitHub with Go implementation and PlusCal / TLA+ model [1]. We also wrote a more in depth article about it here [2] (with an interactive version in JS). It took a few attempts but eventually it clicked!

[1] https://github.com/endiangroup/compandauth [2] https://endian.io/articles/compandauth/
Berkely also has some interesting research on embodied AI.

My belief about robotics is that we need really efficient and powerful artificial muscles and closer biomimicry. It seems like the way real limbs operate with leverage will be an advantage if we can get useful muscles.
You and your parents saved up a lot of money and made an explicit choice as to how to invest it. That's not the same as doing absolutely nothing and waking up to an email that your apartment is now rent controlled.

> Renters on the other hand always get screwed as capital concentrates and rent is pushed up.

You seem to have a very strong pro-housing bias. Here you imply that renters are people who cannot afford to buy a house. There are other ways to invest, right? Those investments can cover increasing rents and even beat real-estate investing.
>> Chris Adzima, senior information systems analyst for the Washington County Sheriff’s Office in Oregon, said the agency uses Amazon’s Rekognition to identify the most likely matches among its collection of roughly 350,000 mug shots. But because a human makes the final decision, “the bias of that computer system is not transferred over into any results or any action taken,” Adzima said.

The gentleman is saying that the system selects a small subset of the 350,000 mugshots, but because a human selects one mugshot from this small subset, there is no bias.

That just makes no sense.

[edited to remove stronger language]
I recently turned on a first gen iPad mini that had been off for maybe a year and its battery had run down. I unlocked it but got repeated prompts to sign into iCloud with an error when I attempted to do so.

I finally thought to check the time and it was set to 2017. Apparently if its too far from the current date, automatic time setting does not work. I had to manually set it to the current date/time, wait a minute or two, then I could toggle on automatic time setting.

It’s been a while but I seem to recall ntpd behaving the same way on Unix/Linux and having to manually use ntpdate if the system clock is too far off.
Finally, someone understands my point.
How do I short Miami and New Orleans on a scale of 30 years?
Plain text on top of a programmable interface is the way to go. I like this comment from yesterdays 26.2 release [1].

[1]: https://news.ycombinator.com/item?id=19650131
How to Enable WebGL for Blocked Graphics Cards in Firefox
Not according to the Supreme Court, who has upheld the state's right to regulate firearms.
How were you aggregating data? ComosDB is a document-store and not a relational database and wasn't designed for large-scale aggregations.

There are ways to use the Javascript UDFs to aggregate data within a partition but across-partitions is not a good fit for this architecture.
That's really interesting to see more Latinx developers (7.3%) than East Asian developers (5.3%) as a proportion of all professional developers. It's an awesome surprise, but is there a measurement reason for this? Unfortunately, this doesn't match my experience working in tech in the Bay.
New stuff is UWP or HTML. Old stuff is mix of GDI and internal UI frameworks.
The guys who worked this way, stayed in the company and were very successful for years. Those who complained about it and left weren't really doing a great job in the first place.

And, there really is nothing wrong with this policy of shoulder-surfing - unless you have things you need to hide about the way you work.

Ask yourself: what's so scary about sharing your work this way with your colleagues in a professional environment? There aren't any productive answers to this question .. only emotional ones.
coq allows you to extract a real program, whereas TLA+ just checks a spec for correctness (and you may have bugs implementing it)
Well, that certainly colors the results.
MS-DOS Shell called, it wants its aesthetic back
Cmon this is an extremely exaggerated opinion. I have used Azure and AWS and I find Azure to be much easier and user friendly.

Maybe at very large scale AWS shines through, but I would choose Azure over AWS any day.
I'm tall and this is biased against tall people.
TLA+ uses model checking over what can be understood as a custom modal logic-- the latter means that TLA is basically adding a bunch of modalities (which could also be understood as (co-)monads) that allow for the modeling of state ("temporal" logic), nondeterminism (which also shows up in the modeling of abstraction/refinement relations) and perhaps some other features, over the basic logic that you would find pre-defined in most theorem provers.

The use of model checking means that TLA+ is basically a glorified fuzzer: it will attempt to find a refutation of the model you define (such a model, in turn is usually an abstraction of the system you actually care about; not something that gets verified "end-to-end" like in Agda or Coq) and any such refutation will be a genuine proof that the model fails in some way; but a failure to find one does not amount to a proof of correctness!
CosmosDB does have problems but the comments here seem to mostly be about not understanding the data model. It's a JSON-based document-store that distributes data across partitions.

It offers several interfaces (set at the database level) but that doesn't mean all the functionality is supported. It works well with MongoDB, Cassandra, and Table storage but you won't get relational SQL joins or fast graph search queries in Gremlin.

I agree that marketing and documentation is poor which leads to these misunderstandings. Multi-model is never perfect and people forget that emulation has a cost in performance, price and functionality.
> Sounds like this project may be intending to write one, but is there any existing documentation on syntax colouring that goes beyond "what we thought looked nice"?

I tried to do something link this with a color scheme for VSCode https://marketplace.visualstudio.com/items?itemName=narenran... . Some highlights:

* Warm Colors are used for action keywords - throw, return in programming languages, links in Markdown files.

* Cold colors are used for definitions - Function names, variable values etc.

* Muted neutral colors are used for punctuation, comments, and anything else which detracts from the code.

I've been meaning to write a more detailed post on this
(as well as an update), but comments/feedback welcome!
I can't help but wonder which is more likely - that the system has a much harder time classifying the gender of darker skinned women because of bone structure and light reflection or because the training set was not provided enough pictures of darker skinned women in contrast to other combinations of gender and skin tone.

I think it's probably more likely the second just because when there is a significant problem in classification of other things for a Bayesian or other type of machine learning algorithm it often turns out that the corpus had poorer examples of the problematic classification in relation to other classifications - that is to say it is a known problem with a predictable result.

But probably should do some studies about skin reflection, that's a good idea.
Skipping breakfast is wrong, in any context.

The result of not eating anything for breakfast is that the body reduces consumption ("metabolism"); this is exactly what one wants to avoid in diets.

This can be tested very simply. Compare the time of the morning when you start feeling hunger between when you have a breakfast (even a relatively light one, which is what one would do in a weight-loss diet), and when you don't have it.

Most people will paradoxically feel hunger earlier when they have a breakfast compared to when they don't.

This is the major paradox of weight loss: eating less by itself is not necessarily more productive (diet-wise) than eating more.
Readme has a screenshot now.
The default is rooms/804806 with location given as Campo Pequeno in Lisboa for me, but the one you gave was claimed to be in London. Incidentally, that one also redirects me to Airbnb now; maybe it was automatically removed due to increased traffic.
2FA is not a solution. Maybe you mean u2F
What's the advantage of this versus normal unit testing?
Also: by using ReCaptcha, you're essentially giving Google free money, in the form of training samples for self-driving cars. Surely there are CAPTCHAs for things that benefit the public at large?
The problem is that their marketing and docs make it sounds like it is the solution for everything.

Legacy Cassandra workload? Use CosmosDB

Graph Database? Use CosmosDB

Legacy MongoDB database? Use CosmosDB

SQL Server database? Use CosmosDB

When the only really valid use case is:

Document Database? Use CosmosDB
You know what AI systems had the ability to explain their decisions? Expert systems.

Expert systems were the big success of GOFAI, but they fell out of favour in the last AI winter, at the end of the '90s or so, clearing the way for probabilistic inference and statistical machine learning.

Since then it seems, we took one step forward (with accuracy in classification) and one step back (with the loss of the ability to explain decisions).

Who knows, maybe a new AI winter will wipe out the statistical machine learning dinosaurs of today and leave a clear field of play for the AI Mammals of tomorrow.
This is only my subjective opinion but it seems to me that this is nothing more than electioneering, feeling around for an issue to run on, throwing everything at the wall to see what sticks since they don’t seem to have a marketable enough issue to congregate behind for next year.
If you're running the tasks 100% of the time and they take enough resources to require one EC2 instance worth of resources then running ECS targeting EC2 is more cost effective. In general most of AWS's "serverless" solutions are only cost effective if you can switch them off at some point.

Where Fargate shines is situations that require rapid scaling or where the infrastructure can be more on-demand. The startup time for Fargate is lower than EC2 in my experience.

I would advocate for continuing to use ECS instead of self-managed docker, just use reserved EC2 instances.
I read you as saying that it was the thing doing poorly and that some superior object detection method was required. What that approach could be is totally unobvious to me.
Had a similar problem with an old iPod touch. I think once the system time gets screwed up iOS won’t connect to any website due to certificate security errors - ie iOS thinks its 1999 but all the website certs aren’t effective until 2019 for some reason.
Including most humans...just saying
As an example, latency of execution and expected distribution of latencies under various conditions can have a great many side effects in the code that uses that abstraction. As in, you would architect the code using that abstraction differently depending on the expected latency behaviors.

I've seen many operational performance bugs that were ultimately tracked down to some abstraction being much faster or much slower than expected by the code using it under certain conditions. Documenting this thoroughly essentially exposes the underlying implementation of the abstraction.
Suppose the system does beat real human vision by absolute numbers , but it turns out that it is objectively worse for someone who is not white, and the higher average is because the majority of people in that society are white. Is that acceptable?
I think some of it is economics - having children is more K-strategy, more expenses and attention called for - and people don't need children for social security. Compare to say third world farm families where the marginal cost of children is low and there are more gains.
From the drivers I know, they much prefer to drive for Lyft. Almost entirely because they say Lyft riders leave much larger tips and Uber drivers tip much less if at all.
Your missing the point of view of a large component of GOP support in the USA - if one views the apocalypse as a desired result to per Revelations in the Old Testament, then the second coming of Jesus occurs and the apocalypse happening in Israel is a prerequisite. Cabinet members going back to the Reagan administration openly said this was why the EPA needed to expedite the extraction of mineral resources.
Git, as developed by that Linux guy?

Let's rewind to 2001, courtesy of The Register:

Microsoft CEO and incontinent over-stater of facts Steve Ballmer said that "Linux is a cancer that attaches itself in an intellectual property sense to everything it touches," during a commercial spot masquerading as a interview with the Chicago Sun-Times on June 1, 2001.

I am personally pleased they have thrown in the towel with Internet Explorer/Edge to just use the same browser as everyone else. Okay, bad for diversity, good for getting your web page to render.

Next they will be emulating Windows in Linux.

Not a bad idea.

A few years ago I was curious as to why programs worked quicklier in Virtualbox running Windows on Ubuntu than when I booted the machine into Windows 7 mode and tried to run them natively. Plus why bother with installing driver disks and having a subsystem when the Virtualbox provided defaults were doing a better job?

Then there is the file system. The Windows one might do special Windows things like animating folders flying through the air but it is always slower given the same hardware and same task. And normally you just want to copy files or rsync them.

Plus there is that matter of anti-virus. That is never a problem on Linux but you need that on Windows, another little watchdog program to double check every byte for you. Can't see how that helps. The unix/linux/ChromeOS idea of considering everything to be hostile with file permissions has always worked.

So I look forward to a future where Windows is just a set of UX guidelines and any 'Windows program' is secretly run in some proprietary blob that is running in some white-labelled Virtualbox clone. Maybe they end up doing that thing Apple did to move off the legacy code base where it recompiles itself.
Pandoc is great, but I’ve found that first running org-export to latex and then calling pandoc to the target format yields much better (and still not perfect) results.

My main use case is exporting scientific manuscripts from org to semi-workable MS Word docs for collaborators to edit. Not sure how merging changes back in is going to go...
There is no one-size-fits-all limit. People vary widely, and a government bludgeon is hardly going to work for most people.
But can you specify spot instance pricing for Fargate containers? I don't think you could last I checked. Spot instances are 0.25x the cost of normal EC2 instances often, so ECS with Spot launch configs are super-cheap.
A few years back I was at lunch in the courtyard at work and a little, somewhat runtish crow kept coming up and standing right next to me. I eventually worked out that he was doing it because a bigger crow was harassing him, but he knew the bigger crow was afraid of me.
“Chromitize” a .NET Core Web App into a .NET Core Windows Desktop App
I don't know the reason, but my anecdata from talking to quite a few people about it is that some people react very poorly to it. But I guess that's true of a lot of medications that affect behavior.. antidepressants would be another great example of that.
Keep the PAs and nurses, lose the billing specialists. Seems like a really clear cut call to me.

I know they're people, maybe we could have retraining programs, but it's not like private capital says "what about the people?" when trimming the redundant.
Not really. Formal verification methods are mathematically rigorous. They can mathematically prove or disprove correctness of programs and catch bugs that would be extremely difficult for a human to find https://en.wikipedia.org/wiki/Formal_verification
Ask HN: How do you manage screen time for your toddler?
The past few years have been a blur of falling in love, marriage, pregnancies, and births.

Now, I find myself the father of an infant baby and a two-year old.

I’m trying to do my best by them and limiting screen time to facetime with out of town relatives.

My wife uses her phone to share pictures.

At barely two, our toddler is starting to ask to “see see” the phone more and more.

Any tips?
It can’t today, and until it proves to do so making claims about future tech in relation to present policy is a bad idea.
Yes, I said exactly that.

Multi-model is a hard problem and only really works with similar data models. It's also confusing since people conflate SQL and relational semantics when it's really just a query language.

It does work well enough if you have an OLTP document use-case like MongoDB, Cassandra, and JSON/SQL.
Needs a study of different kinds of people. The difference being how they respond to surveillance.

I'd guess there's a very high performing group that hates surveillance, and when it's noticed finds something else to do. Might be those people whose results are 20 or more times better than the others.

Then there's those who get into flow. Would be interesting to see what impact surveillance has on them.

As a corollary, study the managers who chose to do and not do this. Figure out how good they are.

My attitude, if there's monitoring, it should be done by the individual and used by them for self improvement, no oversight.
Something I have found to work well is simply adding a hidden input field to forms. Since just about every spam bot automatically fills every field and submits, you can just disregard any submission which has that field populated and there is zero interruption to normal users.
Just to answer one part: I follow /. etiquette. I don't vote in threads I participate in.

Also the website does not permit downvoting responses so you know it wasn't me who voted your newer response down. So you can then conclude it's also possible that people disagree with your original post and that the voting was by someone else.
I was thinking of the Riemann curvature tensor which is just some measure of curvature at each point. If the bug were at some point of S^2 he would notice the curvature.

Of course, this is assuming S^2 is getting its geometry from a certain embedding into R^3 that comes to mind. You could define different Riemann curvature tensors over S^2 that may have zero curvature in certain places, like squishing a balloon against a flat table for example.

I guess my point was that topology and curvature are different things (like you pointed out with your comment about RP^2), and saying that "a sphere looks flat locally" is missing the point!

Also, it didn't occur to me that this notion of curvature doesn't make sense in 1d, i.e. for S^1 like you said.
Should the energy change be roughly the same = 0.5mv^2

The power would be different (energy is used up much faster in the 3 second case)
::And, there really is nothing wrong with this policy of shoulder-surfing - unless you have things you need to hide about the way you work::

Because that can introduce anxiety and second guessing in even the most self assured person. Which is good from time to time, but not when you're trying to figure something out.
Dude, look at the topline numbers. They are completely fucked.

Meanwhile, 10/10 developed nation socialist healthcare systems are comparatively cheaper and better.

I'm not super impressed by well-written rationalizations in light of those facts.
Cheap Hotels in Quebec Guide
That's why road workers, cyclists, and joggers wear brightly colored reflective vests.
> Skipping breakfast is wrong, in any context.

Different things work for different people, so saying something is always wrong is itself wrong.

> The result of not eating anything for breakfast is that the body reduces consumption ("metabolism");

Any evidence for this?

> Most people will paradoxically feel hunger earlier when they have a breakfast compared to when they don't.

So if they don't have breakfast they'd feel hungry later. Isn't that what you want?

Overall, I think skipping breakfast is a trick that reduces the window of time available to eat and thereby restricts your caloric intake. It also trains you to only eat when you actually feel hungry instead of being a slave to set mealtimes.