skysight-inc/HackerNews huggingface dataset:
You could always try a subreddit like r/math [0]. I’ve found the mathematics stackexhange site helpful for questions or just browsing [1] it even has a chat [2] which is nice if you have a question that’s quick or not really that useful to anyone else. On reddit and stack exchange you can also do some form of sorting by all time popularity which can be interesting sometimes.

[0]: https://www.reddit.com/r/math

[1]: https://math.stackexchange.com

[2]: https://chat.stackexchange.com/rooms/36/mathematics
I live in Europe and I'm happy we have stuff like this. It's good for consumers. And according to the law if you zero-rate a certain app you have to zero-rate every app in that category, so there's no concern that Facebook would use something like this to drown the next Facebook killer.
When the exchange was launched, the SEC didn't mention that ether was a security or tokens for that matter. How can they came back years later and back-charge for things that were not illegal at the time? Seems largely unfair and plain greedy. Are 0x protocol relayers next to be charged by the SEC?
It's a few SoC crammed in a shoebox. Of course the comparison was never meant to be taken seriously.
I agree and I’m one of them, but it’s not against the law in US or EU.
Being fast and easy doesn't conflict with having a low user base. Being known for anything really mostly requires having some userbase.
The article speculates that it will be hard to get these synthetic cellular systems to evolve, even if they manage to self replicate and survive given their initial rational design. I don't see this as a problem if they really can be made self sustaining. If the cells replicate then they are already implementing an evolutionary process. We just need to be sure that mutations can arise due to replication error or DNA damage. But if they don't replicate then human designers mediate their evolution. This just seems so straightforward to me. Am I missing something?
It's all doable. Quite easily and without bankrupting everyone.

Heating from ground and water source heat provides a thoroughly well documented 4 to 6 fold increase in efficiency and still works even when the sea or ground is only at a small differential and the absolute temperature is single digits above freezing. You don't need a handy nuclear plant or gobs of geo-thermal like Iceland.

You power the pump and heat exchangers from spare renewable capacity, the heat comes from the ground, sea or river. It works well enough in the Nordic countries and N Scotland (Orkney) to be fairly popular. Of course they benefit from going a bit deeper with ground source which further encourages community over individual installations, but sea works surprisingly well even at those latitudes.

Fully becalmed is pretty rare for much of the planet even when onshore is still. There is often wind a little offshore and the waves can result from winds pretty far offshore. Not forgetting tidal and pressure contributions. Sure, some areas will be less suited to wave or tidal than others, just as the UK is far better served by wind than solar. Though solar is still effective enough to be worth installing. Install the right mix for local geography and climate, balance with the national or regional grid. You're right that pumped hydro is particularly constrained by suitable geography, but there's plenty of spots it could be added to the grid still, just not in Florida, Kansas or The Netherlands. :)

Insulation isn't so hard either if you promote insulation for existing structures or apply judicious subsidy. New build should, of course, be better and we're a long way from achieving the insulation standards of Nordic countries. UK for instance had a decade of promoting and requiring the energy companies to provide subsidised installation of roof and wall insulation. It was remarkably popular, and pretty damn effective. Not all buildings were suitable of course, but start with the easier ones to get an 80% fix, then worry about the difficult sites and edge cases for the next steps.
Wow I'm sure the remaining family members feel a lot better knowing the drone operator didn't CONSCIOUSLY choose to massacre their entire family, its just that their camera was low res...

How about if your camera is so low res or your drones are too shitty to avoid killing innocent people, you stop fucking using drones?

I have 0 doubt you would find it ridiculous to use the same drones on US soil because of the risk but hey as long as its not your family/friends, its just a "risk" right?
I don't think you can turn it off like that. There are no Michaelangelos spending their day slapping emulsion on drywall.
>He gave a non-answer to the question "why are you categorizing it as an invasion" by saying "because I consider it an invasion".

Jim also answered the question for him when he asked by saying because it is not an invasion. He asked a question that he had the correct answer to it already, which is why trump said we have a difference of opinions.

