skysight-inc/HackerNews huggingface dataset:
Yeah, I am aware of refinement types. You can do a lot of what I am envisioning with just refinement types. Expressing loop invariants with just refinement types is really awkward though.

The main reason why the language I am envisioning is not a functional language is because Idris, Liquid haskell, ... have already explored many of the related ideas. I want to take ideas from them and bring it into an imperative language as that hasn't been as well explored.
Non-Technical Guide to Machine Learning and AI
Very informative walk-through of a BT security analysis. Thanks for including links to tools and clear code snippets.
I certainly agree with familiarizing yourself with OWASP as a resource and community. It's also helpful to think about what threats you are securing your code from. This might be a good place to start: https://www.hacksplaining.com
Another upgrade idea: anti-missile system. Rather than destroying, slowing or deflecting missiles, it would draw a vector in front of each missile as it gets close to you. Higher level could warn you earlier and draw more useful vectors.
Project Euler is nice for math problems. It has little real world value for developers. The first ones can be a nice hands on introduction to problem solving.
Nuclear Pacemakers [pdf]
> The day my first was born was the day my motivations and my reason for being shifted.

One of the many reasons I remain childfree.
Yeah, it is funny that ML, which is biggest fears driven by the media as the ultimate job destroyers, would put this generation of programmers in danger as well.

However, the paradigm shift is inevitable, once discovered, people will use it, and use it anywhere possible.
Voluntary Human Extinction is unnecessary..

The earth will be a red Giant in about 5 billion years and fry the earth anyway
That's not me, but I found those translations very useful a few years ago! Hope it can help someone.
College textbooks.
That's pretty much what people use stock market for anyway. Most investors are no warren buffet, they bet at best on educated guesses.
It's an extremely important point when you consider the water going to things like almonds in California, the majority of which are then exported. Their almond crop alone consumes enough water to supply Los Angeles and San Francisco combined. Only 20% of California water is for non-agricultural purposes.

Or put another way, the total economic value of all exported almonds from California is about $3.5 to $4 billion. The water use is about on par with the entire city of Los Angeles for that almond export crop. The metro area of LA has a trillion dollar economy by comparison (250+ fold larger than the almond exports). That's an economically irrational imbalance.

The obvious question becomes: is that what California wants to do with its scarce water resources, export large parts of it at an extremely low value basis? At some point in the near future it's likely some hard choices will need to be made, including whether to invest extremely large sums of money into more desalination plants or to begin restricting the most voracious water consumers (cattle are another one, although I'm unsure of their export ratios).
My understanding is that if enough people stop mining the difficulty will be lowered so that the energy costs fall. Also there are transaction fees.
> There have been successful tests of blocksizes of up to 1 GB or 1000x the current size

no need to be genius to just increase blocksize 1000x and "assume" gigabit connection which no one has.

Lightning network is a great idea, in theory, in practice however it will just not work for the problem you mentioned - no one is interested in providing this kind of liquidity.

As of why need blockchain at all - is because 1st layer is the court and guarantees you to own money from the channel. You just don't have to ask court for every coffee payment (i.e. broadcast to every single laptop in the world).
Crowdfunding the Internet of Shit
Bitcoin is limited at 21 million coins. After that, no more btc, and people will trade in btc divisions such as satoshis. But there are hundrerds of bitcoin alternatives now, some very interesting.
Researchers develop technology to make aged cells younger
Also good point - no matter how much you scale "onchain" you still end up with settlement periods, a few min at least. Impractical for offline payments.
> to prevent unintended shutdowns and extend battery life

