skysight-inc/HackerNews huggingface dataset:
Aren't these all the same definitions, merely indicating an approximation?

"I'm about to arrive" -> "I'm close to arrival but not here right now".

"This book is about..." -> "This book is roughly this short approximation, because I can't fit the entire synopsis in a sentence,..."

"About his person" -> "Close to him, possibly so close as to be carrying it"

"He is about" -> "He is somewhere around here, but not in this exact spot"

"He is out and about" -> "He is out somewhere in this area"

"Gone walkabout" -> "Traveling with no specific destination"

"Roundabout" -> "Traffic control method that encourages vehicles to take a more circuitous passage, rather than directly crossing an intersection"

The context of the word changes the interpretation, but the essential function of "about" is the same in each case.
I used this a few times in Chicago. Always found it was easier to use mass transit to get around in town, and cheaper to use legacy renters for longer trips to see the family (100mi+ roundtrip). I assumed they would benefit grocery gap neighborhoods, but cars tended to cluster in places with high competition & logistical substitutes.

Is their service more commonly used inter-city in Europe? I always thought intra-city driving was more of a hassle than in the states.
> It's possible to do quite a lot without infinities in calculus and trigonometry

This is like Stacey King saying "I'll always remember this as the night that Michael Jordan and I combined for 70 points."

Pretty much the entire field of Analysis (of which calculus is a part) relies on 'infinities' of some kind. Even if you try to restrict to the rationals, you're still typically working with infinite series of them.

You can do some analysis over the rationals, but often this takes the form of Cauchy sequences of rationals which might be cheating.

[0] https://math.stackexchange.com/questions/387234/how-far-can-...

[1] https://www.dpmms.cam.ac.uk/~wtg10/reals.html
A loaded Mac pro has 2 AMD GPUs, 28 cores, 8TB of nvme disk and 1.5TB of ram for $52K.

