skysight-inc/HackerNews huggingface dataset:
I'm not a fan of Trump or the way this election played out (or even facebook, really), but this article is absurd.

>Because Facebook has multiple figures in leadership positions that supported Trump. Thiel vocally, Luckey surreptitiously.

Thiel isn't in a leadership position at facebook (de facto or de jure - he's a board member who doesn't take a day-to-day role) and Luckey is about as marginalized as you can be within a company while maintaining contractual agreements. The real leadership of facebook seems genuinely progressive. Also, I'm not sure some employees supporting a mainstream politician is grounds for the company to be shaken up or disbanded (49% of voters supported Trump!).

>Because Zuckerberg believes the fake news his platform elevates played no part in the election ... Because Facebook’s core product promotes the distribution of false information

Nate Silver largely agrees: https://twitter.com/NateSilver538/status/802272157954781185. And sure maybe it had some impact, but so did 50 other things going on. I'm not going to defend fake news and I think it's harmful to the election process and facebook, but this isn't a strong argument against facebook as a company.

>Because Facebook shipped a racist feature in its core advertising product.

A huge amount of advertising is targeted racially in a non-controversial way. This is a reality of advertising and I don't consider it racist. Facebook has made it clear it does not tolerate the illegal or discriminatory use of this feature.
I try to do it by reading a chapter, then going back to the beginning of it and taking notes on the big ideas.
No one from the educational establishment has contacted me to say I am not employed anymore... I don't have access to my emails and my colleagues say that they recieved an email saying my previous email was 'recalled' - but the recall did torn since the emails had been opened by then..
http://globalprioritiesproject.org/ kind of tries to do this
A bookmarklet is just javascript running under the website instance (pretty sure they can't write to disk). They are useful for manipulating websites. kinda like tampermonkey, but they only run when you click them.

Add a bookmark with javascript:alert('hello');

Though it's usually best to keep an expanded version elsewhere and copy it over when you update it (else it'll be stored as a one liner).
> never once checked or worried about blacklists. My 3 users haven't reported any problems at all.

What if they missed emails they never knew about in the first place? What if they tried to contact someone and just assumed they've been ignored? Unless you know you're not on blacklists, you should be worried at least a bit.
Where do you live and what do you do for a living? If it's the SF Bay area and software, you have no excuse. Or any first world country doing a professional job for that matter.
Because saying things like:

"the documentation describes the API in TypeScript, and then provides no examples at all! So the average JavaScripter can’t understand what the API looks like"

And:

"Add into the mix the way the documentation casually drifts into hard-core Computer Science and algorithmic discussions at inappropriate places, and you’re left with documentation that only the documentation’s auto-generator understands.

Don’t believe me? Just see this example describing Map, one of the most-used Immutable data structures:

Immutable Map is an unordered Iterable.Keyed of (key, value) pairs with O(log32 N) gets and O(log32 N) persistent sets.

OK. Er, of course it is."

If you don't know what you're doing, and you just want to know how to do it, everyone ends up suffering. And I don't know much about Typescript, but isn't it javascript with types? If the average javascripter can't figure out what's going on there...
I assume the author chose this licence because it reflected his wish for the user's freedoms to run, study, share and modify the software to be guaranteed. He probably doesn't want a permissive licence.

For what's worth, I urge you to keep GPLv3 :)
Ironically no. You still are free to drive your Tesla anywhere for any purpose. The limitation is only for the future self-driving feature.
Every time I read something this Manichean - something implying that the "good people" must climb over the barricades and vanquish the land of evil - Ride of the Valkyries plays in my head.
You should try SV veggies.

