skysight-inc/HackerNews huggingface dataset:
While it's clear that nuclear is uneconomical now and in the near future, it's still not quite clear to me if we can do without it.

Solar and wind are great, cheap options right now, and they've really outperformed what people expected over the past few years. Is there enough potential capacity of solar + wind + hydro to meet total future demand though? Are we going to run out of land and coast first?

If we're going to reduce our carbon emissions enough by 2050, we need to electrify heating, industry and transport. That's going to increase electricity demand by a lot.

Carbon capture and storage is pretty clearly dead. Tidal lagoons seem like they're also just too expensive. Neither fusion nor alternative fission technologies will be up and running in time to make much difference to the 2050 target for 80% reduction from 1990 levels (UK specific).
What is the obvious answer? It's obvious to me that my ailments and sickness aren't unique to me and there is no point in claiming they are. While bad actors can cause social damage with leaking healthcare details that points more to the issue that healthcare is taboo in society. Security through obscurity is no way to live.

Healthcare is obviously not personal, it's something we're all in together. Turning healthcare into a me vs them survival game isn't healthy but is the current capitalist solution.
FYI: I've started work on an alternative to markdown called texti (text with instructions). It's really more of an evolution e.g. some deletions, some additions, some changes. See some examples at the project site - https://texti.github.io
That is a really cleaver idea. How come the drugs don't kill the spwem?
Every year I see hardware folks write breathlessly about how good the performance of Apple's AX chips. In retrospect, seems like Apple is pulling a fast one: amazing performance, but only while the phone is new (coincidentally, when all the benchmarks get run). I'm curious how this will impact future reviews of iDevice performance.
So why should negative values be truthful, if it's a simple analogy with the real world?

Do you owe anything if you have 0 apples?
Debuggers/inspectors are great, but they absolutely do not serve the same need as documentation, and any language/community that recommends the former in place of the latter should be considered suspect as to the quality, reusability, and extensibility of its creations.

> Why read docs when you have irb and can pretty much inspect everything you need?

Because irb is another tool I have to learn how to use if I'm new to a language.

Even if I already know the tool, I have to learn how to get the inspector to my code in order to inspect it in irb. That can be quite hard if I want to inspect an object that gets described and constructed during the runtime of a big "harness" I don't control. How do I get the inspector to run precisely where I need it to? In most situations like this, the code I want to inspect is itself running in a new process, or on a different server, so "just drop a breakpoint in", while possible, is far from easy advice to follow.

And all that is assuming that the inspector's output, when I get it, will be at all useful! What if the code I want to inspect is highly dynamic, and has different object "shapes" at runtime depending on subtle differences in inputs? That kind of code isn't obscure in ruby land--I've seen common situations where inspection is at best a waste of time and at worst actively deceptive in Puppet, ActiveRecord, and various RSpec-ish frameworks. That's not to say their code is bad; just that it's a really bad idea to assume that a inspector can double as a documentation authority.

The alternative--textual documentation--is absolutely essential and cannot be replaced with a debugger/inspector. I already know how to read English (or doc-language-of-choice).

To read documentation, I don't need to learn a new tool (designed for prototype testing and debugging; probably not the first concerns on my mind if I'm at the "check the documentation/API reference" phase of development), carefully construct a contrived runtime context to reach my code, extrapolate the output as intended for the runtime back into something human-intelligible, and then pray that what I found is the right output, or is in any way representative of what my code is going to actually encounter when it runs.
Robots do chin-ups, push-ups, and sit-ups for the sake of science
I don't think his point was that Markdown even sucks. I think, rather, it's that a lot of people don't know HTML and find rich text much more intuitive, despite its weaknesses. It's sort of the 90/10 rule; Word is good for 90 percent of people, but the other 10 percent are driven nuts by it.
For some reason most of us are too afraid of just going home at 5:00 much less asking for reduced hours.

