skysight-inc/HackerNews huggingface dataset:
This makes it very different from Markdown to the point of it not making sense to compare the two, I think. Markdown is not a programming language or a template language (though people often overlay some sort of template processing after processing the Markdown into HTML in order to apply styles to the resulting HTML, e.g. for many static site generators this is the case...but the Markdown processor has no knowledge of that or concern for it).

I feel like this is more much comparable to, as others note, something like Jade/Pug, than Markdown. And, it may be a very good competitor to those sorts of tools, I dunno.

Seems like Sundown is a programmers tool; Markdown is an end user tool (often used by programmers in contexts where they don't want to program, like commenting on forums and tickets and such). But, I guess they are all just taking some sort of input and spitting out some HTML. It just seems like Markdown isn't the right thing to compare it to.
7.6% is huge,indeed.
Compare the Right Price for Your Favourite Fashion Item
>diluted by non AA cultures

Your comment reminds me of a German leader who didn't like his race diluted. As a minority myself I always wonder what makes comments like this acceptable as long as it's not coming from whites.
Give people some credit. The name is not confusing. It's called SunDown because it's part of the author's larger project, SunSed.
This really is the endgame for both Uber and Lyft. IIRC, Uber did $16B last year in revenue and paid something like $13B to drivers. Self driving vehicles will turn their current breakeven/loser business models into massive cash cows.
If you don't get bogged down in details of the service, I see this as generally net good. For many, ambulance rides are prohibitively expensive, and while I certainly wouldn't be cost-conscious taking an ambulance in the event of a seizure or heart attack, for something like a broken arm, or non-life-threatening ailment, an Uber/Lyft/Cab is a good alternative to trying to drive myself.

Beyond that, I'd like to see statistics on whether people ride-sharing to emergency rooms / urgent care facilities was freeing up ambulances or causing them to sit idle. I suspect it's the former, which would mean ambulances could be more available for more people with more serious conditions, but I could be wrong.
> inject your self with some marinara reefers

Wow, that gives a whole new meaning to the phrase "hitting the sauce"!
Looks like it's LIDAR-based, and it's a partnership with nuTonomy[1].

[1]: https://techcrunch.com/2017/12/06/lyfts-self-driving-pilot-w...
> Sundown is useful because it lets you abstract your custom server-side HTML tags. In other words, you can extend the language very easily.

So it's XML and XSL.
this defies what I want from a markup in plain text. It should look readable and formatted, even when not rendered.

Example: https://raw.githubusercontent.com/gbraad/resume/master/resum... => http://gbraad.nl/resume/resume.html

I stopped reading after the first introduction of 'the syntax', as the intro either does not mention the why, or it totally misses the point.
I appreciate your detailed post. Very interesting esp with Nelson-Oppen being new to me. I remember Boyer-Moore from studying CLI stack. Your comment brings three things to mind:

1. It implies, esp with links, that one should both look into and build on BM prover. Whereas, my foray showed that high-assurance sector moved on from BM to ACL2 with latter used in all sorts of stuff (esp hardware). Hardin et al link below are my favorite at the moment. Your Github on nqthm even says avoid BM in favor of ACL2 for new stuff. Anything you want to add on that such as things ACL2 could use from BM or in general? I know from other works that new and improved doesn't mean better in every way. Also, doesn't ACL2 lack a tiny, proof kernel checking its steps like the LCF provers or am I misremembering? I have seen work embedding it in HOL, though.

2. It reminded me about Gypsy Verification Environment that got used on lots of B3/A1-style projects. I didn't realize that was in the FTP site. It might be interesting to get into runnable shape for reliving history and seeing how things were done similar to what you appear to be doing with those other works. I know it dates to the mid-70's but the mid-to-late 1980's paper on applying 2.0+ version doesn't mention your work at all in references even though done in similar time frame. Why you think that is? Since it doesn't, what's better or worse about the approaches if we compare your Pascal-F method to GVE? Side note: the report in the tarball describing the the Gypsy, Middle Gypsy, and Micro Gypsy languages was really good on readability vs detail included. I always love that.

3. The current contenders in verified, low-level programming are the mature SPARK Ada tool and Microsoft's Dafny. Would you recommend skipping the Pascal tech to just enhance one of them directly or extracting new languages to their form for use on their tooling? Latter was my plan if I build anything with SPARK the target as many have done. Jasmin language similarly used Dafny. Anything you think especially SPARK Ada could learn in automating practical analyses from Pascal-F, Gypsy, or BM/ACL2? Interestingly, SPADE-Pascal, SPARK's predecessor, was developed in mid-80's as well.

As usual, just trying to see how these points in history might connect in old lessons or new opportunities.

http://www.ccs.neu.edu/home/pete/acl206/slides/hardin.pdf
The author himself is inviting the comparison, both in the submission title and on his site.
As a kid, we ate at Ponderosa quite often. All you can eat soft serve.

Though I recall putting some chunked (presumably canned) pineapple on my plate once, taking it back to my table, and chomping into it before realizing it had (apparently) fermented.

We still went back months after month.
I'd like to reconcile this with the fact that some people can solve a rubik's cube blindfolded after having a good look at it. It seems like they have the ability to imagine the relative movements of 26 objects at once.
Aside from the fact that a single thumbs up doesn’t qualify as a comment by HN standards, select Unicode characters are whitelisted but the rest are sanitized.
Isn't Watson known to be somewhat snake-oily? I don't think it's reasonable to transfer assessments based on Watson to Deepmind or any other organization.
> If programming is not-math

Programming is _always_ math; was it Dijkstra who said "programming is one of the hardest branches of applied mathematics"? It's also engineering - as in "engineers have to do some math occasionally, even if they don't realize that".

I often ask on the interviews to produce an expression returning sorted 3-element list using some simple primitives. I've found that with chosen primitives you still can model different approaches - and even though in all cases the result is an expression ("sorted list is..."), the structure of that expression can model imperative style ("first do this, then this...")
Many labor rules kick in with full time status. As a assistant manager in a mall store in 1996, scheduling more than 2-3 people (out of about 30) over 30 hours was up there with skimming the till in terms of severity of offense.
Size often correlates with complexity. I suspect a size of certain kind can serve as a definition of complexity.

In programming it's often the case that a shorter program is preferred to a longer.
Neither Uber or Lyft will reach full autonomy before exhausting their runway, unless a miracle occurs and they solve level 5 within the next 1-2 years (caveat: it could happen, but it’s very unlikely).

You can’t do hundreds of millions of dollars in raises forever without some proof of progress (or maybe you can if SoftBank is willing to pour money in for a decade).

At some point, someone is going to be left holding the bag when it’s evident that the last 20% is the hardest part (but mandatory for level 5 service).
Why not use Pug ?
Smarties: How the stocking staple got its name
And what makes this even more tragic, is that this is happening in a highly educated cities. What's so hard to understand about supply and demand? I think, deep down, they're fundamentally misguided: democrats and liberals think that they're somehow fighting against capitalism, and by limiting developers, they're somehow helping humanity.

Red Cities and red states get it, they generally don't have these problems, even the extremely high growth ones: like Houston.
It's less of a message broker and more of a scheduler, although considering that both of them have some kind of queue at its core, the distinction is probably more superficial than it seems (a FIFO job queue is basically a kind of scheduler).

Spark has a scheduler that takes data locality into account (although I don't have a ton of experience with it and have no idea how well it works on a fine-grain scale). That itself is probably inspired from Borg and MapReduce, both of which have some kind of data locality-based job scheduling logic.
There were lots of states with similar problems in the 70s. Others solved it better (e.g., NY Star program that helps specific classes of people that need help). Prop 13 was a chainsaw solution to something that needed a scalpel.
How often does one need to commit to a project in order to not have it's name stolen?
people already knew how to smelt iron by that time.
Does anyone think that there should be an alternative to markdown with a more natural syntax, that is text first? Something that is meant to be viewed in plain text most of the time, looks good in text, and easy to type in text, and has nice syntax highlighting.

Markdown isn't very aesthetically pleasing in plain text IMO. It's awkward to type, and it doesn't handle indenting the way people would normally create lists and indents in text. (## H2, ### H3 .. really??)
I think these techniques are initially analytical in nature, and may seem forced, but eventually it becomes habit, and you don't have to think about it on a moment-to-moment basis.

Your last sentence is interesting, but quite a cliffhanger. Can you expand upon your technique or point us to some resources?
I don’t think nuclear power is that on demand, can you really just throw a rod in when starting and stopping the plant is so expensive?
A truly masterfully written article that makes us yearn for the days now past when everything, both inside and outside of ourselves, was much quieter.

The amount of noise today is unprecedented. I am reminded of the movie _Her_ in which one sees a world where technology can move into the background and augment human relationships. Granted, there are moments in that film when the tech hurts instead of hinders, but compare that to today's world where everything has the "in your face" mentality.
Or perhaps just memorized the solution (that they figured out while still being able to see the cube).

I haven't ever tried doing it blindfolded, but I would expect there is not too much visualization behind it.
I'm curious what's going to inevitably eat into that potential margin. The most profitable large scale businesses are Visa and Facebook. After the corporate tax change, both should get near 50% net income margins (Visa is at 44% last quarter; Facebook was at 46%). I could see some of it getting competed away vs Lyft, given back to consumers in lower fares. Some to typical bloat with scale & age. Perhaps higher local taxes on their business, as the cities they make all their money in will hit them that much more if they're not employing drivers. And of course those millions of vehicles will have a high cost in terms of maintenance, replacement, vandalism, etc.
Based on their job openings [0] it looks like Level 5 is going head to head with Google, Cruise, and Uber and building a full autonomy software solution. Looks like they are close to square one though since they are hiring leads for essentially everything: localization, perception, prediction, and controls.

It's an interesting to see all the players trying to have an out if someone withholds either the transportation network, or self driving tech.

0 - https://www.lyft.com/jobs#job-openings
So, replace the political instability of the middle east with the political instability of northern africa?

Usually when there's a cold snap it affects large swaths of Europe.
There's lots of research to answer the question of why the internet is different than books. For one, books take extended periods of concentration to digest while many applications on the internet are being hyperoptimized to give a constant and frequent dopamine drip.

I'd recommend perusing The Shallows by Nicholas Carr, which suggests that exposure to rapid and substance-less feedback cycles can actually change brain chemistry in undesirable ways. The book is a bit sensationalist, but is nonetheless a good jumping-off point for exploring the perils of internet addiction.
How to Copy Unprotected Ultra HD Blu-Ray?
good question. I pretty actively try to avoid discussing politics, because... well, it's rarely fruitful. Talking/debating pretty much never convinces anyone of anything.

If you want to change someone's mind on something, step 1 tends to be "deeply understand why they think a certain thing", and not only is this totally at odds with casual work conversation, it's not actually appropriate in the vast majority of work relationships.

Anyway - gentle redirects out of political topics usually work for me.

If they say something like "I just watched a documentary about {bad group} doing {bad thing}, and that's why Trump is an idiot", I'd try something like "oh, where did you see that? Was it on Netflix, or cable TV?"

If they say Netflix, then "oh, cool. I just saw a video on how Netflix caches content and uses this thing called a 'chaos monkey' to preempt catastrophic outages. It's really clever... the way they use it is..."

Just pick a non-political element out of the conversation, and drive into that. Usually works.
Total mecca for UFO media.
https://www.gaia.com/search?q=ufo

also I mean this shouldn't this be more compelling than some grainy video or is it so WTF that we just auto-NO.

https://www.gaia.com/series/unearthing-nazca
"liking" may not stop a dictator, but having mass-awareness of otherwise hidden injustices can be an excellent start.
IIRC there are well established patterns to solve or nearly solve a cube from given starting conditions. Could that be it?

Edit: https://ruwix.com/the-rubiks-cube/how-to-solve-the-rubiks-cu...
that's... pretty straight forward, and a good idea. I'll give it a shot!
Not just that, getting self-driving approved with regulators is a major challenge. Also, to achieve level 5 we need not just algorithm improvement, our physical infrastructure need to be improved as well. On intersection, two human drivers wave at each other to decide who goes first. How should the human driver communicate with the machine? What should the machine do when there is a dog standing in the middle of a street? Move on and let a human driver take care of it? Isn’t that now a bystander effect? These are just some examples I am not sure if textbook definition of level 5 will address.

Going really extreme: in a car accident in a somewhat remote area, the driver might be able to get an injured passenger out if the passenger stuck. Now a fully autonomous car, there is only passenger. Yes, for sure this is extreme and perhaps likely a dramatic scene only, but it is one of those edge cases we can’t cover in a self-driving car.
Audio Samples from “Natural TTS Synthesis”
Hah! That's a good book.

My wife and I have running jokes about imaginary love languages. She's pretty sure "chocolate" is a love language. I agree.
Are paramedics/ambulances so unregulated in the US that it's /not/ a bat-shit crazy idea to suggest Uber Ambulances?
I suspect so but I've not inspected the device so no evidences. Want to see if others is having similar behavior. It seems to be fine on Android phone version app and website version.
max(a, b, c) > 4
I’d be more interested to see the reduction in medicab or medivan usage.

My father had the misfortune of having a stroke, and transporting him via van is outrageous — you’re talking >$250 for a 15 mile drive, in what amounts to a cargo van with zero service beyond driving.

It’s one of those weird markets where the pricing is driven by the Medicaid reimbursement, which is a price floor.
In C, these are legal:

while (a -->> k --> 0 <-- b <<-- c);

k = a <- - - - - b;
Lots of hand wringing in the article, and the comments section too. My highly limited understanding of the domain is that the data suck, the algorithms suck, the the process sucks, and the patient is completely disregarded at best.

We don't have the time, money, or discipline to collect and code and scrub the data to the necessary degree where an algorithm could pick up where we left off and actually make a diagnosis that wasn't blatantly obvious from the onset. But there's so much money sloshing around in the whole system that damned if we don't have the IBMs and the Googles of the world trying, even though they both know better. Solving the real problems just isn't sexy.

The 5/10/25% efficiency improvement isn't in an "AI" flagging charts with diagnostic codes. It's in somehow restraining the bureaucracy from chasing these damn projects with their billions of dollars and get back to the very hard and boring work of properly running their hospitals.

I once had dinner with a CFO of a large hospital system. Hospitals are like airlines. $25 billion dollars to open the doors each year even if no one is in the rooms. Hospitals, like airlines, are all about ASM (available seat miles) and RASM (revenue per available seat mile), except with hospitals I'm not sure what the standardized billing unit is, but we might as well denote it in pints of blood.

These massive systems are run with exactly the efficiency and precision which you would expect of a large, modern, American system. That is to say, they are more than likely to crash and derail on their inaugural voyage then not. They are not, as we like to say in SV, a meritocracy. And they most certainly will not benefit from more algorithms telling them what they already know they need to be doing but don't have nearly the time to do in the first place.

When I can show up for an appointment and trust that, a) it hasn't been rescheduled without me knowing, b) that the doctor isn't actually in a conference in Madrid this week and no one cared to clear his schedule, c) that they didn't book patients in 20 minutes blocks for the whole day when they know full well the average time to clear is 45 minutes, and d) the doctor actually knows my name and has some way to read a summary of my chart that might actually inform him of why I'm there today.... then maybe we can start thinking about how adding some algebraic analysis can help.
I don't know; I'm afraid it bored me and I didn't finish. I did read the lyrics of a few of the tracks recommended in other comments, but didn't see anything special. Maybe because I grew up in South Africa, the theme of "How much does a dollar cost" (but remove the grammar), although you might then suggest I might then be able to relate - that doesn't make it special. Maybe because rap does nothing for me. I usually can't stand it. The vocabulary alone is dire - "fuck, shit, nigga" all over the place. Each to their own I guess.
Possibly. It was an incredibly stupid move. I was a manager at Borders during its mid-90s rise, and I told them at that time that Amazon was going to eat their lunch. They didn't believe it and didn't listen. While Amazon was focusing on developing their supply chain and getting consumers accustomed to buying online, Borders was building massive stores everywhere that couldn't turn a profit. They were also going into debt to do this. They were simultaneously not conservative enough (finances) and not innovative enough (the Internet).
If you want to read a really scary prescient fiction book in this vein, check out Feed by M.T. Anderson.

