skysight-inc/HackerNews huggingface dataset:
Firmly in the low carb camp.

There is another aspect to it though: With a low-fat mentality you can eat anything you like since everything is "low-fat" these days. Low carb on the other hand requires conscious strategic thinking & planning - the average processed product isn't geared towards it. I wonder whether some of the health benefit comes from that: The second I'm tracking & analysing things I automatically eat healthier and better as a result regardless of what exactly I'm tracking.
Seconding Practical Malware Analysis and adding a write-in for The Rootkit Arsenal, which is a very practical guide and walkthrough for building functional rootkits.

I picked up the IDA Pro book on a sweet deal before getting an IDA Pro license and it just makes me sad, since I don't exactly want to shell out for the license yet.
They will acquihire when the time is right. They have absolutely no need to do any in-house tech whatsoever.
Ok, I'm clearly lacking in fundamentals here.

I've seen HoTT seem receiving quite a bit of attention, but after reading a few papers and texts it seems that it's just out of reach without additional introductory material. I got about 50% though TAPL, if that's any indication of (my lack of) sophistication in type theory. I really should pick that up...

Any recommendations for introductory texts?

As a practical matter, what do the mathematicians who don't give AF about set theory (as you say) do? Just assume other axioms that "do enough" adn then go from there?
Thanks a lot!

I saw toptal mentioned in another comment, and their "Why 3%" page is quite unnerving. I don't work at Wharton, MIT, CERN, or Google, and I'm not a Top 100 Django or Rails contributor. Or is this just the 3% of the 3%, and the remaining 97% are more mortal?
A similar trough exists in general aviation—accident rates are markedly higher for somewhat experienced pilots than for beginners. The consensus among pilots seems to be that you are most dangerous between the time you think you know what you're doing, and the time you survive your first big scare.

There's probably a good lesson here for computer programmers...
I think you are on the right track. A lot of diets work if you don't eat too much and generally eat quality food.
>It's incredibly foolish to think you're only trusting mathematics.

Thanks for pointing that out. I suppose I'm guilty of "idealizing" my argument. Still, if the Bitcoin client could somehow be "written in stone", and everyone knew the protocols and source code could not be modified, I think it would be a safer bet to place my trust in a globally distributed network of selfish individuals, than to place it in a loose affiliation of millionaires and billionaires.
"The goal, they said, is to give U.S. Cyber Command more autonomy, freeing it from any constraints that stem from working alongside the NSA, which is responsible for monitoring and collecting telephone, internet and other intelligence data from around the world — a responsibility that can sometimes clash with military operations against enemy forces.

"Making cyber an independent military command will put the fight in digital space on the same footing as more traditional realms of battle on land, in the air, at sea and in space."

So two organizations have contradictory mandates. The answer is to separate them completely so the conflicts can play out in the international arena rather than in a conference room?
I'm not saying it's always a good idea to write exhaustive UI tests but it's nice to have the option. There's apps that I've worked on where you simple must test several business critical UI interactions haven't broken (e.g. logging in, submitting data) before you deploy. Apple getting in the way of automating this without a decent reason is annoying.

What made your UI tests so flaky? As long as the code for them isn't much beyond "enter text into text input X, click this button, you should be able to see this text" they're not too bad to write but the initial setup can be tiring.

> To be fair, the kind of tests I'm proposing won't catch layout issues.

Screenshot comparison based tools can be amazing for this as long as the way your app looks is fairly stable.