My whole working life, I've never used an alarm clock, and I never stayed late unless I was late on a commitment that I made. (This is not the same as some artificial deadline dreamed up by someone else.)

I come in late, go home early, sometimes I don't even show up—whatever.

If you do this consistently, and deliver in your role of course, people will get used to it and they'll stop bothering you about it.
free university, public transit, health care, old age payments, pensions. But the tax rates are higher so 55k is really 32k. You are better off working part time in the US.
With SunSed you can create your own custom HTML tags and abstract all the CSS and JS then use Sundown to call that tag (or the HTML syntax).

<s:tag name="note">
<div style="color:red;">
Note: {{@content}}!!
</div>
</s:tag>

And then call your new tag using the HTML syntax or Sundown:

<note>Sundown is awesome ;)</note>
:note Sundown is awesome :)
Glad you saved me the time to read it. Ultimately I think the world can tolerate and in fact needs more examples of coming together despite adversity
My native Norway is much like Germany with respect to unions and speaking with my American side of the family, and following American news I get the strong impression that laws protecting people's right to unionize are VERY WEAK in the US.

They are also designed in ways which makes people end up resenting unions. I register a lot of union hatred in the US which simply doesn't exist in Norway. Part of the reason seems to be from how unions function in the US.

You are either a union shop or you are not. People are forced to join the union or they are forced to not join it. People don't like being made to do things. In Norway it has always been free choice to join a union. There is no such thing as a "union shop".

Unions in the US also don't seem to hold much power except in its ability to sabotage the company, and so that seems to be what they do. In Germany and Norway unions are more like partners with management. They are on the company boards. They can't be ignored as easily as in the US. To be heard in the US, it seems like unions have to cause trouble. I think this creates a very unhealthy union environment and creates a bad reputation for unions.

Unions in Norway form hierarchies so that you huge national unions which together with representatives for employers negotiate work life in Norway on regular basis.

The other part I think is that Norway and Germany has quite extensive welfare systems, so unions are not as actively protecting particular jobs as they are trying to protect people. Losing your job in Norway or Germany is not the same catastrophe as in the US. So people are more accepting towards it. Instead what people want to see is things like job training and aid to help you get a new job.
As someone working in this space, there is a massive disconnect between the engineers and the medical providers. One has never been in clinic. The other never took linear algebra. To stand with a foot in both worlds is utterly fascinating.
Aah. Cultural problems are different. What's the main issue there?

Making a Python language plugin wouldn't be hard though.
Cash Might Be King, but They Don’t Care
> I feel like Jeff Atwood and his friends abandoned the Commonmark project that tried to create a universal specification of Markdown. Even if they did, I don't think that Github, Stackoverflow, Reddit and other major Markdown users would ever convert.

The CommonMark project has not been abandoned; the CommonMark C parser was implemented on GitHub earlier this year and is used to render Markdown across all repositories: https://githubengineering.com/a-formal-spec-for-github-markd...
We received a toy monkey from a friend when my son was 11 months old. Soon, it turned into his favorite companion.

Being cautious, I tried to buy another one but it was out of stock everywhere in the Western Hemisphere. I finally found it in Tokyo at an importer of specialty American toys who would not ship internationally. They were extremely polite but refused to budge.

Thankfully, via a similar and very cheaply priced proxy service we soon got it. To this day it is still sitting in it’s packaging, as the original is still safe and sound.
I'd love it if this could be the default in browsers. I want to select individually which sites should be allowed to store any type of state.
Is there really a concern about running out of land/coast for power generation? I feel like there is a lot of space left.

The bigger issue to me seems to be the move from production we can control to production on nature's schedule. Nuclear plants can "just" "throw another rod in" and generate power as needed.

