skysight-inc/HackerNews huggingface dataset:
1. Racket is a multi-paradigm programming language. It has Java-style class/object system, a CLOS-like object system(swindle) and a prototype object system (like self and JavaScript).
2. The macro system is arguably the most sophisticated available.
3. Functionsl programming! including '(purely)Functional Data Structures'.
4. Parallelism (futures)
5. concurrency
6. Contracts
7. Typed Racket
8. Pattern matching
9. Modules
10. Units
12. Pattern Matching
13. Exception, continuations
14. Reflection
15. arguably the most sophisticated tools for creating full languages and DSLs
16. Datalog language (like in datomic)
17.an amazing IDE - it has a tool to debug macros! (but you can also use Emacs)
18. Typed Racket
19. Functional pictures (pict)
20. OpenGL
21 cross platform (win, mac, Unix, Linux) it will even run on a raspberry pi
22. Amazing community
23. Math library (and plot library)
24. Scribble/@-expressions (like markdown but much more powerful)
26. Quite a few libraries
Hi Exuma. FYI, I do check custom domain names pointing to disposable email address providers. If you add your own domain name, it will be also blocked.
Yes, it's troubling. Huge infrastructure costs. Regulations. And with little to no differentiation between service providers, the incentive really hasn't been there for competition.

But all is not lost. There are municipalities that are providing a competing internet service. Internet is fast approaching a public good/right, so I believe this is a worthy approach. Here's an example near me: http://www.timescall.com/longmont-local-news/ci_28030675/lon...

As mentioned, SpaceX will circumvent the local restrictions and limitations of 'wire in the ground' with their satellites.

And now, if there are some ISPs that will sell your data and some that won't, that differentiation may open up the door to greater competition. Perhaps even, that's a silver lining to breaking up the ISP oligarchy that exists now.
Wow, WebAssembly! I knew that Stockfish was really technical, and I spent some time looking at its source. But I did not know (even though I used to regularly use it) that lichess was also open source and that the chess community was also bleeding edge.
When and why did you fork Ember to get around it's opinions? I've been developing with Ember for 5 years now, and the only time I ever had to modify the source was with Ember Data pre-1.0.0, when it wasn't solidified at all. The concepts behind the framework are really simple, and literally everything is configurable.
This library has a lot of promise for prototyping your app in Glimmer and then dropping it into an Ember framework when the app gets bigger.

However, the whole landing page screams "premature release". The API docs are sparse, the landing page barely conveys what the hell is going on, and there's so many other minor nuances. Why does the GitHub link on the top right go to the website source for example? Everyone pretty much expects to be taken to the actual library GitHub.
No, facts exist whether you like them or not.
It's not only complacency, although it is a large part of it. Some of the main issues here is money in politics, gerrymandering, the gutting of the civil rights act. In fact, the most central issue here is probably money in politics.
Thanks, we appreciate the constructive feedback!

We've worked really hard to make sure we're clearly communicating what's happening (transparency), and adding fine grained controls. We have a very clear step during the install flow that talks about how Kite works, and we will prompt for whitelisting within each of the editor plugins that can work without the sidebar (Atom, ST3, PyCharm).

