skysight-inc/HackerNews huggingface dataset:
Food is artificially cheap in the U.S., by a lot. U.S. factory farming is heavily subsidized--to the point that those farmers basically live off the subsidies.

That podcast guest is shit--food from ecological systems is absolutely better tasting. Ask any decent chef (myself included).

The idea that "organic food theory is bunk" is really hand-wavy. The importance of organic is the emphasis on ecology and soil health. Basically, life is made of carbon. So farms that are rich in life hold onto carbon. Whereas factory farm systems rely on monocrops, pesticides, and fertilizers, which sterilize life. These practices get an initial productivity bump, but end up depleting carrying capacity over several seasons. Subsidies are the crutch that keeps all that going.
HTML has no reduction/evaluation rules and so it can't have a semantics in the same way as real programming languages. You could think of a "layout semantics" relating HTML and a given environment (screen size, fonts, etc.) to the resulting box model or rendered page, but that's not very interesting from the standpoint of totality: we already know that Web browsers are supposed to show something no matter how mangled their input is.
Lots of cool issues http://www.jucs.org/jucs_2
It's here: https://medium.com/self-driving-cars/term-1-in-depth-on-udac...
The problem is when "as much as possible" becomes subjective personal experiences. Basically treating un-aggregated anecdotes as data, while also drawing a line at questioning the validity or applicability of it (aka "just shut up and listen").
I'm only responding to "Political decisions simply don't stand. It's terribly sad." I'm sure we can all think of many examples of good political changes. In fact, I think most people would agree that good political changes vastly outnumber bad ones. Blaming current problems on the entire nature of politics seems a little overly broad. We would not be better off if we froze all politics forever in whatever your favorite year was.
> No it's not, food is expensive in Europe and in Denmark period.

I've travelled around Europe, food is very cheap in Central, Southern and Eastern Europe. It's basically Scandinavia that's expensive.

> Danes spend more than twice the percentage of their annual income on food than the their fellow Americans. Also the purchasing power of a US citizen is about 25% higher than that of a Danish citizen.

Source? I'm actually really curious.
Wasn't aware of this - will check out...
That would be relevant if I particularly cared for Organic food.

But there is tons of food that is neither Organic (certified and pushed by Whole Foods etc) nor GMO.

You know, it's just food. And it's what we've been having for years, and 100% of what we do have now (I never buy Organic anyway, except if it's something not available as general foodstuff).
Oh no not at all! The results are still solid. So, "ploy" isn't the right word, not really. "Stunt"? "Technique"?

I was just thinking - They could have found a way to email or otherwise contact the authors, instead of just posting comments, but posting comments (and getting some news on it) drives more traffic due to scandal effects.

This rabbit hole can go deeper - what if private disclosure was expected to backfire? By surprising people publicly, they're more forced to admit there's an issue; and then by providing both the issue and a solution, there's an easy way at hand to fix it....
Having worked previously in the healthcare sector (both USA and AUS), I must agree. There is zero incentive for vendors to work together to share patient data.

There is a standard for medical data already called HL7, but not everyone adheres to it.

What would work better is if the medical record is a service provided by the government or some public service which takes care of security for you.
Every medical record would then be added to the patient's blockchain record and vendors can read/write to it.

Of course a vendor would have to vetted for security purposes.
The findings of a 2013 report from the United Nations titled, “Wake Up Before It’s Too Late,” say small-scale, organic farming is the only way to sustainably feed the world.

The report they're referring to can be accessed here:

http://unctad.org/en/PublicationsLibrary/ditcted2012d3_en.pd...

That report is not an official statement by the United Nations nor any of its working groups. It's published by a UN committee, but it's merely a collection of papers by individual authors. They say right in the introduction (page 3) that the opinions expressed in it are not those of the United Nations or any of its member States. So it's misleading to call it a "report from the United Nations".