The promise there appears to be a distributed approach. Getting people installing batteries in homes as standard could make it so buying electricity when it's being produced rather than when you need it is the norm. The economics incentivise this and hopefully the tech is getting there. Combine that with the likely move to everyone having an electric car (read: giant battery) sat on their drive doing the same thing half the time, and maybe that problem is being solved.
I once watched an obscure online course by some Canadian lawyer with a similar method for writing books that way. Wasn't by any chance your inspiration?
Thanks! We've updated the title from “Firefox Stuff”.
It's worth noting that DeepMind and Royal Free have revised their agreements to address the initial complaints, such as those this paper addresses (note, this paper came out in March).
Actively doing something that predictably results in 7.6% less traffic to your profit generating website seems quite the questionable business decision.
Author here.

> Maybe I'm missing the benefit here

Sundown is useful because it lets you abstract your custom server-side HTML tags. In other words, you can extend the language very easily.

For example, you can create a tag called "note" and use that instead of repeating HTLM, CSS and even JS:

<s:tag name="note">
<div style="color:red;">
Note: {{@content}}!!
</div>
</s:tag>

And then call your new tag using the HTML syntax or Sundown:

<note>Sundown is awesome ;)</note>
:note Sundown is awesome :)

Result:

<div style="color:red">Note: Sundown is awesome :)!!</div>

Sundown is just an HTML preprocessor (like Markdown) once it is transformed to HTML it's the SunSed language that compiles all the custom HTML tags to executable format.
Previous discussion: https://news.ycombinator.com/item?id=15966607
They're even worse because there is a penaltt cost of calling them out if they cheat you that business doesn't have. If they're going to cheat you they don't care about it but you do. There are all of the other grey area actions like "was stolen".

Eg think of anything a shady or just incompetent relative might do, same thing here.
Several of these recent studies read like the brain has specs, like a fancy GPU.

Scary thought but I guess at some level it had to be true.
I think that's a little unfair. It gives a fair bit of context that probably is unfamiliar to most readers.
Firefox, Chrome et al exist to serve ads. That's where they get their funding. That's who pulls the strings. Turning off cookies would kill that model for revenue.
You're not the first I've heard going this route... +1
Very nice article. It is so refreshing when someone who really knows what they are talking about writes in the popular science writing style. As a post-doc in a related field of cog neuroscience, I give the article my thumbs up.
Apple iPhone X Demand Limited, Wall Street Analysts Say
Meditate as much as you can. Being in the present moment lets you notice your thought patterns and impulses that you act on and puts you back in control. Art of letting go. You don't loose anything if you are not on a Facebook for a week. You don't loose anything by leaving your phone home for a day. Water still flows and birds still sing. When was the last time you saw the sun setting or felt the wind in your face, mind empty, being the sun and wind? When was the last time you really tasted your food? I am speaking to you! Just relax for a while, world will continue spinning without you thinking about it. We all are just a drops of water falling from the heron's beak.
Not sure why you were DV'd. We all have some insight on events that happened a long time go and yours is not unreasonable.
You have to consider the wealth of respective countries and cities. E.g. my native Norway which is more similar to the US in GDP per capita has developer salaries closer to the US.

Not only is Germany poorer than the US, but Berlin is among the poorer cities in Germany. Hence I don't think it says much about the results of unions.

Norway has equally strong unions as Germany and close to 80% of Norwegian workers are unionized.

I am pretty sure that if you compared to developer salaries in a richer country such as Switzerland you would also find much higher software developer salaries.

And then there are national peculiarities. E.g. more developers in Germany than in many other European countries might be associated with manufacturing industry which doesn't necessarily value software developers as high as a more startup like scene.
the Jeff Dean of the rap game...
You can use L-systems to make music in TidalCycles

https://github.com/tidalcycles/Tidal/blob/67c344884dec661470...
https://css-tricks.com = SEC_ERROR_EXPIRED_CERTIFICATE

oops
I'd imagine that it's useful to be able to share a data context between a route-handler, for example, and it's rendered template and the embedded client side "scripting" that may be quite extensive these days.