>It is being pointedly obtuse to say that his answer would be considered satisfactory by anyone.
He answered the question(s) no he doesn't feel he is demonizing immigrants and that he wants to come in legally and also says we need immigrants to fill the job growth we have. I don't see that as a poor answer.

Would it have been been better if the president said its an invasion because they've already broken through border fences to Mexico saying "Nobody is going to stop us."[1] and if they are seeking asylum they need to follow the process and go to a legal port of entry to file an asylum request not jump our walls in hopes to avoid capture?

[1] http://time.com/5429933/migrant-caravan-breaks-fence-guatema...
https://en.wikipedia.org/wiki/Regional_Internet_registry
Ask HN: How do self-taught developers know when they're ready for interviews?
Thanks. Many people would consider many links as spam as they prefer personal opinions without further facts and efforts.

The videos are already quite concentrated so I doubt that many lines of written text would be beneficial enough.

The main point is that genes are just blueprints for proteins.

Biology of Belief - by Bruce Lipton (full documentary)
https://www.youtube.com/watch?v=jjj0xVM4x1I

The most important factors in life are determined by the social and psychological and external and internal bio-chemical environment. One has much freedom to change and improve these environments.
Results are somewhat variable yes. I’ve had reprinted scans turn up and totally trashed books. Success rate is about 3 in 5 though which isn’t bad considering the failures are quicky refunded.

Some of the eBay sellers are better priced and have better overall outcomes though due to the very short span that hooky sellers last.
I liked XSLT for XML to XML but using it for creating HTML was a nightmare.
IMO the issue isn't MS, really (though parts of the org are still worthy of strong skepticism), it's the cultural phenomenon of a certain generation of developers who essentially eat, breathe, and die by Microsofts product cycles...

There are those argued that any innovation is unneccesary until MS launches a product for it, when it becomes a "must", ad nauseum. I'm talking about the developers who never discovered ORMs until MS pushed theirs, who let their products languish for years waiting for MS to address issues, and move lock-step with them on all fronts.... You've seen major motion with "Alt.NET" groups, and some pretty major internal revolutions based on the displeasure of community technical leaders (and their willingness/needs to hop off of MS solutions), that stem from this dissonence.

It can create some cross-purposes in their tooling when they're aiming at conservative C#'ers who want a unified MS experience and look at no other technical sources... Especially for the Enterprise devs, cloud-native architect, and cross-platform engineers who have clear needs that don't jive with those assumptions.

F# and .Net Core are the only reasons I'm still on their stack. It's a dream to work with, and addresses critical issues of cloud and distributed engineering that previously would have excluded MS and .Net from the discussion. Particularly with scalable cloud systems, OS licensing fees are often show stoppers for NGOs, non-profits, academics, and researchers
Show HN: Find out your market worth and compare
I think this wouldn't work, because you can prove intuitionistically that every finite set is "decidable" using the following ingredients:

- An upper bound N on the size of the set.

- A surjection f:[1,N] -> S where [1,N] is the set of integers from 1 to N.

- Proof by induction that every set S where the above two ingredients can be found is decidable. The induction will be in N. This can be carried out internally in any intuitionistic system.

In the case of SHA-256, there is an upper bound N on the number of 256-bit inputs (which is equal to 2^256), and a surjection f which maps integers to corresponding bitstrings. Then the general lemma I described above is true, and you can prove that there must be a collision.

It doesn't entirely prove you wrong. (I need to do some real work). But almost certainly what you describe can't work. Some sort of induction will probably thwart what you're trying to do.
Interesting stuff! I’m also a little confused as to how you took so much pictures in only a couple of afternoons.
https://en.wikipedia.org/wiki/2014_Kunming_attack

https://en.wikipedia.org/wiki/2013_Tiananmen_Square_attack

https://en.wikipedia.org/wiki/Tianjin_Airlines_Flight_7554