I went to dell and got 3TB of ram, 56-cores (two of the mac's 28-core cpus), 40TB of SAS HDDs with 8TB of nvme SSDs and triple Nvidia GV100 for $170k+.
I saw recently how FB tricks around adblockers and it made me mad and curious at the same time
Seg faults are "safe" in the programming language sense:

A program fragment is safe if it does not cause untrapped errors to occur. Languages where all program fragments are safe are called safe languages. Therefore, safe languages rule out the most insidious form of execution errors: the ones that may go unnoticed.

...

It is useful to distinguish between two kinds of execution errors: the ones that cause the computation to stop immediately, and the ones that go unnoticed (for a while) and later cause arbitrary behavior. The former are called trapped errors, whereas the latter are untrapped errors.

Type Systems, Luca Cardelli

https://scholar.google.com/scholar?cluster=90442457768317510...

And practically speaking seg faults are easy to debug and fix.

I see a lot of abuse of the terms "safe" and "safe language" lately.
Good old ActivePerl 5.10.1 does it in about 1.8 seconds on my Windows laptop, while Strawberry Perl 5.26 is taking quite a while (multiple minutes already). I wonder why there's such a difference.

Program for reference.

use strict;
use warnings;

my $max_i = 1_000_000;

for my $i (0 .. $max_i) {
print "my \$x$i = $i;\n";
}

Edit: It took 80 minutes! Wow. There must be something significantly different going on, but I wouldn't know where to look.
10.15.2, the version in question, installed on my 2017 MBP last night with no problems.

Several of the reddit comments mention that freeing up disk space solved the problem.

Title seems like clickbait.
Lgtm.us – Make code review great again
This is reassuring. I hope that by the time I need to replace that Catalina or its successor will be stable. I keep an eye on refurbished 2015 MBPs because my friends who have them rave about them and don't want to give them up.

BTW, I am still relatively new to HN. This article/thread is marked as 'flagged' for some reason and I have to access it through my own "Comments" link. Can anyone explain why? It seems on-topic. I have not submitted anything yet and am trying to understand the ground rules.
Revealed: The secrets our clients used to earn $3B
The practice of Buddhism has nothing to do with arguing on the Internet about the exact meanings of words in an ancient language that Gautama Buddha didn't even speak (we are told he spoke Magadhi Prakrit, not Sanskrit).
What a bummer, these car share services were incredibly useful in Seattle. I've been a huge fan throughout the evolution of car sharing here.

Car2Go launched in Seattle in 2012. The model was innovative (one-way trips! park almost anywhere for free!). But they had poor reliability. I think the cars were connected via some German cell plan with internationally roaming on T-mobile, and the failure rate (unable to access the car, "phantom" car not really at location) was 5-10%, which is pretty bad.

Car2Go was also very unresponsive to customer needs. They refused to create an airport drop point (such a great and obvious use case!) and seemed unconcerned by their poor reliability.

Enter ReachNow. The competition was exactly what Car2Go needed. ReachNow added an airport drop point quickly, then Car2Go finally added their own airport drop.

ReachNow was plagued by long transaction times (e.g. 2 minutes of wait time from unlock to engine start – this is a LONG time when someone is waiting for your street parking spot). They finally fixed their startup times on many of the vehicles.

Then Lime entered with LimePod, which was the low-price option but with fewer cars. In total, there were well over 1K cars between all the services, and availability was great.

When ReachNow consumed Car2Go, I was worried things were going to go downhill due to lack of competition. Then they shut down ReachNow and started a confusing rebrand, then Lime left, and now Car2Go / Share Now is leaving.

I wish they would have first tried charging enough to make it a viable business. I wonder how much higher the prices would need to be.
Heh, what's even more amazing is that it's not just one bounce off the atmosphere, but multiple bounces.

With js8call you can do similar with other radios sprinkled around the planet, without prior coordination.

What's even more wild is that under certain conditions you get a weird distortion... from the signal taking the short path between two points AND the signal taking the long patch between two points.

Freaky.
This seems ripe for placebo. Installing purifier and indeed measuring lower PM, means naturally you feel less worried and more relaxed!
I feel like this is the opposite of what I just described as great
OS X really needs a “good enough” paint app, like Windows has paint.net

Preview is ok for various editing tasks but nowhere near as good as paint.net
Huawei chairman says confident in HMS
Your concerns are right on point. I agree that spark is a great sql/etl tool. My thinking was on the "math execution" part. Ray is able to doa bit more there. I do feel like there is a bit of hype riding going on here as well.

One interesting thing that could happen is the hardware gets better, and then these distributed schedulers might not be able to keep up with all the different options on the market.

There is also the tension of the hardware vendors wanting to give away things that only run on their chips vs the software makers who want things to run on every chip. It seems like there will be a lot of competition among the various infra players in the next few years now that nvidia is starting to have real competition now (even if it's not big yet)
Not many people would believe that you can be a better parent after consuming cannabis. I'm a much better parent after consuming cannabis. I listen more, play harder and can let go of the parental thoughts that silently occupy my brain when I'm sober and playing with my kids. Cannabis really helps me let go of parental world and enter theirs for just a little while..
That sound pretty cool!

I eventually did something similar to that and built something alike to `make -p`, by hand, that was also a bit like `./configure` or CMakeCache.txt. It could then be read back into `make` and bypass a fair bit of configuration testing work (it's much faster on cygwin anyways). I got a bit too nervous at the automagical complexity though and never made a pull request (plus I only just fixed it to work on the old version of make that ships with macOS). But I thought perhaps you might find this fascinating for the levels of make hackery to try to untangle: https://github.com/JuliaLang/julia/compare/master...vtjnash:...
Zero. I don’t have a Google account and only very rarely need to consult google.com when searching for something. On my iphone i have the disconnect app installed and configured it to block access to all web properties owned by Google. If I could block Google the same way on my Windows pc i would.

I do however depend on angular and grpc in some of the apps i have. Both made by Google.

Besides that i have little with Google to do and dont feel thst i am missing out in any way.

It is definitely possible, with little or no inconvenience, to eradicate Google from you life.
The product is the second or third or fourth most important thing. The language not important. Being upto date on package the least important.
>Title seems like clickbait.

Yes; I just installed the beta for 10.15.3.
Apparently at least Apple is turning over a new leaf; they just open sourced HomeKit: https://news.ycombinator.com/item?id=21831259
OpenMoko isn't really dead, or at least the kernel isn't: http://git.goldelico.com/?p=letux-kernel.git;a=summary

Netscape was a commercial failure but Mozilla is still around. Similarly Blender only went open-source after a crowdfunding campaign.

CyanogenMod is another interesting example, mostly open source and mostly successful until it started trying to commercialize the code.

I think the community ends up being a big part of it. It's not like every PinePhone shipped is going to result in another developer for the OS, but there is some critical mass point where the software goes from broken to usable and it seems PinePhone might be getting there.
Yes you are right about the phrase "Imperial Japan" not having any relation to the British. But "Imperial India" does.

Any reader searching this phrase online or looking up any common reference will find the British relation. Unfortunate, but that is how it is. As an Indian, I have always known that. That is why the phrase jumped at me.

Is it too much to expect an author writing such a detailed article from this region to know that?
Sure lets just blame everything other than the actual problem.
HomeKit is now open source: https://news.ycombinator.com/item?id=21831259
There are 2 popular ways.

1.Set-theoretic technique : forcing, e.g. Cohen forcing which was used in the proof of the independence of the continuum hypothesis.A good reference is Shelah's book on forcing.

2. Model-theoretic: construct a model for ZFC in which the negation of the statement is true and another model for which the statement is true.

There may be proof-theoretic techniques based on the non-existence of proofs involving finitely many steps, but I am not aware of these.
plug: if you're interested in air quality issues, we're hiring at Aclima. ping me at igor at aclima.io. we're deploying a distributed sensor grid to get actionable air-quality intelligence around the world, which we believe can motivate regulators to act, and motivate citizens to bug their regulators.

we're looking for folks interested in:
* data engineering
* firmware and IoT platforms
* full-stack and internal tooling
* data scientists and other kinds of scientists interested in data, air quality, and atmospheric/environmental modeling
Wouldn't be too pessimistic on the UI side. Building decent desktop UIs isn't easier and still people managed to do it without a (single) organization in the background.
E.T. might be considered the worst, but Pac-Man for the 2600 was surely the most disappointing. The plumber wrench Pac-Man had to be one of the worst adaptations ever. The 8-bit Atari computer version was such a amazing leap.
Put Garlic in Your Ear Before Going to Sleep
Could I get more details on T-Mobile's abuse of the FCC's TV Whitespace database? I know they currently do spectrum hijacking with License Assisted Access in the 5Ghz band, I'm curious what their other abuses are tho.
Fwiw, Scott Alexander wrote a couple great articles about depression in 2017:

https://slatestarcodex.com/2017/09/12/toward-a-predictive-th...

https://slatestarcodex.com/2017/06/13/what-is-depression-any...

The first tries to fit it into a predictive processing framework, the second rounds up a variety of findings, including correlation with inflammation and treatment with ketamine.
> Where prostitution has been completely legalized there’s been a huge increase in demand...

That was not the case in NSW (Australia) or in New Zealand, where decriminalisation led to NO increase in the size of the sex industry.
Paving them costs money, and maintenance does, but that implies that proper maintenance is being done.

Most cities are far behind on maintenance on many of their roads. Modifying the free parking might also result in people asking to fix the other things wrong with the road, and before you know it you're Seattle spending $12M per mile to reconstruct the road from curb to curb. https://www.seattletimes.com/seattle-news/transportation/12-...
The problem is that segfaults are frequently the latter type of problem. You do some unsafe thing and corrupt your state, but keep on going without obvious issue. Then at some point in the future, your corrupted state causes an otherwise bug-free portion of you program to segfault.
Thanks for the kind words. We will definitely add an about us page today.
This is definitely not the first prominent figure to be nailed for corruption of late--https://en.wikipedia.org/wiki/Impeachment_of_Park_Geun-hye

From what I've read in the international news the past few years, it seems there's significant political support and, crucially, momentum behind scrutinizing chaebol-related corruption.
Could you just bypass that and use VOIP?
also: look into anti nutrients, some of the depression might just be nutrient deficiency. Can be tested by fasting for 4 days.
I've actually noticed a lot of people in the security field actually came from completely unrelated fields. I have a book on binary exploitation that was authored by someone who was originally a doctor. Some of my hacker friends also studied physics and what not and most became interested by mucking about instead of doing whatever it was they were supposed to be doing. I guess it naturally filters the people who have genuine curiosity and like digging around to understand somethung
It's fine to just admit you don't know what you're talking about rather than trying to lump "feminism" as a big homogeneous opinion

https://en.m.wikipedia.org/wiki/Sex-positive_feminism
From one “audit as a profit center” vendor to another. They’re both brands milking their glorious past at the expense of the present.
Top Alternatives for AWS You Can Try Out in 2020
AWS is infrastructure as a service with some priorietray API's to provide platform to build applications. These platforms are build from open source projects which does not have GPLv3 or AGPL license. So AWS is largely an IaaS service not really a platform, open source library or system development company like Google or Microsoft.

AWS does not develop .NET SDK, as I mentioned in my earlier post there is no contribution of AWS in development of .NET, so they just provide infrastructure support of what ever Microsoft and the open source community releases.

In general microsoft acts as a steward to develop .NET and related infrastructure on Azure, then AWS copy and launch it as .NET infrastructure as service. They play catch up with Microsoft in this area.

I will stand corrected if you can show me that AWS (i.e. Amazon) has active open source .NET framework core developers in their internal team developing and enhancing .NET SDK or CLR open source versions.

They do the same with AI and ML Services. It is built using TensorFlow, sci-kit learn, pytorch, CNTK and various python and C++ open source libraries. Again I have yet to see example of AWS (i.e. Amazon hiring core developers of these libraries and release open source versions). They don't develop these libraries just leech on it to create it's own API's. I have yet to see any framework from AWS like TensorFlow, Keras, Pytorch and CNTK.
everyone is looking for their flavour of 'full stack' because in the mind of middle managers human resources need to be fluid across organisational projects.
Yet KaiOS ships on tens of millions of phones every quarter: https://en.wikipedia.org/wiki/KaiOS

Mozilla did not want to maintain XUL or Fennec (which was hard to develop for, jumping between layers in C++ & javascript), but Qualcomm, Facebook, Google & the bevy of manufacturers and carriers that Mozilla had rallied behind FirefoxOS forked it and continued carrying on...
Because even if you're familiar with all the tech we use, you're not going to be familiar with the business domain, our cobbled-together solution on top of the tech stack, and the tens or hundreds of thousands of lines of code we nurtured over the past N years.

How you handle unfamiliar stuff is critical when evaluating an engineer. That's like the whole job.

Unless your goal is to churn out copycat CRUD apps and marketing pages your whole life. Then carry on :)
A Detailed Analysis of the White Label SEO Reseller Program
Any suggestions on where to go instead of unifi? Was looking at starting fresh and they were still looking like the best option...

Was hoping to start with an extra AP or two for wifi coverage and then build out the rest in time.
Essentially Swift is in Lattner's words "Syntactic sugar for LLVM"... meaning it was designed from a compilers point of view to provide an ontology for code that a compiler can analyze, interpret, optimize, and enable deeper functionality. Swift backed that ontology with a functional type system that forms a set proofs of the relationships and meaning of your code.

If you take a language like C++, the "atoms" of the code like a Float32, are just hard coded intrinsics in the compiler. As such, they have no ontological meaning in relationship to a Float16, an Int32, or an Array of Strings. In Swift, a float is built from a set of proofs as equatable, hashable, Numeric, FloatingPointNumber, and etc. As related to Julia or Python, a static language built around these proofs, enable compiler's to provide "co-pilot" development assistance, guarantees at runtime, code validation.

Why is this important? With deeper knowledge, a compiler can optimize things in ways that weren't previously possible, extract graphs, and automate code execution in heterogeneous computing evironments.
Isn't removing the "actual responsible substances" from the air removing air pollutants?
>biological intelligence works like a Turing machine

We know it doesn't. There's no metaphorical linear tape in the brain; it's a network of neurons. But a Turing machine can simulate a network of neurons (see Machine Learning), just as a brain can model a Turing machine (see Programmer). There are currently things a brain can think about that a Turing machine cannot, but the question is whether that will continue to be true despite the steady advance of (computer) science.
Who Is Reigning Your Website – UX or CX?
Oh wow, this totally. My wife had a rough time in Beijing during long stretches of bad air, and I knew other people whose moods would visibly change during those times.

The suicide aspect I’m not sure of, but many people I knew had the option of leaving and did.
At least on the design side, this is a good opportunity for up and coming UX designers to build portfolio pieces while also being useful (instead of redesigning Spotify for the 1000th time).
From the article:

The ruling, issued Tuesday, states employees “do not have a statutory right to use employers’ email and other information-technology resources to engage in non-work-related communications.”

Seems reasonable to me.
Great developers are not lazy. They close brackets and leave no debt. They are lazy in the sense that they implement the least features required because they know the pitfalls of over developing. They are lazy because they leave at 5 but only after finishing their work.

A great developer doesn't ask his boss to hire a third party to manage the server. They ask the boss to hire someone in house because getting anything non-basic done over trouble tickets is a non-starter. A great developer can handle pinching pennies because they use open source at home.
How to Read a Computer Science Book
It was over when they dumped those crappy smart cars. Those cars were the worst but they were perfect for the service. Easy to park and easy to find. And driving them was like driving a go cart. You either had full gas or no gas.

I think what did them in was Uber and lyft. The cost for either is only slightly more and you don’t have to worry about parking or unlocking the car.
we only got half of the story here, but if the workplace has a history of switching technology and trying new things often interviewing a specialist was still their mistake, not the specialist's, that wastes everyone time.
> Edward Snowden did not go through the proper channels

I will disagree. Releasing all the information to the public is the only proper channel.

> information he stole about government programs

Copying information is in no way similar to stealing.
More to the point, Page was a source to the CIA, and had been for years, by reporting on his meetings with Russians. The FBI knew this, but specifically altered evidence to hide this from FISA when seeking a warrant to spy on him (and, thus, the Trump campaign).
God, I want to mess around with one of these so, so, sooo badly. But with a 14 month-old toddling around the house it would probably end up just sitting, untouched, for a indeterminate amount of time. But still...
Is that really where the goalpost is though? I thought everyone accepted that the modem itself would always be proprietary, and that was OK as long as it had a killswitch and no ability to directly interfere with the main processor or RAM. (The mostly-userland stack to drive the modem to send SMS etc. would be open.)

It seems right to me that the FCC et al shouldn't allow uncertified amateur radio firmwares.
Are you sure? We had one of the bigger Blue Airs (605) in Beijing and I didn’t like using it at all. When it was a 150-200 day, I would just run it before sleep with the windows closed. On worse days, we ran it all night, but it was loud and made the air smell like ozone, giving me a headache. I’m so glad I live in the Seattle area now and can open the window at night.
I think he means based on the size of the effect it's unlikely to be a placebo.
that video was fascinating and depressing to watch at the same time. I know it's not apple to apple comparison, but I feel like 30 years of computer progress should've put us in better place in terms of ease of app dev.
I love his outlook on the whole thing, though. Summed up at the end of the article:

“Now, I kind of prefer it when people call E.T. the worst game ever,” he says. “Yars’ Revenge is considered one of the best games, so as long as E.T. is the worst, I have the greatest range of any designer in history.”
can you share details about the "instant modeling" capability? while simple copula's and correlation matrices may be calculable in milliseconds, larger models are likely to have more performance considerations and training latencies.
Show that it implies the consistency of ZFC, and that its negation also does so. Or show that it's equivalent to a statement that's already on that list.
Yes! This is probably the most accurate description. I take my hat off. Thank you!
Also discussed 4 days ago (I'm not judging, just linking): https://news.ycombinator.com/item?id=21771328