("scripting" in quotes because of how rust embedded in the html templates can be so much more than logic-less templates- a bit like a server side template, the dom, and clientside javascript all in one- and I'm just guessing, but because it's not dynamic, but compiled, nonetheless safe even though logic is in there...)
You know each of the places I listed was because it is a unique shopping "experience" beyond the goods sold. From the layouts, history, locations and the people that work there.

I'm sorry you are not impressed. I'm sure nobody will mind if you don't visit.
Benchmark?
Sed here.

Thank you very much!

> Are you planning on opening the source to Sundown?

Sundown is just a HTML preprocessor implemented in a few lines of regular expressions! I actually planned to open source it before writing the article but did not have the time.

However, I'm not planning on open sourcing the SunSed language compiler (the part that allows you to create custom html tags). But I will open source all the tags and libraries here:

https://github.com/sunsed
"unfair distribution of wealth"?
What is wealth?
If you offer me something that meets my needs, I will feel grateful and offer you something in exchange for it. You have earned that wealth. If you are really good at meeting the needs of others, then you will be better at earning wealth. There is nothing unfair about that. You do not deserve to be looted and I would defend you from the looters.

It is true, that amongst the looters some are significantly more successful in their looting than others. They attain power and use that power to further their looting. There is no disputing that. I agree with you.

I am simply suggesting that generalized looting is not a solution which will ever yield a corruption free system because looting itself is the problem. There is plenty of evidence from the past hundred years to support that conclusion.
I agree with the first missing feature as you state; I just don't know how much value-add those features actually add in real world apps - often people use them in weird and unintitutive ways as well. F# has other features that other languages don't have as well. I find the workflow syntax eliminates some of the need for the first; and I find I can write functions that work with most numeric types at least a lot more so than C#/Java/etc. As a simple example the in-built F# library comes with functions that work on most number types (e.g SumBy works with anything that supports (+) including my own types). Sure there might be advanced examples that I wish I could do but they don't come often. I do find F# more concise, generally less "smart" and more explicit than Scala code which I think is a good thing. I've seen some funky Scala code in the past. Ease of code/learning/etc, and a maintainable codebase at least for me trumps features most of the time.
:wonders what the women believe:
Social trust and cohesion, a unified set of values that every member of society agrees with.

> How come that many western states fare better than other countries

Because Western societies are by and large the product of 19th-century nationalism. The ideal has always been: one nation, one people, one language, one state. If you steal from the public, you are also stealing from members of your own 'group'.

If you don't view other members of your country to be part if your own social group, then of course it's much easier to be corrupt. You can see this happening in India in particular -- everything is drawn along lines of religion, ethnicity, and caste. The same thing is happening to the US.
How I use Karabiner app to rebind all keys
Ditto.

"This server could not prove that it is events.ccc.de; its security certificate expired 42 days ago. This may be caused by a misconfiguration or an attacker intercepting your connection. Your computer's clock is currently set to Monday, December 25, 2017. Does that look right? If not, you should correct your system's clock and then refresh this page"
In Firefox: https://i.imgur.com/DtI419U.png

uncheck "Accept cookies from websites" and then individually set your allowed sites in "Exceptions"
> At one extreme lies the systems of formal proofs that encode proofs and theorems in an almost unrecognisable language “known only to a bunch of monks that live on a mountain"

I haven't read too far but I think this refers to the "classic" perspective on proofs which described in "Social Processes and Proofs of Theorems and Programs" [1]. The idea being that proofs should be derivable from first principles even if they are not in practice. This is in contrast to the "probabilistic" perspective which supposes that proofs are only ever "likely" to be correct.

I do a fair amount of work in Coq now and I've done extensive (first order logic) hand written proofs for the same material. So I guess I fall in to the classicist camp. There are a few things I like about this approach as I've experienced it:

Obviously there is no doubt about whether I've proven something. Or at worst there is an absolute minimum of doubt (down to the trusted computing base of Coq and CoC).