Carrots in SV are ungodly. Impossible to eat them cooked any other way IMO.
You make a good point. What if a civilization figured out how to do this on a local level? To finely manipulate particles within a small area? It would be like version control for reality.
Fair enough, some instructions have many variants. But I work with ARM assembly almost daily and I still wouldn't remember that, for example, 'VQRDMULH' is a real instruction and it stands for 'Vector Saturating Rounding Doubling Multiply Returning High Half'.
Switzerland won't get a tsunami, even if a M7 earthquake takes place. Also it's in the middle of Europe so better interconnected with other grids. Passive cooling is next to useless if your reactor containment and/or the passive cooling tanks or radiators break due to an earthquake. You still need power to drive pumps to cool down the reactor until the nuclear reaction is fully stopped and all heat removed. The fuel still generates heat after the rods are removed and nuclear poison is injected.
I love Pepin. Mostly because of his delightfully pleasant accent but also because his no-nonse view of cooking as a craftmanship.
Oh for Christ sake, just disable the Windows Update service and stop complaining. Done. No updates until you turn it back on.

It's two clicks.
I can't speak to the anime, but I enjoyed and recommend the visual novel version.

I got into it because I wanted a break from more traditional games (such as RPGs) which may claim to have a story but often don't go deep into character development and so on. If that's what you want, Steins;Gate definitely delivers.

I'd make two cautionary points if you're going to try it:

1. It's a visual novel, so it's not going to be interactive like a more traditional game. You get some choices, which among other things determine what ending you get, but really don't influence much otherwise.

2. There's a lot of banter. You'll know in the first 10 minutes of the game if this bothers you or not. I personally didn't have a problem with it, but your mileage may vary.
Going with the flow: The global battle for your personal data
How many times has this been posted?
FYI: I was one of the top Battlezone and Centipede players at the time (high-scores were 600K and 3M.)

Battlezone was a simple game, but very useful for training the eye to interpret the 3d world on a 2d display and improve reaction time. Almost like meditation.

There's no chance a foreign army at the time could compete with an American tank crew with several hundred hours on a simulator or electronic game of the day.

In fact, one Russian general said his top concern was that American kids with video game experience could easily outperform Russian soldiers.

Also, full-motion simulators are largely a red herring. Non-motion "procedure trainers" get you almost 100% of the ab initio training benefit at 10% or less of the cost.
> Does anyone know if there is anything similar to Hammerspoon out there?

Did you forget to include some extra constraint? As written, it looks like the answer to your question is "Yes, Hammerspoon."
Not necessarily. Titan's atmosphere is actually denser than Earth's. https://en.wikipedia.org/wiki/Atmosphere_of_Titan
Once you have SPF/DKIM in place and make sure your IP isn't already on a blacklist for some past (previous users) infractions you should be good to go. I've run my own mail server for years and have only had to remove it from a blacklist once. So once you get past some initial blacklist monitoring work, you are good to go.

That does bring up the point of how to do blacklist monitoring. There are various commercial services out there that will allow you to check for free and monitor 1 host or something (eg. https://mxtoolbox.com/). I'd prefer to run my own though, does anyone know of a good setup for this?
To me, books are a great high-bandwidth way to absorb the full breadth of the topic. Videos are more linear, and slower. But videos can help if you lack motivation or focus to read books.

But either way, to internalize the learnings requires doing many coding exercises.
Why you should be starting VR/AR/MR design and development right now
Canada.

I'm not saying I would turn a blind eye if my company was doing something dangerous or illegal. But in that fuzzy zone of unethical, maybe illegal but maybe not... As awful as it sounds, my household has one income and it's not silicon valley amounts of money and it feels instinctive to protect my own above all else.
Disclosure: I work there. We also have another site, onlinecookingschool.com, that's even more directly focused on teaching technique and so forth. I have access to the recipes as a job perk but have barely scratched the surface as the collection is enormous.
Thanks for that. Indeed it makes sense. I would enjoy reading blog posts about your lexer.

What through me is that the BNF presented in the POSIX standard treats words as individual tokens and that's obviously not something you want to do only in a lexer.
People still using facebook ? :-)

Its end is nigh, the era of socialising will come to an end when people realize its not what we wanted.