We also have a security page (https://kite.com/security) that points to our various resources related to this, including more details about our control mechanisms—including .kiteignore—and how we think about security (our four principles).

We also know that some companies need on-premise Kite to make this work. We're exploring that now with customers, and would love to chat with you if it's something you need. (https://kite.com/enterprise)

I know none of these are silver bullets. Thanks for your comment as we work with users to figure out how to make this work.

We hope you'll give Kite a spin when you can—we think it's pretty transformative—and we hope to be able to address all of your concerns soon! : )
How about retiring 2-5 years early? That's about what you get if you invest the $35k instead...
I think this sort of demand seems reasonable at face value but really has a reductive effect on the conversation. I don't have a catalog of infractions I keep to draw from for Internet debates so I can either compile a list that you might ignore or nitpick apart or just let the conversation die here. I don't need a list or carefully defined criteria to come to the conclusion that a news organization is a propaganda outlet because I'm just some asshole nobody who's just trying to make a point that it's not some party or philosophical allegiance that determines how I view a news or media organization.
*not
Uber to pull out of Denmark
Wait, onbeforeunload is going away too? So no more "you have unsaved changes are you sure you want to close the tab?"

And yes, just make the popups modal to the tab instead of modal to the browser and stop breaking the web with standards churn.
The wedge issues they use have pretty big blocks of motivated voters.

I don't think privacy has that.

EFF has 25,000 members. NRA has 5 million. EFF has a budget of ~$16 million a year. NRA has a couple hundred million.
If you want an idea to get mass movement against this;

Start some display campaigns injecting peoples names and other personal information into ads. Have this follow people around the web. Even if data is not taken from what has been allowed here, most people will find it creepy. Link ad to a website explaining whats going on and how to contact their local member.

I suspect with a fairly reasonable spend you could get some strong resistance and media attention.
It's interesting that the Tribune is trying to make it into a Stand Your Ground case. Local reports[0] just call it simple self-defense.

[0] http://newsok.com/arrest-made-in-oklahoma-home-invasion-shoo...
I neither said nor implied that. If that's your own opinion, make it clear because it's not mine.
You may want to check out Ultimate Chicken Horse, that's more in the same vein.
>> no elected person can introduce new legislation

Only the European Commission can introduce new legislation, however the European Parliament and the Council of the European Union vote to approve, or disapprove, any new legislation, and have the power to amend it.

The lack of legislative initiative of course is due to the fact that, initially, the EU was not a political union, and there is still strong resistance from nationalist factions within member states to the "ever closer union". Those are usually the same factions that complain of the perceived "democratic deficit" that is due to their own resistance to a closer political union.

Btw, dramatis personnae, the three legislative bodies of the European Union:

a) The European Commission, is made up of 28 European Commissioners, one for each member state, selected by the states' governments and approved by the Parliament. One of them, the President of the Commission (currently, Jean-Claude Juncker) is elected by the Parliament from candidates put forward by the European Council.

b) The European Parliament, is directly elected by the people of the EU member states in the five-yearly European Elections.

c) The Council of the European Union, is composed of ministers of the EU member states, normally each of them elected directly by the citizens of their respective states and appointed by their national governments.
I like it. its like the sidebar on the front page of the wall street journal. And on your site I would rather read those little summaries instead of what you put under the headline on the main page

I like all my information bite sized. and when i click to the main article i want the article short too.....and full of facts. I could read
People don't seem to like this comment, but that is a great link. Browsing around the site, I found this list of common English language errors: http://public.wsu.edu/~brians/errors/errors.html

Really interesting. Thanks for sharing.
You can't really compare the "F-Series" with a single car. A more accurate comparison would probably be all sedan's with the F-Series.

But yes, trucks are on the rise again.
Vector Institute aims to make Toronto an ‘intellectual centre’ of AI capability
+1, and it all depends on how the website owners, SaaS providers, etc use it. They may choose to block or let them in with nice notifications message then block later.

I just provide the tool for those in need.
Yeah. But in retrospect, QM chaos seems to underlie a lot of biology, from evolution to neural development to immune response. But there's been no need to think much about QM except as a source of randomness. So far, anyway.
It mentions it but doesn't question whether the claim is valid at all. The large bulk of the article underneath the photograph of the woman on the bed discusses the woman's emotional reaction to the result. I was left wondering whether she really was a victim of an injustice or she was not actually living there, as the owners claimed.
Cherry picking aside, minimum wage in CA is $10.50, or about $21,000/yr with the (very large) assumption of 40 hour weeks.
Group chat offering
This site is a new offering. It offers group chat
on subject and topic. An initial 1000 accounts is available. The website offers an anonymous chat experience on page load. http://www.chatscroll.com
Right. A big dip with the recession that took its time recovering. But comparing total output today vs. the "golden years" of manufacturing in the 60's betrays the lie.
My point was it's ignorant to generalise an entire civilisation like that - one that popularised and enforced abolition world wide.

Can you name a major civilisation that was not trading, holding or capturing slaves during the time period the British empire was selling slaves to your country?
Living the Good Life – As a Room Xchange Host
Might want to give this one a shot.

http://www.paulgraham.com/disagree.html
There's entire trails of papers that cite each other on arXiv while they wait for a 1-2 year review for journal publication. It's crazy — the journal has in some regards become a formality necessary for career advancement, while the actual research in a field progresses in the form of postings on a preprint server.
OrangeAssassin: an open-source drop-in replacement for SpamAssassin
I mentioned fitting sigmoids as part of AI but did not intend that they were part of deep learning.
> Makes me wonder if there's a proof of P=NP with ClipArt illustrations that's buried in the South Asian Journal of Mathematics.

