skysight-inc/HackerNews huggingface dataset:
> I guess they’ve seen one too many bugs from precedence confusion.

Yep. I just filed a precedence bug at https://github.com/jbangert/nail/issues/7 for Nail, which is a security-concious project. (It was presented at LangSec 2014).

> It doesn’t have dependent types.

Yep. Programming language theorists love type systems, and dependent types are one way to prove bounds safety, but they're not the only way. Puffs is an imperative language, not functional (for the reasons described in https://github.com/google/puffs/blob/master/doc/related-work...). With mutable state, a Puffs variable's within-bounds-ness can change over that variable's lifetime, but its type does not.

> There is limited effect typing: functions can be marked pure, impure (!), or impure coroutine (?).

Yep. That's the current design, although I'll probably revise that based on recent experience. The question mark denotes a coroutine, as you noted, but also whether that function can (very roughly speaking) throw an exception. I think we will need separate syntaxes for those two concepts, since I've wanted the latter without the former.

> There doesn’t appear to be any kind of polymorphism—over types, effects, refinements, or proofs.

Yep. Haven't needed it yet, and I've erred on the side of simplicity and leaving things out.
> That’s not about cost-savings, it’s about avoiding false positives that make no sense in clinical context but raise flags that must be chased down.

Unfortunately the rule doesn't apply in this case. Your "smart" toilet is not trying to diagnose problems. It is trying to infer which ads you will click on the most, to make money for a surveillance company. A toilet that has a handful of true positives, a huge number of false ones, and doesn't kill too many people is pure win: surveillance and pharma both make money, and it's very hard for a consumer to tell if he never had X disease, or if buying the medicine prevented his X disease.
There's something really offensive about attributing "premature optimization..." to xkcd, even as a joke
They might have, sure, but the plan for doing so was in place before the houses were built. They can't claim to be surprised about this.
While I have exactly zero theoretical or empirical foundation for this, I've found that Kubler-Ross' 5 stages of grief model (denial, anger, bargaining, depression, acceptance) works really well as a conversational compass in adversarial interactions.
Ask HN: What technology earned you the most money?
Hi HNers,

We all know what technologies (hardware, software, etc) is popular based on TIOBE, StackOverflow surveys, news, etc.

However, in your career, what technology has actually earned you the most money? This can be hardware, software, systems, over contract jobs, fulltime employment, or side projects. It could even be a niche product.

By 'most money', I don't necessarily mean as an absolute amount - it could also be on a per hour, or per project and time spent on the project.

Surprise us!
Wouldn't it be helpful if those were reformulated in terms of the real "problem" being solved, or at least the benificial outcome that they're aiming for?

As a marketer who's always been interested in tech startups and that has dealt with many engineers, those ideas scream "engineering." The problem is finding startup ideas from an engineering point of view has in my experience been the best way to find a solution in search of a problem.

"AI for Communicating with Dogs": sounds like a "hop on the AI bandwagon idea". I don't believe the idea in itself is silly at all (getting people to empathise with animals is probably a net good), but presenting it that way is a guaranteed way of not being taken seriously, and, more importantly, a guaranteed way of limiting your options when trying to solve the actual problem. Why does it HAVE TO be done with AI?

"Smart Bathroom": Why? Why not start from the desired outcome? We're going to collect more data to do what?

Etc. etc. Most of those ideas (there are a few exceptions) are driven by a product/widget-centric vision that doesn't seem to have any deeper justification.
Why would the data only be used for patology?

* Diet balancig? (Hey, eat more cucumbers)

* Calories? (IANAD)

* Also more serendipiteous opportunities we can't foresee now

Or:

(at the doctor's)

t = 0 - Doc - I would need a urine analysis

t = 60s - User - Here you are.

Cons:

* Huge privacy concerns (Hey, you are fired! btw, you also have cancer)
why would a philosopher be annoying. confusing, certainly, but annoying?
I think I found this through HN a while back: https://getchipdrop.com/
"Virtue Signalling" is slang, and means something more prejudiced than any academic term: https://rationalwiki.org/wiki/Social_justice_warrior#.22Virt...
Yeah, I think I will try the simpler approach. I generally just have stuff like

tool [-debug] [-store sqlite] cmd [-opt] [arg]

So, main needs to bootstraps logger and store and then delegate to downstream commands that almost always will consume the store and logger.

I'm currently using PersistentPreRunE to bootstrap the logging and store.. but I'm not really happy with the end result and some things are awkward. Maybe it would be less awkward if cobra had a 'Context' I could stick things in. The last issue was I added a version subcommand, which kept creating the store. I ended up having to do

PersistentPreRunE: func(cmd *cobra.Command, args []string) error { return nil },
PersistentPostRunE: func(cmd *cobra.Command, args []string) error { return nil },

Which would have been a lot simpler if I was doing things manually.
> Radio has a vastly greater array of options through satellite radio (eg Sirius)

Satellite radio is one provider since the XM/Sirius merger. Broadcast radio is vastly more consolidated in ownership and in operation within each of the small number of ownership groups.

Radio may provide a greater illusion of choice with more stations in the dial, but there is less actual diversity in control.
Too true. I"ve had this happen at a crucial time and it was very annoying. I spoke to the station master and he said the trains are allowed to leave 20 seconds before the departure time "to keep the trains on time". What???? Sydney, Australia.
> Net neutrality is supposed to protect Netflix from having to Pay Comcast for access to Comcast customers.

But they do. Netflix has peering agreements with Comcast, Verizon, AT&T and a lot more [1].

https://openconnect.netflix.com/en/peering-locations/

> Or you charge people for the capacity they use and charge more during peak times.

It really doesn't matter. Since NN really only matters in the content delivery game this is just more directly giving ISPs what they've been asking for. It might make some people feel better but it's still a surcharge for competing video services.

> In what way...

Because it's still just as political, now the negotiation just takes place in government offices and lobbies. You might as well let companies hash out the agreements between themselves because the law will still be written to favor large incumbent players but now it's even harder to change. If things get dire the gov't can still step in.
Agen Sbobet
What I mean is that you can't write "2 + 3 * 4", not even with implicit LTR, you have to write either "(2 + 3) * 4" or "2 + (3 * 4)".

See e.g the "precedence bug" comment I wrote elsewhere on this page.
Good point. The way I imagined is, the language is defined as "safe", and has both "static" and "dynamic" guarantees. Whatever the compiler is able to prove statically, amazing, or else it adds dynamic checks. The programmer can optionally tag the function/expression so that the compiler will warn if it can't prove it. Long-term, I think it's very reasonable to assume the solvers will improve, so best to design a language with this in mind.
Shorter version:

chanceOfHead=0.9;
heads=0;
tails=0;
flips=0;
while(flips<1000)
{
coin1=Math.random()<chanceOfHead;
coin2=Math.random()<chanceOfHead;
if(coin1==coin2) continue;
heads+=coin1;
tails+=coin2;
flips++;
};
console.log(heads,tails);
Hedging isn't the avoidance of risk, it's reasoning what risks are worth taking and hedging against those not worth taking.

Put in other terms, when you have to play cowboy on a production server, you take a backup first to hedge your bets; otherwise you aren't brave, you're just foolish.
All these comparisons are unfair, because Japan had the good fortune to be bombed into oblivion in the 1940s, enabling them to start with a more or less clean sheet and 20th century technology.

In western cities (apart from Germany, also conveniently bombed) our train systems are stuck compensating for bad decisions made in the 1880s, and then the further bad decisions made in every subsequent decade to ameliorate those bad decisions. It's the physical equivalent of maintaining 150 year old legacy code written in Linear A (if you will pardon the mixed metaphor) except that you can't just throw it out and start again because you'd have to demolish tens of thousands of houses.
really? unless you live in a state without income tax / don't earn a tech oriented salary, in many states your state/local tax will be greater than the standard deduction.

though that seems to be going the way of the dodo as well.
I agree with you and are suspicious of the power of increasing raw data in the near term. I think there are a few dumb things we can do that have a chance at being useful. The usefulness of something like this would have to be extremely narrowly focused. For example, it can look at only potassium trends. We would first need to just monitor people for long periods of time and see what happens. We might see certain combinations of simple markers that make additional tests worth the risk and minimize false alarms. After this research, would we turn on the alarms and start worrying people.
>legitimate need for thousands of businesses

It's not though. If I live in California and have a presence only in California and ship a widget to Pennsylvania, I'm under no requirement, as a matter of constitutional law, to collect PA state sales tax on that purchase. What the buyer states, on their own state tax forms, is their own business.

This specific case, about sellers affiliated with Amazon but not part of Amazon, is ultimately for Amazon, its affiliates, and the states to resolve. There isn't a role for an independent startup. The same would apply to present or future networks of sellers in the same vein.
They can also be quite regressive. If you buy a house somewhere, live in it and retire, and then property values shoot up, you're kinda screwed.
Yes; there's a certain unwholesome smugness in a person who conflates civic duty (e.g. fighting for his country) with religious purpose, which Kierkegaard mocks here.
I was curious, so did a quick check. It's even worse than you describe! I did a comparison between Tokyo->Kyoto (~280mi, ~US$123, 2h18m) and NY->DC (~230mi, US$198, 2h55m). That comes out to $0.44/mi @ ~122mph on the Shinkansen, and $0.86/mi @ ~79mph on the Acela. So the Shinkansen is both cheaper (by almost half!) and faster (1.5x!), even without Amtrak's usual delays and unreliability.

I was in Japan this past summer and took a Shinkansen train from Odawara to Yokohama. It was about 37 miles in 16 minutes, and only cost ~US$18. It felt magical in a way that train travel in the US just can't compete with.
Transform your Sketch-based design system into real code using React Studio
Sorta related, vox had this great article and interactive poll as to which states are actually in the midwest, really interesting.

https://www.vox.com/2016/1/27/10825534/which-states-in-midwe...
I would still require income to be able to pay back that mortgage.
most phd programs "charge" students "20-30K" in "tuition" (all in quotes as it just moving money from one university pocket to another.
Killing puppies is probably one of the few things that would disqualify you from office.
You'd have to look up the last couple of years in the Daily Camera. Basically RTD invested in buses for Boulder along the rebuilt US 36 (not even attempting to build a rail line); they announced there would not be enough money to complete a rail line to Longmont until 2044, even if using a direct South-North rail line that already exists and doesn't go near Boulder; and finally they confirmed failure/refusal to negotiate and pay to keep their option to run on the BNSF line to Boulder (BNSF upped the price beyond RTD's reach since then) -- so it is not happening for at least another 30-40 years I would guess. When we moved to Boulder in early 2009 we were told the line was in progress and would be done by now...
It's bike-shedding, because the kind of problems you mentioned are really hard to solve so people work on something else instead.
With equal accuracy?
This is because "movfuscation" isn't a practical option for people actually trying to ship binaries that still perform well for customers but resist reverse-engineering. One of the battlegrounds for this sort of thing is the tug of war between game developers and cheat developers, and games still need to perform very well. Things the author mentioned, like address-rewriting at runtime, don't incur a performance penalty.
It's also literally an Onion article:

https://www.theonion.com/new-e-toilet-to-revolutionize-onlin...
Perhaps they shouldn't retain those executives.
Classification of Meows and Woofs
You don't need to pay anyone for this service. GitHub and Snyk use free public vulnerability lists to check your dependencies.

There are plenty of open source alternatives such as https://github.com/RetireJS/retire.js for JavaScript.

It's absurd that companies are charging $100/mo just to run your dependency list against another public list of vulnerabilities. This service should be offered for free by GitHub.
People's situations change all the time. And saying that someone should have to leave their property that they own because they can't afford the taxes on it is pretty awful. Especially if they can't afford them because property values spiked.
<stations to air after-work news without commercials
(making it a cost center)

Explain. Compare 1975 to 1985 please
> But you can pick a time of your choice and specify a day up to about 5 days in the future or something, so it's not as bad as I thought it was going to be.

Only if you catch it while it's prompting.

I've seen people set up for a meeting/presentation/etc, test everything's working and then walk away from their computer to grab a drink. In that time, Windows has popped up a "Hey, we're going to perform updates" dialog which if you don't catch it before it disappears, becomes uncancellable/undeferrable. Depending on the update (eg Creators Edition) it then spends the next 20-45 minutes with the entire machine being unusable.

I've seen many panicky tweets from people who're about to give a talk in an hour or two that they've just opened their laptop and it's resumed into the dreaded "Oh, we're just updating now!" screen.
Spring makes it pretty trivial to use JDBC or JOOQ or a variety of non-relational data stores if that's what you prefer.

Disclosure: I work for Pivotal, we sponsor Spring development.
Amazon to join ONNX AI format, drive MXNET support
There's a political party that has stated opposition to this kind for consolidation and resisted industry pressure to remove this regulation, and one which has stated it's support for this kind of deregulation and actively pursued it.

There's times when the relationship between public posturing, voting, and policy results in murky and opaque, but this isn't one of them.
Want a good idea?

Go talk to people. Figure out what their pain points are -- chances are, there are other people like them, and if it's enough of a pain, they'll pay for it.

That being said, people are acutely aware of what pains them. They are not, in general, able to come up with what they want (in terms of a solution). That's your job.

So ask people what their pain points are; don't ask people what they want.
I just finished (the book) Everybody Lies. It seems to me using the doppelganger approach (as mentioned in the book) would at least be helpful.

A couple months ago I spent a good number of hours over a couple week at local hospital waiting for a close friend's mum to recover from a stroke. I could be mistaken but the only "data analysis" I noticed was taking place in the heads of the doctors and nurses.

The same goes for the physical therapy facility. That is, no one - not even the insurance company - was using similar cases as a guide. Yes, at a high general level they were. But using real data didn't seem to be on their radar.

This void made family decision making stressful and difficult.
Yes (everywhere) not just through ebay, URL (https://www.paypal.com/au/webapps/mpp/returns)

Pay with your PayPal account and we can refund your return shipping costs if you need to send anything back – up to $45 per return and 8 returns each year.
Here in Australia, external bushfire sprinkler systems are becoming more common. Their main purpose is to defend a house against flying embers, which are the most common way that homes ignite during a bushfire.

They are pressurised using a diesel generator, and each sprinkler head consumes 6 to 20 litres per minute (a typical installation will include 20-30 sprinkler heads) from an independent water supply (not mains - you can rely on that failing in a fire).

A bushfire front will typically pass within five to ten minutes, because as you pointed out, they are fast-moving. This limits the amount of radiant heat a sprinkler system has to cope with.

While fire suppression systems don't seem to me like a good startup model (more of a small-to-medium business), there are good software opportunities for automated and remote-triggered sprinkler activation (because people still evacuate hours earlier, and need a way to turn on the sprinkler system remotely).
The conclusion of this paper from 2001 supports revoking the rules, or at least that the rules aren’t necessary for their stated goal of providing diverse opinions:

"A Tale of Three Cities: “Diverse and Antagonistic” Information in Situations of Local Newspaper/ Broadcast Cross-Ownership"

http://www.repository.law.indiana.edu/cgi/viewcontent.cgi?ar...

From the conclusion:

This Article examined whether three existing newspaper/broadcast combinations in major markets provided information about the 2000 presidential campaign from "diverse and antagonistic sources." The results show clearly that they did provide a wide range of diverse information. In other words, the Commission's historical assumption that media ownership inevitably shapes the news to suit its own interests may no longer be true (if it ever was).

The September 2001 Notice of Proposed Rulemaking demonstrated the Commission's interest in solid empirical evidence about newspaper/broadcast combinations. The evidence of the study reported in this Article suggests that the prohibition on newspaper/broadcast cross-ownership has outlived its usefulness.
Streaming sources for music from popular artists that are not available on spotify (like mixtapes)
Show HN: Tzimtsum, an auto theorem prover for addition (Presburger arithmetic)
.lighting, surely!
Cheers Chris, cleared up the issue I had with potential difference didn't see it that way.
> But you can pick a time of your choice and specify a day up to about 5 days in the future or something, so it's not as bad as I thought it was going to be.

OTOH, when you do that there is no confirmation button on the UI, and the button placed and styled the way users expect a confirmation button to be is a “do the upgrade right now instead of at the time I just selected” button, so all is not roses and sunshine.
Inclusion and Diversity
"Good fortune" might be a weird phrase to use, but sure.

I think it's reasonably valid to use this excuse for, say, why the NYC subway is so far behind Tokyo's train system. Maintaining a system as old as NYC's requires so much money and time that there's little left over for upgrades.

But there's no excuse for a regional train like the Acela being so slow, expensive, and unreliable when compared to the Shinkansen. It's certainly difficult to do major upgrades in a constrained area like NYC, but upgrading tracks and signaling and the trains themselves in the mostly-open areas between (say) NYC and DC is a lot easier (even if you can't touch the last couple miles on each route due to city density, you can still make tons of improvements in between). And given that the US gov't gives Amtrak tons of money, and they still collect 2x as much as the Shinkansen does from passengers on a passenger-mile basis, it's shameful how poorly that money is managed.

There was an article posted on HN months ago that talked about per-mile transit construction costs in various countries, and how construction in the US costs so much more. I don't recall if there was a conclusion as to why, but it seemed to be a combination of gov't and union waste.
Pocketsphinx is pretty far behind the state of the art in speech recognition algorithms. It also doesn't have a very large acoustic model.

You can greatly improve the recognition by using a restricted language model, however.
What alternative term would you use to refer to racially disparate outcomes that are the result of how large systems operate?

The term "systemic racism" was coined and stuck because it's evocative of the actual idea, not as some sort of grand conspiracy to strip you of your honor.

But I don't care. We can call it "silly putty" if it means we can actually talk about it instead of closely defending our honor. And if you have an alternative name that is evocative of the underlying problem and doesn't offend you, I'd love to hear it.

> This is silly

It is my experience that when people disarm themselves, productive conversations are possible.

Perhaps I'm wrong. But if so, then there's no solution anyways. So we might as well try.
Meanwhile, buying loot chests in Android games is perfectly legal and lets people spend thousands of dollars in a gambling stupor and get nothing for it.
The comparison was made to casino games, not actually running a profitable casino.
true I use a chromebook 100% of the time and love it but I have to put at least crouton on it to do everything i want
Funny, I'm reading this in the gym not 2 minutes after thinking to myself it would be great to be able to change songs with weights in my hands. Talk about timing!