The cynic in me thinks it's actually to encourage new hardware upgrades.
The price of energy would gradually increase, to the point is no longer feasible to mine bitcoin with it. That's how markets work: the higher the demand, the higher the price, to the point where demand meets availability*cost.
It should _have_ existed, but the idea came around only about 2015? It's evolving slowly. But if it were "built-in" would be a lot better of course.
It's ironic that wall street spent so many years saying Bitcoin is worthless, but is buying-in when it's lost its use case to competitors within cryptocurrency, and really is useless (except as a speculative vehicle or "store of value"). I guess BTC can fork infinitely, so there's that.
Or, just a regular day in the massively manipulated futures trading market...
Mid-january then?
Hah, being from Arkansas, we always said "Thank god for Mississippi". Arkansas was often 49th in many scales of poverty, MS was 50th. I'm sure Alabama has issues too.
systemd-networkd is not enabled by default (even when its binaries might be installed).
Sharding isn't any easier with the Tangle.
fwiw, was bored and exploring for the first time the (my God) toxic social timelines of these crypto coins and happened to end with IOTA and the story of the home grown hash function. Just posting what I just read about this topic and not an +/- either way on the topic at hand:

Sergey Ivancheglo (@Come-from-Beyond) claims the collisions were intentional and for the purposes of IOTA the hash merely had to be a one way function:

https://gist.github.com/Come-from-Beyond/a84ab8615aac13a4543...

He addresses his base-3 number system design decision as well (by appealing to authority no less :)

> name it curl

In above he references Curl-P and the final letter (see his last gist) also explicitly asks that the MIT security blogger use the full name which she declined.
I do wonder how counterparty risk will be priced into the futures contracts. There've been a number of cases - Mt. Gox, Bitfinex, any Chinese/Korean/Zimbabwean exchange if you're not a resident of that country - where you can sell a Bitcoin for a nominal price on the exchange but not be able to withdraw that money into the fiat financial system. That's led to structural differences in prices between exchanges which don't get arbitraged away because potential arbitrageurs can't get their cash into or out of the exchange. What happens if that happens to institutional investors trying to settle futures contracts?
Did it ever occur to you that pricing hundreds of millions of poor Chinese farmers out of their ability to grow food to eat, so that much richer exporting industries can have more water, while being a "market solution", might not be an acceptable - even a humane - solution?
> It achieves nothing that an increased blocksize would not have done on-chain

It lets one party in a channel send arbitrarily large numbers of payments ("arbitrary" subject to the total payment value being capped to the channel capacity, as well as to the Bitcoin divisibility) to another without increasing the UTXO set as you would on-chain.
A bit of a plug, but you should check out this thing I built! Go to https://hackattic.com - It's just a test of an idea, but I wanted to show people it's possible to come up with no-nonsense, more real-world-y challenges. I've never, ever really like the typical CS challenges proposed everywhere.
Where were these services when jobs were being lost in the West due to outsourcing...?
Not the same person but I guess he means the one by Graham, Knuth (yeah that one) and Patashnik.
This cannot happen. Bitcoin difficulty adjusts to match current mining power so it can't get out of control like that.
Just playing with the sliders on the pricing page show I'd pay almost double (~130/m) what I pay now for Heroku (~70/m).

I see you're the cofounder of NodeChef. You need to rethink either your pricing or your market position. Also, it's customary to be upfront about conflicts of interest, by declaring "I am the cofounder of NodeChef". Better than trying to hide it (which comes off as scummy), or expecting people to dig through your comment history, which is just lazy.
That's basically the gist of it.

Everyone's decided what they want the answer to be. Now it's just a case of trying to shoehorn the facts to fit.

If they didn't scale back on lower voltages, people would just claim they're trying to kill the battery quicker so you buy a new handset ..
Ronald L. Graham, Donald Ervin Knuth, Oren Patashnik
You are talking about speculators. Anybody that holds an financial instrument for less than five years (my definition) is a speculator.

Warren Buffet is an investor. He buys a business (he thinks) he understands and then holds on to it while it generates profit.

It really bothers me that - in business terms - investors are nowadays just lumped together with speculators.

Investors try to build something while speculators just try to make money, no matter the cost to anybody else.
Extensive discussion yesterday:

https://news.ycombinator.com/item?id=15889519
What Is Best Way to Web Design and Development Services in India
I feel like there's at least one article per day about this on the front page of HN.

Though it's good more and more people become conscious about the issues with social networks and addiction / attention loss.
I had similar questions about the heat exchange over time affecting the earth's core temperature, but it looks like far smarter minds than me have done the calculations and dismissed that as nothing to be concerned about.

