skysight-inc/HackerNews huggingface dataset:
I believe reddit has a daily programming subreddit: https://www.reddit.com/r/dailyprogrammer
Here's a blog post from someone who was there: http://www.funraniumlabs.com/2013/06/alcoholism-in-antarctic...
Ah, that's a neat idea. I wonder if there's any easy way to then scan your code for type aliases that are `any` to make sure you've caught all of those.
What about for application in a headphone? You wouldn't have issues with changes in distance, as your ears would always be a set distance away from the drivers.

For example, what is the latency on Bose's QuietComfort 25?
What does this company even do?!
I've always wondered if you could create a runtime inferrer of types for these sorts of projects. As in, attach something that observes function calls and sees over the course of some amount of time what types are passed into them, and have them make a best guess of what arguments are what types. While of course it couldn't be perfect, it could save a lot of grunt work.

I made a quick version of this idea in Python 3.4, where it was much easier since I could modify the AST on import, but I never quite got it where I wanted it and sort of lost passion.
Not quite. What would happen is that people would get rung up on drug trafficking charges and then the IRS would pile on by taxing the undeclared illegal income. In the late 70s/early 80s, a case[1] made its way through the tax courts wherein a petitioner, a convicted drug dealer facing a jeopardy assessment from the IRS, filed a tax return for the prior year in which he declared income calculated net of COGS and other misc business expenses. The IRS disallowed these deductions, which if upheld meant that the petitioner would owe tax on his entire gross income. The petitioner sued and won, which established a precedent that didn't quite gibe with the political climate of the day. In response, the Senate Finance Committee promulgated a code amendment generally referred to as 280E[2], which prohibits those engaged in illegal activities from deducting ordinary and reasonable business expenses when reporting their net income to the IRS. Only COGS can be deducted, which for dispensaries and other non-manufacturing license holders, can result in an effective tax rate of 70% or more. In fact, it's quite easy to lose money and still owe taxes in the industry if you let G&A run away from you.

[1] https://scholar.google.com/scholar_case?case=702348433062253...
[2] https://newrevenue.org/2013/03/13/marijuana-tax-code-section...
So my question is, what density of greenhouse gasses does it take to go from "Pliocene" to "Venus"?
Respectfully, that's not how most users view it, and that's the important thing.
Agricultural production areas and crops will probably have to shift to follow climate and rainfall. I don't want to go all doom and gloom but there is going to be a substantial economic (and perhaps human) cost for future generations.

The people behind climate change denial are basically exercising generational warfare. They are attacking the future of young people and their offspring to maximise the profits of predominantly elderly investors.
Probably best to put all the any type aliases in one place then you know what they are all.
Or he used somehting like youtube-dl.

So it counts as 1 view, and he watched the downloaded file a billion times. ;)
TLDR: rename files to .ts, download type definitions for external libraries, silence TypeScript compiler warnings using 'any'
The problem with the screen on the 13" version is that it's edge-to-edge. This, in my opinion, coupled with the high-resolution display makes it very difficult when it comes to text heavy work. I would prefer to go for the 15" version of this product over this one.

The benefits of the 13" version is that it's chargeable over USB-C (using the Google Pixel charger).
> The idea of using balloons to transmit data is not reasonably patentable.

They're also suing for trade secrets and breach of contract in reference to the alleged meeting and NDA. If their meeting and NDA did cover this tech, I feel like they have a reasonable complaint. This isn't some company "from" east Texas that is just shooting bolts from the blue.

It's not like they just held the patent and let it get dusty, like you said they've been delivering working products to some markets.

> If SDC realistically was going to make this mass-market, it should have happened in less than 8 years; you can't just extract cash when someone successfully implements a generic idea where you failed (in a reasonable system).

So anytime anyone has an idea of any kind (i.e. no matter how stringent your standards for patentability), someone else with more resources and hands in a lot of huge markets can just say "cool" and then take it? I definitely think the US patent system's standard are terrible to begin with, and that the lack of real administrative effort to filter out unsuitable patents (or not give them for existing technologies) makes it abysmal in practice. But I don't think an environment where meeting with another company (with an NDA, no less!) means they might do business with you or they might just take what you told them and run with it will promote innovation either.
> To avoid unnecessary repaint and reflows, Mint UI handles animations using CSS3

Well, depending on what CSS property you're animating, it totally does do a repaint and reflow, the same as it would if it was handled via JavaScript.
Your point is ok but your hypothetical is so ludicrous it undermines it.
Startup and tech jobs in Asia
> The fact that no gospel mentions it, could be the exact same reason women get ignored throughout the rest of history.

the catholic/orthodox churches have an incredible amount of attention to women in liturgy, through the veneration of Mary. It is very "pagan" that way.

