skysight-inc/HackerNews huggingface dataset:
TIL: The palindromic prime number 1000000000000066600000000000001 is known as Belphegor's Prime, due to the significance of containing the number 666, on both sides enclosed by thirteen zeroes and a one.
>This would really only work for people without commitments i.e. mostly single and young.

Or older and divorced with no kids (or no custody). That situation isn't too unusual these days.

>The idea sounds great though.

Yeah, sounds great to me. When you're newly divorced, something like this to give you a complete change of scenery would be very welcome.
It depends on the employer. If you're under 35, and in decent health, you're likely better off getting disability and life insurance on your own. Your premiums will be lower than from a group plan, which usually takes some average demographics to determine the group premiums.
If your employer is paying the premiums, you're better off if you can decline the benefit, get yourself a lower premium plan, and pocket the difference.

Conversely, if you're older, or have health issues, those group plans can be a steal of a deal.
On a mac, you can keep track by opening the terminal and running the command "date +%s" (no quotes).
Swamp coolers only work in dry climates, and only when it's not too hot outside. People stopped using them in Phoenix because they really don't work that well in the middle of the summer now. They can also cause mold problems. Some houses will have "piggyback" systems, with both a swamp cooler and regular A/C, so they can switch to the A/C when it's too hot for the swamp cooler, but modern A/C units are so efficient it's probably not that cost-effective to do that any more.
It only suggests you can't easily give an example because the language is forcing a design where such things aren't needed. Sort of like linguistic relativity.
Yes but I'm not knowledgeable about how to incorporate so I have a lawyer friend who's gonna help. Atlas was mainly for convenience and the free AWS credits.
It's a factor if you're writing a compiler for a new programming language. LLVM has been a pretty common target for that (see also: Julia and Rust) both for technical reasons and because it means the language itself can be released under a non-GPL license.

It's also a factor if you're distributing a compiler with your operating system. This has already driven FreeBSD (IIRC) to LLVM, and OpenBSD is starting to adopt it for a few platforms (GCC is still required due to certain OpenBSD targets that aren't supported by LLVM, but if that's ever fixed - whether because OpenBSD drops those targets or because LLVM eventually supports them - then I'd be very surprised if a switch doesn't happen for all platforms).
You're free to ignore me, but I'll engage just once more.

I read your comments and perceived that you were misunderstanding, and that I could present it in a way that would clarify things. I'm sorry that you felt patronized, but there is no shame in ignorance. I think you should be more open to people telling you that they have something to teach you; maybe I was wrong, and maybe this isn't the case for everyone, but when I try to teach someone something it's because I respect them enough to think it's worth the effort.

You see all of our points, but you keep coming back to this idea of buying your way into school, which is not a point anyone is arguing. Why is that?

Happy trails.

Edit: And yes, I do believe that, regardless of how difficult it was to get into school, people work very hard in school. I never said they didn't, though I can see how it would be easy to come away with that impression. What I am saying is that it doesn't show them to be harder working than someone who did not attend school.
Air travel? Sure, that ones hard to fix, but we have had a solution for years which would drastically reduce the environmental harm done by cattle farming - eating plant-based foods instead of beef.
Though when you planepool with your sweetie that's not lost time!
Sure, but not for free :). Having social status as a "miner" doesn't grant you any privileges.

Expending time, effort, and money on mining gives you a chance of mining blocks.
Plenty.

Here is an example for Volkswagon(just because I happen to remember it):

"Federal prosecutors announced criminal charges on Wednesday against six Volkswagen executives for their roles in the company’s emissions-cheating scandal"

"The six executives include a former head of development of the Volkswagen brand and the head of engine development. One of those charged on Wednesday, Oliver Schmidt, was arrested in Florida last week; the other five are believed to be in Germany"

"The automaker is set to pay $4.3 billion in criminal and civil penalties in connection with the federal investigation, bringing the total cost of the deception to Volkswagen in the United States, including settlements of suits by car owners, to $20 billion — one of the costliest corporate scandals in history"

