skysight-inc/HackerNews huggingface dataset:
Racket is the best Lisp to learn for a few reasons:

1. It was designed to be a teaching language

2. Everything included. You get a great simple IDE and a ton of packages

3. Great teaching materials (I learned the most from HTDP than any other programming book and I have read a ton)

a) How to Design Programs http://www.ccs.neu.edu/home/matthias/HtDP2e/

b) http://realmofracket.com/ . Great book I learned a ton and especially when I went through the book with my 11 year old daughter

4. The great minds of Lisp are at Racket (Ever read Little Schemer?)

5. Racket keeps getting better and better with great modern ideas. It might have been born from Academia it has awesome real world legs. Just look how easy it is to deploy your program after you are done.

6. Best documentation system of any language. The documentation is code and it makes for great documents. http://docs.racket-lang.org/
> It is in fact not the case that there is a single exchange on which IBM trades (it is listed on the NYSE, CsE, and at various places abroad). Liquidity factually does exist in different amounts at different places; this is a major reason why HFT works.

Ground loops... /showerthought
“a single PHP file called ”index.php“ generating $2,342.04 in a day”
Europe’s Plan to End Its Migrant Crisis Is Failing
Having every restaurant I frequent having a separate app sounds like a very, very bad thing from the user perspective.

If you're not adding any new functionality, what benefit does having this app give the user? If "A templated app that does coupons, menus, take out orders, maps, etc, likely works for all." then it should be one app on my phone for all such restaurants, not a separate one for each.

Having separate apps is intentionally getting worse user experience just for the sake of restaurant branding/advertising, so the needs of users and restaurant owners conflict here. The whole point of a walled garden is to steer the growth towards something that users want in the end, so if that's your example, then Apple should be putting in work to ensure that we don't get to a future where each small family restaurant has such an app; I'd want Apple to ensure that the needs of users prevail even if that's not what the restaurant owners want.
You don't have a right to dictate what abstract representation others choose to use to store their wealth.

What you're promoting is using the power of criminal law to govern the private choices of other individuals.

I'm not even going to address the faulty assumptions that go into your conclusion that voluntary adoption of Bitcoin would be economically harmful and would destroy wealth, because that's a separate issue from the fact that neither you, nor me, nor 51% of the population, have a legitimate right to use force to dictate how others choose to represent wealth and interact economically with each other.
Apple is not a monopoly on a phone market.
The Onion: America's Finest Marxist News Source (2014)
A bit of trivia: the word(s) "block chain" never mentioned in the paper.
You got to change a line and execute the change without having to wait for the function to be called again.
your own example invalidates your argument, we live under the regime of the central banker who prints money with reckless abandon and gives it out to his cronies. How many trillions has the federal reserve created since 2008? You are a misinformed fool.
> because there is no "trusted third party"

If you don't run your own node, you need to trust a 3rd party to transact with the blockchain, because you require someone elses node in order to record a bitcoin transaction. So you are, by definition, not a peer, because you are not equal to a person who runs a node, because you need to trust a 3rd party.
I think I remember seeing a medium article speculating that the NSA has done this.

Found it: https://medium.com/cryptomuse/how-the-nsa-caught-satoshi-nak...
It does! It's called "rubber ducking" when applied to software engineering: https://en.wikipedia.org/wiki/Rubber_duck_debugging
Even on HN and even when not caring about karma, you really should be adding \s to save innocent people some time ;)
Not really. Anyone who is confident in the mainstream view of money, which requires the existence of a bank or government of some kind, would quickly dismiss Bitcoin. If I cannot pay my taxes or mortgage with it, why should I accept it?

(And of course, if I can pay my taxes and mortgage, how can anyone claim to have removed the central authority from money? Just like the gold standard, nothing would prevent a government from changing its mind about whether or not to accept Bitcoin for tax payments.)

Like I said, if you already believe that money can exist without a central authority, Bitcoin simply serves as validation. Otherwise it does not really change anything, because if you accept mainstream views of money, then the premise of Bitcoin makes no sense at all.