This is in stark contrast with reformed christian churches, hebraism and islam, for example.

The relegation of women to secondary religious roles doesn't seem especially related to that (which is why it happened in pre-columbian america and in asia too, I guess)
Game physics engines update their objects (acceleration, collision, constraints/joints etc) only so often at a certain tick rate to leave enough cpu time for other things.
You can have very precise and realistic physics simulations already - they just don't run at realtime.

I don't think this is a solution for bad physics in games.
Nobody wants to admit it, but most of this tech has been driven by (and often funded by) the prohibition of marijuana. Due to the extremely short spring/summer in most of Canada, indoor grows became the norm, and much of that technology/knowledge was transferred over to these locations almost decades later.

When legalization occurs next spring, you'll see lots of these greenhouses switch to the new cash crop.
I promise you, everyone is trying their best. But the food and ingredient supply chain is extremely complex and doesn't lend itself to strict structure. Tracking an ingredient through multiple vendors in multiple countries while it changes form from raw material to component ingredient to sub-product to product requires a massive effort, care, and judgment. And it's definitely a chain that's only as good as its weakest link, so one small mistake early in the chain can void all subsequent efforts, no matter how diligent. My point is, it's really hard to do well, and nigh impossible to do perfectly.
Accidental downvote, sorry. Thanks for sharing those links!
Did somebody make a joke about "the cloud" yet?
The Toxins That Threaten Our Brains
Most development setups have a way to do a regex search through a codebase; You'd be looking for declare type.*any
Is there a feed? I'd much rather have a feed than an e-mail newsletter.
I was wondering why nobody had mentioned Chargebee here yet. If you're building a subscription business, I'd say this is the way to go. Unless you want to worry about managing recurring billings, maintaining legacy pricing tiers everytime you change your plans, one-off discounts, etc.

Just make sure you have a recurring billing system in place right from the start instead of hacking it on top of your gateway yourself. You should be able to focus on your product right now - not the billing, and the tech debt if you choose to move when the wheels are spinning is just not worth it.

[Source: Hacked a system in my last org and burnt fingers, before happily moving to Chargebee]
JavaScript doesn't just run in the web browser anymore. A standard library seems like an odd and annoying oversight at this point. Relevant blog post from Thomas Fuchs: https://medium.com/@thomasfuchs/what-if-we-had-a-great-stand...
Satellite Patlu – Motu Patlu in Hindi
> "I don't think the early Christianity was monolithic enough to say a pice of text represents it's beliefs."

It's clear from most early Christian writings that there were significant disagreements among different parts of Christianity, including its leadership. Even within canonical texts, there are several places where an author takes the time to criticize someone else's doctrine (for example, there's one famous passage where Paul says of those who require circumcision that they should "cut it all off".) So when I say that those early writings are representative of the beliefs, I don't mean it in the sense of being monolithic, but in the sense of showing what sort of issues were treated as uncontroversial or as background information versus what sort of issues were argued over using strong language. Most of the arguments are, not surprisingly, issues that any scholar of second temple Judaism would recognize.

You can certainly pick up both on threads that were continued, and threads that did not persist. But the particular threads that are seen in writings like Judas and Mary aren't early Christian threads, they're late arrivals from some other tradition. They don't show up, even to be criticized, in any of the oldest writings (it's not until late second century that authors like Irenaeus start criticizing those particular beliefs.) They don't use Jewish literary structures in the way they're taught, but rather, distinctly Greek structures. They're disconnected from history and geography -- for example, the "Gospel of Judas" names only one physical place (the region of Judea) and no people other than Jesus, Judas, Adam, and Eve, and the other names it does use (for angels/spirits/heavenly realms) don't resemble Hebrew or Aramaic names. There are no quotations of Jewish scripture and no references to major issues of debate or concern at the time (such as the Roman occupation, the relationship of Jews to Samaritans, or arguments between Hillel and Shammai over issues like divorce.)

In short, the gospels of Judas and Mary aren't first-century Jewish writings by members of a sect that split from Judaism because of the teachings of a Jewish rabbi; they're at best late second-century Greek/Egyptian-mixed writings that use a handful of Jewish names. If you want insight into that first-century Jewish-offshoot religion that we call "Christianity", look to the Biblical canon, plus the Didache, Barnabas, Clement, Shepherd of Hermas, Tacitus (discussed in detail at the ECW link above), the Signs Gospel, Polycarp, and Ignatius, and look at the sort of arguments they get into and the things they emphasize and the things they criticize. It's not monolithic, but there are obvious patterns.
If you pull out a gun in a mass shooting and the police is there you are getting shot too imo
Finnish scientist provides another explanation for the ‘impossible’ EM drive
Prediksi Kroasia vs. Republik Ceko
Quick and authoritative summary of the Catholic position:

