skysight-inc/HackerNews huggingface dataset:
Maybe it's too much to hope that people don't want cars because cars destroy the urban environment, cause many fatal accidents and lead to global warming?

At least in Europe, I think cheap flights are another factor. The car used to enable the fantasy that you could wake up in the morning and drive off in search of adventure.

But any adventure within driving range looks increasingly passe in the era of easy foreign travel.
I'm in the U.K and I never receive the text, despite saying it has been sent, is it available here?
> I use ~50 bytes of pre-compiled code so that it'll compile anywhere. To do that, I have to mark the block R|X.

Memory is cheap; mmap 4K of R|W RAM, copy the code, and mprotect it to R|X.
Why don't they mention the that more and more people move to the cities?

The need for owning your own car iss very diefferent there from living in a rural area.

https://en.wikipedia.org/wiki/Urbanization_in_the_United_Sta...
But then the independent third party has an incentive on results that are in favor of the payer, i.e., the company.
It sounds like you're afraid to share your idea, despite the fact that implementation is very difficult.

This means everyone else is too busy with their own ideas anyway and no one is going to jump on board and join you because you won't share your idea.

Read what Derek Divers has to say: https://sivers.org/multiply
That's not quite correct, most prime proving algorithms are non-deterministic in their computation, but they don't necessarily produce false positives (like miller-rabin does), algorithms that only produce false negatives also exist (e.g. ECPP)
I too agree wholeheartedly. It took me many years (35yo now) to learn this, the very hard way, on internet and specially in life. A MD in Philosophy helped a lot, or it's been actually essential for my life path.

Interesting, given that I'm a 'creationist idiot' (I won't go into details), I never actually debate this with anyone that doesn't have the theological (and hermeneutical skills) necessary to understand WHY on this old Earth someone would think it's young. It's a complex problem, touching on many areas and, yes, very stupid arguments can be brought up in favor and against specific flavors of creationism.

BUT, regarding ID (which is often breathlessly conflated with creationism), when I talk with people that have the philosophical expertise to understand it (but not agree with it), I have only met respectful attitudes. This is not to say that it convinces me I'm right in what I believe. I'm still the kind of skeptics that gives plausibility percentages to his beliefs.

Regarding life in general, no amount of patience will harm you.
The Time Everyone “Corrected” the World’s Smartest Woman
When you run servers, you might want to record plenty of parameters. From received packets counters, via disk io operations, to cpu load.

If you want to identify issues with good precision, you will record _hundreds_ of counters per each server.

Sticking this kind of data to relational database is not good. With couple of servers you might have millions of _writes_ per second. While the data is only read when you refresh some charts. This makes the time series db unique - they need to handle write-heavy loads, and perform well when asked to retrieve couple of parameters within defined time window.

So two things:

- time series db's are needed for anyone running live systems and measuring them on-the-fly

- time series db's have unique access patterns, not usually optimized by more conventional databases
Plus 30% of the workforce is employed in the public sector so for a lot of people it's more serious than just some reduced benefits:

https://en.wikipedia.org/wiki/List_of_countries_by_public_se...
That's like saying that people must afford an iphone 7 if he owns a calculator and an alarm clock. Laptops and smartphones are orders of magnitude cheaper.
Time serie DB for storing: Monitoring data, IoT data, etc.

See example supported inputs by Telegraf https://github.com/influxdata/telegraf/tree/master/plugins/i... from InfluxData
Template Literals Are Strictly Better Strings
It's part of something bigger, it's not just cars as status symbol in decline, but cars as a lifestyle enabler.

I'm a diver, and to live the dive lifestyle, i.e. diving regularly at the weekends not just a week a year on holiday, pretty much requires owning a car. You can load it up the night before, set off at 0-dark-30 to make the tide, use it as a base for the weekend, come back late and unload the next day, etc etc. Do-able with a rental but a lot more hassle given the timings. Including tanks and weights, the Mrs and I would probably take 150-200kg of gear for a weekend trip.