https://en.m.wikipedia.org/wiki/Feed_(Anderson_novel)

Just chilling.
Up voting for ‘How Much A Dollar Cost.’ What a fucking track.
We could provide the world's total energy needs by covering a small portion of the Sahara desert with solar. We are not running out of land anytime soon.

There is also a practical limit where wind energy takes too much energy out of weather systems, affecting climate, but that point is also far beyond the current world energy usage.

We're not running out of renewable energy anytime soon.
Anyone know why this was flagged?
Clearly this is the thinking of both companies, but I'm not convinced it makes sense. The $13B that Uber paid out last year gave them access to a scalable network of ~7M vehicles, not just the drivers. Even if they reach level 5 autonomy before they run out of runway, how long will it take to build out a network of that size?
I said from entertainment - and the answer is yes, almost none, most of the time.

Every now and again, you get a movie like The Matrix, that's both entertaining and thought provoking. Those are entertainment unicorns, as evidenced by the sequels that had nothing thought provoking left, but were still somewhat entertaining.

When it comes to art - if you knew how much shit art gets made and never sees the light of day, you could argue entertainment and art are both equally devoid of almost any value, including insight, to anyone.
$200/hr sounds expensive until you realize you are gaining access to all the mistakes they've made on someone else's dime.
That hasn't ended in theft (so far)? CryptoKitties, probably. https://www.cryptokitties.co/
The CNN article doesn't seem to add any more detail than was already present in the Atlas Obscura article. Both cite the same paper, which is http://onlinelibrary.wiley.com/doi/10.1111/maps.12664/full .

