skysight-inc/HackerNews huggingface dataset:
Strictly speaking, aren’t these the axioms of Robinson arithmetic (a much weaker system)? For Peano arithmetic you need the axiom schema of induction as well.
The sentence at the root of this subthread, namely "I do really wish that Guix used Lisp rather than Scheme" isn't an argument about labels.
I used to be a STEM academic and so dealt a great deal with university administrators and to a lesser extent academics within the grievance fields. Neither I enjoyed.

I also used to sit on the university wide committee that allocated PhD scholarships. Part of our job was to try and work out some sort of ranking of candidates between different fields. This wasn’t too hard for most fields, but I can tell you when we got to the grievance field candidates and their proposed projects we would all scratch our heads. In the end we just set aside a faction of the scholarships for these areas and accepted the ranking the departments provided.
I wonder if ramda is any better in that regard?
Usually candidates that don't support the status quo are labelled loony bin candidates. US is and probably always has been to the extent allowed by tech a technologically-enabled police state. It's just that it usually leaves most of its citizens alone often enough that they can pretend that this is not the case. I mean just see the levels of common harassment by the police while attempting to travel whether on the road or any other mode. It's common, it's routine, and it's banal. It's not the same type of police state as other police states like China or Russia, but it's a type of police state that relies on soft power backed by hard power only when necessary. It's a very sophisticated police state while others are crude police states.
Their Mac App is electron garbage. I have no idea why they can’t use some of that cash and hire real Swift developers. I know even a “simple” app isn’t easy, but for a company with their resources, it can’t be that difficult. I love Slack, but despise their app. Using a web browser is a pain for me because I want things like email and chat to be separate from whatever browser I might be using. Also if done right, an actual native app (not some React pseudo-native app) is much more performant.
Gemalto reports increase in blockchain use for securing the Internet of Things
Which OS? There are many, which is why they won't.
I can't speak for Nix, but getting Guix up and running on your favourite distribution can be achieved with this two-liner:

wget https://git.savannah.gnu.org/cgit/guix.git/plain/etc/guix-install.sh
sudo bash guix-install.sh
That is true, but people can still talk about strategies etc without giving too much specifics. It is still a good discussion to have.
Brightest Quasar Ever Found
>His sister reported him to the police and 'content stored on the encrypted hard drive matched file hashes for known child pornography content'.

If that's evidence enough to hold him in jail indefinitely then it's evidence enough to convict him. So convict him using it. There's no need to force him to self-incriminate.

If it's not evidence enough then the alternative to this is do good police work that doesn't require holding suspects in jail indefinitely until they incriminate themselves.

>I couldn't live in a world where a suspect could say "Well, I forgot the password" and walk away Scott-free on such an ugly crime.

What if it was a slightly different scenario. What if instead of encrypting the child porn he deleted it right before the police came in. Would it be ok if he was held in jail indefinitely until he confessed? What if we just hold all suspects in jail indefinitely until they confess?
Even gamers don't need towers, games don't benefit much from anything > 4 cores and the only limiting factor so all you really need is a mini-itx motherboard, 8-16GB of ram, and a beefy GPU attached. There are plenty of console sized cases out there you can build in that can fit a 2080 or Vega card.

Big cases are really for tons of mechanical drive capacity, > 8 core CPUs, addin cards like network switches, or a ton of GPUs in a compute cluster.
It looks like everyone above you in this comment thread is talking about U.S. politics, which is polarized between two political parties, Democrats and Republicans.

