skysight-inc/HackerNews huggingface dataset:
I suspect most people which state that C has a weak type system are really talking about the fact that C has a weakly _enforced_ type system. You can break the type system's rules rather easily (or perhaps it's more accurate to say, the type system is too permissive), either way it doesn't provide you the same guarantees a stronger type system provides). At least that's my take on it.
From what I remember having spotify, the only way to add your own music is to add it to a playlist from your computer, and then sync that playlist locally, so it basically just uses Spotify as a relay for your music on your computer. I'm assuming Apple is like Google Play Music, which lets you add albums and songs to your library that appear the same way as the streaming ones (within your albums/artists/etc) and don't need to be synced locally.
A lot of the same refactoring is possible in dynamic languages as in static ones. I recommend reading up on Term to see what's possible to do with JavaScript http://marijnhaverbeke.nl/blog/tern.html

I use Cursive https://cursive-ide.com/ for working with Clojure, and it can do safe refactoring for symbols by doing static analysis of the source. It can show all usages of a symbol, rename it, do automatic imports, and so on.

Another piece of tooling that's not available in any statically typed languages at the moment is REPL integration with the editor seen here http://vvvvalvalval.github.io/posts/what-makes-a-good-repl.h...

I find that the REPL driven workflow found in Lisps is simply unmatched. When you have tight integration between the editor and the application runtime, you can run any code you write within the context of the application immediately. This means that you never have to keep a lot of context in your head when you're working with the application. You always know what the code is doing because you can always run and inspect it.

Having the runtime available during development gives you feedback much faster than the compile/run cycle. I write a function, and I can run it immediately within the context of my application. I can see exactly what it's doing and why.

The main cost of static typing is that it restricts the ways you can express yourself. You're limited to the set of statements that can be verified by the type checker. This is necessarily a subset of all valid statements you could make in a dynamic language.

Finally, dynamic languages use different approaches to provide specification that have different trade offs from static typing. For example, Clojure has Spec that's used to provide runtime contracts. Just like static typing, Spec provides a specification for what the function should be doing, and it can be used to help guide the solution as seen here https://www.anthony-galea.com/blog/post/hello-parking-garage...

Spec also allows trivially specifying properties that are either difficult or impossible to encode using most type systems. Consider the sort function as an example. The constraints I care about are the following: I want to know that the elements are in their sorted order, and that the same elements that were passed in as arguments are returned as the result.

Typing it to demonstrate semantic correctness is impossible using most type systems. However, I can trivially do a runtime verification for it using Spec:

(s/def ::sortable (s/coll-of number?))

(s/def ::sorted #(or (empty? %) (apply <= %)))

(s/fdef mysort
:args (s/cat :s ::sortable)
:ret ::sorted
:fn (fn [{:keys [args ret]}]
(and (= (count ret)
(-> args :s count))
(empty?
(difference
(-> args :s set)
(set ret))))))

The above code ensures that the function is doing exactly what was intended and provides me with a useful specification. Just like types I can use Spec to derive the solution, but unlike types I don't have to fight with it when I'm still not sure what the shape of the solution is going to be.
More similar to a rope/cord: https://en.m.wikipedia.org/wiki/Rope_(data_structure)
A list of helpful resources for a JavaScript beginner
1. performance dominates (like 80:20)
2. tooling
3. doc (becomes crucial on large projects)
4. correctness

Formal correctness doesn't really matter. Anecdotally (since that's really all we have), I find in practice, very few bugs are caught by the type-checker.

Further, code is usually not typed as accurately as the language allows. i.e. the degree of type-checking is a function of the code; the language only provides a maximum.
In a sense, every value has a type, even if it's not formally specified or even considered by the programmer, in the same sense that every program has a formal specification, even if it's not formally specified.

Upfront design is the price. Which is difficult to pay when the requirements are changing and/or not yet known.
If you're the kind of person who walks into a taco joint and starts trying to place an order for office supplies, then when questioned insists that "no I totally understand tacos, I just really need some ink cartridges", basically anything that follows is likely to come off to you as "sneering", whether it is or not.
I bought (leased, actually) a car that can easily do 150% of my max daily range. It's designed to be a commute car.