happy to see there is no more such incident in the last two years.
Very senior developers know things that are not intuitive, but very true. So I'll let you in on a few secrets.

"Good enough is always good enough". You probably want to do more than good enough. Those developers you talked about, probably knew the amount of quality that was actually needed, no more, no less.

Clean code doesn't mean "no bugs" and "good software":

- I've seen very cool, popular, money making games that had terrible code (all in 1 C file for example).

- I've seen a terrible mess of code, that was practically bug free (because it was running for years in production). And have seen that same code refactored to clean code by a junior (who thought he would 'fix things'), and introduced a lot of bugs (because that is just what happens when you write code, even clean one, even by a senior developer).

If you deliver a final product (such as a game for example), that will not need extra features, you can hack stuff in at the end. When you would hack code together at the start, you will shoot yourself in the foot by needing to go through your mess all the time. But when you do this at the end of the project, you can save time by adding in quick hacks. The technical dept that you introduce doesn't need to be paid off. Of course you cannot do this with a long running project. But with a deliverable product go right ahead.

The main thing that you have to consider is this: EVERYTHING IS A TRADE-OFF. I see juniors make this mistake all the time, selecting the best programming language, the best VCS, the best whatever. You know, that 'best' thing also has drawbacks. So it's always about making trade-offs, selecting something despite the drawbacks, because of the benefits.

General rule: if something only has benefits, it's probably because you didn't figure out the drawbacks yet.

How to make the proper trade-offs? Experience ;).
Laravel Nova Alternative
I'm not a Trump supporter and don't know a lot about the protocol here, but I've watched the video. Acosta and the President go back and forth several times with the journalist trying to ask (another?) question and Trump saying that's enough. Presumably it's not the journalist's microphone. Is it really wrong or surprising in itself that an uncooperative participant in a shared conversation would have the community microphone taken away? I'd be glad to hear why taking the microphone in this context is truly unusual.

The ban is pretty BS, although I find the journalist's "karate chop" in the undoctored video a tad more aggressive than supporters ever describe it. To his credit he does also say "pardon me."
isn’t f# a second class citizen in .net core ? last time i checked you still needed to install mono to get some sort of autocompletion on vscode. And all the official tutorials were still in C# only.
Learning Agility: Teams, Tools, and Systems
Don’t you get exactly this data with some clicks through GDPR at Google and Facebook?
The spinning up guide is neat, but it seems to assume access to fairly expensive GPU resources for running models.

https://cloud.google.com/blog/products/gcp/new-lower-prices-...

> In US regions, each K80 GPU attached to a VM is priced at $0.45 per hour while each P100 costs $1.46 per hour.

The $300 free tier gets you ~600 hours of K80. The spinning up guide suggests iterating models in <5 min, so that's 7200 iterations.

> start with vanilla policy gradient (also called REINFORCE), DQN, A2C (the synchronous version of A3C), PPO (the variant with the clipped objective), and DDPG, ... VPG...

that's 6 algorithms, combined with a half a dozen tasks to try, whittles it down to a few hundred iterations per task/algo combo.

that, combined with a lot of paper-reading, and perhaps clever blogging is probably enough to get started.

Still, it seems beneficial to democratize DL by making these 5 minute iterations free, doesn't it?
Exactly this. A dev comes all bright-eyed and bushy-tailed and says we can save a week on the project if we use this open source library instead of writing it ourselves. But he or she doesn't see that they are committing the organisation for the lifetime of the project for someone to keep on top of patches, resolve any breaking API changes, even fully maintain it if the original developer loses interest - or ditching it and writing our own anyway. There is a lot of great open source around, but it is by no means "free" when you look at the big picture. This is one of the key differences that marks a senior from a junior engineer. You can see the junior's eyes glaze over when you try to explain it and you know they'll be back next week begging to use something else they read about on Twitter or HN...
> The person bidding for labor and the person offering their labor. If the buyer and seller can't agree then the transaction doesn't take place.

