skysight-inc/HackerNews huggingface dataset:
I think it’s too early to say what differential lambda calculus or linear logic is “good for” in a practical sense. However, I don’t tend to think of it as being about breaking problems into smaller pieces.

I think it is more about error propagation: you can’t estimate which inputs to an algorithm contribute more to the final error, without some notion of derivative of an algorithm with respect to its inputs (even if those inputs are discrete, so that making infinitesimal variations does not obviously make sense).
Just got off work and saw all the comments. I wrote this up a few months ago to make custom cards for a mafia/werewolf type game I've been playing at work (as some guessed). It's 100% client side and uses jsPDF[0]. You can find the (very rough) source on my github[1]. Future plans include better styling and some changes to allow easier clearing of the template. Thanks!

[0]: https://github.com/MrRio/jsPDF

[1]: https://github.com/konamacona/cardproxy
I've had the same experience whenever I go to his page. It seems odd that a guy that needs no money from his website would have one that doesn't display on everything. There are few sites where my blockers block all of the content. This is one of them.
I can't remember the command. I think it was a native Linux command - Not related to IOTA.
Please don't post uncivil or unsubstantive comments to HN. We eventually ban accounts that abuse the site like this.

https://news.ycombinator.com/newsguidelines.html
I’ve had the Tom Tom app for many years now (iOS) and have always had free updates.
I’m guessing it’s harder to support dedicated devices that will eventually be hard to maintain than it is to just update an app on Android iOS so this news is no surprise to me.

Is there much point in buying. A dedicated sat nav anymore? It’s literaly cheaper in the long run to use an app
There's plenty of things that public infra does that are innovate and disruptive.

Would switching to single payer not be disruptive to the entire insurance industry?

How much innovation has come out of military research?
The issue isn't the 30k people dying in one set of crashes. It is the systemic issue caused if all of our transportation and shipping capacity went offline at the same time as all ICE refuel capacity in a nation was taken offline at the same time.

If that happens, car crashes aren't the problem - it's the widespread famine that follows in a week's time.
Wow but that sounds like a problem created solely for the sake of the solution.
Discover casablanca
Not what I was expecting. I love my personas. Most of them, anyway. Especially Mirimir. Some of them are not so nice. But hey.
One of the jokes going around Twitter last night was whether or not Strava would be able to handle the server load from all the intelligence agencies breaking in and dumping their data.

This isn't just heat maps they have, they have the movement and timestamped location of millions of people around the world. Undoubtedly some of those people are "interesting" to someone, especially since Strava just revealed that a lot of them hang out in unique places.

edit:
For example: https://twitter.com/thegrugq/status/957851350099832834
The whole point of the limited article was a comparison to other developed nations. You can't be surprised when you jump in to "explain" the reason behind the difference to have people point out that it's disproven by the very article we are discussing!
I have reason to believe that a competent hobbyist programmer is less dangerous than the electronic engineer, pretend-to-be-programmers who wrote the original firmware on the vehicle.

Based on years of working with electronic engineers' code. (Apologies to those of you who are competent in both)
> When you have really low/bad network coverage (narrow valley for example), having a device that got the map pre-loaded is helpful.

This may be an advantage of a dedicated GPS device over Google Maps, but it's certainly not an advantage of a dedicated GPS device over a smartphone.
And that Intel don't have a monopoly on smart software developers. Truly tragic.
As a marketing person, I can confirm that they can often be a useful abstraction, particularly when collaborating with people who need to get the general direction of an audience, but aren't necessarily data nerds who need to be intimately familiar with the detailed demographics, psychographics, technographics, behavioral data, etc.

They absolutely have limitations and can overly simplify things to a fault sometimes, but as long as everyone gets that it is a representation and not the absolute, they can help streamline things.
In Paris, you have the national train company (SNCF) who competes with the Parisian subway system (RATP). To make matters even more complicated, some suburban rail lines are operated by one over the tracks of the other. This is seamless until one of them goes on strike...