https://www.nytimes.com/2017/01/11/business/volkswagen-diese...

Here is an article about Enron executives(quite a bit here): http://www.nytimes.com/2006/01/29/business/businessspecial3/...

Here is one about Tyco:

" finding Kozlowski and Swartz guilty on 22 of 23 counts of grand larceny and conspiracy, falsifying business records and violating general business law. They face 15 to 30 years in prison"

http://money.cnn.com/2005/06/17/news/newsmakers/tyco_trialou...

I'm sure there are more, just don't know of any off the top of my head.

"the Sony rootkit CDs" -- was this illegal? Note that we can't punish people for things we don't like.

"United Airlines carrying out criminal assault on a passenger" -- IIRC, the police carried the passenger off. I also thought the airlines have the authority to order people off planes. Like it or not, IIUC this was legal too.
I don't think any of that is a contradiction to the main claim that 'miners control the network'.

The very fact that miners are beholden to the economics is the key innovation in Bitcoin. It's the magic of the whitepaper.

> The incentive may help encourage nodes to stay honest. If a greedy attacker is able to
assemble more CPU power than all the honest nodes, he would have to choose between using it
to defraud people by stealing back his payments, or using it to generate new coins. He ought to
find it more profitable to play by the rules, such rules that favour him with more new coins than
everyone else combined, than to undermine the system and the validity of his own wealth.

It is precisely because miners have a vested interest in the economics of Bitcoin that they control the network. That's the magic behind 'Nakamoto consensus'.

> They vote with their CPU power, expressing their acceptance of
valid blocks by working on extending them and rejecting invalid blocks by refusing to work on
them. Any needed rules and incentives can be enforced with this consensus mechanism.
Yes, it's just stored energy from the past. But when we release it now, we get heat now. When we leave it in the ground, we avoid that heat.
Or you could avoid that Rube Goldberg and just pay what it takes. The risk of a multi-million-dollar payout for a few oversold seats is lower than the risk of, say, being put out of business because your negligence caused one of your aircraft to crash into Manhattan and you end up being liable for tens of billions in damages.
That's never really true, because using a language means using other people's libraries, and using libraries means debugging and extending them, so you eventually end up needing to work with anything the language can serve up.

This is my beef with JavaScriot these days... They introduced a slew of new, in my opinion insane, control structures, and while I can avoid them in my code, they are still slowly polluting my dependencies, and adding obscure runtime requirements for my projects.
Writing well-typed code means writing a proof of some set of properties over the code. There are three assumptions here:

(1) creating abstractions that are typed correctly is easy

(2) the existing abstractions you're building from are correctly typed

(3) the properties that the type system proves are valuable enough to reward the effort

Whether (1) is true depends on your type system. If it's very simple (e.g. dynamically typed), it's trivially true. If it's rich and expressive, it can sometimes be impossible to express your intent without obfuscating your types (e.g. using pointers and typecasts or polymorphism or some other loophole); and with some type systems, it's plain impossible to express some valid programs.

Whether (2) is true is a social problem. You need to have enough sensible people in your community such that you get to use List<T> rather than ObjectList with typecasts, or what have you. What's available in the runtime libraries often translates into what's commonly used for APIs in third party modules, and if the library of types isn't rich enough, APIs will use loopholes or typecasts or other mechanisms that obfuscate types. Third party code turns into a kind of firewall that stops your types (and the information, proofs, they convey) from flowing from one module to another in your program.

Whether (3) is true also depends on your type system, but also on your application domain. It's in direct opposition to (1); the more you can prove with your type system, the harder it normally is to write code that proves exactly the right things, and neither more nor less (the risk is usually too little type information flowing through). If the properties being proved are important to your application domain, then that gives a big boost to type systems that can prove those properties. If it's just because it gives you warm fuzzies, and testing is what proves interesting things because interesting properties (in your domain) are harder to prove with a type system, then rich type systems are less useful.