You think Bitcoin is a decentralized store of value? Tell that to all those people whining about the Mtgox bankruptcy proceeding, which is being resolved by paying for the lost BTC according to the price in Yen at the time Mtgox declared bankruptcy which is a tiny fraction of the current prices. When push comes to shove the "value" being stored is measured in fiat currency, with all its associated central authorities.
I just explained the evidence that this is not how Satoshi defined "trusted third party". He extensively promoted the use of light clients, and didn't find any contradiction between this and peer-to-peer electronic cash. I don't understand why you ignore this point, which I've conveyed to you in our previous discussion as well.

You also continue to sidestep the fact that Bitcoin Core's vision of letting transaction fees rise to astronomical levels with growing usage of the blockchain is going to mean the vast majority of the world population will have to trust other parties to hold their private keys, which is a much greater reliance on trusted third parties than polling random nodes for SPV proofs, as required when running a light client, which still let's the user control their own private key.
Similar to Fermats Library is the annotated version from Genius.com: https://genius.com/3869621
The biggest problem in formal program verification is the lack of a spec to verify against for most programs. There are projects like ur web that define correctness more broadly to get around that.
Why Google Is Poised to Hit the Next Critical Milestone in Quantum Computing
It sounds like Mozilla just wants to keep users confined to a pre-approved list of search engines. Are these also business partners with Mozilla, like Google?

Here are some other HTTPS-enabled search engines to test. If I am not mistaken all have been mentioned on HN in the past.

https://wiby.me
https://gigablast.com
https://mojeek.com
https://unbubble.eu
https://ecosia.org
https://searx.me
https://symbolhound.com
https://findx.com
This.

The FUD surrounding this is built upon a poor understanding of how these algorithms are implemented in Bitcoin.
"Proper following distances" absolutely does not mean "with less than 1 second of separation between them"!

"Proper following distances" means "you can react and stop in time to prevent a collision if the car in front of you brakes very hard".

Ripped from a wiki article on the topic:

"

The United States National Safety Council suggests that a three-second rule—with increases of one second per factor of driving difficulty—is more appropriate. Factors that make driving more difficult include poor lighting conditions (dawn and dusk are the most common); inclement weather (ice, rain, snow, fog, etc.), adverse traffic mix (heavy vehicles, slow vehicles, impaired drivers, pedestrians, bicyclists, etc.), and personal condition (fatigue, sleepiness, drug-related loss of response time, distracting thoughts, etc.). For example, a fatigued driver piloting a car in rainy weather at dusk would do well to observe a six-second following distance, rather than the basic three-second gap."
I disagree with this solution. Privacy has utility and when you give it up you do lose something. Even if we give it up to each other we are still in a worse place.
It's the web client. I haven't tested the desktop client.
To me deep learning architecture is what CPU architecture are from yeaterday. Abstraction bring speed and standardizeation over customization, and most people doesn’t need a lot of customizations. So to answer you, yes you will get a lot more tooling in the near future, the only thing stopping it is how fast AI changes. With the speed of progress, if someone discovers a brand new brilliant idea that absolutes they way you train a system, then you could start back at ground zero
And yet, reality has seemed to prove these economics wrong.

You can use this "nonsense" money right now. And nothing that any economist says about it can stop you.
I work at a train museum. Locomotives are fundamentally different. They have to have electric traction motors to grab the rails. Weight is unimportant. 125 tons. That's a quarter million pounds, 113,400 kg. Automobiles need every weight-saving trick the engineers can pull off. Such as combination drives.
also the equation group already released an earlier paper on cryptographic currencies
In the article: "Google is in the midst of fabricating their 49 or 50 qubit quantum supremacy device this month, and will begin testing in two weeks (not taking Christmas vacation delays into account), said Martinis."
On the other hand, anyone in PL academics should be familiar with his name.
You can do that on the website just fine.
> Anyone who is confident in the mainstream view of money

That belief structure is being challenged as we speak.