I also have it charging often at charge spots at work, shopping, and even when I drive to visit local customers. I noticed a recent 90m trip we took our minivan, but my electric could have done it - the hotel we stayed in had chargers. If you're staying with relatives, you can bring your own charge cable (110v is slow but ubiquitous).

Range anxiety is a non issue once you own a car that has sufficient battery capacity/range assuming you have a regular commute.

I've gotten it down to 5% battery - it was 5.5m over the listed range of 110m at the time (not being lead-foot at the time).

I think the PHEV -> EV shift is a significant paradigm shift for a driver.
Well, he did say OS X (today named macOS), which is built on top of Darwin. Darwin itself is a combination of two things: XNU and BSD.

The BSD parts originally came from 4.3BSD, and were later upgraded with code from FreeBSD, with many userland tools from NetBSD. So by that token, the macOS lineage goes back to 1977, the year BSD was first released.

FreeBSD is based on the original BSD distribution. While FreeBSD got rid of all the AT&T code, you could also make a good case that since it derives from AT&T UNIX, its lineage goes all the way back to 1973.

XNU is not that old; it was developed at NeXT in the 1990s, and is based around Mach, a kernel first released in 1985.
Uber Investors Clash with Board Over Voting Power
I followed pg's writing in basically real time since 2005. He wrote basically these principles, said them in interviews, re-told them in talks at Startup School and others, the whole time. This is a concise summary of a decade of intention and actions.
I fully agree. Also, I think (as embarrassing as it is) we need raw data and code. Would make peer review much easier as you could perform the same analysis on the same data. Makes it easy to correlate results and validate premises of data sampling methods.

(Warning: In Scientist-Engineer limbo)
Not sure... : looks ok actually, even _ or - could make some sense. The # is a bit too heavy on the eyes :-)
The math this guy performs is so questionable and his idea that Deep Learning is the pinnacle of biologically plausible cognitive modelling is incorrect. I write about this [in a blog post](https://medium.com/@seanaubin/deep-learning-is-almost-the-br...).

tl;dr doing pure Deep Learning (also known as connectionist) models of the brain limits your tools in a bad way. Using tools from Dynamicism and Symbolicism is better. As proof, check out Spaun, the world's largest functioning brain model.

Note: I mostly just disagree with him philosophically, in terms of his reasoning because it's overlooking some evidence. Don't really have an option on his conclusion. Probably agree with him more than I disagree with him.
> The Nissan Leaf is just not competitive anymore, and I see no sign of a newer version of it with better range.

Depends on your needs. My Leaf has been incredible. I paid $5k for an older one off lease and it gets me round trip to work/school/running errands for essentially zero marginal cost. People are stuck in an ICE mindset where they can't imagine a car being useful with less than 400 miles range. But the reality is that you never end up using a full charge, and charging is available everywhere (in cities) now. I can guarantee that there will be a class of ultra cheap EV's that stick to the 100-150 mile range as it is all most urban dwellers need on a day-to-day basis. If the price/kWh of lithium ion batteries continues falling at it's current rate, we'll see sub $20k ~150 mile range EV's for sale within 5 years.

>People who park on the street have no realistic way to charge their cars at their homes, and all but the newest luxury apartments lack charging stations. Relying on public charging infrastructure is not realistic, and relying on charging at work is unwise -- it will limit your next job opportunity to companies that also have charging stations, unless you are willing to replace your car. Even relying on charging at an apartment is unwise, because it will limit where you can move to.

Not really. I live in a tiny Bay Area apartment and street park my Leaf. Charging has never been a problem. My office has level 2, there's a level 2 across the street from me, and there's two level 3's on the way home if I need a quick top off. Granted we have better infrastructure than most, and I'll admit there's definitely some getting used to how it all works, but I'll never go back to an ICE.
link to letter sent by a law firm representing the shareholders: http://online.wsj.com/public/resources/documents/UberShareho...

Dear Mr. Kalanick, Mr. Graves and Mr. Camp:
We represent Shervin Pishevar and Steve Russell, individually, jointly and as putative
class representatives on behalf of several hundred Uber employees and other prominent investors
who will suffer billions of dollars in damages (exclusive of penalties and punitive damages) if
you support the covert effort, apparently led by Benchmark, to strip Class B Common stock
holders of their voting rights.
> I think the OP is fundamentally right about the sweet spot being pretty far from either extreme, I just disagree slightly about where exactly :)

