skysight-inc/HackerNews huggingface dataset:
> What more would you expect to justify the headline?

For starters, that the allegation had any merit.

If you read the article you'll find out that the objective statement made by the accuser regarding unscheduled stops was that the car required "rebooting or troubleshooting" that could take an hour, which had an inpact on how may hours the car would be driving.

That's the full extent of the claims.

From that point onward, everything is a string of unbelievable hyperboles, such as spinning the need to troubleshoot a reboot as prohibiting a driver from taking a break.

In fact, the article quite clearly depicts the ex-employee as someone with an axe to grind, and is trying to hurt the company where it is more vulnerable even if he is grasping at straws.
There is always a difference between condition A and condition B. It will be detected with careful enough measurement and/or large enough sample size (spend enough money).

Unless you can predict what this difference is expected to be with some precision beforehand it is not possible to legitimately attribute it to your favorite reason.

I would start here: https://www.jstor.org/stable/186099
In other words, IQ is a statistical parameter (offering no information whatsoever about individuals) but this smart guy quotes local anecdotes and moreover from the vantage point of an environment populated by outliers.
Whenever you have a structure M of some language L you can take the so called complete theory of the structure, denoted Th(M), which is just the set of all L-sentences true in M. In particular if L is the language of PA and M are the standard natural number with the standard operations Th(M) is a theory called true arithmetic. This theory is complete (that's because Th(M) is always complete) and clearly enough to talk about the integers, but it escapes Gödel's theorem since it's axioms are not recursively axiomatizable.

You seem to be confusing "true" and "provable", as far as first order logic is concerned those are equivalent (by another theorem of Gödel, the completeness theorem), but the first in defined in terms of models and the second is purely syntactic
Shortwave will also be gone, probably even sooner because it's not as directional. It's safe to assume that all of the electronic bullshit everyone is building into their "weapons systems" will be the first thing to be disrupted. I hope the military trains without it as well, because if not, it's only good against some illiterate mujahedeen with kalashnikovs, not against any kind of sophisticated adversary.
Adding +forum to the query usually narrows it down as expected.
It's not about the tool, but about the ability to synthesise a photo into an illustration.

Adobe Illustrator.
Sketch (https://www.sketchapp.com/)
Figma (https://www.figma.com/)
Inkscape (https://inkscape.org/)

Also they are simply served as an image.
https://css-tricks.com/using-svg/
> Is there anyway to do this properly

Cycle metrics so that you don't get stuck on local optimization minima.

It's also helpful to have long term and short term optimizations to avoid burning fats, like measure both conversion and yearly conversion because it's more than likely that a discount for a week will not increase yearly conversion but will reduce yearly earning.

This was learned hard by steam, they made the sale event so big the whole game industry changed their pricing practices dropping in time much much more slowly than what it used to be.
If possible you could alternatively have send her (every browser which doesn't support full grid) a mobile layout like described in the video: https://www.youtube.com/watch?v=txZq7Laz7_4&app=desktop

> From this follows a simple but surprising truth: The lack of support for CSS grid in an old browser should not affect the experience of the visitor, but rather just make the experience different.

> If you agree with this (and you should), there is no reason you can’t use CSS grid today!

> Here’s how that approach could work in practice. Rather than using fallbacks and shims to ensure a design and layout look the same across all browsers, we’d provide the mobile vertical single-column layout to all browsers and then serve up advanced functionality to those browsers and viewport widths that can take advantage of them. It might sound like progressive enhancement, but it’s actually more of an accessibility-centric approach enabled by a mental shift.

https://www.smashingmagazine.com/2017/06/building-production...
This year i wanted to learn Common Lisp (https://git.sr.ht/~ttt/aoc18). I think that there had been way to many problems this year that had huge descriptions with many small details to miss. When you add to it huge puzzle state (2d arrays for maps) it makes debugging simple mistakes needlessly hard - in fact solving day 15 for me was almost like working :(
Definitely R, but IMO from the start learn it with tinyverse and Rcpp. I.e use it as a pipelining and glue language but don’t write any processing code in it. R is slow, and memory hungry.

Having said that tinyverse basically calls methods written in C and has a beautiful syntax. As Rcpp let’s you write whatever needs to go quickly in c++ then easily expose it in R.
Same with being able to put the cursor over a variable name and automatically highlight all of them used in the same scope. Can't live without that
I decided to use W10 application solely to avoid autoplaying in browser version but recently they introduced that amazing "feature" even there. But what's more annoying is that my currently watched series tends to pop between various genre sections on the titles grid, not mention that sections themselves are also being swapped every now and then just to lure me into watching something. No idea if that happens also in the browser version but I assume it does.

And I also noticed that my profile has different images than one used by my partner - but that's not a surprise from what I recently read; netflix algorithm uses some heavy profiling - more black characters on thumbnails for those who seems to be black person etc.,; and the algorithm thinks I am black person because I'm watching Star Trek DS9...
i see some bias there about line-width being like in news-paper column/s - or a narrow blog-like middle column (so there is more space for ads?). Which.. just isn't so.
I still haven't caught up yet as well as the time zone was not the best for me, but it was a fantastic success.

As a mainly Python dev, I tried solving them in Golang during work breaks or afternoons with what little mental energy I had left :P to upload them on Github.

I learned so much more about Go, as some puzzles allowed me to use some nifty language features, and really liked the puzzles that featured recursion! In the end of the day, visiting the subreddit, there were tons of ingenious answers, people willing to help, or discuss the problem on a more theoretical basis. I still missed some of Python's minimalistic style, though.

Thanks Eric Wastl for this Christmas Gift!
Got an offer to Singapore!
The tricky part of any Patreon like service is the payment. I guess somebody has to create one with Alipay and many other alternative payment providers to Paypal to have a truly free service. I would even consider some sort of crypto currency use here (this would be an excellent use case).
I think any advance that does take place will be a huge curve-ball from outside the field. That said, I think there may be reasons to believe that we will simply be unable to explain it. If I was going to make a call, I'd guess that formal logic may at some point prove our inability to come up with an explanation.
Learn make. IMO, Makefile is a very flexible way to combine the best of breed from matlab/octave, R, Python, etc in to a single pipeline. Each processing step spits out file dependencies for the next and so on.
Vote for Your Favorite Web Development Framework 2019 Now
I solved all of the problems in Go. I feel like I programmed pretty quickly, but I rarely made it onto the leaderboard. I attribute this to Go's verbosity -- needing to write for loops manually instead of just map/filter/reduce. In 2019 I plan to learn a new language (perhaps Crystal?) that will enable me to solve Advent problems faster.
You'd think someone at Patreon would know someone who reads HN.
A partition table and file system first, please.
Congratulations to you!

Would you mind sharing how you overcame it?
> What is wrong with implementing the states with polymorphic classes providing the API or an interface to it?

Yeah that's pretty much the basic approach to this problem: use a strategy pattern in all states of the state machine, and just provide definitions for each method in the state that the method makes sense.

That's pretty much how HTTP-based protocols are implemented when status codes drive a state machine.

I wonder why the author decided to ignore the most basic and simple solutions to a frequent problem in favour of a convoluted solution that doesn't add anything and is harder to debug.
Never started. No time when you have family+little kid
Back in my MSc I had to code a ray tracer for a black hole. all the lovely GR tensors implemented in C and the like. Someone in sci pointed me to the gsl and how to install it on the local lab machine in Suse. Then they critiqued the way I was running the rays.

I ended up getting 100% on that coursework.

4 chan is like a piggie bank. You get out of it what you put in.
Same for the poor horse.
This is false for Chicago, which had a million (!) more people in the 1950s than it has today.

Vast swaths of the south side are vacant, and residents of homes in abandoned blocks can famously buy plots of land for a dollar (plus taxes).
To be fair, the simplest model of a complete modern automobile is already too complex for a human to understand. (Except for the 10 geniuses perhaps.) Not a model of just the engine, or just the chemistry processes in the exhaust system, or just the electrical wiring, or how the painting jobs work - but the whole model of every subsystem existent in this car.

Notably, this does not stop us from making new cars.

There would need to be some substantial basis for a claim that a human brain will not soon be a similar deal: no one will undertand the whole system completely, but we will have experts on different areas and aspects of consciousness which will be more than enough for progress and specifically, strong AI.
In this case, code is fake and the results are done with video editing
That's an ideal. Most companies like to grow, and growth usually means hiring.
Great fun, I was another solving in Go (Python programmer by day). I loved AoC, and learned a lot about Go!

The hardest puzzles were definitely the fiddliest ones, day 15 in particular.

I wish there was a way for non US people to get a leaderboard in different timezones, appreciate it's hard (impossible) to do fairly.
It really didn't.

Bitcoins ledger is public, marking every transaction from who to whom the money went.
Yes, it's originally only the wallet id that is public, but this id only needs to be matched once to a person...

And don't even start with exchanges. They have exactly the same problem as any private entity such as PayPal or patreon has
> R ... The language is just a joy to use.

My experience has been the exact opposite. R is great as an interactive statistical environment. But if you need to build data-intensive applications in it - it's still powerful but somewhat slow and also a bit of a mess: many exceptions, special cases, strange design choices and multiple ways to do the same thing. It can get the job done, but there is an unpleasant learning curve to get used to all the weirdness.
The site is creaking under the weight of hackernews.
But how so? If my public address gets a random packet and there are 5 devices on the lan side, which local address did those devices send unsolicited inbound traffic to? Where's the insecure part?
Sounds like the Chinese have taken Pilger's Economic Hitman as their roadmap to power and riches.
You may be interested in distinguishing between enumerative and analytic studies as described here:
https://s3.amazonaws.com/wedi/www/Articles/b21d561f-9aea-4b8...
I used the first few days for learning Elixir.

On one day I just did not know how to create a solution at all, so I stopped.

Also, I did not have much time, since work and my musicianship were too time consuming. Did not want to come home late in the evening just to lose my mind on more problems that need solving.

They might have been easier using an imperative language, but using Elixir had been a joy nonetheless, despite my occasional cravings for indexes and imperative for-loops.

But I will definitely come back to AoC to further practice Elixir and watch some of Jose Valim's streams. They always add some further insight into the language.
What is the source of the corruption. Unlikely to be disks nowadays but people should take backups of things. Very unlikely to be a SQLite buggy write but again a backup could save you. Worse case I’m sure there are tools to recover a corrupted file.
Crossing into incivility and personal attack is not ok on HN, regardless of how wrong someone else is or seems, and we ban accounts that do it. Would you please review https://news.ycombinator.com/newsguidelines.html and take the spirit of this site to heart when posting here?

You might also find these other links helpful for getting a clearer idea of that spirit:

https://news.ycombinator.com/newswelcome.html

https://news.ycombinator.com/hackernews.html

http://www.paulgraham.com/hackernews.html

http://www.paulgraham.com/trolls.html
> Debian Stretch was released June 2017

Actually, Debian Stretch was released in April 2015, and their general freeze was set at November 2016.

Debian spends about 4 years producing a stable release, which excels at stability at the expense of using software releases that are far from the bleeding edge.
Last 64 bits in ipv6 address is your MAC address.

Ipv4 did not have this. Many users were allocated IPs temporarily from IP pool

So it was difficult to track inviduals devices as IP would change all time.
I built a lightsaber for my sister.

I had been struggling with depression in the first half of the year after quitting my job and deciding to try freelancing. I had very low motivation for anything, maybe I was trying too hard to keep myself busy by inventing problems for the sake of having something to try new web techs on (React, GraphQL, TypeScript, and more recently Rust).

One summer day I found out there's a lightsaber duelling club in my hometown, and I approached them to know more (being a Star Wars fan since an early age). Joining the club got me back into sports (it's not just waving a glowing stick, there's a lot of cardio, muscular reinforcement, and a bit of meditation involved), which started to help with the focus and motivation, and re-centering my priorities. It's also a lot of fun, and the members provided kind of a social replacement for the lack of colleagues that comes with going freelance.

Then I decided to build a lightsaber (as any Jedi wannabe with an engineering degree would), but not for me, for my sister for Christmas. It took me 6 months and a lot of money, mostly as investment in machinery (3D printer, and garage/workshop tools), but it was so worth it in the end. It allowed me to focus on one large project, that did not relate to a computer, and get something done as a result. It might seem like a pointless thing to do (it won't help save the world from climate change or solve the ever increasing issue of social divide), but it was something I think I needed.

Some photos:

https://photos.app.goo.gl/i3b35NUyJLrQrnPB8

https://photos.app.goo.gl/Gz3iPcdRvDx4JHWG8

https://photos.app.goo.gl/D8MbBCFd1ujtHbYZA

With this project I learned a few things:

- Taking a break from toxic things is a survival necessity sometimes (in my case it was work and social networks' engineered attention-seeking mechanisms).

- Sport always has more of a positive effect than we think it will have on us.

- Not keeping up with the latest web tech is OK, it can be an addiction too.

Merry Christmas everyone !
Yeah, I’m not a massive fan of the “implement this huge spec” puzzles (like the insanity of the knots last year). Give me a geometric or algorithmic one any day.
The article says they are based on atomic clocks, but there is bound to be some variability from a radio signal traveling long distances.
An issue there is the entry level. For CVS a common tool to read and analyse the date exists: Excel.

For sqlite there's hardly an approvable tool for analysis of the data.

Excel is driving the world.
>"This file contains some example code demonstrating how the SQLite vfs feature can be used to have SQLite operate directly on an embedded media, without using an intermediate file system."

https://www.sqlite.org/src/doc/trunk/src/test_onefile.c

https://www.sqlite.org/vfs.html

IIRC, during one of his talks D. Richard Hipp mentions this actually being done for real.
Literally everyone who is multiplatform uses Chrome/google utilities. it's undeniably better for internet workflows.

i tried safari for a couple of days when i switched to mac and switched back to chrome. safari lack of feature parity isn't worth the battery savings(although i do have an android not an iphone so that probably affects my decision)
Hum,

XFS is maintained not "developed" anymore (despite RH/Oracle little push), as Dave Chinner announce time ago (at Vault conference few years ago, if I remember correctly) simply saying that Irix glorious time was a thing of the past and xFS codebase can't comply to modern needs so it should be considered a legacy solution...

Stratis is essentially a wrapper around actual Linux storage that try to hide it's limitation and being a RH project I expect tons of bugs and idiosyncrasy...

Zfs is battle tested on OpenSolaris, witch is unfortunately dead and IllumOS devs simply can't keep up the project, LLNL Linux port despite it's fantastic work is still not production ready on GNU/Linux despite many use it in production (including on non-ECC ram machines!)...

I tend to be pessimistic as you rightly say but I do not see any "rich present" and good upcoming future.
There are plenty of things that can cause it: https://www.sqlite.org/howtocorrupt.html
Time lapse of all big terror attacks for 2000-2015
Even the most mainstream science already has big issues with the idea of "determinism". Many people still assume that determinism is the main paradigm, but actually it has not been for a while, with the introudction of the chaos theory.

Chaos theory is a very challenging and interesting concept which you should check out, but one of the most mundane outcomes of it is that there is no way to predict the physical world. No way to see what is going to happen. Now, obviously one could predict a simple neutonian mechanical system for a 10 second-period, or predict enough of electrical impulses in a piece of designed silicon to make a functional processor - but in general, in the widest sense, there is no way to predict the universe. Even with the assumption that there is some completely determined process at the microscopic core of every interaction - those processes, when combined into big systems, wired up with feedback loops and put in a system so tiny that one has to had a machine 2 times bigger than the original system in the first place: and we arrive at total unpredictability of the universe.

Note, this is not just practical unpredictability: the question is not about us not having enough technical prowess to predict the universe. The issue is that it is physically impossible to build any real prediction machine that would predic the whole thing: you would need a bigger universe than the universe it is trying to predict. It is even a logical contradiction!

Thus determinism becomes more of a philosophical outlook than an actual physical property that could be calculated, predicted etc.

Even the word itself - "determinism". Assumnig that the fate, the outcome of something is determined. In what way can it be determined if we know that it is physically impossible to determine it? Not because we lack machines or havent built a strong enough microscope. Our very own scientific paradigm, the scientific method, the way of thinking about the universe - the thing that lies at the core of our worldview - says that it is impossible to predict the whole system. Absolutely impossible. So it is unpredictable - ergo undetermined.
I'm not ashamed to say I found it too hard and didn't make it beyond day 3, but that's still great. It's a useful way to know what you don't know — although because I couldn't move on to the next puzzle, I still don't know what I don't know.

It made me go back to Hackerrank and try a few of those out.
You can open a SQLite file as text and read it and be able to discern data and tables.

Not saying it's useful but you saying "only way to read SQLite is SQLite" is hyperbole.
Yep, I mean compared to zfs live dedup it use less ram but generate an I/O load similar to a full resilvering... In that sense from my point of view it's "intensive", however consider that I only play with it, I do not have a solid idea on how it can be in real world scenarios...
I didn't read "continuously operating" as zero down time, more that there have been continued efforts and interest in operating it. No real idea though.
I started my company the year after graduating in the middle of 2015, moved to Korea to tackle Asia in late 2015.

Now in 2018, we were accepted as the first global startup in the most competitive corporate incubator.

The highlight of 2018, was being accepted into a global expansion program which gave us corporating backing to explore the Chinese market. Two weeks ago, my founding Korean employee and I spent 2 days in Beijing introducing my company to TusStar Accelerator, and Tsinghua University and 3 days meeting business partners in Shanghai.

As someone who just turned 26, this is a tremendous accomplishment that shattered my personal goals for 2018.

In the process, I realized how naive I am to think China would be easy. I also it will not be impossible, and I very, very excited for 2019.
This year was my first year in a paid job of any kind. I was 27, 28 now. That's relatively late in one's life to have one's first job, but I was a professional student — I kept studying post-grad until there was nothing left for me to do.

I really enjoyed working, and I don't know why I put it off for so long. That said, I miss academia, too. So, life goal, maybe get a job in a uni or college so I can dip my toes back into academic stuff when it's feasible to do so.

Probably idealistic, but I feel invigorated and ready to take on whatever challenges lie ahead to achieve my goals, something I was a bit scared to do before this year.
It happened in the Martian's commune (sorry, it's been awhile and I'm having a hard time remembering names).
> that’s not the Stranger I remember

IIRC, it happened in the martian's commune.

> you’d have a different conclusion if you read Job to the end

Thanks for the tip. Someone else posted the spoiler. While it does change things, it still is a stereotypical middle-aged guy's fantasy - she is throwing herself at him, whatever her motive.
I disconnected myself from social media, and smartphone. I am using feature phone, and laptop only for work.
What about LiberaPay?
Python doesn't really have a spec in the way that, say, C# does. The docs are missing things like whether the argument is positional-only, exact exceptions raised in all cases, and time complexity of common operations.

That said, I think every implementation uses contiguous memory. PyPy has list "strategies" int[], double[] and PyObject[] and probably more, switching transparently between them.
It seems like a reasonable shorthand to say that Python does something, but to really mean that CPython happens to be implemented to do it that way.