Ordinatio sacerdotalis, 22 May 1994, Pope John Paull II

https://w2.vatican.va/content/john-paul-ii/en/apost_letters/...
Long Names are Long
Why dont you look at Europe and see how many mass shootings we have each year per capita?
I have been reading up on ML papers for months, and found the article pretty basic. It just gave a nice overview of the state of the art. If anything, it didn't go deep enough to get to the real interesting bits.

From their perspective, it's hard to put such information in an accessible format. Try explaining redux for example, to a person who has no idea what functional programming is. How would you do it?
Looks like they just need a bigger (wider) ship. Problem solved :)
Such tools already existed back then, they were called freeware and Public Domain, or came as gifts in magazine listings or tapes.

Also some people would keep on re-installing them past the demo deadline, or crack them, just to avoid paying.

But not on the scale that happens today.

Linux and GCC would not be as developed as they are if it wasn't for the companies that sell hardware and are willing to pay engineer time to improve them.

During GCC early days, most contributors were the ones not wanting to pay for the Solaris SDK, so its development was as fast as Hurd still is today.

Regarding languages, that is why commercial tools get all the nice goodies, no one can make a living of selling improved tooling to FOSS developers.

Hence why many watch a talk from Bret Viktor and are amazed of his presentations, but we already had such tools in 90's, they just had the sin of being commercial.
And because we are HN readers we dont care about statistics only individual incidences..
The 100:10:1 method – the heart of my game design process
The Life of Interfaces
> I don't think the content is bad, just boring

It's talking about machines gaining the power of imagination. How is that boring?
> might makes right

This is false.

I believe that this assumption was addressed accordingly by Thucydides in his account of the Peloponnesian war around 400 BC.

If you believe that might makes right the time where you will find yourself in a situation of disadvantage will come and then the precedent you have set might come back and haunt you in ways you never had thought possible.

ps. ofc here we're talking about nature and believing that we're might against nature as a species is blasphemy. The earth (the planet) will survive, our species will not :-)
Thoughts on Swift Playgrounds
Most papers are migrating from plain classification to variational methods. This is the new trend. That means, instead of just predicting labels, they know also predict a probability for each label, a degree of confidence. And they work both ways, they can generate, as well as classify. And they are unsupervised, which means they can benefit from tons of data laying around.
It's been the complete opposite in my experience outside the valley.
Where in the world is it the easiest go get rich? [video]
I think that's stupid frankly. It hinders the manufacturers of high performance cars that use different safety systems (6 point harness, helmet, HANS device, etc) because it requires them to add a safety system that is redundant and/or could cause harm to the driver. Arguably a six point harness and neck immobilizer is safer that a three point harness and an airbag.
Looks like the same guys have a set of desktop components

https://github.com/ElemeFE/vue-desktop

But this one looks more polished:

http://www.vuedaily.com/2015/11/vui-resuable-ui-components-b...
yea but not everybody has a triple digit iq and is a self sustainable engineer and doctor. consumption economy works bc it makes people buy stuff constantly and replenish all the time which in turn makes them work all day therefore driving innovation (as a whole) forward.
What happens when a child is psychotic or has a chronic health condition that causes them to struggle to communicate or 'give back' to their family in a way the family can understand? What happens if the child becomes suddenly ill, or is accused ofa crime that will take a lot of money to resolve? I feel that family is hard to view add a business transaction because there are these edge cases.
The article states, "The operation was carried out under local anesthesia." Without one, pain will make any hand movement near to impossible!
Scalable and performance packed iOS applications
What an amazing coincidence: The Guardian article and the new video right at the same time... :)
“oh by” is a simple primitive that you can use to condense information
Elon says first reflight's targeted for Sept/Oct. https://twitter.com/elonmusk/status/740296489532948480
There are only 2 features this year, and decorators are only a stage 1 proposal, so not likely next year either.

https://github.com/tc39/proposals
Depends on what you mean by "predict". Also, unfortunately I don't even remember where I saw or heard this in a lecture, but when studying neuroscience I remember to have seen exactly this question and an example showing that you actually don't have to make predictions. I also forgot the explanation that showed how the (real, biological) neural network solves just such a problem without having to make a prediction. I only have the fuzziest memory of it being a process and at no point was there any prediction of the path of the object being tracked. It was just matching several sensory signal inputs and creating outputs, something clever, using an indirect approach. "Predicting" would be observing the object for x amount of time, doing a calculation where it will be some time later, using a model to come up with a way to intercept, then creating outputs, all of that in a loop, something like that. In any case, the way the neural network actually solved it was completely different from how an engineer would do it. In a sense, the neural network was "cheating" and doing far less work than you would expect.