For the geek part: when trains shift from one network to the other (RER B between Châtelet and Gare du Nord), they free-wheel while they transition power from one network to the power of the other one. On the rare occasion that a train has to stop in the middle of that dead zone, it can't move anymore...
> trying to be "happy"

Yea I never understood this modern obsession. Doesn't even make sense. Definition of mind is 'something that seeks' and seeking is contradictory to 'happiness'.

Only way to be 'happy' is that if you mind is not functioning, dead.
I'm pretty sure these patches were responsible for my notebook crashing everytime i hooked it up to our Thunderbolt 3 Dockingstations.
WOMEN'S FASHION BOTIQUE
The UX on smartphone GPS apps is awful. My 10 year old car allows me to do things like search for gas stations and rest stops on my route and does a much better job of working with previous destinations. Cell phone GPS/Nav apps are slow and awkward to use and offer little in the way of useful features beyond simple turn-by-turn navigation.
The online version is kept up to date. Ilya keeps a good eye on the Github Issue Queue here https://github.com/igrigorik/hpbn.co/issues.
They aren't going to get fined. There's nothing they can be fined for.
There is a large contingent of radical empiricists in machine learning who assume "big data + automation = truth", especially on HN, and this is a message they need to hear more of.

People have been advocating radical empiricism in some increasingly uncomfortable contexts recently, and I hope it's just that it's the only thing they were taught and the only way they know how to think about their craft. The alternative is that an increasing number of people really do want machines to triumph over human judgment and morality.
Solar panels in and of themselves make the surface slightly warmer, not cooler. Their beneficial effect is through preventing the emission of more CO2 into the atmosphere.
I would also appreciate a little comment on this because the readme doesn't do much explaining what it is, why it's important, how it's different from .NET Core 2 compiler? To put it in another way, why is this so relevant?
Yes, PLCs do work well, especially since one typically just arranges to need relatively small PLC programs. But it is a lot like working with VHDL or assembly, and the only way in which you get to organize/abstract things is by organizing the actual hardware controlled by the PLCs into manageable units (e.g., a station on an assembly line, a small number of stations on a rotating assembly line, ...).
I would like to see a viable scraping project
I don't think GP is correct in saying that the NYC subway was privately funded and built - the funding was largely public, with the resulting infrastructure leased to private companies to operate.

The initial IRT subway was funded by the city with bond issuance, which then contracted the construction and operation of the railway to private bodies.

Later expansions were funded by a mix of public and private funds - but again, with the city retaining ownership of the property and leasing to private hands for operation.

The NYC subway was never a private enterprise in the usual understanding of the word. It's frustrating when achievements like the NYC subway are attributed to free-market triumphalism when there's nothing in its history that justifies this conclusion.
Geez yeah no kidding. And they'll have other account data like first and last names. But then again, it's likely they've already been hacked (same with FitBit) and don't even know it.

The data these companies have is too valuable, cleanly IoT collected, and keyed by email, for nation states to not try to get.
Linus was talking about Linux patches, not these microcode patches. They've been known broken for at least a week
No, you can just finally afford one during Middle Age.

Big suprise. Unlike the rich kids when you were young.
Or, you know, you could use pdf.js, which has two advantages: (1) it already exists; (2) it can exist, unlike your proposal, which involves using a nonexistent memory-safe C++ compiler.
The dot net foundation has released a lot of the language components, this appears to be a different compilation target.

It looks like this project skips the common intermediate language, and compiles straight to native processor code or Web Assembly (Ahead of Time compilation).

You get to skip the overhead of Just In Time compilation.
> It would of course be preferable to have a secure PDF reader to begin with, but the complexities of the PDF format doesn't isn't really conducive to that.