But that then brings me to my next question - I am assuming that the plentiful supply of heat will be used to drive steam turbines in order to generate electricity? Will that mean that the actual limit may be the plentiful supply of clean water which can be converted to steam? That would still leave a lot of drought affected area unable to utilise geothermal energy, wouldn't it?
I am trying to understand risks with arbitrage for professional traders with BTC spot (at Coinbase gdax) and CBOE Futures contract.

Let us say, some professional trader "Short sell CBOE Future contract & Buy BTC Spot at Coinbase simultaneously"

At the time of this writing, Futures contract short sell @ $18700 and BTC Spot buy @ $16700 simultaneously.
http://cfe.cboe.com/cfe-products/xbt-cboe-bitcoin-futures

you wait one month for the Futures contract to expire (Jan 17 th) , let us examine two scenarios by contract expiry Jan 17 th .

case 1: Bitcoin price shoots to $25,000

case 2: Bitcoin price drops to $8,000

In both cases on the futures contract expiry date that is January 17 th 2018, bitcoin Futures price and Spot price will be almost same ( give or take $100)

In both cases professional traders profit is $2000 for each futures contract on the investment of $16,700 Spot + $10,000 future initial price.

That is $2000 profit on $26,700 investment for one month period , that works as 7% return per month, annualized 84% . You may need to deduct cost of money that is interest on investment or loan say 6% per year .

One risk I see is, on the Short sell Futures contract, if the bitcoin is keep rising in price , trader needs to supply more money to meet the margin call ( just a technial issue because he is gaining on the LONG Buy bitcoin spot price )

Am I missing some thing ??
BLE isn't actually totally secure in any mode except OOB pairing, which is only supported on Android, and only via NFC.

Kind of ridiculous really. I'm pretty sure they didn't make any attempt to fix the issues in Bluetooth 5 either.
Pretending to use encryption when you don't is pretty damning. Everything else can be blamed on incompetence but it seems hard to imagine that they thought they were using AES256 when they aren't.
Shameless self plug: we are also building an alternative[1] that enables you to run tons of services on a single node (and to call them easily from front end projects - with the help of autogenerated type safe clients).

[1] https://github.com/1backend/1backend
His philosophy? That’s a well-known fact to anyone working in education and child development. What irony that his products are actually hijacking those crucial early years; lower attention span, need for instant gratification, potentially unsafe materials, device reliance, overstimulation ... seriously this is cruel.
Reading all these replies as a fellow-29 year old with a shit decade of loneliness, mistakes, and career in the crapper gives me hope.

I'm hitting 30 next month. I'm going to continue on my journey of learning, working remotely, traveling, and hopefully meeting a woman who loves me.
I can definitely see why you'd recommend it. I suppose mileage will vary though.

In my experience, things worked out moderately well for a little while, and then burned me out, leaving me unable to find my way back into a lucrative gig to this day. I don't regret it, but regret not leaving earlier.
SysAdvent: Getting started with OpenShift
SysAdvent: fail2ban: To SSH and beyond
How can you buy those futures as a regular joe? CBOE seems to be aimed at certified traders
High Performance SBC Alternative to the Raspi3: Running Linux on Khadas VIM2
Yahoo finance powers the stocks app on iOS. I haven’t seen these new ones work there, fwiw.
Liquidity I assume. It may be difficult to sell $25,000 worth of Bitcoin at the settlement price on the settlement date. Slippage could be more than the $2,000 profit you estimated. Especially if many people do the same trade.
Apple could just install batteries with 50% more capacity that can survive a full day of use even if the phone is two years old.
It's normal to lose interest in hobbies when new ones take over
This should be taken up by consumer affairs.

It's a deliberate strategy to slow down old devices with no way to turn it off.

Sneaky and underhanded Apple.
Isn’t the more interesting story that half of India’s IT workforce is going to be structurally out of work in the near future, if this article and McKinsey are to be believed?
I have always believed ALL the BlueTooth connections are encrypted strongly too. And this is why I thought BlueTooth keyboards are safe while common non-BT wireless keyboards can be easily sniffed by a neighbour.
If this were true it would be a user option, not hidden and unchangable.
For Goliaths the optimal strategy I found was to tail them and wait until they ran into some trouble on the front end. Its easier to make it a pack kill. Wait for a moment of weakness and then finish it off.