That's the whole point: "the market is willing to accept" only deals that are deemed acceptable to the two parties involves in the negotiation. It takes two to tango. Anyone is free to make outlandish offers but in order to make a deal happen it's absolutely necessary that someone willingly accepts them.
Many of these papers had been featured on HN before:

Neural Episodic Control https://news.ycombinator.com/item?id=13843282

Exploration by Random Network Distillation https://news.ycombinator.com/item?id=18346943

Evolution Strategies as a Scalable Alternative to Reinforcement Learning https://news.ycombinator.com/item?id=13953980

Recurrent World Models Facilitate Policy Evolution https://news.ycombinator.com/item?id=16860247

Playing Atari with Deep Reinforcement Learning https://news.ycombinator.com/item?id=8484313
> Visual Studio is littered with SQL server and Azure tools which doesn't even make sense. Either offer equal tools for all major tech or none, but this subconscious constant selling of their own tools sickens me slowly.

VS works great with other tools (i.e Oracle Db tools) with the same level of integration !
The misconception is the problem, and MS should work on that ...
also checkout:
https://www.technologyreview.com/s/608271/small-reactors-cou...
Can someone report this guy? Went through his comment history and is shilling surveyking 4 times in the past 2 months
Efficiency has always been the smartest and cheapest approach, using lots of tech we already understand. It's always worth mentioning, especially as it's a multiplier of other greener sources.
Javascript number type can be used like 32 bit integers for the most part, including bitwise operators and modulus.

I agree that pure 32 and 64 bit integers would be nice, though. Especially since I have need for 64 bit bitwise integer math. Bigint surprisingly seems to be able to do that, I'm just not sure if the performance will be okay.

But being able to use bigints with binary literals is awesome: 123n & 0b1111n => 11n
The problem isn't big, it's only tricky. Countries deal with orders of magnitude more of even more toxic "regular" waste from chemical industry. Not to mention the (again, orders of magnitude more of) waste coming out of powerplant chimneys, that's out of mind because it quickly gets out of sight.

It's tricky because of a combination of factors like long half-lives and unusual suitability for some of the material to be reprocessed into a weapon (both fission devices for nation states and terror devices for small groups, the latter more thanks to public perception than any actual effectiveness). This creates a lot of political obstacles, as it's easier to pass responsibility to someone else than it is to double-down and implement methods to reprocess, transmute or reuse the waste.
check out this: https://www.technologyreview.com/s/608271/small-reactors-cou...
8×8 has acquired the Jitsi team and technology from Atlassian
I don't think this issue is unique to MS, but thanks to their historical business markets (Office, small-to-medium businesses), and product portfolio the sense is that many Azure services are spider-webs of related products. That feeling that you can't just use a component in isolation, but that other tightly bound products are often the only way to serve reasonable services.

They've made substantial efforts and improvements, so credit where credit is due. I think the broader .Net community needs to pull their thumbs out and take a hard look at why C# OSS has struggled the way it has, and how the ecosystem should be maturing.

The cross-platform, OSS-friendly, orientation of the F# community has been much more reflective of my technical concerns, platforms, desires, and predelictions.
Xamarin.Forms is cross platform (not only mobile, also desktop) while native look&feel. Don't use Electron.NET, that's a waste of CPU cycles.
Coindesk published an analysis of SEC ruling and $388k fine against EtherDelta
Angular made me quit webdev,theming Angular,loading external libraries on demand
It’s an innovation covered by the Virnetx patent. The same happened with Apple FaceTime.
I took my daughter to the polls this year. She had a ton of fun feeding the ballot to the optical scanner and getting a sticker
How do I apply to get my Twitter clone zero-rated?
thanks for your effort, noted.
Chicken Scheme internals: the garbage collector (2014)
Good point. But do subsidies, research funds, and general sentiment support that? I primarily see investment in PV - not solar thermal. Got a preference I can look at suggesting you are correct?
I think the interactive mode is a really neat feature. Looks like this tool fx was likely inspired a bit by jq [1] which is a great library as well. Mainly the dot identity syntax made me think fx might have gotten inspiration from jq. fx definitely seems more approachable to current JS developers than jq. Overall great job on the library!