As long as the United States continues to use first-past-the-post voting schemes to determine the winners in electoral contests, we will continue to have a two party system (https://en.wikipedia.org/wiki/Duverger%27s_law)

Hence "both sides."
Can you handle PHI? Because I can imagine letting small providers (like my wife) transmogrify this into their own personal EHR. If it can handle PHI.
I've never tripped an outlet on less than 2500 watts, and that was an old electrical network... Did I get lucky or do standards vary in different countries?
No it is not, I linked to the external Thunderbolt SSD (last one) so there are many more pieces involved in the Samsung SSD. But it's true that the Apple one is a lot faster since it's internal.
While I'll agree that this particular filesystem monitoring class is pretty rough, I think it's a bit of a knee-jerk reaction to just outright dismiss things like <chrono> or <functional>. There are definitely situations where a very dialed-in API is preferred over the standard offerings, but it all depends on your use case.
You know less than you think you do.

GPS is not part of the measurement suite in OP, but better than 1.8 cm vertical resolution from GPS has been possible since the late 1990s, using after the fact orbit determination. It is now routine to get sub-cm vertical accuracy in GPS measurements [1, fig. 3, magenta line]. The horizontal displacements are known to about a mm.

These displacements are known so accurately that you can readily measure groundwater withdrawals, the extra mass related to of high atmospheric pressure over the GPS sensor (daily cadence), and post-glacial rebound (decadal cadence).

Your remarks below about the accuracy of the GRACE gravimetric measurement are also misguided. You can’t just choose a baseline mass and say it’s impossible to measure a change in that mass to some percent accuracy. The GRACE measurement depends on how well you can measure a distance between two spacecraft, and how well you can eliminate systematics from that difference. It does not depend on a relative mass.

Anyway, the paper uses a different technique to get ice fluxes. If you don’t know how they did the measurement, why are you so sure it is wrong?

[1] https://www.unavco.org/data/gps-gnss/derived-products/docs/H...
For a wide swath of programmers, a Lisp is something with lists made of mutable cons cells, terminated by a nil symbol which is both false and the empty list. I don't think you will encounter too many Common Lisp programmers who don't think that Emacs Lisp is a "Lisp".

Scheme doesn't use "Lisp" in its name. It has its own Usenet newsgroup; Scheme programming is rarely discussed in comp.lang.lisp. Likewise it has its own subreddit; r/lisp isn't used much for discussing Scheme.

"I would rather this were implemented in Scheme rather than Lisp" (or vice versa) is a perfectly understandable statement and sentiment that is not simply about semantic labels.
Mind if I ask you what kind of work that you guys do?

Hardcore Math modelling implemented in C++ or something?
Fieldnation.com
Onforce.com
Workmarket.com
Paypal.com
quickbpoks.com
Linkedin.com
> I do like your idea of showing current background jobs, but I find myself relying more on tmux windows than background jobs, so I suspect that number would be mostly constant for myself anyway.

Sure! the idea is that background jobs are very rare, and their existence should be clearly indicated in the prompt (in bright red). Usually, there are zero jobs and the prompt is silent about that.
Happy 18th birthday, Wikipedia. Let’s celebrate the Internet’s good grown-up
I bought a site last summer that sells YouTube intro videos for $5/$10 a pop: http://introcave.com

I made about $13k off it, which sounds good but was really only about $20/hour.

Hoping to grow it quite a bit this year and then start offloading tasks. I don’t know if I can ever get it truly passive, but that’s the dream.
Can you list how many such issues were introduced by Google and where they lacked in the preventive actions?
Small crew, tiny actually. Really close to home. Decent wage. I'm an expert at it, so, low stress. Good neighborhood.
This looks very close to quip.
It can be for a division of time.
Has Elixir input driven any new features in Erlang's BEAM VM?
I agree, there is more overhead. But since I'm interested mainly in external SSDs I'm tracking those :)

Please feel free to create a similar list with 2.5", mSATA or m.2 drives, it probably is even more shocking.