Personally, I was once a strong proponent of rich expressive type systems. But I eventually learned that they can become a kind of intellectual trap; programmers can spend too much time writing cleverly typed confections and less time actually solving problems. In extremis, layers of abstraction are created to massage the type system, often in such an indirect way that the value of the properties being proven are lost owing to the extra obfuscation. Now, I see much more value in a strong type system for languages like Rust, but much less value at higher levels of abstraction. That's because many of the properties being proven by Rust (like memory safety) are already proven in high-level dynamic languages through GC and lack of pointers and unsafe typecasts. Whereas application-level properties being proven through type systems are seldom valuable.

Documentation and tooling are much stronger arguments for types in high-level languages than proofs; ironically, this means that the type systems don't need to be sound, as long as they're usually OK in practice!
Here's something that we can do that won't cost any money:

https://www.scientificamerican.com/article/global-shift-obes...

All we have to do is charge/tax people who overconsume. Since it costs nothing to consume less (and actually saves money), everyone wins.
Show HN: AzurePrice – tool to compare and select Azure VMs
Well I didn't think this was a place to market myself and it's not incorporated or anything so there isn't any benefit to share yet, is there?

EDIT: shared below
1 BILLION PEOPLE AROUND THE WORLD WILL ACCESS THE INTERNET THROUGH MOBILE
To see the countdown, you can use:

while true; do echo $((1500000000 - `date +"%s"`)); sleep 1; done
Can you tell when the US had a Democrat controlled Congress by looking at this global greenhouse gas emissions per year chart? I can't.

https://www.epa.gov/ghgemissions/global-greenhouse-gas-emiss...

I'm not saying there's no reason to worry, but there's also no reason to pretend that having the Democrats move pollution overseas solves global problems.
I am offended by your comment. So, maybe you should also please take a second to consider if it might be motivated by racist tropes.
Which is exactly what software engineers should spend most of their time doing.
Official GopherCon 2017 Liveblog
Think of dynamic as a different word for Variant.

The semantic differences for OLE2 Variants vs C# dynamic mostly only exist in implementation protocols.
A volvo white block is a real bitch to fix when this happens. It is what causes the death of most white blocks. Sure you can change the timing belt but you need special tools. Like a 3/4 inch square drive to release the accessory belt. How many laypeople have this? Many don't know there's a such thing or they can buy it at Harbor Freight. It's no wonder nobody changes the timing belt.

The head bolts like to break and the bottoms of the holes are 4 inches/100mm below deck. The threads don't even start til halfway down. You know what a six inch long M12 tap costs and how easy it is to get? Now try getting one for a screw thread insert. And a long version of the tool to set such insert.

Then you have Volvo Cars being tossed around from owner to owner and the new Chinese owner does NOT want you to repair your car. This is obvious from the ridiculous parts prices, when they decide they want to supply them. $14 head bolts, a six cylinder needs 14 and a five cylinder needs 12. Sure there is an aftermarket head bolt set. But nothing on the intake side of the block is covered by the aftermarket. How many $50 rubber hoses can a car have? My 960 has at least a dozen. There is not a SINGLE suitable aftermarket hose on the market. You better hope that if you need one that Volvo/Geely didn't decide to stop selling it. They are the kind of company that thinks you should scrap your car over a piece of plastic or rubber.

Volvo do not deserve their reputation for quality, reliable, safe automobiles. They may have at one time but those times are over. The hone marks on our engine look factory-sharp after 220k miles (350kkm) but what good is this if the headgasket is not durable enough to withstand contact with engine coolant? The only well designed safety feature our Volvo has is the rigid body. The airbags are primitive and so are the seatbelts, compared to my older 5 series.

On the other hand I have never seen better paint on a car. Wow.
BTW: Was it ever considered to offer desalinated water in California at a higher rate, so people who wish to do so can waste it on their lawn or proper showers without the shaming?
> I'm assuming that by "codebase" you mean all the code that gets compiled into one program or library

Correct.

> Are there any other languages where that is allowed?