In general the optimal strategy seems to be sniping. Stay on the edges of the map (N. Europe, mid Africa) and then sweep in to more highly trafficked areas and pump in missiles. If you are ever hit retreat immediately until you recover your health. That's a pretty low risk way to stay at the top of the leaderboard.
6 tips to supercharge cross team collaboration
I agree. IPFS itself has taken a very tacky Silicon-Valley-startup approach to marketing: "IPFS is the Distributed Web". IPFS is distributed and could be used as a web platform. But it's not "the" anything. For me, it's a really big turnoff. Most people involved in the decentralized web movement are very non-commercial. IPFS always seems to have a "shilling for VC funding" taste.
Air drone created to solve selfie problems
The amount we knew to exist was unimagably lower at the time, and we were way worse at extracting it.
https://en.wikipedia.org/wiki/Peak_oil#Modeling_global_oil_p...:

”In 1919, David White, chief geologist of the United States Geological Survey, wrote of US petroleum: "... the peak of production will soon be passed, possibly within 3 years."”

The abstract of White’s paper (and its paywalled conten) are at http://papers.sae.org/190011/. It says:

”American oil companies must protect the future by acquiring great and widespread foreign oil concessions.”

Is that prescient or did it drive policy?

It also says:

”Oil in vast amounts can be artificially made from the great oil-shale deposits of the West, but the processes and prices necessary to commercial success remain to be determined, and the task of building up an oil-shale industry sufficient to meet a considerable part of the demand is enormous, requiring several years.”
> I wouldn't have expected macros to be slower in any case, however.

Neither did I to be honest. I was searching for low hanging fruits, and forcing inlining with macros looked made some kind of sense. I expected the compiler to generate the same code, yet somehow it didn't.
(I am not a professional investor)

Why is there a gap of 11% between the CBOE Future contract price and the BTC Spot price? Should they not be closer in a perfect market? Maybe the gap will be the same on the contract expiry date?

Is this because the arbitragers still need to integrate the CBOE Futures into their system?

Even between bitcoin exchanges, the bitcoin price varies.	$17240 on cex and $16310 on bitstamp.
Do Not Ship It
New Way to Measure Power Consumption of Low-Power hardware (for Software People)
ChangeLog Notes – A very simple note-taking app
You can't, on purpose.

The idea is that there are two kinds of investors: Sophisticated ones who can look out for themselves, and regular joes, who are protected against being ripped off by extra regulations and extra paperwork. Bitcoin futures aren't the kind of product for which anyone will go though those regulations and do that paperwork.

Now, how do you become a sophisticated investor? First of all, have a spare million or tow. Next, fill out a quite simple form.
Escaping Advertiser Hell: How to Get Over the AdBlock Hurdle
How to Create an AWS Lambda Function and Connect It to the API Gateway
I think you've just described the internet as a whole :)
To add to the list, Skype for Business has a whiteboarding option. Easy and free.
We Will Outlast Your Employer
The trick with Project Euler is that they are not programming problems.
well I'm not sure if it's sane to implement this rfc.
it's experimental since march 2016. and I do not think that privacy should be a concern when resolving...
I mean what is private about the dns system itself?!
Actually, Lightning Network will significantly increase Bitcoin's transactions per second and reduce transaction cost.
They do (source: my iPhone 6, bought on launch easily survives a day of heavy use)
https://en.wikipedia.org/wiki/History_of_banking
#1 in git is `git log <subdirectory>`
Greed, Fear, and XRP: Crypto Is Transforming
PIG FEEDS AND FEEDING
Parallel processing challenges when using message queues in PHP applications
Bitcoin futures: Everything you need to know
Possibly didn't exist at the time?
Bitcoin could implode and it wouldn't be a big deal
This video helped me get an idea of just how vast it is https://youtu.be/OtsaySKol94
if you have thousands of services and use route53 as your internal dns service and use it for service discovery, this could be a problem.
I think they (or some of them) are jumping on top of it because now they've got an abstracted (and regulated) market product, something that should come with a lot less risk and with interactions with the existing stock market systems. They don't care about bitcoin, they care about the futures market, speculating with virtual products (= futures) on virtual products (which used to be physical ones like oil and tulips and whatnot).
A rush for the exits at 10 global transactions per second, or about the rate of Visa transactions in a Manhattan city block at lunch time.
Lightning Network significantly reduces transaction revenue, so there will be dramatically fewer miners.
Tips and Tricks for Watching DVD Movies on iPad Pro 2017
Nice, I didn't know about LEB128.
OTOH, the Heroku people aren't personally managing each instance you create; their work is writing the automation code that turns AWS VMs into these more manageable, higher-level pods.