AO has a better picture of the dagger, and mentions that the other two iron items in Tutankhamun's tomb were also likely of meteoric origin, and different meteors at that. The CNN article has an annoying auto-play video.
There are already private services for medical transport, although I do not know if they are allowed to handle emergencies.
Wow. Way to completely miss all of context for the dressing.

I’m a white, late 20’s woman and I still have found an inability to ignore K.Dot’s wisdom through the medium. His lyricism and presentation is unparalleled in modern mainstream music.

I imagine you’re not a fan of Kubrick, either, because he makes his points with brutal violence?

Seeing past the medium into the message is the quintessential hallmark of being a true, educated critic.

Otherwise you’re just commenting on your taste, which is fine, but contributes nothing to the conversation.
NYFD has about 220 ALS units (advanced / requiring a paramedic) and 550 BLS (basic transport, no drugs, etc) units per day.

Reducing BLS calls via uber wouldn’t affect availability of ALS units for serious things, but would probably save money.
Assuming IE11 users are otherwise representative of the customer base, multiply your total web based revenue by 7.6%. (If this assumption is wrong, then just check your reports to get the correct number.) If, for example, the business in question makes $10M yearly revenue, your estimate has 7 entire devs working exclusively on IE11 support fulltime, year round.

That is one fancy as fuck ecommerce site to be that reliant on features in modern browsers that lack automated transcompilation/shim generating tooling.
You can regulate a nuclear plant between ~50% and 100% output in a matter of minutes by adjusting the control rods.

That's very limited compared to most other options, but obviously much better than solar or wind.
Guides – Mobile Legends: Bang Bang Wikia Guide
Not really. There are plenty of private ambulance services in the US. They generally deal with things like transporting a medically frail person to see a doctor in a different city, things like that. Non emergency, mostly.

http://www.nytimes.com/1987/01/31/style/private-ambulances-w... (yes, over 30 years old, but most of it still holds true)