For some reason, the gem implausibly hidden in an obscure Indian publication reminded me of Borges' The Secret Miracle [1], where God is hidden in a single letter of a single book in the Clementinum library. It also makes me wonder, how many talents are forgotten, how many revolutions hidden away collecting dust?

---

[1] https://en.wikipedia.org/wiki/The_Secret_Miracle
So it's the fault of people who vote third party that you have a two-party state?
I'd argue that it's not money in politics. The democrats and republicans get tons of money from tons of different interest groups and industries, yet the the only party that voted whatsoever for this bill were Republicans. The problem isn't the money, it's the ideology.
The bill allows ISPs to sell their customers' data, among other things. The article says enough about what the bill does.

Your complaints about "people pontificating along party lines" do nothing but reveal your own biases when the vote is so starkly along party lines. In a case like this, the objective analysis is clearly that the Republicans are wrong and the Democrats are right.
Electricity in the US is already cheaper than China thanks to renewables and natural gas.

You're really reaching there.
If they're presenting the truth, they should be looking at what many types of black people are doing in multiple places with what results. If something made many succeed, then that should become part of a Reality-Based Narrative. If there's racism holding them back, there should be evidence of that. Any personality traits or tactics that successful ones use would be game. And so on.

A media group only interested in evidence for one hypothesis while suppressing counter-evidence is showing its bias in favor of promoting that hypothesis even if it's incorrect. They're lying for ratings/revenue. Typical in media with biases/narratives varying based on their customers' demographic.
You can always follow-up with a new comment containing a retraction or apology or whatever.

A problem with extending that window is that there can be subsequent comments in reaction to yours (and, in turn, other comments reacting to those), and removing an original well after the fact can ruin context.
They did. And it resulted in the FCC regulations that just got rolled back.
https://xkcd.com/947/
I'll never accept payment for those cases. It defeats the purpose.
Just because I am a curious person.....Why are you interested in what's going to boom?
This is a very good way to go. In my experience, adding a new tool can take a day or two of refactoring in a medium sized project; but removing one can take a week. Removing a bunch because you completely over-engineered the solution and can't maintain it can often take a month, or even get dangerously close to "scrap it and rewrite" territory, which is a complete death sentence for a small company.

Unless I'm working with people I know well, I'll often elect to start off a fresh project with just React and maybe Redux, and build from there. Even if I know full well that we'll need some stuff like thunk and react-router, my preference is to leave them out and let the team run into the problems they solve before we introduce them.

IMO even if just one team member gains a new understanding about why their tools exist and why they're using them, it's worth a bit of refactoring.
This is my understanding as well. I get great info talking with smallcap to the just barely midcap companies if you ask the right questions. Heck, usually, I am able to get a conference with a VP or CEO if my questions go above paygrade. I am no whale.

In practice, you will not get the same level of info on larger companies if you are not institutional or in a group of retail investors holding a decent share-count. Information obtained is usually a small amount above what is found on the conference call or via google.
I disagree. I put down the deposit because I wanted to reserve my spot in line. Putting down $1k now isn't that much if it might save me $8K in tax credits by having an earlier spot in line.

I still haven't figured out if I can get a charger in my apartment building. I haven't decided I like the look of the car. I haven't even decided I want a sedan.

I love Tesla, so on the chance that I do want the car I put down the deposit. But I'm still 50/50 on actually buying it. I imagine many are in a similar positions.
Yes and no.

At the end of the day, stock prices are moved by demand/supply of the shares themselves. Whether or not there's demand depends on sentiment.
Obviously highly opinionated and personal statement coming, but Common Lisp is to Clojure what Meccano is to LEGO, and I have never been a LEGO person.

If I work on a project where functional programming with emphasis on purity is required I will much rather go to ML family, which I think offers more natural way to express ideas in functional paradigm with beauty and integrity not even Lisp can match.
Could you explain what you see as the 'moral spot' exactly?

Helping people say anti-semitic stuff doesn't seem like an inspirational position. Isn't the greater danger to society acceptance of intolerance?
It's an API function, so it should accept any reasonable input. The WordPress plugin checks only the domain name part, and the bulk checker does too.
I seriously can't believe that a problem that has evaded mathematicians for decades could turn out to have a 9 page elementary proof!

I don't know whether to be excited that, maybe, other hard problems in mathematics could have such elementary proofs, or depressed that mathematicians took so long to solve a problem with such a simple answer :)
You should read more carefully. He said they're framing their industry as the victim.