Diving as a sport is in long-term decline since the 1990s, so are mountaineering, basically all outdoor pursuits that require some logistics get to remote places, and possibly even all outdoor activities. People these days prefer to not go outside at all if they can avoid it. This can't be good for public health.
also note that there is an easy workaround to limit this which essentially is the difference between a bet and an insurance: check if the user has a valid ticket for the flight.
Had the same feeling about Australia vs France. In Australia I'd pay $120 for a tax agent (~1% of my income tax), it would be over and I'd be happy about it. In France I feel like I'm being chased, because it's such a socialist country: I earn €2000 per month after tax, I feel like I'm being told by the tax administration that I'm a thieve because I'm rich, even though they're the ones who attempted to double-tax me between Australia and France. I don't mind the 63%[1] that goes to the government between what my customers pay my company and what I receive as a net salary, it's just, they could at least make it respectful and simple.

[1] VAT 20%, employer tax 50%, income tax 14% on the remainder, plus an accountant to understand the law and that makes 63%. Yes, I get I'm supposed to receive benefits from the mandatory insurances, except:

- by design they never apply to the situations I might fall into (unemployment when you're between 2 countries, medical insurance when you travel, retirement going under the poverty levels by the time I'm 60, paraplegic benefit being under 800€ per month for the rest of your life - how are you supposed to live on that?).

- and those taxes don't even succeed at keeping France afloat, because we have a socialist president who's hiring for about $6bn of policemen whose work is just to bust into Muslims' houses. Yeah, unemployment reduced, socialist goal fulfilled. Doesn't sound more social that giving a job to everyone undepending on their race, however.

I'd be ok with 63% retention if it were simple and useful.
Apple launches iMessage App Store
Not really, I know people who work on Mizar but I'm not myself involved. Anyway it's also subjective what you call AI-driven and what not.

I can comment on another thing, though. Even very simple concepts like well-foundedness conditions go beyond first-order logic and these provers are based on pretty expressive higher-order type systems. AFAIK, they can prove fairly substantial theorems.
The world is generating massive amounts of data. Not all of it fits as easily into relational database schemes like a customer with and order that buys some widgets.

Take, for example, fleet management data streaming in. Thousands of vehicles with time, GPS and other metrics streaming in. There's nothing terribly relational about this data, so there can be better-designed systems to handle ingress and analytics.
Lowest income inequality. Highest wealth inequality (Zimbabwe level)... not sure if that is the right way to go, though...
For the last couple weeks, I've been doing some work through the following chain:

- Windows VM (to isolate VPN connections)

- RDP to a Windows VM (jump box in the cloud network)

- VMWare vsphere client (to perform the initial appliance iso installation)

The bug I've encountered: the first keypress is echoed several times, while keys typed immediately after are only sent once. Any short (< 1 second) pause in input will cause the next keypress to echo several times again.

Leading to input like the following:

login> rrroot

password> pppassword