Automated testing is always a tradeoff with effort to setup vs the time you save (I'm against e.g. TDD for everything) but for complex apps and big teams it eventually pays off.
Don't let that get to you, they have an intense screening process but after you pass it, that's just it.

I'm 25, I have a degree in Economics and Finance, and no formal computer education. All I have is my self-taught experience.

The first time I tried, for all my confidence, I flunked it really bad, which came as a shock to me. I mean, I knew I was good. The recruiter gave me a timeout and said I could reapply later. The next time I'd studied my butt off, solved advanced level coding exercises and reached 4 Kyu on codewars.com

At that point, I breezed through the exercises, and when I was asked to build a live project, I had fun learning and creating my first React web app.. I'd been meaning to learn React, but never had time before.

Of the dozens (dozens!) of people I've referred to Toptal none have passed the screening process. However, I strongly believe it's because they didn't push through it. I know the screening process itself can be beat if you take the time to improve yourself.

Besides, on the other side of the screening process is the greatest community of Ninja developers I've ever seen in my life! Anything I have trouble with, I can discuss on our community chat. I've never been part of a community like this before. And the clients are absolutely brilliant, since Toptal screens clients too!
I think you have won this discussion :-)
Do you mind sharing the number they used?
You can tell someone is copying someone else's work when they copy the bad stuff. The search box on GitHub and now GitLab wastes space with "This repository" spelled out. It's also odd that you get more space to type when you're not searching inside of a repo, and that backspace is how you switch to a more general search. Pity. I thought that GitLab had learned their lesson and stopped copying GitHub.

Aside from that, it sounds like a well thought out feature, and it's good that they're redoing it instead of just changing it bit by bit.
The S&P 500 market cap is also 600 times bigger than Bitcoin. Your complaint is equivalent to complaining that Apple ($786B market cap) gets more press for blowing earnings than First Merchants Corporation ($1.64B market cap).
Identities of NSA Developers Exposed Through GitHub
Oh wow, I really liked that Garden and the Stream idea. I only just skimmed it, but I can see my self doing a very deep dive on that and getting a lot of clarity on some of the ideas I'm having.
Sadly political and religious leanings shade both the quality of schools as well as the perception of schools. Have a school district with good curriculum - strong science, math, history. Good health hygiene (ie, sex education) and then ask people in the district who are various degrees of left wing and right wing as well as highly religions and you'll get plenty of "Our school stinks because they teach ... [insert whatever historical or science which the particular group opposes].

Not that I have any big solution - local school district regulations are important. I think there needs to be more regulation and contribution from other sources to balance out the issues.
What's an effective way to learn a new programming language?
You've got a "9-5" job and a family waiting for you at home. There's probably 2-3 hours of freedom, how would you use that time to learn a new language? With the idea of switching career paths - going from PHP to Clojure/Scala.
Telecom Italia is well-known to manage noteworthy pilot projects.
But the company often fails in making these excellences the norm.

For the mobile network:

- the coverage of 4G is ... scarce