The NYT could be saints and that wouldn't change the fact that the industry they're in is what it is now. And if they can't identify that and instead just say that industry's the victim, weberc is 100% correct.
One of the more head exploding experiments I've seen regarding entanglement is this one:

https://youtu.be/u9bXolOFAB8

By all apparences, it seems to violate causality. It's one of those things that make you suddenly stop and bemusedly wonder if maybe we've finally found a kludge in the Universe's code.

edit BTW, if you'd like to know more about this experiment and why it has ridiculous implications, check this PBS clip: https://youtu.be/8ORLN_KwAgs
duplicate, please check before submitting: https://news.ycombinator.com/item?id=13975550
Here's another data point in one of HN's favorite topics, how academia and publishing are broken.
That was pretty much how most 8-bit computers worked -- the user interface upon bootup was the Basic interpreter.
For a comparisson, in an SF based org with 2/3 remote engineers we have 14 regular holidays, most of which can be taken +- 2 weeks of official date, plus 5 days at the end of the year. Start with 12 days PTO (negotiable), 15 at 1 year, 20 at 5 years and 25 at 10 years. All employees acrue 9 sick days per year. Additionally can take 2 paid days off to volunteer at a non profit or educational institution. There is also a sabbatical program, but it's unpaid and for up to 2 months. This can be taken every 3 years. Parental leave is 12 weeks of 100% pay.

If taking all possible days, in the first year you have 42 days off, up to 55 by year 10
Are people ready to stop flipping burgers? Yes, I think they are.

Are people ready to stop pursuing their passions? No, and I don't think they ever will.
Very cool!
Keep up the good work!
Once the connection is MitM'd, the certificate validation would fail, since the MitM host cannot sign the "hash of everything that's been exchanged in this connection so far" with the correct server certificate. So the MitM would have to choose between either learning the domain name but failing the connection, or letting the connection pass but not learning the domain name.
I used it too, but several new domain names are added every day. It's ineffective to manage/update your local block list.
On casualty rates, about 50 million died in the war, which by my calculations is an average of 35,000 a week for the whole five years.
I am not suggesting that anyone use something else besides SSL. Use whatever you want to use. I am suggesting that SSL users may want to consider the merits of the SNI extension. Website owners are unlikely to care let alone oppose it.

As a www user, I do not like SNI and that is only an opinion, as a user. Why? Because all existing software that has to be SSL compatible now has to be modified to handle SNI. As a user, I derive no benefit from SNI. That is why I dislike it, first and foremost.

But I believe there may be other reasons to dislike it. Perhaps privacy. Perhaps censorship. Maybe none of the above. I don't know. You decide.

In any event, it seems there are at least a few folks that agree with me that the merits of SNI are at least questionable which is both surprising and encouraging.
Thank you Bret! We used to retain CTW, but after they imploded a few years ago we have not needed legal advice since. I'm now casting around for a new firm for a general retainer, at the moment performing due diligence upon Duggins Wren Mann & Romero, and Sneed, Vine & Perry. Adding the firms you recommended to my due diligence. Thanks again.
> So long as one accepts the existence of nation states, one must accept that there are lines between them.

But that is the point - we can not accept the existence of these lines anymore. The XX century brought nation-state principles to their logical ends - WWII, the atom bomb and the Iron Curtain. We are supposed to have moved on to a world of international cooperation, of supranational coordination, which is the only way we can tackle systemic issues like economic inequality and climate change. The commercial world is already there, industrial globalisation is a fact of life, but the political structures are lagging. The answer cannot be a nationalist backlash, there lies balkanization and a return to the bad old days of tribal wars.

Note that this is not an attack on Scottish independence - there is an argument for "national" rule to be on a smaller scale than what we inherited from the XIX/XX century, especially in the internet age where industrial scale is relatively less important than it was. And absolutely the UK should be reorganised (the North of England has similar grievances - heck, anyone outside of London has). But the language of separatism is a dangerous djinni and it's really hard to put it back in the bottle without significant casualties.
Or it was ignored because it didn't have an author from Harvard or Princeton on it.
Fair opinion, but I think you are arguing the wrong point.

Apple ate market share from Nokia because of brand advantage.

Many commentators mention that manufacturers are improving their EV product, but I think that boat has long sailed: Tesla vs. Ford won't be about features, but the brand.
Oh, you with the pesky questions!

https://www.reddit.com/r/dredmorbius/comments/608w97/asset_p...
VPNs are not the solution to a policy problem