And I think an important take-away should be, that this perception is entirely subjective and colored by both of our experiences, preferences and the kinds of problems we work on :)
Microsoft "PlaysForSure" Part II
Sempre Health | Backend/Full-Stack Engineer | San Francisco, CA | ONSITE Full-time | https://www.semprehealth.com/ + https://angel.co/sempre-health

Referral bonus: $10k cash for referral to candidate who ends up joining Sempre

At Sempre, we're building individualized healthcare pricing, helping patients save thousands of dollars every year on medications. We raised $2.5M from Social Capital last summer, have revenue from 2 fortune 100 customers, and and are focusing now on scaling. We currently work with hundreds of patients, but will soon be launching programs that impact tens of thousands of lives.

About the role: If you come on board, you'll work on projects including our patient engagement services responsible for handling inbound communications and triggering events [python], backend APIs to integrate with the nationwide pharmacy network and calculate the optimal price for each patient [python], and our internal patient management tools [React]. These products drive our ability to help patients afford medications they need.

About the founders: My name is Swaraj, and I'm the co-founder & CTO of Sempre Health. Previously, I was engineering director at MindMeld (NLP/search, acquired by Cisco), and at Zynga, launched FarmVille 2 (most popular game on FB for > 6 mo). My co-founder & CEO was the founding data scientist at Propeller Health, after reporting directly to DaVita's CFO (Fortune 500, largest kidney care company in US).

To apply: email me directly at swaraj[at]semprehealth.com

Full job req: https://angel.co/sempre-health/jobs/130959-software-engineer

Thanks,

Swaraj
GM had one of the first EVs in the 90s, the EV1. They jumped in before the technology was there.

They've also been working with gas-electric mixed technology with the Volt since 2010 and more recently the Bolt.
Consumer grade CPE should always be in bridge mode, with managent access needing a physical cable plugged to a dedicated port.
This is common sense to anyone following the 10+ years of atrocious security record of ADSL/cable boxes. As a bonus you get working ip connectivity (no half assed NAT ALGs messing up your packets).
> People who park on the street have no realistic way to charge their cars at their homes

Perhaps there could be combined parking meters and charging stations. You would pay a certain amount of money if you just wanted to park and you would pay more if you wanted to charge your car too.
Quatico.com | Java Backend or Full-stack | Zurich | SALARY: 90k-120k CHF | ONSITE | EU-Passport holders only or eligible to work in Switzerland

Quatico has a true "engineering over management" culture. We are doing three main things:

1) Platform integration (leverage Magnolia, AEM) to build first headless CMS, behind one can put Hybris, SAP etc (and never touch the SAP "stuff").

2) Tailored web apps with heavy number crunching on the server - e.g., we built software analysing all the weather data in Switzerland for "Meteo Schweiz". We more often than not build bug-free software and value good software craftsmanship practices.

3) We build a SaaS product for Yoga studios in Zurich that can be customed to any business later on with a Business Process Management Suite.

German is not needed as long as your English is good and you at least show you want to learn German.

The interview process:

1) Phone screen

2) Coding task (skipped depending on first impression)

3) Onsite half day with us (we pay expenses)

Send us a short intro about yourself to:

jobs@quatico.tech
Recent HN posts for a Tesla indicated wear levels of 10-15% over 5 years. If it's worse than that for me, chargers are now becoming commonplace where I live.