I will actually go as far as saying its one great app/idea away from going down. If someone made a proper app for creating events and it spread like wildfire attracting all the "kids", I think it would be game over for FB.com

I dont think theres anything else holding me back. Events and messenger...
> Wait, does that mean in development?

I think xchaotic probably meant "in development of production code", and is wrong for two reasons:

1. Compilers are production code, and the research agenda this post describes informs a lot of that code (by way of language design). Unverified compilers still make a lot of use of underlying theory.

2. Correctness proofs and static analyses, which are both deeply related but different from what's being described in this post, are used in production environments every day.
The bookmarklet does a post to the wiki in the same way that a user would edit the page. The new info is either at the beginning (top) or at the end (bottom) of the page text.

javascript:%20void(ppage=prompt("Page%20?","Bookmark"));%20void(t=prompt("comment%20?",document.title));if%20(ppage=="Bookmark"){pp="top"}%20else%20{pp="bottom"};%20void(w=prompt("top,bottom?",pp));%20void(x="http://mywkiki.com/updater?page="+ppage+"&text="+escape("*%20["%20+%20t%20+%20"|"%20+%20location.href%20+%20"]")%20+"&action="+w);%20void(window.open(x,"Bookmark","height=400,width=640,scrollbars,resizable"));
Our company has been running LSTP on commodity hardware since 2013 for a development team, and I am truly happy with the result.

For a long time, a 2013 i7 CPU with 32 GiB RAM running LTSP over ESXi was more than enough for intensive use of 5 thin clients.

We've recently switched to a more powerful server (refurbished 48 AMD cores / 256 GB RAM) running Proxmox and despite some issues that still needs minor tweaking, I am very happy with it.

The only gray area, and the reason I am always looking for alternatives to LTSP (NX2Go is the strongest candidate), is the huge bandwidth used by LTSP: 8 Thin clients needs a sustained 600 Mbps. I'm afraid scaling over 10 / 15 workstations will require expensive network equipment but graphic user experience is near native in all aspects.

I highly recommend to anyone that is in doubt of using LTSP or any other thin client setup in production, give it a try because it actually worth it in all aspects.
It's probably better to email the mods when you spot things like this.