> Tell that to all those people whining about the Mtgox bankruptcy proceeding

The only thing that proved, is that you can't trust a bank.
it's a very innovative concept that will take IT security to another level
So loans would need to be short-lived and with high scrutiny, to make sure they are payed back. I consider this a good thing, as opposed to the other extreme: give everyone a loan no matter what (the root cause of the 2008 financial crisis).
A nice lesson in “ask for forgiveness, not permission.” Netflix came out way ahead on this one.
Money is an emergent phenomenon of markets, and it has nothing to do with libertarians.

https://en.wikipedia.org/wiki/Coincidence_of_wants
Why You Should Be Doing Technical Lunch Interviews
Objective-C is two parts, a compiler and a runtime. Both are reasonably simple but there are many details that are important.

Check out Mike Ashes excellent blog about Objective-C, the runtime and many other things:

https://mikeash.com/pyblog/
You may enjoy George Orwell’s 1984. You can order it through your telescreen.
Have you read the requirement of Tier 1 General Exceptional Talent[1] at all? I am reproducing them below. Do you think everyone who wants to come to UK should start on the path of either becoming a public speaker or start working on some sort of public platform to get recognised into these two categories.

You can apply for a Tier 1 (Exceptional Talent) visa if you’ve been endorsed in your field in science, humanities, engineering, medicine, digital technology or the arts as:
1. A recognised leader (exceptional talent)
2. An emerging leader (exceptional promise)

[1]https://www.gov.uk/tier-1-exceptional-talent
> "How can we possibly expect a business whose entire model is the juggling of pricing and availability information for maximum profit to EVER be able to figure out how to display the costs for ancillary services at point of purchase?"

3rd party fare comparisons sites could learn these prices based on history and might provide that info to users for profit.
> we can give that power to everyone

Just like how "voting" gave everyone useful legislative influence? A society where everyone reports on each other is the canonical model for dystopia. Tom Scott's "Oversight"[1] is warning, not a recommendation.

> the same strategies can be turned on the prosecutor.

Having evidence about a prosecutor's misdeeds doesn't mean you have the power to enforce anything. We already have police walking away from from video evidence of murder without charges. That will change with a lot more active political involvement. More surveillance wouldn't help.

[1] https://www.youtube.com/watch?v=RIuf1V1FhpY
I think everyone on HN knows this already. I was using Casts for a while, even paid something for it. However it was Ok but infuriating, if that makes sense.

So i downloaded the Apple podcast app again, not wanting to pay and assuming they are all equally horrible. Not true!

Where most software tries to make you addicted to the product, the Apple Podcasts app nobly repels your best efforts to engage. And they are right — walking to the coffee shop and listening to birds chirping and the sounds of the day beginning is a pmeasure no app can provide.
> Would you agree that fundamental physics does not preclude a functioning nuclear rocket?... What is the primary reason?

Yes. No demand.

> Would you agree that fundamental physics does not preclude a functioning nuclear rocket?

Fundamental physics also doesn't preclude a nuclear powered ferris wheel the size of the empire state building.

There are lots of things that humans can do but don't do.

> A live, radioactive (low-level, but still radioactive) exhaust stream is not going to happen in the US in the current culture.