One would be Racket, a Lisp which allows you to pick a syntax flavour using the #lang directive: https://docs.racket-lang.org/guide/Module_Syntax.html#%28par...
And: http://www.commitstrip.com/en/2017/06/15/party-time/ :)
CircleCI rocks. Our tests ran almost as fast as they do on a MacBook. And their pricing is great.

Of course, that was after trying to get shippable to work.
Can't believe I had to scroll way down to find a comment that actually understood the article!

There are new refrigerants called HFOs that are chemically-similar to HFCs, but do not exhibit the greenhouse effect.
Ammonia and propane also work, and are commonly used in commercial refrigeration today.
I've heard the "personality" that a lot of major sites use referred to as "the new sincerity," because apparently, somehow, "sincere" meant endlessly chipper and painfully patronizing.
On UNIX likes systems*. Pro-tip: `watch -n 1 date +%s` will give you a live view of the timestamp
Haskell and Ocaml, e.g. http://okmij.org/ftp/Computation/typeclass.html .
The unique problem of desert cities seems to be inappropriate landscaping. Even San Francisco ships its water in from over 100 miles away - not having enough water locally is just a problem of cities in general. The AC story is much worse in a desert city, but the heating story is much worse in cities in cold climates. There's also the benefit that I tend to need my AC when the sun is high in the sky, which aligns perfectly with solar. I live in SoCal and almost never use any heating, even in winter.
"And so if a founder can’t navigate a network into a VC firm, it is unlikely that founder has the skills to navigate the other networks required to succeed in building a company"

So, as someone who's working on a startup at seed stage, outside silicon valley (Socal), what Marc is saying does not make any sense; networking requires time, and time is very valuable especially at seed stage; I would rather work on developing the product and refine it for market fit, rather trying to spend precious time on meeting with people to expand my network.
It's not a fan of scunthorpe.to yet somehow analfisting.to is just fine :-D
Got as far as requires Java... It's sad but running Java ducks, every time I need to use idrac to a Dell server it really is a nightmare...
Lovecraft was more directly influenced by writers like Robert Chambers ("The King In Yellow") and Ambrose Bierce ("An Inhabitant Of Carcosa"). And the beings he describe tend to be completely alien, unlike the natural chimeras in the Dictionnaire Infernal and similar works. Even the tentacles and such which are familiar on Lovecraftian horrors tend to be described in ways that distinguish them from the familiar appendages of squids and such.
"And so if a founder can’t navigate a network into a VC firm, it is unlikely that founder has the skills to navigate the other networks required to succeed in building a company."
At what point does it make more sense to use your networking skills to acquire more customers than use those same networking skills to acquire VC dollars?
Will it make the oceans rise? barely (0.1 mm)

Where do they get that? The melting of already-floating icebergs has zero net effect on sea lever or (liquid) water volume. It would take a huge amount of added water to make even a .1mm effect worldwide.
> Shiny GUI toolkits that are a huge pain to develop for, and non-free software gos against what the people who use GNU/Linux now want.

This is a yuuuge generalization. There are many Linux folks who want a slick consumer experience and there are many that want ratpoison and vim. :-)

This idea doesn't take away from the requirements that people have for a non-consumer desktop.
Being Busy Is Killing Our Ability to Think Creatively
I was rolling my eyes reading this and then hit this, which is the real value of the article IMO:

> few Linux platforms (if any?) had taken a series whack at building a consumer grade app and developer experience. We tried, it was not successful, and instead of digging up the past I would rather ensure we can inform the future.

"What not to do, and how not to do it" are at least one valid take away from that whole era.
while true; do date +%s; sleep 1; done
> Why repeat yourself?

Because you can put more meaningful error messages due to the granularity of the checking. This has made debugging things a lot easier at times.
Slight correction: as noted by others above, off label use while extremely illegal enforcement has been eroded and is patchy. And US law allows any MD (but not other prescribers such as podiatrists or NPs) to prescribe any approved drug for any medical purpose (opioids have recently been somewhat of an exception here).

However, as you point out, insurance companies in practice have a say. Also if the usage is implausible and there's an adverse event I think there could be a malpractice issues so those insurance companies also have an impact.