Buy a vehicle with 150% of your maximum daily range and you're fine. Lease if you're even more concerned.
There is very little year over year wear. After a decade or two in a moderate climate you can expect 80% capacity still.
What language in specific are you applying this to? I.e. what is the type checker that is catching few bugs?
> She insisted she does not want "back doors" installed in encryption codes, something the industry has warned will weaken security for all users, nor did she want to ban encryption, just to allow easier access by police and the security services.

This is a prime example of magical thinking, and it's so infuriating to watch. It's not the case that smart people just haven't figure this out yet, it's that it's fundamentally impossible to get what she asks for, she might as well ask for a unicorn.

When people say it's impossible, they don't mean "not yet", they actually mean "never". And she's just one more in a long line of politicians who have asked the same thing over and over and over again, so how hard is it to understand that the industry is kinda tired of people dropping by and asking for unicorns?
Not sure it's really an invention, it's been around for awhile. Check any decent common lisp implementation.
Which happens exactly how often? I've been writing java code for the better part of two decades and basically never needed to swap my list/set/map types around. Also, one of the purported benefits of java's typing is your editor can find and refactor / swap all usages, so it doesn't seem to me like this distinction has much value. It instead makes me think it's a fetish for object orientedness...

In fact, the only cases I've ever swapped even a HashMap has been to trove, which implements data structures for builtin types rather than reference types. In which case using interfaces everywhere doesn't help.
Yeah, that's also true. But the dams will still silt up. This is a huge problem worldwide.
> So, I guess electric car ownership is effectively another perk of home ownership.

It's another chicken-and-egg bootstrapping problem, though. If everyone had electric cars, there would be more market demand for electrified street parking, and there would be more demand for electric parking spaces in apartment complexes. At some point it becomes less of a market differentiator (luxury apartments use it to stay competitive) and increasingly a market force (every apartment needs it to stay relevant).

Given the pace that the car manufacturers seem to be moving, that transition likely needs to start happening sooner rather than later. (2023 is six years from now.)
If you see clouds how likely is rain? If you see rain how likely is it there are clouds? Are the answers to these at all the same? No.

There is absolutely nothing valid about your "flip" (called transposing the conditional) and the damage done to the human species by people doing the "flip" is too huge for most to comprehend. Sorry, but I really cannot overstate the problems with this "flip".

Perhaps people who get paid by grants should get three chances regarding this flip. If they strike out they are banned from ever being funded by NIH, etc for life. The result (either 99+% of current researchers would be culled, or p-values would become appropriately rare) would do more to advance science than any other idea I have seen.
Ford is taking on Tesla with a new group called Edison
That's an amazing idea.

Also imagine solar covered parking which could be a good moneymaker (sell energy and/or sell preferred parking spots).
Which is funny, because in science we narrow down answers by crossing ideas off a list. Not so much proving an answer as disproving others. But you don't get funding, especially in the softer fields, when you don't produce positive results. Unfortunately this also sows distrust in other fields.
Similar yea, though Medium is strictly blog posts. I feel like with the issues youtube is having with advertisers right now and things like imgur trying to monetize image hosting there needs to be a content platform that supports all media types.
The part that makes me happy is:

> In addition to these patches we have also submitted another patch which will run Dnsmasq under seccomp-bpf to allow for additional sandboxing.

It takes a while, but the more known projects start getting seccomp patches and this will lower the impact of exploits like this in the future.
Element Science | Application Verification Engineer| San Francisco, CA | Full-Time | Onsite | https://www.elementscience.com/application-verification-engi...

Element Science| Firmware Test & SW Quality Engineer | San Francisco, CA | Full-Time | Onsite |
https://www.elementscience.com/firmware-test-engineer/

Element Science| Manager, Software QA | San Francisco, CA | Full-Time | Onsite |
https://www.elementscience.com/manager-software-quality-assu...

Element Science | Electrical Engineering Technician | San Francisco, CA | Full-Time | Onsite | https://www.elementscience.com/electrical-engineering-techni...

Element Science | Electrical Test Engineer | San Francisco, CA | Full-Time | Onsite | https://www.elementscience.com/electrical-test-engineer/

Element Science | Senior iOS Engineer | San Francisco, CA | Full-Time | Onsite | https://www.elementscience.com/senior-ios-engineer/