> In Italy, almost all of the population can benefit from mobile Internet connectivity services over the 2G network, namely Global System for Mobile Communications (GSM), GPRS (General Packet Radio Service) and EDGE (Enhanced Data rates For GSM Evolution). Next to the full coverage is HSPA (High Speed Packet Access) technology, while the implementation of HSPA + (HSPA Evolution) and 4G LTE (Long Term Evolution) solutions is still to be completed.
[https://www.sostariffe.it/news/copertura-rete-mobile-in-ital...]

- the practice of trying to force users into accepting bundles that include online streaming of music and/or movies, subscriptions to the fixed network, newspapers, movie tickets, various amenities is hated by many. [https://www.tim.it]

- not having a internet-dedicated monthly fee is a lack, especially given the exaggerated costs in exchange for a low data threshold

For the fixed network:

- having a guaranteed minimum bandwidth is a utopia and the real upload bandwidth is around 20% of the declared

- the depeering has been dictated by anti-competitive strategies rather than technical reasons [http://blog.bofh.it/id_432]
That's great. Even 3G/4G in San Marino has been rather flimsy so far.
Earn daily 10$ without investment
i will tell you about bestchange, Bestchange is old site, working since 4-5 years.
best change is currency exchange website , In bestchange their is a affiliate program,
for every unique user you will earn 0.35$. Minimum withdrawal in bestchange is 1$.
Just share your referral link with your friends and earn 0.35$ for every registration.
No need to invest, simply register to this affiliate program and start your earning today.
https://goo.gl/CzZgsc
Smoke alcohol? What?
What's the point of "serverless" if you're going to run your own servers for it? (Honest question, no snark intended.)
"In the end, “low-carb” meant about 30 percent carbs and 45 percent fat, while “low-fat” was about 29 percent fat and 48 percent carbs."

Does anyone who advocates a low carb diet consider 30% of calories from carbohydrates "low carb?"

In a 1600 calorie diet (likely calorie restricted), that would be 120g of carbs.
Alright, so from my perspective, curve fitting consists of three things

1. Definition of a model. ML models like multilayer perceptrons used a superposition of sigmoids, but newer models have superpositions of other functions and more nested hierarchies.

2. A metric to define misfit. Most of the time we use least squares because it's differentiable, but other metrics are possible.

3. An optimization algorithm to minimize misfit. Backpropogation is a combination of an unglobalized steepest descent combined with automatic differentiation like algorithm to obtain the derivatives. However, there is a small crowd that uses Newton methods.

Literally, this means curve fitting is something like the problem

min_{params) 0.5 sum_i || model(params,input_i) - output_i ||^2

Of course, there's also a huge number of assumptions in this. First, optimization requires a metric space since we typically want to make sure we're lower than all the points surrounding it. Though, this isn't all that helpful from an algorithmic point of view, so we really need an complete inner product space in order to derive out optimality conditions like the gradient of the objective being zero. Alright, fine, that means if we want to do what you say then we need to figure out how to compile these facts into a Hilbert space. Maybe that's possible and it raises some interesting questions. For example, Hilbert spaces have the property that `alpha x + y` also lie in the vector space. If `x` is an assumption like Galilean invariance and `y` is an assumption that time and space are isotropic, I'm not sure what the linear combination would be, but perhaps it's interesting. Hilbert spaces also require inner products to be well defined and I'm not sure what the inner product between these two assumptions are either. Of course, we don't technically need a Hilbert or Banach space to optimize. Certainly, we lose gradients and derivatives, but there may be something else we can do. Of course, that would involve creating an entire new field of computational optimization theory that's not dependent on derivatives and calculus, which would be amazing, but we don't currently have one.

From a philosophical point of view, there may be a reasonable argument that everything in life is mapping inputs to outputs. From a practical point of view, this is hard and the foundation upon which ML is cast is based on certain assumptions like the three components above, which have assumptions on the structures we can deal with. Until that changes, I continue to contend that, no, ML does not provide a mechanism for deriving new fundamental physical models.
I use 2FA on Humble Bundle. In order to log in, I have to solve several captchas.
I then have to solve more to buy stuff.

All in all I have to solve the captcha 5 times or so, each time involves marking multiple images.

What sense does this make?

Either they trust the captchas (then they only need one), or they don't (then they should remove them). I've complained about this to them in the past but they haven't changed it.
YouTube doubled in hours of video watched last year going from 500m to 1 billion hours daily. FB total video is 100m hours. So Google added 5x FB total. Netflix was about 128 million hours daily.

So Google should get to 1 out of 3 pretty quickly.
I think another great issue in this saga is the part played by the National Egg Board. This is a publicly funded organization whose mission is to promote the use, sale, and consumption of eggs; i.e. the "incredible edible egg" campaign. The National Egg Board is supposed to be neutral - after all it's publicly funded - but instead it was actively trying to thwart Hampton Creek, and use its position to damage sales.

Checkoff boards can be very interesting when they get involved in approving one company over another.

Full Disclosure: I love Just Mayo, but don't buy it because it's a bit pricey.
Feather Rents Furniture to People and Businesses on the Move (YC S17)
Well, to be clear, it's fly login --team-name internal --concourse-url https://<url> -k (I think)

Vs just going to the jenkins UI.
A Dyson Sphere is impractical and not viable.
I enjoyed the post, but think I would've gotten more out of it if the title was more congruent with the content. I was expecting a lament or postmortem (which hooked me in), but the story was more like an exultation. Congrats on your success, I hope your upcoming book will help more people fruitfully pursue their dreams.
How Toptal screens and selects the top 3% of freelance talent
Sold their products. You can likely find them on the grocery store shelves right now.
PISA is the best, administered by the OECD:

Examining the US results: http://www.compareyourcountry.org/pisa/country/USA?lg=en

The PISA site: http://www.oecd.org/pisa/

Just an example: my son went from a California school to Berlin -- he needed tutoring in English to catch up. He went back to a highly ranked competitive private ("college prep") school in Silicon Valley and found the math he was given in grade 8 was stuff he'd had in German in grade 6.

History was much rote and dogma, just like my mother's Asian education. True questioning got in the way of meeting the all-important UC curriculum requirements.

And it's worse in the Palo Alto public schools (which are, shockingly, considered some of the best): from talking to my friends and their kids, it's all "teach to the test".

If I wanted that I'd have sent my kid to school in Singapore.
They don't mention anything about the central topic of the article; the man who was stuck in the cave. If they had any sort of emotional reaction to the article, I imagine they would have said something about it.
Ask HN: How many of you live in NYC and do remote contract/consulting work?
This is something I've been wondering for awhile - how many people here live in (or close to) NYC and do remote contract/consulting work? The clients can be anywhere, but given NYC's high cost-of-living, it seems like you'd need NYC or California clients to make a comfortable living. Can anyone share their experience?
I think the real interesting diet at the moment is Whole Food Plant-Based (WFPB). It is a low-fat, high-carb, fully plant based diet, that does not prescribe going "raw only".

Many have great results on this diet without counting any macros.
Of course there are many more, but if you could build the one true package manager for all the major OSes, my guess is that the smaller ones would join the fray.
The goal is to put the U.S. Cyber Command under military responsibility so that Trump and his military can launch cyber attacks as well as "detect" attacks and blame whomever they wish. Although folks are usually down on the NSA they are a civilian organization and the primary source of cryptographic and other electronic analysis.

I think cyber attacks are going to be the next decades Drone Attacks. However it's pretty hard to cover up a town wiped out by drone attack it's much easier to cover up a town crippled by a cyber attack.

Unless we think the current administration has any scruples about such things?
Women engineers get real about the worst sexism they’ve experienced at work
Low carb generally would be <50 grams/day.

Though most enthousiasts on keto aim for <20 grams/day.

So you're right, 120g is still very high. And can basically be accomplished with just not stuffing yourself with bread, pizza or fries.
How does owning stock lower your auto insurance premiums?
Why did Apple remove the use of iCloud password from local OS X logins?
Some time has passed, but couldn't find any news about the change. a number of weeks ago, i was prompted to no longer us my iCloud password for my local user login.
I'm not sure where your hostile tone is coming from -- I prefer reddit to HN, and don't have any issues with them being (more) similar. I only used that as a descriptor for his stories because I've heard that used as an explicit reason for people having downvoted/flagged similar types of posts in the past.
What technology did you build them all with?
Can you give a link to your blog? Would love to read about your take on knowledge management.
I'm currently working on trying to create a personal knowledge base using a graph-based approach. I wrote a prototype a while back which is running here: https://www.geist.fyi/ with an accompanying blog post https://hackernoon.com/building-a-open-source-personal-knowl.... I'm currently working on making this into a full product and am doing a complete overhaul. I'll write more about personal knowledge management in the future.
Their Github README is more descriptive

By running Bisq on their local machines, users form a peer-to-peer network. Offers to buy and sell bitcoin are broadcast to that network, and through the process of offering and accepting these trades via the Bisq UI, a market is established.

There are no central points of control or failure in the Bisq network. There are no trusted third parties. When two parties agree to trade national currency for bitcoin, the bitcoin to be bought or sold is held in escrow using multisignature transaction capabilities native to the bitcoin protocol.

Because the national currency portion of any trade must be transferred via traditional means such as a wire transfer, Bisq incorporates first-class support for human arbitration to resolve any errors or disputes.
Australian bride-to-be shot dead by US police after 911 call
If you're hard-forking, you can increase the recalculation rate for a few first new blocks. You can even recalculate every block for, say, 1000 or 5000 blocks .
Note that Martin Sústrik is a programmer, not a linguist. Larry Wall (creator of perl) is a linguist and a programmer, and has written on the topic[0]

[0]: http://world.std.com/~swmcd/steven/perl/linguistics.html
Core is one of the best managed team I know of: they stay true to the most important feature of bitcoin: decentralization. They do this on many levels. What most people don't realize is that Bitcoin is the best method for storing value even in it's current form, without any protocol update. Also value storage is the reason why Bitcoin is hyped so much, and why it's so emotional for people to talk about it.

Any update to the network that is able to take away from it's value storage characteristics is bad, and core deeply understands this, unlike many other teams.
> The argument for "maths" is that mathematics is plural.

No, mathematics is uncountable, not plural. I've always assumed it was because “math” is a distinct noun already, for a mowing of grass (were mathematics, and hence maths, plural rather than uncountable, there'd actually be more potential for confusion between “maths”, the short form of mathematics, and “maths”, the plural of “math”, which is avoided because uncountable nouns are grammatically treated as singular for most purposes, like subject/verb agreement; conversely, there is opportunity for such confusion with “math” as the short form. Admittedly, “math” for a mowing is rare enough in current usage outside of modified forms like “aftermath” that that's not big deal now.)

> You wouldn't shorten software to "softe" or equipment to "equipe"

Well, sure, because the long form of latter doesn't end with an “e” and equipt is already the related adjective form. Though shortening equipment as “equip’t” is something I've encountered (the apostrophe makes unambiguous that it's a shortening and minimizes confusion with the adjective.)
Actually the film lab (owned by Romero) forgot to put a copyright on the release prints. Not sure "placed into the public domain" is exactly accurate - more like the file was not correctly copyrighted so it lapsed into the public domain".

In any case they fixed that with later releases but that's why a lot of the versions you see on TV are so crappy looking.
Using a low carb diet, i lowered from 90kg (198lbs) to 68kg (149lbs) in 6 months.
And im still in 67-69kgs.

ps: i do zero exercise, just because i can't.
Rather than trying too hard, just learn Emacs incrementally. It's modeless by default, like TextEdit.

You can get a lot done with a few commands: c-F (forward), c-B (backwards), c-P (previous line), c-n (next line), c-S (incremental search -- the primary motion command for most people). Find and save files (c-x c-f and c-x c-s respectively). Once you are comfortable with that, every new command simply adds to your abilities. There in no large bolus to learn in order to become productive.

Disclaimer: I've been using, and modifying, Emacs since the late 1970s -- but this is how I learned too.
Astronomers don't know what's causing these weird radio waves from a nearby star
I think that the actual theory was phrased as a “swarm of megastructures”. While also "impractical and not viable", a Dyson swarm would be less so than an enclosed sphere.
Google Robot factory raises sterile mosquitos
I understand. My point is, why do they need an emotional reaction?
And I would argue that if you ever want to productize something like this in volume, you might want to go with a BeagleBone Black/Green instead.

You cannot but the RaspberryPi chips, while you can very much buy all the BeagleBone Black chips and make it yourself, if necessary.
Something simple? You approach seems to be simple, not mine. Can you use that system as a security alarm and send push notifications to your phone? My system can. There are different approaches, don't underestimate others different than yours.
This was very different than what I expected. I thought it would be closer to https://hq6.me
This is evergreen:

https://en.m.wikipedia.org/wiki/Hubert_Dreyfus%27s_views_on_...

See also, if you can, the film "Being in the world", which features Dreyfus.
Bright (YC W15) Is Hiring Its First UI/UX Designer in SF or Mexico City