pdf.js exists!
Note that both the citylab article and pedestrianobservations are from the same author, Alon Levy. I also liked his article (https://www.the-american-interest.com/2017/02/10/why-we-cant...) summarizing best practices from Madrid (offline: https://tunnelbuilder.com/metrosur/edition2pdf/page2.pdf archived: https://web.archive.org/web/20171216155555/https://tunnelbui...).
I use 9front mostly because it's a nice place to live. Most of the stuff I do doesn't run on Plan 9, but I to the development on a 9front system. Compared to FreeBSD (I don't have much Linux experience) the system is simpler and easy to write for. The tools are well thought out and simple, plus it has my favourite text editor. I work on 9front entirely because I use it. Not working on it would be like not repairing your home if it breaks because someone else built it. If you have the ability to help make and improve the projects you live in, I really think it's important that you should. This is basically the raison d'être for 9front's existence.
I suspect pessimism toward the future is rising because more people are not finding life to be satisfyingly meaningful.

I think many people have been moving away from traditional sources of personal meaning (religion, civic duty, nuclear family, etc), but we haven't been replacing these age old 'guiding principles' with anything that's equally compelling. Instead we seem to be focusing our lives ever more around unshared point sources of life experience like social media and entertainment streams, which are largely passive and unshareable. This passivity increases separation and pushes us away from awareness and involvement in the needs of other people who are important to us, much less inhibits us in serving those needs.

That seems like the perfect recipe for loneliness.
I agree. Fortunately this tends to lead to PLCs driving relatively small systems. Like a small number of stations on a small rotating assembly line. That's probably a plus, actually.
I like everything about your approach (excluding passport.png), please direct me to your travel blog! =)
ProClip is the gold standard for this stuff, they make model-specific mounting bases for most cars that wedge into dashboard / console panel gaps and are extremely secure.

I've moved on to magnetic mounts with adhesive bases for any of my cars that have a good surface to stick them. Cheap and quick to install. In my girlfriend's kitchen we made a little electronics charging station out of a couple short-depth Ikea shelves and stuck 5-ish inch wide magnetic mounts to the fronts -- real handy for holding the phones and tablets while charging with the screens visible, along with keychains and various other ferrous junk.
DuckDuckGo vs. Google: Who's the winner?
It's nonsense. If it were possible to make C++ memory-safe with a special compiler, it would have been done long ago.
Another factor making war less likely is the mass media. Remember how the Vietnam War was "the first television war"? Actually seeing what happens in war turns peoples' stomachs, and the propaganda of war's "glories" is revealed for what it is.
On github, if I expect an open source thing to get some use, I usually put it in an 'organization', instead of my personal github account. To allow it to later be transitioned to a team, or another maintainer, without disruption.

If one does the same on npm, it just transfers the namespace scarcity to 'scopes' themselves, with no real benefit.
Inside Quake: Visible-Surface Determination
No, plus it is not trivial to turn iota into cash.
It's very much different from the times the song has been sung in the US by the civil rights movements. I understand it may be difficult without enough context. I'll try to add some.

Rinkeby is a district in Stockholm known for a high concentration of immigrants [1]. In the early nineties a murderer (called Lasermannen [2] due to using a laser sight on his gun) targeting random immigrants was at large in the area. People who lived there were understandably afraid and wanted to know what was being done to stop the shootings.

The prime minister at the time (Carl Bildt) and the immigration minister (Birgit Friggebo) goes to Rinkeby to try to calm the upset people and answer their questions. You need to understand that when they come they have bodyguards and the whole shebang. Normally they work in a nice building in the city center (regeringskansliet), live in a big house in a nice neighborhood or an apartment in the city center or something like that. They have nothing in common with the scared people in Rinkeby. It's not a social movement meeting. It's not a protest meeting. It's a someone-is-killing-us-HELP!! kind of meeting. The people in Rinkeby did not come to sing a song, or to protest or overcome injustice. They came because they were afraid that they would be the next victim and wanted the shooter caught!

It's in this context where Birgit Friggebo somehow gets her improvised "stroke of genius" and (quite forcibly) suggests that everyone sings "We Shall Overcome" as if she's a civil rights leader. She has no business suggesting such a thing! If you get the opportunity to watch the clip, check out the prime minister's reaction. He basically blurts out: "Hell No!"

[1] https://en.wikipedia.org/wiki/Rinkeby
[2] https://en.wikipedia.org/wiki/John_Ausonius
Ok that's great and all but don't try to derail the major point which is that this pay is an extremely small fraction of the cost.
I realize it's an unpopular opinion here, but so far Trump has done a good job by most metrics.

Anyone against this administration seems to be unaware of the cause and effect in government systems...
Seems like this can/will target webassembly.
I think the most exciting thing about containers is actually the infrastructure and tooling around them. The technology for managing containers and container images is a lot better than that for managing VMs and VM images. As far as I know, there isn't anything comparable to Docker, Docker registry, Docker swarm, etc for VMs, or at least they are outclassed in terms of power and usability.

If we could bring all of the benefits of containers to the VM world (including subsecond boot times), I think that could revolutionize at least cloud computing (if not other forms).
Sure.

Btw it's better to email us (hn@ycombinator.com) than to try to get our attention this way, since we don't come close to seeing all the comments, or even all the threads.
These are Americans we're talking about. The collective reaction would be to run over people in the street if they wear glasses and nerdy t-shirts.
Heh. True in some ways, not in some others. Groceries for example - yes, I can buy chicken at Walmart for much cheaper than I would in the EU, for instance. But the chicken I’d buy in the EU would be of much higher quality. If I want a comparable chicken (not cage raised, not full of hormones, etc), I’ll end up going to Whole Foods or similar upscale store and end up paying roughly the same as I would in the EU.
Why the down votes? It does have huge impact on the financial sector.

European banks are scrambling to patch software to purge older records. Backup strategies have to be changed to accommodate this as well.
It could, but most analyses I've read don't portray it as likely. The tariffs start at 30% but fade to 15% over the next 4 years, after which they are set to expire. It doesn't seem like anyone would be able to set up and launch a solar manufacturing plant and business in such a short time.
The remaining knobs these days are mostly drive-by-wire, so to speak. Maybe the simulation of mechanical control is still better than touchscreen controls, but they are not without problems.

I still miss the ability, occasionally, to adjust the volume on the car stereo before I turn on the car. (I recall that I was blasting some music while alone, but now don't want to deafen a passenger, e.g.) On my year-old Honda, the volume knob doesn't start responding for about 15 seconds after I hit the ignition button.

I know I'm romanticizing him, but the story of how Steve Jobs designed the click wheel on the original iPod is how I wish every product was designed: insistence on zero lag and immediate feedback. The above volume knob also has a lag in it's use: turn too quickly and you'll get unreliable or delayed results. I hate that every time I use the knob, I'm kind of second guessing whether it's working. The stereo was seemingly designed with the steering wheel volume buttons as the primary controls.
> Android Auto also has access to the car's wheel speed and steering angle sensors

Hah, that's pretty interesting. To make a flippant joke, imagine if Facebook had this info, "Hey $AUTO_INSURER, 30% of people who visit your portal and log into it (we have this info because you added a 'Like our page on Facebook' iframe in the page) are bad drivers, you want to know who they are? Pay us and we'll tell you!".
> Obviously it's a heavy weight solution, but the idea of having more drivers and better support is compelling— it's a much easier path to exotic boot setups, eg over wifi, off a SAN, whatever.

So...this is strictly my own personal experience, but, I've always had better compatibility with my hardware in the BIOS than I have had in any OS. I can't count the number of times my K/V/M has worked in the BIOS, then suddenly stopped working once DOS/Windows/Linux started booting.
Stationary storage is a lot more flexible in what chemistries they can use because they don't need to optimize for mass. The article even mentions one bidder offering redox flow batteries which have scaling properties which are much better for grid storage than for cars, so they wouldn't compete for resources with the latter.
Hi Jeremy,
I just recently "upgraded" from a Macbook air to a Windoze Gaming Laptop with the GTX1050 GPU just for the reason that one day I could hopefully do all the Fast.ai assignments on my laptop. I think this announcement right here will spur me in taking up this course and Finishing it. I have an actual need for automating some of our IQC/OQC( Incoming and outgoing Quality control) of sub-assemblies and parts that we purchase from our vendors and I hope to leverage what I learn from this course. Thanks a Ton for democratizing Deeplearning and ML for a large population.
Ananth
And it's just one example of the inefficiencies...
I hope someone sue then in the EU.
TomTom is quite popular here in Germany but I don't see any news yet.
I've always thought Haskell was later James Joyce clever :)

I'm not sure if it is really appropriate for any code to be more than Robert Frost clever, sometimes think that should be clever enough for anyone. But this is only a periodic opinion.

on edit: I guess that means I'm saying no language needs to be more clever than Python.
Crash all the self-driving ambulances, crash all the gasoline tanker trucks, crash all the trucks that ferry containers out of ports. You might not kill many people today, but when there's no shipping and no ambulance service people will start dying.
I think that the idea of privacy is wishful thinking if the people in these locations are allowed to have their own unvetted electronics. It would not take more than one trojan smartphone application with a social media login until you are able to identify the person (and maybe graph more out of that, no GPS needed!).

And as an anecdote, back during my conscription, we were told to disable location services altogether and not take photos during training sessions, but I honestly think it had more to do with keeping in mind the best practices rather than avoiding anything to get "leaked". The officers were sometimes seen with phones of their own, meaning the government issued tinfoil ones.
One popular route on a base in Iraq has been nicknamed “Base Perimeter” by the U.S. runners who regularly use it.

I'm truly gobsmacked that it never occurred to anyone that this might pose a problem. Maybe not the 19 year old grunt who signed up because getting a master's in CS wasn't in his future, but c'mon, there isn't someone responsible for preventing data leakage? This is not some corner case, or some side-channel attack; Strava's whole business model rotates around "track where you've been with extreme accuracy, and let the world know about it". Otherwise I'd just keep the data locally, like I did in the old days.

But even if kept locally, what happened to the worry of radio leakage? Ten years ago I worked on some stuff that might end up being used by the military, and I distinctly remember a co-worker who used to be pretty high up in the army (colonel, maybe?) pointing out that in the field things like Bluetooth, et. al., were generally frowned upon for what I thought would be obvious reasons. Perhaps with the subsequent advent of more and more devices emitting radio signals, what used to be obvious isn't so obvious anymore, so now we let military personnel run around with devices on their wrist that signal to anyone within 30m that they're there.
Nice!

Boardgamegeek has a list of card design resources:

https://boardgamegeek.com/thread/991506/resources-card-game-...

Most are of the painstakingly-click-and-type variety, though. There are a handful based around a more site-generatorish workflow that look pretty sweet:

https://github.com/vaemendis/hccd/

https://github.com/ghostsquad/pycard

http://cardpen.mcdemarco.net/doc/index.html
What was AI in 2017?
No. If he continued to use Cramer's rule, he would definitely lose to LAPACK on big problems, purely because of using Cramer's rule. But even if he didn't continue to use Cramer's rule (if he switched to Gaussian elimination), he still might lose to LAPACK, because LAPACK is pretty well optimized.

At least, that's how I interpreted the comment...
Differentiable learning is a new hot topic and this is research from an (applied) math phd from UCLA. This is valid research that may or may not advance the field - like any other research. What's the issue?

Nobody is discounting that someone could open up a completely different learning paradigm, and it would most likely come from a pure mathematician with computer skills. A few prominent researchers have said something to that effect already.
> Sounds like Microsoft can't tell the difference between "has AV installed that will break" and "has no AV installed", which makes sense. It's probably infeasible to reliably fingerprint all existing AV software.

For something like this, I think best-effort bad-AV detection would have been best. Seems pretty insane to disable security patching because they can't be 100% certain that you have a compatibly AV.