Element Science| Senior Backend Engineer | San Francisco, CA | Full-Time | Onsite | https://www.elementscience.com/senior-backend-engineer/

Element Science is building wearables and digital solutions for heart disease patients and healthcare professionals. Our first product is a patch-based Wearable Cardioverter Defibrillator (WCD) that monitors patient's heart and responds automatically.

We're a series B startup funded by Third Rock Ventures and Google Ventures. Email your resume and short intro to jobs@elementsci.com to apply.

See https://www.elementscience.com/careers/ for more details.
And it takes less typing (keyboard) than the assert, and you get free documentation inline with the code!
Yes, we are open to all US time zones currently!
For some reason Zookeeper is unjustly seem as uncool technology. I even seen it being blamed for issues that it had nothing to do with.

People say that setting ZK cluster is a huge issue, yet they don't see a problem spinning etcd, or sentry nodes in case of redis.

When I learned about ZK I was skeptic, didn't like that it was written in Java, but ZK proved to be extremely robust.
Is number two on that list about migrating something to Rust or from Rust?
Replacing wheel bearings, brakes, and tires? Easy for a garage mechanic, and cheap too.
This is subjective...

On my list if all-time greatest albums is a slot reserved for Tom Petty. It holds what I feel is his greatest album: Into the Great Wide Blue

It is one of the last good albums to be made as the dying art which was the whole album telling a story, or of a concept, in its entirety. Today, the goal is a couple of singles and some filler, and is a small market behind other delivery methods.

The album talks about him, what he has been, and what he had hoped to be. He talked about ideas such as being a rebel without a clue to taking control of his life and not living up to the expectation of others. He spoke about having some fun and just being able to make some noise.

It was a very riveting and passioned album, full of tracks just far ahead of average to be good - but telling a whole story that is great. Is there any one single phenomenal song? Not really... There are no bad songs, either. It's just above average, which is a feat to do across a whole body of work.

It was typical Tom Petty and, I think, the best of his work and thus belonging in my list of favorites. He will be missed.
Was it atherosclerosis? Anyone know?
The Chevy Volt has been around for as long as Tesla (Roadster) has been available to the public.

Revenge of the Electric Car [2] is a great follow-up to Who Killed the Electric Car.

[2] https://en.wikipedia.org/wiki/Revenge_of_the_Electric_Car
patients are similarly well aware that doctors will lie to us to cover their ass. possibly why so many of us resent paying you exorbitant sums to do poor work?
Yes exactly, you want to ask what is newer than x, where x is the last event you're aware of, but you don't really care about the date and time in that case. If you just store the last id given by redis Streams naively then you don't even care that they're timestamps; at that point my question is, why even bother with the distinction. Just ask for everything after x and be done with it.
Facebook Surrenders Russian-Linked Influence Ads to Congress
> Perhaps a rule-of-thumb is that a tech company becomes dominant when it has a widely-used OS, and it loses relevance when it has multiple widely-used OSes. Seems to apply across multiple technology generations: Bell Labs (UNIX -> Plan9, Inferno), IBM (System/360 -> PC-DOS, OS/2, MVS, Taligent, etc.)

Your example of IBM doesn't really make sense. IBM has had multiple mainframe operating systems simultaneously going back to the 1960s. On System/360 descended systems, there are four surviving lineages of mainframe operating system – z/OS, z/VSE, z/VM and z/TPF. All four have ancestry going back to the 1960s – z/OS descends from OS/360 (196?), z/VSE descends from DOS/360 (1966), z/VM from VM/CMS (1972) which was the successor to CP/CMS (1968), z/TPF descends from ACP (1968). MVS / z/OS has always been the most popular of the four, and z/VM has fallen from an independent timesharing operating system into being a mere hypervisor (despite keeping, with rare use, most of those timesharing operating system features), but IBM is really a counterexample to your rule of thumb rather than support for it. IBM's operating system pluralism reaches back into its heyday as opposed to being some symptom of corporate decline.
Cool, didn't know that. No excuses not to test properly then! :)