Maybe Dokku and Flynn aren't there yet, but conceptually, is there a real difference between the two? I don't see it.
Seriously, the page just copied Reclam's design used for almost every Reclam book there is:

https://images-na.ssl-images-amazon.com/images/I/41Ae3ah0jPL...
Let's take take a textbook example of HFT with orders larger than single exchange can satisfy therefore overflowing to other exchanges and examine timeline. 1. Investor places order at exchange A --> 2. order is known to both exchange A and HFT --> 3. HFT places reactive order in exchange B --> 4. exchange B receives "overflown" order from exchange A.

The time between exchange A receiving original order (point 2.) and exchange B receiving remains of that order (point 4.) is extremely small, but larger than zero. The argument here is that until exchange B acknowledges reception of the original order in its ledger, that information is not public at exchange B and acting upon that order in exchange B until exchange B acknowledges said order is acting on non-public information, therefore front-running.

> <...> the order flow is technically “public” once broadcasted by the exchange.

The core argument I see in this debate is whether we consider exchange network as one large source of public information with multiple access points and accept non-immediate distribution of information through the network as unavoidable technical detail.
I can imagine bitcoin will one day become tightly regulated and only available to sophisticated traders; the network only supports 15 transactions per second, limiting who can do trades is one way to deal with it. NYSE can do about 11K a second (based on https://www.quora.com/What-is-the-average-total-number-of-tr...)
Heat passes from the Earth's core through the mantle to the crust at 45 TW. That heat can be converted to usable energy (aka exergy) at 70% efficiency. So global geo-thermal energy production is limited to 32 TW. A given geo-thermal plant slowly cools the rock below it and produces less and less energy until it reaches equilibrium with the flow of heat energy into the rock it draws from.

See page 20 of
https://gcep.stanford.edu/pdfs/DyUMPHW1jsSmjoZfm2XEqg/1.3-He...

And https://gcep.stanford.edu/research/exergy/resourcechart.html

Nuclear decay and fission produce 30 TW in the earth's core and 45 TW flow out to the crust, so the earth's core is gradually cooling. The core contains 1e31 J of energy and is currently cooling down at a rate of 15 TW = 1.5e13 W. A Joule is 1 Watt-second. Therefore the earth's core will take longer than 30 billion years (1e18 seconds) to cool down.

See https://en.wikipedia.org/wiki/Geothermal_energy#Renewability...

And https://en.wikipedia.org/wiki/Newton%27s_law_of_cooling
With local currency, literally nobody has significant BTC holdings such that they'd be impacted by a measure only targeting >$100K account balances, and not enough local cash to buy a plane ticket.
Product management is (also) about sales
I would like to have a pet project but i am just not creative enough to think of one.
I'd argue that some investors - the angel / startup investors - are gamblers, they place their bets on 100 startups and bet that one of them will be the next Facebook and eventually either sell for billions, or go to the stock market itself to get billions.

The more traditional investor gets a stake in a company and due to that stake gets a say in the running of the company, thus having an influence on its future and growth (or decline). Less of a gamble there, it becomes part of their own responsibility then.
If there's no more miners / mining, who verifies the transactions? (iirc that's what miners did, but correct me if I'm wrong and miners only generate currency and don't verify transactions)
Easy to explain: they spend their formation years making things instead of going after rich connections.

Consider how many dropouts are at fortune 500 lists. Or how many were born into money and power.