This hasn't stopped us from building an enormous fleet of nuclear ICBMs and a rather large fleet of nuclear power plants.
Apple owns less than 20% (https://www.idc.com/promo/smartphone-market-share/vendor) of the smartphone market, and you can access site-based services via safari.

It’s a far cry short of monopoly.
To be fair, all iOS internal Apple apps that you can remove are like this in the app store. And although they appear to be decoupled from iOS completely, updates aren't pushed out through the App Store either.
There is no such thing as a trustless implementation of a light client. Funnily enough, it was one of the things Satoshi could never get to work.

What do you mean core? Core doesn't run my node. I do. If you can't convince the peers in bitcoin to run your node client, you don't have a solution. I know this, because I do run a node, and I am a peer in peer-to-peer cash. And I, personally, have rejected your scalability plans, because I, personally, being a peer in peer-to-peer cash, have rejected your node client. I was not happy with your security model, and therefore I, with all of the other bitcoin peers, rejected it. Which is why bitcoin remains bitcoin, and failed fork after failed fork attempts remain the failed fork attempts. Because you don't have enough peers willing to follow your consensus change.

Bitcoin nakamoto consensus in action. It is a beautiful thing.
I was there during the 2008 crash. And I don't mean I remember it; I lived through it. It had devastating effects on the people in my life. One of them lost their business constructing buildings, and would have lost his house if he hadn't been able to get his old job back. And he wouldn't have been able to, had those bankers not injected the money into the system and persuaded the economy to keep turning.

Bitcoin is gearing up to be the biggest financial disaster in all of human history. If it shows signs of winning, people all across the world will rush to transfer all of their currencies to BTC. What kind of upheaval do you think that will cause?

More broadly, when your grand experiment encroaches on our ability to have a solid basis of wealth -- one that has worked for centuries -- what should we do? Are we supposed to sit here and watch you gain power and legitimacy without thinking of ways to stop it, rather than merely profiting off it?

If the BTC bubble pops, it will be a massive relief. But it will only sit dormant, waiting years for speculators to pick it up again and form another bubble that gets the world excited. Someday, that bubble might encompass everyone.

When it emerges that Satoshi has passed his coins to his family, and they become the next world leaders (by power if not by politics), what should we do when we don't agree with their methodologies? When we can't collect taxes? Or divert wealth to social programs like UBI?
We help churches grow
“Process Doppelgänging” Attack Works on All Windows Versions
...and held the coins until today. Or maybe next year it will be worth 10x more.

Put another way, if you had sold your desktop and invested all the proceeds in Amazon stock in 1997, and held that stock until now, you would have a 66000% return; basically you would have become a millionaire by now. Of course you would have had to held those shares through two big market crashes and the recessions that followed.

On the other hand, how could anyone have known that 20 years ago Amazon was going to be the winner? You might have invested all the proceeds in some company that did not survive the dot-com crash. Likewise, in 2009 most people doubted Bitcoin; even today there is plenty of doubt about the long-term prospects. There is no point in kicking yourself over a failure to invest in a big winner, especially when that winner defies all the wisdom on valuations.
I want actual evidence of the contrary.

With a closed-source platform, I can't have that.

I have a cell-phone in my pocket, and I am concerned about the privacy implications. Android is free software, but the driver blobs are not. I do hate that I am compromising for that. Hopefully, there will be more affordable options like the librem phone in the near future.
Is push to talk a better solution than a toggle push-to-mute?
I'm not familiar with Spec, but what you're describing sounds like enforcing preconditions but not postconditions by default, which is what most DbC frameworks (or languages with intrinsic support) normally do. The idea being that most of the time, you're running library code, and you want to validate what you're passing in, but you trust it to do the right thing for any input that is valid.
> If I negotiate to spend less money for the same amount of apples, then the seller has lost as much as I gained.

That assumes that apples have an intrinsic value above and beyond the value placed upon them by the two trading parties.

Marginal utility and all that...
Perhaps they have to because of income/wealth inequality?

If the wealthy are the only one with disposable income, it makes sense the market will conform to their needs.
Eight years on Mars:  Opportunity survives another winter
Open Neural Network Exchange Format (ONNX)
I think the idea of posting each page online as it was finished would have worked great. Even without a Kickstarter.

If I do another children's book I'm definitely using this tactic. Thanks!
Author here. This is coming up. Will do OpenCL first and then CUDA.
Click on the comment timestamp, there will be a flag link there if you have "enough" karma
You cannot use it to pay your mortgage, nor to pay your taxes. You cannot even use it to pay Steam...
Of course he did. Smart contracts had been floating around for a while. And that's why he included all those operators in the Bitcoin scripting language which then had to be disabled early on because their security & resource consumption were totally unpredictable.
In C# and visual studio you can do it. I think C++ also has edit and continue in VS.
This is an awesome effort. I hate how kludge NN setup has become and how it forces individual efforts into walled gardens.
This would also be great to version networks separately from code.
It would be great to be able to mix and match Toolkit VS Network Architecture.

This will make for great model zoos!
Definitely doing the standard back-prop algorithm. Check out the code, it's pretty straightforward and the whole lib is about 2,500 lines
Friend of a friend does (did?) this for, iirc, Topshop etc. Apparently she's bleeding edge cool/hipster - literally tasked with listening to 'everything', figuring what's cool, what's up and coming, who is going be 'cool' next and sticking it on a playlist. I remember sitting in a pub chatting about what a great job it must be. That said, this was probably 8 years ago, so definitely in the Shazam era, but I assume before anyone was using it for any reference point.
I'm really saddened to see the sort of rhetoric used by the parent on HN.

"Fake News" is a nebulous term, but the real thing people are getting as is these sites that churn out this obviously fake content and/or generate it with scripts that gets shared literally tens of millions of times on facebook.
Yea, I literally have never had a problem with leiningen breaking.
All people that I know that use Leiningen are also in general very happy with it. Curious what lein-specific problems you've ran into.
Who cares about what they're backed with? If it's not bitcoin, then you don't get the benefits of bitcoin.

The only difference between a normal debit card and a bitcoin-backed debit card is that the bitcoin backing layer is more expensive than the usual one.
You forgot “don’t use”.

I don’t use any assistant apps. I can’t possibly imagine how my life would be better if I did.
I have a bitcoin debit card. I use it to pay all of these things. Your argument is akin to a person in the US saying that a person from Europe using their visa card, isn't using real money, because you don't control it.
This is called 'reversible debugging'. It's not lost. GDB can do this[0] and there are commercial products on the market that can do it better[1]

[0] https://www.gnu.org/software/gdb/news/reversible.html

[1] https://undo.io/products/undodb/
You are on a site that has voting but also strong moderation. That strong moderation is the reason the quality is high and there is almost no real trash content, like spam or flamewars.
>The righteous need not cower before the drumbeat of human progress. Though the song of yesterday fades into the challenge of tomorrow, God still watches and judges us. Evil lurks in the datalinks as it lurked in the streets of yesteryear. But it was never the streets that were evil.

- Sister Miriam Godwinson, "The Blessed Struggle"

Yeesh, I can't believe that Brian Reynolds went on to work for Zynga...
that'd explain why he's missing
+ taking notes while reading
Satoshi never claimed that a "trustless implementation of a light client" is possible. The white paper explains that a light client still has to trust other nodes:

>>As such, the verification is reliable as long as honest nodes control the network, but is more vulnerable if the network is overpowered by an attacker. While network nodes can verify
transactions for themselves, the simplified method can be fooled by an attacker's fabricated transactions for as long as the attacker can continue to overpower the network. One strategy to protect against this would be to accept alerts from network nodes when they detect an invalid block, prompting the user's software to download the full block and alerted transactions to confirm the inconsistency. Businesses that receive frequent payments will probably still want to
run their own nodes for more independent security and quicker verification.

While you claim that light clients betray the vision of Satoshi, based on totally unsubstantiated claims about what Satoshi meant by a light client, that are contradicted by several pieces of evidence (e.g. Satoshi communicating with Mike Hearn about Hearn's implementation of the SPV light client concept, without once claiming that his implementation fell short of Satoshi's idea of a light client, and while continuing to promote light clients on Bitcoin talk, like in this instance: http://satoshi.nakamotoinstitute.org/posts/bitcointalk/345/), you promote a future where the vast majority of the world have zero control over their own wealth, because they can't economically control their own private keys.
Ask HN: Any Java based BitTorrent desktop client being actively developed?
I am looking for Java based open source bittorrent desktop client.
Ah, yes, Safari. The only web renderer allowed on the platform.

They may hold 20% marketshare but it's an important 20%. Trusts and anticompetitive practices have multiple forms as well.