This is US law I'm talking about BTw.
Unfortunately, gore seems to be abandonware (last commit was a year ago).
I wouldn't be surprised if a lot of maintenance (perhaps even the majority of maintenance) for games is done by a different team to the one that wrote it originally; especially any patch releases that come out many months after the original release.
I found another error in addition to the pervert error... 'This name contains an offensive substring'.

Apparently that's for moderate level swear words.
You can never buy a policy as cheap or good as a mid or large group policy. You always pay more for shitty benefits, although Obamacare made it better.

Also, many big employers self insure and cut out the risk premiums. My current (large) employer offers an old school PPO with high copay but generous coverage including infertility, prosthetic and devices, etc for a total cost less than an Obamacare gold plan.
I'm sorry, you lost me, I give up.

> when there would be no real penalty for doing this,

Huh?

Amazon: Amazon Prime + Amazon AWS (developers pay to host Alexa skills) + Amazon Music

Google: Google Play

Apple: Home Kit licensing + iTunes + App Store + Apple Music Unlimited

+ Stock price

How would losing even a tiny fraction of those be "no real penalty"... just 10% of Amazon Prime subscribers is $100 - $200 million per year.

I am not saying companies don't take risk. You have to if you want to make a profit. No company ever has made a profit without either taking a lot of risk or being insanely lucky. With the risk takers being far more common.

I'm saying do the math. Amazon Prime is a multi billion dollar business. You'd have to be an idiot to take that risk.

Smart companies make money by taking the right risks not all risks. This is a bad risk. It'd be as if Bezos decided suddenly to turn an AWS availability zone into a Bitcoin Mining facility.

I'm done. You win.
Facebook's "on this day" feature starts its blurb with "We care about you", and that just makes me uncomfortable.
Buddhism is about experiencing and understanding that suffering though, not trying to claim to be a great rock standing against the restful sea.

I think there is value to be derived from Stoicism but I'm leery about any reason to commit whole-heartedly to an extreme.
Google did this with a prototype

Audi released it for a production car you can order right now... I'm sure they won't boast about stuff they can't deliver. My wife drives an Audi A4 from 2008 and it still has a better and faster GPS than my current (albeit cheap) Renault
Open spec GoPiGo robot kit rev'd with more sensors and new Linux distro
It's funny how almost without fail on HN, I can go to the comments, and the #1-5 comments is someone who quickly dismisses the main premise of the linked article. It's ridiculous how common this is. I've been reading HN over a decade and I don't remember if it was always like this?
CircleCi 2.0 left beta last week and is fully docker based
There are only 15, the quiz is static.
Clearly they finally learned the lessons of Apple. Old is busted, new is perfect.

(says a man planning to purchase his 5th Macbook Pro later this year)
If you're into what nerds are doing on their weekends[0], we get together and hack/show/chat about stuff every Sunday at Noisebridge. A lot of cool stuff happening there from crypto/bots/bio/ai/vr and beyond. We also live stream the event so it's easy to keep up and participate.

[0] https://www.noisebridge.net/wiki/Hack_Days
Which means we're not getting younger
You're assuming that it faithfully crashes in all error states as opposed to incorrectly continuing on it's merry way.
And mythology in general. Really, the only religious figures I can think of that they never put in a SMT game are ones who are (purportedly) actual people -- Jesus, Mary, Zoroaster, Buddha, etc. Otherwise, it's open season. Although in later games they've pumped the brakes a little on having the God of Abraham as the final boss and such.
C# does generics specialization at runtime, hard to do if you have no JIT :)
Is CBT seeing significantly increased interest amongst people in tech? I haven't noticed that, but I also haven't been looking.
>It was a very verbose language

(Haven't worked much on Java recently, but did use it a fair amount some years ago.)

Isn't Java roughly equally verbose as Eiffel?

>that implemented all known features under the sun

At least based on looking at the Wikipedia article for Eiffel, it does not seem to have implemented functional programming, unless the article is out-of-date, or unless the agent mechanism supports FP somehow (not sure about that last bit).