[1]: https://stedolan.github.io/jq/
Nice landing page! Although the logo seems poorly done as compared with the rest of the illustrations on the website.
Same, although i'd rather the phone replaced the number pad than the touch pad.
> If the only maintainence problem with this aircraft was a broken sensor, then that is almost irrelevant because sensors can break during flight too.

It seems like none of the airplane manufacturers test what happens when sensors go AWOL.

How many more crashes are we going to get because a stupid sensor malfunctioned before someone finally slaps some sense into Boeing and Airbus?
I want to add to that:

> “The problem is, the less-desirable airlines are the ones with the least resources that are scraping the bottom of the barrel in terms of human resources,” said Martin Craigs, the chairman of Aerospace Forum Asia, an industry advocacy group in Hong Kong.

Fuck you, NYTimes Journalist, for including this quote in a story that seems to inescapably point at a combination of Boeing equipment failure and Lion Air's upper management.
checkout fast breeder reactors. This is why I am so excited about them specifically:
https://www.theguardian.com/environment/2012/jul/30/fast-bre...
I strongly disagree. Being aware of any failure mode has nothing to do with anxiety, nor is anxiety associated with a greater awareness of how a system operates. Those are very basic engineering principles. Emotional problems don't play any role on system design.
>> North Korea is stuck in the 1960's and led by an insane idiot but they execute people for using their top offices for personal gain.

That is an incredibly naive point of view on the issue. USSR used to regularly jail/execute people for corruption, so to the outside it might have looked like it was really hard on people using their positions for personal gain.

But the truth couldn't be any further from this - basically everyone was corrupt, because that's how the whole system worked - and the people who were prosecuted were the ones who have fallen out with someone even higher up. It was basically the case of everyone is guilty, but the ruling party would selectively pick people to blame for things going wrong. The surveilance apparatus was very effective and it was trivial to find something on someone, it was just a matter of how hard you looked - and I can guarantee that pretty much everyone had to either take or give a bribe at some point in their lives, because the simplest things in life(like getting coupons to buy food for example) depended on you giving a "gift" to the right person.
Yes, there is of course nothing certain about my statement -- it is a purely speculative guess based on the computational power of hardware available in the world today, and that we are already having some success at using biologically-inspired techniques for classification, which constitutes part of acting intelligently in a complex environment. Sometimes, it's fun to make wild guesses.

Note that there's nothing in this guess about the scale required, but I'm imagining something smaller than the Manhattan project. Maybe something on the scale of a whole AWS datacenter or something like that.

An important factor is the computational power needed to emulate the essence of an intelligent entity that exists in the physical world today (i.e. the human brain & sensory system), as you're getting at in your comment about hardware capability.

(That a human-equivalent or better machine for performing complex tasks in the real world is realizable with Turing-computable algorithms seems more or less guaranteed to me, unless there are physical processes happening in biological humans that are not).
This makes sense, thanks
It's nuclear itself. It's extremely expensive and currently only viable with massive centralized structures. Even commercial small scale nuclear will not work without government funding. The usual user is the military, which is currently the only user of small scale nuclear plants -> ships and submarines.

Nuclear dies not because of 'eco' organizations, but because we've put zillions into it and now the nuclear landscape we got speaks for itself.
How cloud technology impacts the business world
You have to talk to the ISP.
No?

https://en.wikipedia.org/wiki/List_of_air_carriers_banned_in...
The same could be achieved using QEMU/KVM by adding the physical disk path (/dev/disk/by-id/<drive ID here>) as a storage device using whatever method you fancy.

I have used this technique quite a bit and it is very handy in dual/multi boot systems where I need to run the second OS while using my main OS. Or install one to an external drive and use it elsewhere later on.
Depending on how solar turns out in the future, it might be possible to argue that Germany saved humanity by supporting it. I guess we'll see.