It's not even clear to me which article they're specifically referring to. I only skimmed it (it's 321 pages long) and did some keyword searches, but I don't see a direct "we must do only 'organic' farming or we all die" statement. Addressing concerns like crop monocultures can be done incrementally, without abandoning the benefits of pesticides and genetic modification.

But even then, when you're talking about 'feeding the world', crop yields are the name of the game. And my understanding is exactly the opposite of this article: crop yields under organic farming techniques is lower than conventional modern farming (by ~20% according to http://www.sciencedirect.com/science/article/pii/S0308521X11...). Further, I recall that this gap is below the level to sustain the world's current population.

In other words, by advocating for 100% organic farming, you're intentionally advocating for a practice that will lead to starvation of part of the world's population. I can't see how that's conscionable.
Material things are not cost of living!

You gotta compare apples to apples. I'd rather not have the majority of my paycheck go to housing. I'd rather buy than rent and I don't see that happening anywhere I've looked in Cali.
There just isn't any point to accusing people of shilling without evidence. The idea that one must be paid to hold a different opinion that you is offensive, and expressing it here isn't something the community wants.
10 hours per week
> It's the theoretical basis of much Western politics ("All people are equal")

From the 18th century "enlightenment" period, you mean? Before the 18th century, this idea was pretty much absent from actual western politics. The 18th century is parted from the ancient Greek golden period by more than two thousand years.

Yes, ancient Greek philosophy was influential, but as fsloth says above, you can't just ignore the in-between time and its thinkers. Don't forget either that many of the advances in the Enlightenment came from breaking with the teachings of classical Greece.
I don't think its efficient, just easy. It makes very little sense though. Do you attribute which beer you drink to the sign outside the bar?

I think that its difficult to assess your premise under a last-click model, to be honest. When you look at the history of advertising, its very difficult to believe that a direct response (measurable by click) is actually the whole thing.

I'm pretty sure I've never clicked on a Coca-Cola ad, but I have bought a lot of their product over the years.

I mean, conditional on your experience with the value of Twitter users (for a particular set of clients/services) and a last-click model, I don't disagree with you, I just think that such a view of advertising leaves an awfully large amount of stuff out.

Full disclosure: mobile attribution is hard, there is not standard or even dominant way of tracking views there (i believe) and so for some mobile-heavy/only advertisers better attribution methods are just a pipe dream at this point.
One nice use of the "general recursion monad" idea is "mtac" ( http://plv.mpi-sws.org/mtac/ ), a "tactic language" for Coq. This allows meta-programming, to calculate what a value/function/etc. should be, which is really useful for proof objects (i.e. values which are required for compilation, but have no effect on runtime computation).

A tactic language doesn't need to be total, since it's only run at compile-time, so no errors can leak into the resulting proof/program. The worst that can happen is the compiler hangs.

Coq comes with "ltac", which is a horrible imperative language that leads to very fragile proofs. On the other hand, mtac is just Coq's normal, total FP language ("gallina"). A monad is used to wrap up general recursion, so that gallina can be used un-changed.

During compilation, these monadic values are forced, which either leads to a value or causes the compiler to hang. This is a really nice compromise, since you can write Haskell-style FP code which "obviously terminates", without having to prove that it terminates, you still have access to all of the nice dependent type machinery, and the end result (the program, not the meta-program) is guaranteed to be total (unlike, say, an Idris function which turns off the totality checker).
Kalman Filter via a Simple and Intuitive Derivation [pdf]
That's all true. But despite their other benefits, WalMart has by far the consistently worst produce of any store I've ever shopped in.
Is that deb source line correct? It's listed in the installation instructions as:

deb https://typora.io linux/

`apt-get update` barks out the following warning:

W: Conflicting distribution: https://typora.io linux/ InRelease (expected linux but got )

To suppress the message I ended up changing it to:

deb https://typora.io/linux ./
Isn't that a classic cost of business which they're charging 30% of each transaction to cover? Banks do that kind of thing all the time with things like wire transfers where the fees and delays are, in part, expected to cover the cost of errors and abuse.
I have no idea how to fight the never ending torrent of VC money funding clone after clone after clone.
I don't know how about Austria, but in many European countries there's a separate VAT rate for raw unprocessed food. E.g. in Poland, regular VAT rate is 23%, while it is 8% or 5% for basic food items like bread, milk, butter, meat etc.
Methuselah is the man reported to have lived the longest at the age of 969 in the Hebrew Bible. Extra-biblical tradition maintains that he died on the 11th of Cheshvan of the year 1656AM, seven days before the beginning of the Great Flood.
If you did EE you had to write an entire CPU. It was implemented on an FPGA. It does not take too long. You can do it overnight or a few all nighters. It wasn't do complicated: a 2 or 3 stage pipeline, front end decoder, an PC counter, Registers etc. I don't think we did a MMU. Obviously it was trivial, but a good learning experience.
Using NIFs: The Easy Way – New Blogpost by Hernan Rivas Acosta
>>>Few years ago that was phones,

> ObjC and Java

To defend the parent's point, Objective-C is a pure superset of C. And there are quite a few frameworks on the Apple platforms that are pure C (not Obj-C), e.g. CoreGraphics, CoreAudio, ImageIO, OpenGL, etc.
Yes, but that probabilistic reasoning is applied by humans with feelings which sometimes get in the way of their reason. Wanting to have those feelings simply go away is unrealistic.
It was the key source of info for me during brexit.

I'm told that in Afghanistan it played (plays?) a key role in for aid agencies.
It makes sense to me that prepared meals at restaurants are more expensive. Wages for low-paid jobs are generally higher in Denmark I think. Less inequality. It probably has the side-effect that more Danes cook their meals themselves.
Manage multiple environments with minimal work in AWS
I read the page a few times through and I can't find answers to a couple questions. If someone has already installed the app, can you clarify:

- When I save the document, is it just plain markdown as text?

- If I copy and paste it into an input element in my browser that expects markdown, will it be copying just plaintext markdown?

- What if I copy and paste it into something like Microsoft Word?

If the creator is listening, I have some comments for your site:

- I tried clicking/typing on the opening page before realizing I had to scroll down.

- I eventually found that there were some clickable words that changed displayed images, but it wasn't obvious.

- After finding I could click some words, I expected to be able to click the menu options under 'Accessibility' and found it a bit ironic that they weren't clickable.

On the positive side:

- The moving image showing a user typing markdown in and the text transforming is awesome and looks great.

This looks pretty but I can't see myself using it much, I'm usually writing markdown in vim.

Anyone know of a vim plugin to split the window to a live preview for markdown? It is pretty much readable as plain text, but it would be nice to see a preview to know if I've made an error in the markup.
> Pesticides, yummy.

Organic doesn't mean pesticide free, far from it. Organic farms (especially big factory farms) use pesticides very liberally - "natural" pesticides. They don't have to be safer than synthetics in any way, you don't have to use less, they just have to be natural. So we spray crops with stuff like Copper or (mostly in the past) Rotenone[1].

We've stupidly classified all natural poisons as "non-toxic" and all synthetics as "horribly dangerous". Nature is full of stuff you don't want to spray on your food.

[1]: https://en.wikipedia.org/wiki/Rotenone
Don't forget to estimate and log your work
Of which the city [residents] pays to defend against and pays for any damages.
I think the right way to think about this is the following: scaling "up" is basically over with CPUs. Now we need scaling "out". This means learning how to make use of many more smaller cores, rather than just a few larger ones. Here communications becomes the problem, and indirectly, affects how you design and implement software. Scaling is becoming a software problem: how can you take advantage of 1024 cores with just 64KB or memory each, in a world where terabyte-sized is the daily business?

I think we will end up with systems with 64GB of memory, but which instead of 8 cores with 8GB each, have 1M cores with 64 KB memory each. We just need to lean how to write code that makes the most out of that, which is probably a lot more than what you can do with current systems.

And this Epiphany thing is something like the first step in that direction.

Exciting times.
I think I may be missing the main usecase here but how come I see so many different markdown editors on here all the time? Markdown is pretty simple and easy to read in plaintext, or with simple highlighting so what's the point?

Or am I just being one of those weirdos that's like "WHO NEEDS SYNTAX HIGHLIGHTING YOU SCRUBS!"?
Same when I took a Southwest flight last week. According to the article the guy had turned off his phone just before it started smoking.
In Denmark it's 25% VAT on everything.
"Most of our students use interpreted languages with popular implementations written in C."

Well, guess what? Most of the 'C' code I've written in the last ten years pretty much reflects the selfsame reality - next to nothing is done directly in 'C' but rather as posts of "transactions" to an interface. These may or may not be in text form but it's not much work to make 'em be in text form.

By the way - 'C' is excellent for text manipulation, even using the crufty old library calls.

If you do this and you do it carefully, all the horrors of 'C' become at least manageable. Done carefully enough, you don't even need all the new "safety" furniture.

I blame nobody for not wanting to do this, but can we at least self-identify as "will" or "won't" and behave accordingly? 'C' is no bugbear and your favorite interpreter can't save you from a bugbear that doesn't exist. When problems occur, it's because people didn't take the fifteen minutes or fifteen seconds to prevent them.

I just find myself gobsmacked that people feel so utterly powerless against the language.
Am I the only one who finds the word "organic" stupid? Taken literally, it means that there are no anorganic ingredients, e.g. no salt and no water. Most countries use the term "biological" instead (implying an absence of chemicals), which I find a much better fit.
> HTML has no reduction/evaluation rules and so it can't have a semantics in the same way as real programming languages.

It seems to me that your next sentence addresses this better than I could.

> that's not very interesting from the standpoint of totality: we already know that Web browsers are supposed to show something no matter how mangled their input is.

So isn't it interesting that they do that? I think that the prevalence of scripting languages on the modern web (and, if you like to look farther back in history, the reluctant Turing completeness of TeX) strongly suggests that it wasn't at all inevitable that we would get a total language for web design.

That is, to prove that it is total is presumably not much of an accomplishment, but that it is total is very interesting (and, from the point of view of the success of the web, important) indeed.
I did look at the UNCTAD report a bit, and it's disquietingly short on actual data to confirm their theses. The main thrust of what I read seemed to be focussing on the idea of empowering small landholders rather than industrial-scale farming, which actually isn't all that bad of an idea. But there doesn't seem to be any examination of things like crop yield effects of organic versus non-organic agricultural methods.

Also, on pesticides: organic pesticides are usually more toxic to humans than synthetic pesticides. (This makes a lot of sense: think of the optimization functions used to select pesticides in natural evolution versus synthetic production).

I did laugh on the "more nutritious and tastes better" bit. As you say, most studies and meta-studies find no effect on nutrition.
I tried the suggesting from the comments:

>In your home network:
Turn on ALL your gadgets that you think have connectivity
got to http://whatismyipaddress.com/
and enter it at https://www.censys.io/

Then see what is exposed to the internet.

Seemed ok for my stuff so far.
Well, if you want to be pedantic about it, hot-wire anemometers have absolutely no moving parts :-)

https://en.wikipedia.org/wiki/Anemometer#Hot-wire_anemometer...
That's very common with anything where a company claims fraud is suspected, because they argue that sharing any details will allow scammers and people doing fraudulent activity to figure out ways to game the system.

Google does the same thing when they kill your AdSense account for "invalid click activity" right before you're about to get a big payout. Amazon does the same thing with Amazon Payments. No explanation, no recourse. Infuriating.
Exactly! They should go to jail as well, but well you can't win them all... Clinton should be in jail.
Perfect! That's exactly the kind of thing I was thinking. Sounds like the different scales aren't really 'sealed off' as much as I was hoping, though, and that underlying details are still critical to doing actual work in the field :/ Ah, well.
> > I don't trust Apple to have my best interests at heart.

> Then don't buy their device.

From https://news.ycombinator.com/item?id=12647379:

> I have not bought an Apple device in twenty years
The existence of a second, (even bigger, perhaps) problem has no bearing on the legitimacy of the first problem.
I mostly come from the POV that the last two centuries of industrialization has polluted our thought processes about how production should be handled. Specifically, that we should produce certain goods at all. Like how many smart phone brands should even exist? I know some will say whatever the market will bare but the reality is that the market as it stands is highly subsidized in one form or another. Especially when you consider the price to transport goods is ridiculously low. And I'm not talking about taking bauxite from South America to Vancouver to refine it since they got cheap hydroelectric power. I'm talking making iPhones and other assorted junk to excess. The fact we overproduce clothes and dump them on Haiti and other countries proves my point about top-down centralized industrial efforts (I don't think all top-down is bad, tbf). They can only do that because transportation is artificially low, trade treaties favor the 'Great Powers', and poor countries don't really have a means to defend their markets from predation. Ultimately, it's not that we shouldn't try to automate markets and production but that we should ask ourselves do we need consumerism? I think the answer is no for me. I'd rather have a few good products well made than have the latest LED infested bauble. Get me one good smart phone that I can use for the next twenty years, not many Okay/meh smart phones every other year. I guess that's what I'm getting at.
No, not for similarly skilled writers. And C++ pushes certain pathologies into much more opaque, dark corners.
Knightsbridge+Osteopath
As long as there's life, there's hope.

Some of the current research on Alzheimer's suggests that memories may not be lost, just inaccessible, and may thus be recoverable.
Growing #WomenInAgile – Growing Myself
This already is "what you see is what you get" -- are you asking about some kind of buttons for hints to insert the markup for a certain type?
but you need a DAC for the internal speakers anyway.
Yes, I use :<line number> very occasionally, mainly if I know I need to edit a certain line number in a file and just opened that file. But for regular use the time to type in a line number is just too long since I can't touch type numbers very quickly (when do we ever get practice typing in long numbers after all?).

I use easymotion because it's the fastest way to go from my eye spotting something on the screen to my cursor being there. It's two button presses consistently, you can't really beat that with some combination like 5j$2b, especially since that combo is different every damn time.
In the context of Denmark, Danish/Denmark uses the term »økologi« which is closest to 'ecology' in English.
I'm in no way a Google fanboy: I'm typing this on my Mac, in Safari, which has DuckDuckGo set its search engine. But I think it's kind of nuts that Google could negotiate a tax arrangement with an entity and abide by it in good faith, then have another entity come along and say "your terms are invalid. You owe more in taxes now."

For instance, suppose I were the CEO of a company that negotiated a deal with, say, Utah. I held up my end of the agreement. I'm happy. Utah's happy. Then the US Gov't comes along and says "Utah, you and I agreed that you were going to charge more than you did." Why is that now my problem? I did everything I was supposed to. I don't why if someone has to be on the hook for the difference, then it's me and not Utah (or Google and not Ireland).
A curated app-store should not be considered synonymous with walled garden. android allows side-loading. windows has "install.exe", the microsoft store and steam co-existing side-by-side. linux distros have their package managers, container images and `curl ... | sudo bash`.

Anyone who argues that all users must be herded into a walled garden in the name of security and alternatives are not acceptable is essentially advocating a digital nanny state.
Why even write a book about it? effectively a no-op
> Women flat out effing dominate literature historically
> women in literature are ... highly respected

Let's suppose for a moment that this is true. What would be a useful way of testing this? One thing that comes to mind is the Nobel Literature prize. I found a list of female winners: https://www.nobelprize.org/nobel_prizes/lists/women.html
and it appears that prior to Gordimer's winning in 1991 which opened some floodgates, women won in 1966, 1945, 1938, 1928, 1926, and 1909. That's six in 90 years.
It's (nearly) trivial to write FSM in 'C' that do what regexp do in Python.