My workaround to get through the initial configuration (so I could ssh) involved remembering to press/release shift before I typed anything. (on screen keyboard also worked, but where's the fun in that?)

It ended up feeling like the habit of tapping esc before entering a command in vim :P
My Chatbot-Powered Website Makeover
Show HN: Prototype your Slack bot
This is simply not true. In Denmark we have a welfare and tax scheme that benefits the majority at the expense of the productive few and the poor (Director's law?). I have never met a danish entrepreneur who didn't complain about taxes, never ever... http://taxfoundation.org/sites/taxfoundation.org/files/docs/...
That's a metric that evidently appeals to you. So be it. It's a relative measure and my preference, possibly shared by others, is for an absolute one. Human nature and entrepreneurship being what it is, as general wealth increases thus does inequality increase. We have seen this happening on a grand scale across the world during the last 20 years or more.

One other point: what suits the Danes wouldn't necessarily suit the Brits or others. National characteristics are certainly different even we try sometimes to ignore this probably because it's tacitly interpreted as some hint of mild racism.
Pinch of salt required:

"Companies like our client ZipCar, for example".

Blink and you'll miss it: this article is not exactly flagged as sponsored content. Author bio, tucked away off-page:

"Darren Ross is executive vice president of insights and solutions at college marketing agency Fluent."

Insights and solutions, eh?

https://www.fastcoexist.com/user/darren-ross
Used cars are cheaper than high-end Macbooks.
I'm not well versed in Ethereum, but this sounds like creep towards the solutions we already have today.
But you would still know that you had a moment of choosing unreality.

Don't people choose convenient fictions? Not people worth knowing, IMHO, no. People that choose inquiry over ignorance are the ones thay actually make stridea out of the darkness and got us where we are today.

"Belief" in science is the wrong way to think about it. Understanding that the scientific method has flaws but is still far superior as a tool to discover what is, rather than proclaim it without evidence or shy away into comforting fictions, seems the best way to approach knowledge.
A worthwhile goal of arguments is not to convince your opponent that he/she is wrong, but to convince spectators.
> Label things correctly and let the people decide, just like cigarettes.

Cigarettes, and the abusive tobacco industry, are a great example of why that technique fails.

Tobacco companies, and now sugar companies, are happy to spread fear, uncertainty, and doubt about the scientific evidence.
Official Raspberry Pi 3 Starter Kit Is Now Available
And many, many more problems are theoretical and remain theoretical forever.
Big data analytics is the biggest new trend in enterprises right now.

And one of the key parts of it is building machine learning models which
can do things like look at a customer's previous behaviour in order to predict
what their future behaviour might be. So this is one scenario where a time series database is infinitely better than say a RDBMS or Columnar database.

Likewise performing analytics on IoT devices e.g. sensors in trucks or oil/gas
equipment requires events to be captured, stored and later mined rapidly. And many
time series database being schemaless allow you to manage data from disparate sources
in the one table.
There's a magnitude difference in price owning 2 iPhones + 2 laptops versus a car, and that doesn't include maintenance.
We use InfluxDB to store solar energy performance for hundreds of locations at 15-minute intervals. It doesn't take long to get millions of points, and querying them efficiently is important.
it's developed by @heinz_gies from Project FiFo, they may pay him to do changes on it, but it wasn't started there and AFAIK heinz doesn't work there full time.
Also, check out incrond. It's probably already included in your favorite distro.
Show HN: Packyou Import any non-package python project from GitHub easy
In which case they were wrong, and most likely trying to reconcile their religious leanings with their self-image.
"People these days prefer to not go outside at all if they can avoid it. "

Counterpoint:
I LOVE cycling. Do it all the time. I love riding anywhere I can make it my main mode of transport.

When I lived in LA, this was rarely. I rode down Lincoln Blvd. several times and still remember the sound of tires squealing from the pickup behind me. My best guess is that the driver looked up from their phone and saw me with about 0 seconds to spare, given that they came to a stop about an inch from my rear wheel.

I like cycling so much, in fact, that I moved to a European city where I can cycle to work, to the shop, to my friends' places, every day. There were other reasons too of course, but that was one of the biggest.

Living in a European city where things can be reached by cycle meant that really, I don't even need a car, so I don't own one.

Anyway, there are outdoor activities that don't require a car.
>Why not mention the lack of SD card slot or removable battery?
Because no one expects that from an iPhone. As much as I'm not a fan of the new 7, I don't think anyone really expected that.
And they have VAT too. Everybody has to have VAT in EU. Or else EU gets really angry.
What do you think is missing ?

Because those are probably the 10 most popular and well known.
>But that’s not the "driving" factor, especially considering that owning a smartphone or other mobile device, with its monthly fees of network access, data plan, insurance, and app services, is almost comparable to the monthly payments required when leasing a Honda Civic.

iphone 7 plus 128GB - 41.58$

Verizon 4GB data plan - 50$

insurance - 10$

app services? - 20$

Total - 121.58$

From Honda's website, they're advertising a civic lease for $179 a month. that's with 2000$ due at signing. Oh wait! you'll also need mandatory driver's insurance on that vehicle, that'll be at least another 50$ (im told, i live in michigan which has the highest car insurance prices in the nation, my 2012 sonata costs 178 a month to insure, that's well above my monthly payment on the car itself - i have never been in an accident and i have no tickets in the last 5 years) anyways, so we are at least at $229 total with a 2000$ initial down payment. That's quite considerably more expensive...

oh wait! theres also the various fees for getting a license, getting a license plate, registering the vehicle with the state, and of course the mental cost of maintaining the various paperwork.

Total - 229$ + 2500ish$
> But if transportation becomes a service rather than a physical product

"if"? In many cities that's already the case.
Most obvious straw man I have seen on HN for a long time.

After reading the parent for three times I could not find anyzhing which would imply that he did saying anything implying this.
> Samsung's design breaks correctly written user-land code. Hence, they're 100% at fault.

This is similar to blaming OS/BIOS manufaturers for Y2K breaking "correctly written code" at the turn of the millenium.The code was incorrect in this instance because it assumed the cache size would be the same for all cores, Samsung simply manufactured a SOC that breaks that faulty assumption.
Ask HN: Would you be interested in an embeddable, lightweight subset of Python?
There are several implementations of the Python programming language. These include the standard CPython, the fast PyPy, and the microcontroller-focused MicroPython. However, none of these implementations are particularly good for embedding into applications - instead, this space is dominated by Lua.

I have an upcoming project which would benefit from an embedded scripting language. I would personally rather use Python than Lua, and people writing scripts are more likely to be familiar with Python.

I also have an interest in language implementations (interpreters, garbage collectors etc.). I am therefore considering both scratching my own itch and indulging my interest - by writing a new, embeddable implementation of Python.

Like Lua, this implementation would be lightweight - so it could only support a subset of the Python language. I believe a Ruby implementation with similar goals already exists: https://github.com/mruby/mruby

However, I am aware that a new language implementation represents a large amount of work. If I am going to spend a significant amount of time on something like this, I would like the result to be useful to others as well as to myself.

Would you consider using a Python implementation designed along the lines of Lua? If so, are there any particular features which you would like it to have?
Most of those do not interfere with the lives of the average Danish citizen. Church tax is interesting though, and highly debated. Everyone's leaving the churches, especially in Copenhagen. Many teenagers deregisters from the Church of Denmark[0] to save money; the usual counterargument is mostly based on history; i.e. we should support the churches for the buildings'(not the institution) historic value.

[0] https://en.wikipedia.org/wiki/Church_of_Denmark
Perhaps a better (and simpler) workaround, then, could be to clamp the reported cache line size to 64 bytes. So even if the Samsung core reports 128-byte cache lines, the code would simply invalidate each line twice, and if it is migrated in the middle of the invalidation loop, it would still work correctly.
I have more than one smartphone. Mostly because I've never gotten rid of some old ones that don't really work well or reliably. It isn't that out of range to have a couple of laptops, one older and the updated one. When so much of your life is on the computer, this makes sense - you are really out of sorts without it.

A car, on the other hand, costs more. I figure upfront costs for a cheapish used car being around $3,000 - $5,000. This costs more than a couple of laptops and smartphones combined - and it is all at once. At least the phones might be subsidized by the phone company (though I read that is changing there).

In addition, there are all these fees associated with cars. You have taxes and plates and insurance (which can cost as much as internet every month). These cost more with newer cars. Newer cars you have car payments, followed by some time with overlapping maintenance fees and car payments. Used cars with a loan have that as well: Without a loan, you still have maintenance costs and fuel costs to consider.

Seriously an unfair comparison.

Besides, even with a vehicle, the expectation is really that folks have a cell phone and internet service: Computer instead of television of days gone by. Heck, you need this sort of thing for job and apartment shopping. Sure, theoretically there are libraries, but not everyone actually has access to them. (there are places in Indiana without a local library, and any they can use charge to use them, for example).
Or he might yank some bogus reason out of his ass to fire you.
I'm on my phone and my eyes are not so good as it is.

Does he say what the architecture of the platform he was testing this on?
Having been to Copenhagen a few times in my life (partner used to live there) I came to realise there might be two extremes in terms of the way you look at tax rates.

Some people might move to Dubai because its income tax is low or even nil - that attracts people who are more interested in their own well being than their communities'.

Now some people - I would include myself here (rightly or wrongly, it doesn't really matter) - look at countries with high taxes and low inequality and enjoy the idea of a country where the well being of the community might came before than yourself getting rich.

It's all a bit utopical (and, knowing Copenhagen, it really feels a bit off reality) but I can't help not thinking about it.
InterSystems Developer Community – User Authentication Using Arduino with RFID
They could fix it by burning down public transit, https://en.wikipedia.org/wiki/General_Motors_streetcar_consp...
Smart Handwritten Note Taking App from MyScript
Well.. is bug reporting at Apple less of a black hole nowadays?
As a dane I can tell you the headline is a lie, almost everyone I know thinks that we pay way too much for the mediocre services we get.
Interior designer and Decorators
Might as well mention the lack of a hardware keyboard and possibly DVD drive and parallel port at that point - no iPhone ever has had an SD card slot or removable battery.
> You can tell from the genre, the director, the actors and so on

New directors? Unfamiliar or upcoming actors? A desire to experiment and try a genre you're unfamiliar with?
I didn't say that the proof assistants were first order! I'm well aware that that's not the case. But AFAIK all the automation they use is first order. Higher order proof steps like "do this by induction on n" are always introduced by hand (at least in Coq and Isabelle), even if the rest of the proof is automatic.
There are plenty of mililenials out there with cars, they just don t have NEW ones.

The article also points out that driving licenses have dropped significantly, so it's not just a matter of buying cheaper cars.
It's not the same, it has "Wide Color" http://appleinsider.com/articles/16/07/08/iphone-7-and-apple...
>> "How can they write that as a plus when it is the same screen size and resolution as the previous model"

...because there's more to a display than those two qualities? It's 25% brighter if I'm remembering right and now supports the DCI-P3 color space.

>> "Why not mention the lack of SD card slot or removable battery?"

Because these are things that have never featured on an iPhone, probably never will, and everybody knows that. Lack or removable battery is also something the main competition is switching to for better water resistance (S7 does not have a removable battery).
Cool stuff ;)
> One other point: what suits the Danes wouldn't necessarily suit the Brits or others. National characteristics are certainly different even we try sometimes to ignore this probably because it's tacitly interpreted as some hint of mild racism.

Quite right... see https://en.wikipedia.org/wiki/Law_of_Jante
I wouldn't ever day that the GUI is the fastest way to interact with a computer. It's just the safest and simplest.

Those are usually more important then speed.
Chrome was designed to be harder to exploit by having a content sandbox from day 1, so that even if you exploited a bug in chrome, you'd have to exploit another bug to get out of the sandbox. It also came with auto updates you couldn't disable so that you couldn't just hack people when they fell behind.

That was close to a decade ago.

This hasn't stopped nation states who are perfectly ok rolling out windows kernel exploits, but we dont really see chrome exploits in typical exploit kits, so that seems like a win for most users.

I hope Rust/Servo become our next leap forward. If they manage to make it productive enough that browser devs accept Rust we'll be in a really good place.
InterSystems Developer Community – Mirroring 101: A Brief Guide and FAQ
Independent Report on E-voting in Estonia (2014)