The one thing I do remember for sure was there was no "prediction" involved - none at all. Unless you argue backwards and say because it succeeded you declare the process a "prediction". Once explained the whole process was actually quite primitive. Again, that was research on an actual biological neural network.

Darn, now I wish I had paid more attention. Any actual neuroscientists here? Without the details even I myself can't see my own comment as a satisfactory reply, but only as a step to actually getting one from somewhere or someone else. But note that it depends on what you mean by "prediction" - as I said, if you define it backwards from success than sure, prediction happened. My point is that the process is very different from how a human-made algorithm would do it.
Does anyone know the relative cost between relaunching a pre-launched rocket and the total launch costs? Are reusing engines/rockets something like $10k/$50M, or $10M/$50M?
I'm still hoping for Apple to release macOS Weed someday.
What's your definition of embedded? It's not embedded if you're running a full blown OS on a regular ARM chip.

Anyway, you could make a ramdisk, put things in it and put it in your path. I doubt that a linux box will survive a dead root without hardcore sysadm skills, but it should work on plan9. Initrd is not meant to stay behind after boot, though.
It's an interesting field of research - https://en.m.wikipedia.org/wiki/Reconstructive_memory
wander too far into the woods in CA, and odds are you'll find a grow op
(Please don't downvote parent if you disagree with parent's opinion, downvote only if it doesn't contribute to the discussion)

@ZenPsycho: A standard library doesn't always have to mean file io or sockets etc. It could be better String/Array/Object manipulation apis, better utility functions (kinda like what underscore/loadsh provide) etc

These are universal helpers that are very much needed whether you're writing code that runs in browser/server/mobile/iot etc.

> If file I/O had been standardised years ago, with API designed by server programmers the browser would be saddled with lousy synchronous stuff that hangs the browser UI

Maybe a bad example, but wouldn't sync file io be a problem in server as well?
The Mirage folks didn't discover anything new in that regard.

It is how the safe OS from Burroughs, DEC, Xerox Parc, ETHZ and many others used to work.

Those OSes were written in strong typed systems programming languages, the whole stack.

Part of their security was based on the language type system.
Time Wasted will track how much time you've wasted on Facebook
Glad you're interested! I didn't want to make my original post a marketing statement, the program is Techlab Education (techlabeducation.com). One tool we use to foster creativity is our Java game development library at apcs.io, it makes it easy to build games and creative applications of code. We're working this summer on open-sourcing all of our curriculum and methodology so schools and partner organizations can benefit from it. Let me know if you have any questions!
> Who said you have to upgrade a whole machine when updating a package? Literally every package manager worth its salt allows you to upgrade a single package. And you can usually specify what version you want too.

Only by playing musical chairs with the package names to avoid collisions.

And that in turn complicates dependencies.
We have an "HN FAQ" for things that (I think) would interest the HN Community, but there is, of course, a regular FAQ as well.[1]

There are also examples[2].

The most interesting emergent use-case we have seen is ad-hoc organizational details ... that is, I know that you're all going to meet somewhere at time X, and when you all get there you will need information Y, but that information doesn't exist yet ... so when you get there, look for the Oh By Code and that will give you the information you need.[3]

[1] https://0x.co/faq.html

[2] https://0x.co/examples.html
By using haxe he could have started now transpiling some of those 10k lines also to the python backend just for free plus all the additional prepocessor and type checks that are common for typescript and haxe.

I don't really understand why people jumps to typescript and not haxe, which in my opinion has more strategic advantages and warranties (with very few exceptions).

Is perhaps just a marketing topic?
what about ideas that take a long time to implement? what about non-large entities who patent an idea and take a long time to implement due to resource constraints? there should be some incentive to producing novel ideas... what novel means is the hard part to define.
Personally I would love to see a suburb go completely rogue and draft up zoning laws that flipped the script and required their town be built to 1890's code.. or better yet, 15th century Europe code.

Victorian era density is nice but we have so few places in the USA that have any of the human-scale character of the Old World to pull from, that most Americans have no idea what a small walkable village really should feel like. If we want to talk about the good old days before postwar zoning in order to get the character in our places back, why not look at the places that are real gems that we never had at all, like UNESCO villages and such?
Linktime optimization in GCC, part 1 – brief history
I find it funny that a lot of reasons boil down to "it's easier for the machine" -- developer happiness (which most of you mentioned, too!) through autocompletion and less failures seem to be a better selling point :)
Keen UI is a nice library.

https://josephuspaye.github.io/Keen-UI/