The other awesome thing about those 3 I linked is that the interface also has changed: Micro USB 3.0 => UBS-C Gen 1 => Thunderbolt.
- Lanes (https://lanes.io)
Shall we wait until it is over before drawing conclusions? It's already gone downhill a lot further than I would have expected, the degree to which people are apparently willing to enable all this is f'ing scary.
React Conf 2018 Summary
If all you need is to detect it on the next boot to notify the user, as the prior comment said, then for example:

onCreate - check "running" flag, then set to true

onDestroy - set flag to "ended"

If onCreate saw the flag was already "running" before it was set, then you have a crash to recover from or a kill to notify the user about.
Cat 5a would do
"In computer science, a Pratt parser is an improved recursive descent parser that associates semantics with tokens instead of grammar rules." (Wikipedia)

Skip over the large introduction to what parsing is and the reasons for switching are listed: Avoid the parser generator special syntax and compilation, better error messages, have the parser in the same language as the rest of their code, avoid having two grammar definitions (another for CodeMirror), faster and smaller JS bundle than generated code.
> OpenJDK is (a subset of) the Oracle JDK.

Not anymore. With Java 11 it is entirely the same code, at least until somebody takes over maintenance of the Java 11 branch from Oracle in two months.
Most circuits trip on current, because I^2R heating is what causes fires in house wiring, 15A is relatively common, to get power you multiply by voltage which varies by country, in US that gives you 1800W and UK it’s 3600W. There are a ton of circuits which aren’t 15A though.

If you live in UK, you might note that electric tea kettles work fine, but in the US they do not (they’re too slow). That’s the biggest practical difference to my mind, very few other portable appliances need that kind of juice, except the biggest space heaters. Big, fixed appliances get wired differently.
So you sat on a panel with no experts in a particular field, and so deferred to experts from that field, and also had bad experiences with university administrators, and this lead you to believe you were an expert in the field where you deferred away your authority. If there's a good case for being suspect of scientists who claim authoritatively that other disciplines are bad, it is being made by you, right now.
OpenJ9 is a low memory footprint jvm
Market value is different in different parts of the world. It's called arbitrage
In my experience they often prefer that scheme/etc ceased to exist at all. I've had conversations with CL fanatics who accuse Scheme/etc of diluting Lisp by merely existing, and thereby harming CL.

Others aren't so extreme and just want people to stop saying "scheme is type of lisp."
I mean, as Matt Levine put it, wasn't she already the world's richest woman?

If she has a claim to 50% in divorce, then she also had that claim prior to divorce.
I’m not suggesting it. Solving housing affordability with BMR requires provisioning a BMR unit for every struggling renter household, i.e. almost every renter household.

Prop C is self evidently not enough money to duplicate every rental apartment, or even half of them. You’re really unlikely to find that much tax revenue anywhere. But you’ll easily find that much private capital ready to build market rate projects with BMR set asides, if it’s allowed to.

This is a token effort, not a serious attempt to grapple with the problem. I’m happy for the handful of people who will be helped by it. But to the extent that it convinces others they are “on the right track” or “helping” it is doing more harm than good.
In theory it doesn’t, but because the effective population size of humans until recently has been very small, the probability is very high that the last common maternal ancestor lived relatively recently.

An interesting aside is everyone who lived more than 2000 years ago is either your ancestor or has no living descendant. This wasn’t true before 1803 because the Tasmanian aborigines had been genetically isolated since the end of the last ice age [0].

0. https://en.wikipedia.org/wiki/British_colonisation_of_Tasman...
> I hate both, but government is worse.

And governments have the power to order companies to share their data, e.g. CLOUD Act (https://en.wikipedia.org/wiki/CLOUD_Act), so all personal data collectied by corporations automatically becomes data owned by the governments.
what does LNT mean?
> This is OK, but it feels wrong to me. It feels weird that launching Rider outside of nix-shell won't ever work, yet it's installed globally.

What do you mean it won't work? I think rider will launch without dotnet, If not then rider dependencies should be fixed to include dotnet. Otherwise, it's the same case for any other distro.

> but I don't think it belongs in version control.

Why not? In fact you should put them in vc since anyone with nix can easily build the program exactly same as on your machine.

> Should it be personally suited, with my IDE and developer tools?

You can create different nix files: e.g. in ide/default.nix you can inherit your default shell.nix and put extra dependency. You may want to skip checking this in vc though.

For a good organization of nix files look at the reflex-frp haskell project.
Her money is her money except what you both put together for daily expenditures, shopping, savings, investments etc which obviously would be much bigger from her side than yours but rest is her wherever she would like to spend. SO YOU SHOULD NEVER see her income as an excuse to take time off. This will only increase tension b/w you guys and believe me this is real.
I don't have a team. I was just curious.
There are really good new get remote team management tools (like Bitrix24.com or its clones) that make the remote work model actually workable and productive.
RSS is not dead. I could not live without it. Besides the news.

1. I don't like twitter but follow to Twitter accounts. Twitter to RSS: http://twitrss.me/

2. A site has no feed? Make one: https://feedity.com/

3. Looking for a job? Use RSS: https://www.indeed.com/rss?q=telecommute&l=Canoga+Park%2C+CA...
I can't find the resources I was looking at but here's one paper on the subject

https://cirl.ca/files/cirl/david_laidlaw-en.pdf

Aboriginal Traditional Knowledge DOES have weight in the Canadian legal system just not very much especially in the lower courts. A point bought up in the context of using it in the courts is - isn't oral tradition fundamentally built on hearsay?
> Both sides of the political spectrum

That's a bit of ideology all by itself. The idea that there are only two sides is faulty.
Yeah that’s the dream alright. So many of them are so incredibly inconsiderate that it gives the rest of us a bad name.

I’m legitimately too embarrassed to fly it around anyone because of how incredibly inconsiderate your average hobbyist is. Even though I actually have a reason to fly it (I get paid).
No that is totally wrong. It is amazing how you can read something like that into what I wrote.
I think it is safe to say that laptops are a mature market, and they can't do any of that either, except for the headphone jack.

So how does those dreamy claims make the market immature?
I don't understand why these config systems can't be less 'programmy' (less technical).

All of these (Nix/Guix/NginX Lua, etc) config systems are all so complex with layers of interesting syntax and punctuation.

Why can't these use simpler (INI/YAML/TOML/CSON or even JSON) configuration schemes? It would reduce barrier to entry - simplify parsing and automation, and a whole lot of other things. Why do I need to learn yet another language just to configure and manage my system?
Shouldn't tuples in rest parameters from TypeScript 3.0 [0] fix that?

[0] https://www.typescriptlang.org/docs/handbook/release-notes/t...
No, but the terminology of the root was plainly coming from the camp of "Scheme isn't Lisp, Common Lisp is Lisp." The child comment was confused by that peculiar terminology, so I provided context for that terminology in a way that I hoped would head off yet another argument about labels. It was my intent to stop the argument before it began.
a bit strange that an article about Gorey does not show any of his eerie illustrations...
There’s no surveillance capitalism.

In capitalism you have property rights. That being so, your private information can be protected and hence “capitalized” upon (pun intended) by the owner because in free market you would be able to sell it (should you want to do that) at a price that makes you willing to share your info.

So what we have is rather fascism, or extreme statism. And it’s more prevalent in countries where the government controls more GDP (so, socialist-like countries).
I have to agree with some of other commentators that I don't think this study is particularly revealing, because there's a lot of nuance in the questions that doesn't directly follow logical thinking. I want to address the first two questions

>All drugs that are dangerous should be illegal. Marijuana is a drug that is dangerous. Therefore, Marijuana should be illegal.

The flaw with this question is that it's divorced completely from the cultural reality we live in. Cigarette smoking is legal, despite being dangerous. The final clause does not actually follow from the rest of the logic, because we have tangible examples of Drug A being Dangerous and Legal. People might think of this, and therefore disregard the conclusion. I don't think that would be the result of ideological impairment, but rather the result of people examining nuance.

>Judge Wilson believes that if a living thing is not a person, then one has the right to end its life. She also believes that a fetus is a person. Therefore, Judge Wilson concludes that no one has the right to end the life of a fetus.

This is just poorly worded. If something is not a person, then Wilson believes you have the right to terminate it. Since a fetus is a person, then no one has the right to terminate it. That logic does not necessarily follow from the initial statement; because the nuance there is that Wilson is expanding her personal logic into the logic of everyone else. Again, there's a bit of nuance in that people may personally not be for abortion, but believe that women still have the right to abortion despite their own personal beliefs.

The logic is also initially biased right from the start, since it implies that Wilson would also believe killing animals, pets etc is OK.

I don't think these two questions really resolve the issue of bias preventing sound reasoning, because it implies that the conclusion of the two questions was logical in the first place. They effectively managed to prove that two highly nuanced questions are, in fact, highly nuanced.
Electrical Engines ? I am giving a contrasting analogy to the previous statement that the fact is it widely used does not make it necessarily good
FWIW, California changed the minimum ticket for noise violations on vehicles to $1000 this year. They are apparently cracking down on it, as they have abolished the “fix it ticket” that used to allow the vehicle to be repaired and then the ticket is commuted. Now, the officer must fine you.
List of Bilderberg participants
I would counter that the SSD's aren't entirely the same. The most comparable consumer NVME M.2 would be the 960 pro and it's still around $300. Definitely cheaper than Apple, but it's also not in the $150 range for the same performance.
Surely not apple has an issue with it
NixOS seems in some way to have more momentum for curious hackers than any other GNU/Linux distro; people who get into it really get into it. I myself consciously try not to be evangelical about it, still many of my friends and acquaintances end up installing it because it’s just so damn cool.
How not to be afraid of Python anymore
Launch HN: GoGoGrandparent helps seniors use Lyft and Uber without smartphones
People are getting older faster than they ever have before. By 2033 the number of people over the age of 65 will overtake the number of people under the age of 18.

It’s difficult to stay independent as you get older. In the next ten years over 11 million adults will stop driving due to age related impairments. Many of them will be forced to rely on a patchwork of friends, family, community members and caregivers to get around.

I experienced this reality first hand when my grandmother lost her ability to drive. She lives far from relatives and doesn’t have access to public transportation. She had always imagined she would stay in her home forever. She didn’t want to leave and asked for help.

The first version of GoGoGrandparent let grandma easily request a Lyft or Uber ride by dialing a phone number from her flip phone. It was the first time she was able to take herself out after dark in a year.

That was 2016 and since then we’ve realized that transportation for seniors is a lot more than just ‘dumbing down’ technology. Getting a ride has tons of moving parts that get harder to handle as people age. GoGoGrandparent is successful today because we actively manage and monitor the requested trips. It’s been the key to making our product work for seniors. Today about 40% of our clients are using us with smartphones because “it’s just easier”.

Because we’ve witnessed this fundamental ‘things-get-harder-as-you-age’ problem we believe that GoGoGrandparent is positioned to take what we’ve done with rides and solve the caregiving problems all of us will eventually face. Our mission is to give people the choice to live in their homes for as long as they want.

We’re growing quickly nationwide and we’re looking to bring on folks who want to work on hard problems that directly impact everyone’s future wellbeing. If you have thoughts on what we’re doing please share here or reach out to me at justin@gogograndparent.com.
It's a noble program that can achieve meaningful things, but we should be aware that all information processing systems will have biases. The map is not the territory, e.g. the information processing system can never perfectly represent or model reality.
Specialist retailers and integrators have been super-binning chips for years. Intel are just taking a piece of that pie.
Sure, it connects via thunderbolt, but it's still just a SATA style SSD (max speeds around 550MBps). I'd love to find an external M.2 to get 1200MBps via external, but this seems to be a unicorn still. Although, I'm still happy to have 550MBps on a SATA SSD vs 110MBps via platters.
I am extremely interested!
Unfortunately this is flash based :(
I've been using Notion for a couple of years now and it has consistently gotten better, faster, more useable, and more exciting.

I cannot recommend this product and the team behind it enough.
We’re planning to launch a business current account