With a proof assistant I can easily play with my proof environment and try things out in the same way I do when I'm programming. I suppose this might also be true for more informal proofs but Proof General [2] makes it easy and enjoyable.

Most importantly, I can provide my encodings and proofs as a "library" that others can consume. At first glance this seems to have nothing to do with a classical view of proofs if they exist on paper, but I find higher level proof descriptions in papers hard to consume. Even when the proofs are in my area of expertise. Reading the mathematics fully laid out can be tedious but it contains all the answers to any questions you might have which can't always be said of more informal proofs.

To be fair, my area of expertise (PL) has extensive existing work in Coq and the tool works really well with these kinds of large but "shallow" proofs.

1. https://d1b10bmlvqabco.cloudfront.net/attach/ixkltd3cjy12bv/...

2. https://proofgeneral.github.io
You're spot on for Chrome, but I don't think you're familiar with Firefox and the Mozilla foundation.
The DOM is unrelated to Javascript.
Thans for the suggestions. I have contemplated this as well. It always puzzled me at work as a software developer how we had more sales people than developers. It just seems wrong that we have more people hired to sell the software than make it. Then you got all the guys doing marketing in addition and the ones managing all these people. You end up with a lot of stuff surrounding the core value creation.

A lot of this is really just need because we live in a free market economy where we need to sell stuff to people. We can't just give it to them if they need it. OTOH how would be allocated resources effectively if we did not have the market.

The soviet approach seems to have been a big failure. Although I suppose wit the internet, computer, crypto currencies etc, there might be other ways of organizing labour and allocating resources.

At least I wish people would acknowledge something is fundamentally wrong with how we organize society today. Unless we do it is hard to pour resources into finding alternative ways of doing things.
Andrew Ng: The state of artificial intelligence [video]
Rust's way of doing this is nice. It allows you to extend core types (e.g. add methods to integers), but in order to use the added methods you import the trait that adds them in the file you want to use them in (so you can always have a good idea of where they've come from)
https://zeronet.io perhaps? Bitcoin public address that can be mapped to a *.bit namecoin domain.
I want more.

https://www.youtube.com/watch?v=ITs-YX1yQ7o
Yes, still going. The top competitors are wicked fast. When micromouse started, you could get an 8-bit microcontroller with a 1 MHz clock and just squeezing all the hardware into the footprint was a challenge, and having enough ram to represent the maze. Now you can easily make a small, fast, 32-bit ARM Cortex mouse that is small enough to take diagonal zig-zag portions of the maze in a straight line.

The maze is painful to set up, though. Our local robot club got together and a bunch of us each bought a kit that allows building a 5x5 maze, which is good for training. We can construct an "official-ish" 16x16 for competitions. I've been involved in set-up/tear-down a couple of times, and it is royally annoying and time consuming.

A quicker maze that is much more portable, and in terms of software, a conceptually identical software challenge (until you reach the level of diagonal short cuts) is to use electrical tape on linoleum floor tile to build a wall-less line-following maze. In the US, cheap lino floor tile comes in 12 inch squares. Cheap black electrical tape is 3/4 inch wide. We make a line-following maze out of that. It is quick to set up and tear down, and provides a good challenge for getting started in robotics. Linoleum tile is surprisingly heavy to cart around, but it is not unwieldy. It is totally practical to take a few minutes before a club meeting to deal out a random maze, which no way can be said for an official micromouse maze.

[edit]
found a link to our rules
http://slideplayer.com/slide/9202003/
Tencent's biggest investments in 2017
The default change detection can cause the whole page to redraw. Especially if you have a lot of data. It gets even worse.
What are people getting out of this article?

For me, it read like a typical album review that has no point besides getting clicks from people who mistakenly look for insight from entertainment.
How to avoid relying on DNS resolver ordering
Or by setting Safari preferences to open economist.com pages in Reader mode. Preferences -> Websites -> Reader