https://news.ycombinator.com/submitted?id=kirillstyopkin
Nice work, what a fun game! (Although I'm not very good at it ;) )
The Troubadour and the Lady
F# already does type erasure in some circumstances with Type Providers (erased vs. generated types).

F* runs on the CLR and has higher kinded polymorphism.

Also, while the JVM multi-language story is terrific, it's not like the CLI is severely wanting since it also has several world-class language implementations:

* C#

* VB (criminally underrated; it's not just C# with another costume)

* F#

* F* (real dependent types)

* C++/CLI

* Nemerle (like C#, but with real macros and pattern-matching)

* PowerShell

* IronPython
Nice article! It take a subject that is scary for many and does a great explaining a little bit very clearly using good visual aids. I look forward to the next articles!
Don't forget Jose Andres!
I started looking into it but I was busy with something else at the time.

I had talked to the mods of /r/nootropics and also the owners of a few domestic suppliers/storefronts and they were definitely very interested. I mean, it is clear that if we are as a community serious about self-experimentation, we have to find a way to consolidate the results of our individual n=1 studies.
Right, that's what I thought.. I'd just misunderstood that the bookmarklet was writing somewhere. I might just write a bookmarklet that does a POST to somewhere that'll write to a Dropbox backed wiki page... I'd just like to have everything in one place..
I fully agree with most points made. But there are some caveats:

- there are quite a lot of commercial software packages around, which depend on constant paid programmers work to keep up to date. Without a guaranteed revenue stream, those would not exist.

- if people are free to modify all software, liability questions can arise. I am mostly thinking about any kind of firmware, like the one controlling cars or any other software which has the potential to create expensive if not disastrous accidents when malfunctioning.

There is some work needing to be done addressing those issues before we can have a completely free-software world (which I would like to have).
Almost everything in Dr. Strangelove was true (2014)
> Imagine a world in which logic, programming, and mathematics are unified, in which every proof corresponds to a program, every program to a mapping, every mapping to a proof!

For those of you that may not know, this is called the Curry-Howard(-Lambek) Correspondence[1]. It establishes an isomorphism between well-formed computer programs and formal logic. This isomorphism is fairly intuitive when doing something like (typed) λ-calculus, but it also applies to things like Java and C++.

[1] https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspon...
Despite the date showing for the article it's actually from 2014 - possibly a mistake in correcting something minor led to the date being changed.

That said, I could see a nice use for a connected device like this used in an insulated container - prep food in the morning, then leave it in an ice water bath. At an appropriate time turn the heater on remotely. As long as there's water present to be heated and circulated it should be fine for quite a while.
The World Chess Championship Comes Down to the Final Game
> I wonder if the next step in the progression is pre-packaged or even pre-cooked sous vide meats.

Coles supermarkets in Australia have been selling pre-cooked, pre-sauced sous vide meats for a couple of years now, though they don't say "sous vide" on the packaging but rather "slow cooked for N hours". But the actual product is clearly cooked sous vide – the interior packaging is a vacuum sealed bag and the results are exactly what you'd expect.

> Isn't that how the restaurants do it?

In my experience it's more common in the restaurant world but still not pervasive.

> I also wonder if a low power microwave oven would be an alternative to a hot water bath.

Poorly. An immersion circulator is probably the simplest and ultimately cheapest form of the idea; engineering-wise they're not much more complicated than an electric kettle. It just needs economies of scale to really kick in.

A microwave would also be highly impractical for all but the shortest cooks. Sous vide often takes multiple hours or even multiple days – I do 10 hour pork belly and 72 hour lamb shanks. For the latter I usually set it up in the laundry and switch from a stockpot to an esky (cooler box). Very easy to do with an immersion circulator.
And replace base load nuclear power stations with what? Coal? Gas from Russia? I don't know if they have any usable geothermal resources but that would be the only sound renewable replacement for nuclear.
Programming Concepts
We just had a nuclear disaster which is fresh in those people's minds.

To put it into perspective, the Fukushima disaster has made 800000 hectares of land unusable for farming, which is more than the area of land under cultivation in the entire country of Switzerland.
Just want to comment on this real quick:

> Do not, under any circumstances, bitch to your friends about your personal problems. That's not what friends are for, that's what you pay a shrink for.

There is some truth to this. Not everyone is equipped to help friends who are suffering from depression. Some may be too selfish, some may just not know how, and some may be dealing with too many issues of their own at the time. If one indiscriminately reaches out to "friends" for help with serious issues like this, one may come away more disappointed and discouraged than helped.

However, there are people who are able to help, and sometimes one is lucky enough to have one as a friend.

So I would recommend being careful which friends one reaches out to, but I would not say that one should never reach out to friends. :)
I'm not sure that the FSF considers freedom 0 to be essential anymore. They describe it as follows:

> The freedom to run the program means the freedom for any kind of person or organization to use it on any kind of computer system, for any kind of overall job and purpose, without being required to communicate about it with the developer or any other specific entity. In this freedom, it is the user's purpose that matters, not the developer's purpose; you as a user are free to run the program for your purposes, and if you distribute it to someone else, she is then free to run it for her purposes, but you are not entitled to impose your purposes on her.

AGPL was accepted by the FSF as a free software license, yet it is quite problematic when it comes to freedom 0.

Suppose I find a program that displays an interactive chess board in a window, and lets you play over chess games that you enter by pasting in the moves.

I modify the program so that it includes a simple HTTP interface. Someone on the network can connect to that interface, and if the person sitting at the terminal is willing, the person on the network can play a game of chess with the person sitting at the terminal. If I'm already a playing a game, people who connect over the HTTP interface will be placed in a queue to wait for me to be available.

If this program was under AGPL, I have to give my modified version to those who play chess with me over the network.

To make that requirement be in accord with freedom 0, it is necessary to claim that I am not a "user" of the program and/or that I did not "run" the program.

It's kind of hard to say I'm not a "user", since I am sitting at the damn terminal using the program. Same for "run". I typed the command that started the program running.

(Note: I've seen people argue that the person coming in over the net is a "user" and that they "run" the program. Even if so, that is not relevant here, because AGPL is not trying to impose any requirements on them. It is trying to impose a requirement on me, and so is only whether or not I am a "user" and what I did was to "run" the program that is relevant as far as determine whether or not imposing a requirement on me violates my freedom 0).
Deep learning with coherent nanophotonic circuits [pdf]
Caching Tutorial
The visual novel is really fantastic, though fairly slow-moving if you're not used to the medium. (Visual novels in general tend to be very detailed and very slow-paced. Some, like Higurashi, use this to great effect, but it can also annoy people not used to them.)

If you're not sure about reading it, the anime is also really good. It's obviously much less detailed than the visual novel (compressing ~40 hours of visual novel into TV format is hard) and omits some sizable plot points, but it's still great. The first half is fairly slow set up before it hits like a truck.
The second comment in the discussion is confusing. What's the significance of the order in the tuple? An unordered set should be enough, so the tuples would be obvious permutations. Is the order decoded in the elements, eg. the operator *?
> There's a reason that x86 won and continues to win.

It is definitely, definitely not the ISA.
Agree. The first MagSafe from 2009 worked, but I went through multiple chargers. The MagSafe on my new MBP (previous gen) doesn't work nearly as well, and just disconnects every time.
Interesting. The strong radiation and long travel time make this even more problematic than a 3-6 month trip away from the Sun to Mars, however.
Switzerland Votes to Keep Nuclear
Bit of both, no point moving it as the automation/clients that dump data to S3 make it quite hard to change.
This is a definite trade off. I have my personal mail server + a gmail account and gmail is better at spam prevention. It isn't that much better though as local Bayesian filters do very well.
For what it's worth, aren't political opinions about what the practical applications of justice and goodness are? If you were going to boycott someone over anything, wouldn't it be those? If someone else's opinion falls within a reasonable spectrum from our own, it's fine to accept them. When the difference becomes great enough, you're obligated to reject those views.

Where you draw the line is up to you, though there is often a societal consensus on what a reasonable Overton window is like. The problem with your argument is that you want everyone to get along, but you want them to do it regardless of extreme differences in how different people want to shape the good life. It's hard to cooperate with someone that fundamentally opposes everything you stand for at your core and, importantly(!), wants to impose their views on you. This is important because it is far easier to tolerate differences between groups that do not impose their views on each other, which is the situation in which I agree with you more often than not [1].

If you want everyone to get along, you need to show why on particular issues, or for overarching reasons, it's not worth rejecting each other. Otherwise, I find what you say hard to accept when examined below the merest surface.

[1] A counter example would be a group that is murdering or mutilating its own members, and those members ask for help. That would be a clearly justified case for external intervention.
What version of Java are you using? My understanding is that the Java language specifications say that this code is valid. Some versions of Java "correctly" accept this code is valid, and some versions "incorrectly" don't accept this code, as an implementation quirk.
Yes, Bob Harper is aware of, and intentionally discussing precisely, this. (The "Curry-Howard-Lambek" correspondence, if you like)
When we (women) are Needed (2005)
@diegorbaquero you should watch that https://www.youtube.com/watch?v=I7IdS-PbEgI.

The author spoke about performance and immutability-data structures like Directional Acyclic Graphs and Trie.
Can a Surprise Lawsuit in Oregon Save American Climate Policy?
> more efficient than coal

How do you compare the efficiency of two systems with dissimilar inputs?
You are free to use GPL libraries in proprietary code as long as you don't distribute it.
Certainly it fails the labrador test: you can't eat it.