skysight-inc/HackerNews huggingface dataset:
tl;dr: Another alternative to YAML (among many great others), this one designed and developed by me:

https://eno-lang.org/

I've been doing a lot of research and development on language design for file-based content (e.g. for static site generators). I've found that YAML - although established as the go-to format for statically generated blogs, etc. - was never designed for these things as it by its nature does not support simple, essential features for this usecase like for instance unindented blocks of verbatim text (for which YAML frontmatter was invented as a very limited hack).

The result of all this R&D is a language called "eno notation" which is designed especially for file-based content usecases, and around which I've also built an entire ecosystem for many languages and editors - if you're working in that field, it might be worth taking a look!
It's giving me a scroll bar, which is weird.

(Desktop with Vivaldi)
Leaking such a scare document just tells us that not only voter is uninformed, but also that government is ran by little kids instead of adults. And it's a farce if you have to redo a vote until you get desired outcome (the Lisbon Treaty still left a bad taste). IMO it's all on Cameron and his "competence", destroying UK as an unplanned consequence. Given long standing British democratic tradition, redoing referendum would shake it at its base of respecting the "will of the people, whatever that might be", yet getting a no-deal Brexit is insane.
> Some things should be left to experts.

And yet here we all are, living with the results of the professional experts who know everything. If they are all experts in all things they vote on, why is everything such a mess all of the time?
Wanting to retain local sovereignty rather than be part of a larger block seems to me like a legitimate reason to be in favour of Brexit regardless of the democratic legitimity of the EU.

It's not one I agree with but it certainly seems respectable to me.
Flat earthers exist in spite of evidence.
Or even better:

<foo/<bar/qux>>

(Although standard SGML inexplicably specifies a null-end-tag character of '/' rather than '>', so this won't work in stock parsers.)
Or you could have a representative democracy like the UK, where you vote in a specialist to go and understand the detail for you.

It is an amazing constitutional step to rip this up and start holding referendums!
Nope, personal experience in a logging town
The sovereignty argument for Brexit in practice is counterintuitive, it often implies it enhances ones choices and power over things.

But being an EU member state doesn't give away sovereignty, it's a way of expressing your sovereignty; it's pooling it with others in order to do things you can't do on your own. A leaving member state has a different menu of choices it can make, but because it's position is weaker, the choices are at best narrowed down, or at worst set by other parties.

In the case of the UK, it can choose between favouring a US market over a EU market, but each choice imposes restrictions set entirely by others. The EU will insist on a higher bar of conduct to pass, as part of its level playing field approach. The US will insist on limiting the UK's ability to raise the bar where it sees fit, so that US companies can more readily exploit the UK market, unencumbered by impediments it finds today in the form of things like food safety standards.

And you have to pick one or the other. Today the UK was able to influence the environment that most affected it, because it was a member of the EU. Tomorrow larger parties are shaping what the UK can choose from, with little say in it for British voters. This is a form of sovereignty shrinkage.

The idea that Brexit returns sovereignty is misleading and I suspect a lot of people will be disappointed when they find out in practice what it means.
Ghostbusters was subtle Reaganomics propaganda. In the film the government is the enemy and the heros are libertarians, self-described operators of unlicensed particle accelerators.
Hiring and firing are expensive in a whole lot of different ways, but it takes time and effort to get right, and you’ll never get it right every time. So actually using the probationary period properly, and getting good at firing people are things you’ll have to do anyway.
> something other than infrastructure, public health and anti-poverty programs

Or something other than military spending. Space exploration is probably the best way to redirect the efforts of the powerful military-industrial complex.

And once it enables something like colonization of Mars, it'll result in "more people to figure out solutions for the problems on Earth (and Mars)", as population growth advocates are fond of saying. More people without further burdening Earth's ecosystems.
This AI generates fake news about anything you want
Eh, you go where your audience is right?

If the grandkids banter all the time on facebook that's the real draw. The photos are just an initial obvious benefit, it's much easier to explain a photo stream than chat threads to someone new to the internet. Facebook does a pretty good job at making interactions feel natural, much as I dislike them.
That's a common myth. The British ruled HK for 156 years and HK was never democratic. Movements toward democracy had some momentum after WWII for fear of HK joining the decolonialization or communist movements but was put down. Mass killings of populist movements in the 50s and 60s are common place. But exactly one year after the sino british declaration, UK decides Hong Kong was a 'democracy' but a sham democracy nevertheless since the commoners can't vote for the 70% of the seats in the functional constituency and legislative votes are counted differently for the queen-appointed, unelected governor proposed bills.

Yes thing are indeed worse these days under the CCP because a- Hong Kong can no longer do nothing productive and parasitically skim off the top of all China trades, finance and logistics and b- because HK and the CCP did nothing to reform this conservative, wealth monopolizing, oligarchic colonial government structure. The self serving oligarchs who monopolize finance, media, real estate are doing well for themselves by monetizing Hong Kong's ultra neoliberal legal system in sectors like wealth management, real estate, private banking etc but the lives of the common people are getting deeper and deeper in the hole with 20% and increasing poverty. If I were in HK, I'd be protesting too. But it's important to know the reason and not just being religious and saying eagles good communists bad.
If that’s the case then the restrictions should’ve been given in the problem statement and the interviewer should’ve been able to answer why the candidate’s answer was rejected.
To be fair: an economically stronger partner getting more of what they want because of backroom dealing etc. is not a "german/french dictatorship" as stated by OP - it's simple realpolitik.
Or, similarly, wouldn't it be cool to have a chat app that would detect people in the same geographic location traveling at the same speed. So your contacts would be the other people in the bus or train or plane that you're traveling in.
Yeah, although imagine if carpenters were interviewed/judged based on the quality by which they could create hammers and drills from scratch.

But it was a good thing overall. I showed me signs that the company has an elevated degree of not invented here culture, and that they aren’t very clear when requesting/scoping work.

https://en.m.wikipedia.org/wiki/Not_invented_here
cool article
Call me old-school, but the improvements whippersnappers promote are, much more commonly, way too complicated for what they do. It takes a lot of work to make things simple, and they haven't done it.

There are plenty of what the author calls legacy systems, constructed by piling one new idea on top of another until the whole is near collapse. The young programmers who made it that way are now the old programmers trying to ward off collapse.

Read about the Lava Flow Anti-pattern: http://antipatterns.com/lavaflow.htm
Quite the opposite, I believe. My native tongue is Polish (West Slavic) and I speak decent Russian (East Slavic) as a foreign language. My subjective feeling is that there's more in common between either of those languages and OCS than between the two directly.
Platonism ftw!
Dissecting a Dweet: Mini Black Hole
I might agree with you if it were even possible to be an expert on every subject. Sadly the only thing MPs are experts on is being MPs. Which is why we are in such a bloody mess: the general public are, generally, ill informed; MPs don’t give a shit as long as their career benefits; and the actual experts of their respective fields get ignored because nobody gives a shit about the opinion of actual experts in the era of social media.
Thinking of Humans as a Computer Program
This may be application-specific, but I might worry about security if my configuration files support arbitrary closures.
Watching the UK negotiating a trade deal with the USA and China at the same time, considering the current geopolitical climate, will be outright interesting. Also take the HK situation into consideration.

Hard to imagine a good outcome.
This is a solved problem, you should not worry about.
What I meant by non-sequitur is that I agree with your premises (that certain problems are computationally intractable or undecidable, and this is good to know), and I agree with your conclusion (full verification using deductive methods/dependent types is unfeasible for large software projects). However, I do not agree that the conclusion is true because of the premises.

That is, I don't think one can say that the reason why human-aided verification is unfeasible for some projects (say, the entire Linux kernel) is because of theoretical limitations. Yes, verifying the Linux kernel would take too much time, but not because of any specific theorem in theoretical computer science.

The reason why I am emphasizing this point is that I believe that referring to theoretical results in discussions like this makes it seems as though there is some kind of fundamental limitation that prevents people from verifying the Linux kernel in a proof assistant. Even though it is quite a jump to conclude that from theoretical results, especially when human intuition is involved.

I would say the reason that people haven't verified a program the size of the Linux kernel is that it's just too much work. Just like if I were to try to write the Linux kernel from scratch on my own, it would take me years and years. But not because of a mathematical theorem. Some things are just a lot of work without there being a deep reason behind it.

We can go much further with deductive verification combined with automated verification compared to automated verification alone, precisely because human intuition can be used to guide the automated tools.

EDIT: To give another example, I would have no problem with the following reasoning:

A SAT solver that is efficient for arbitrary SAT problems cannot be implemented, because SAT is NP-complete (assuming P =/= NP).

However, I would have a problem with the following line of reasoning:

Intel CPUs cannot be fully verified by people because SAT is NP-complete.
Weather on the moon would make them realise it us impossible to stably orbit around a flat surface.
This is common across the world.Not sure if there's a special word within the books of psychology, however people somehow manage to manufacture memories of limited spectrum,aka only remembering the things they really like about that particular moment.Most of those, who rave how great 70's or 80's were, remember it when they were young. They remember relationships,parties,family stuff but not a factory chimney spitting out black fumes. When I ask my parents how they remember soviet occupation, my dad has very fond memories of it,as he was young, used to play music in local discotheques and had it very easy.My mother,on the other side,used to queue outside empty shops for hours with two little kids hoping they will sell something,so obviously she hated it then and she hates it now.
Thank you - I will give that a try!
Friends got $1K for winning a Yo hackathon with "Marko Yolo" X~D
Look for a company that provides a defined benefit pension plan. It's basically impossible to find but really the only way an employer could convince me they care about tenure
Was the first version of Twitter only ascii?
sounds like bs. all the photos including the laptop are stock photos and or photos for general public. Those pics of Hal Finney are not original.
One thing that bugs me about JSON is that it can't easily [0] represent general graph-structured data because its notion of identity is too limited. XML can represent general graphs trivially.

[0] https://realprogrammer.wordpress.com/2012/08/17/json-graph-s...
Is this UV damage or just our reflecitivity to UV light?
There are many open source projects that are terrible codebases but have great support.

Example for me... lwIP. One of the worst APIs I’ve ever used, but it works damn near perfectly once you hack through it.

Maybe that says something. It certainly doesn’t make the code or behavior any easier to understand, though.

I guess that’s why many company’s are going with the “code is meant to be read, not written” thing
I didn't joke, I'm simply naive about these things. The general public learned a thing or two about referendums, maybe they would now recast their vote? If so, then wouldn't that help?

I understand the downvotes as this idea seems silly, I did not mean to propose a silly idea or an idea for fun. I simply don't know the fundamental reasons as to why this idea is silly.

It might come as a shock: but I really am this naive. Let that sink in, an HN member, not interested that much in politics, who does not understand why this would not be a remotely feasible way out other than heuristically knowing it's not a good idea.

I daresay I'm not the only one.

If I'd have a vote in GB, then I'd have voted to stay. I am pro Europe and as a European, I was actually showing people this Kurzgesagt video [1] about why voting for or against the EU is important (apparently I have friends and family, some of them highly educated, who are even less interested in politics than I am).

---

I'll read the comments now, I'm sure I'll be better informed after this reading session.

[1] https://www.youtube.com/watch?v=XxutY7ss1v4
>"a. Having a reasonable exit process (the default of two years makes no sense)"

For comedy reasons, Article 50 was actually written for the EU, by Lord Kerr of Kinlochard, a cross bench peer in the UK's House of Lords. This was after the UK insisted the EU adopt something draconian, to dissuade new members from screwing the EU around.
> folks with diabetes dying

Back in 1975 things were very different. We didn't have recombinant insulin and diabetics died much more often.

It's not like we can flip a switch and go back to 1975, but keeping everything from 2019 running.
The Shiller PE (Cape) Ratio: Current Market Valuations
> it is still up to individuals to choose to use them for themselves.

Because of herd immunity, this is not just a personal choice but a public health matter.
It's no more their choice to use vaccines than it is theirs to drunk drive.
https://medium.com/@konchunas/transpiling-python-to-rust-766...

Its possible to transpile. But the tech is not mature yet
Click is multiple order of magnitude better than argparse. I don't even start a CLI app with argparse anymore, because even with very simple interfaces you will hit it's limitations. You should try click.
Can't speak from my experience here, but others say if you know one Romance language, you begin to easily understand words in other ones. So I guess any one of them would work as an international language, but Castellano seems to have a large headstart.
There's no evidence that population-wide skin cancer screening has any impact on overall mortality. And in fact dermatologists have an enormously high rate of misdiagnoses leading to a lot of unnecessary painful and stressful biopsies.

> The second ecological study compared the melanoma mortality experience in Germany with the melanoma mortality experience of subregions of 22 European countries for the years 2000 to 2013, none of which had organized screening programs. After adjustment for potential confounders, Germany and the 22 European regions had similar malignant mortality rates, suggesting no benefit of screening.[30]... One case of melanoma was detected per 28 excisions overall (for both men and women), while 52 skin excisions were required to detect one melanoma in men aged 20 to 34 years.[31]

https://www.cancer.gov/types/skin/hp/skin-screening-pdq#_24_...

My advice would be just the opposite. Unless you're an at-risk individual or have a family history of melanoma, skip the dermatologist appointment.
Hey sorry, point taken. I have read chapters and was excited about it, but I see your point. Thanks for the suggestions. I found the book more readable than hopcroft ullman from the perspective of understanding what happens in "theoretical computer science" -- I encountered it decades after grappling with hopcroft ullman (so-called "Cinderella book".)

I always find that the best books technically have been those that I take a bite from, think through an idea, maybe check out the references, find a problem to work through, then come back. Here's a quote from the intro that resonated:

"Many parts of the book require hardly any specific prior knowledge and rely mostly
on the mathematical maturity needed to take in the definitions and notions introduced. Hopefully, the story
telling makes the reading even easier. However, the book (like the field itself) is conceptually dense, and in
some parts the concentration of concepts and ideas requires, I believe, slowing down, rereading, and possibly
looking at a relevant reference to clarify and solidify the material and its meaning in your mind."

> wigderson is an IAS professor

True, but I think he does a good job of explaining things. This lecture on incompleteness seemed accessible to me
https://www.youtube.com/watch?v=0Zmfv3jsiQ0&t=1788s

There's also Sanjeev Arora's book "Computational Complexity: A Modern Approach" https://theory.cs.princeton.edu/complexity/book.pdf
> not obvious whether to serialize that subfield as an attribute or as a child.

Attributes are just strings, generally for metadata. I'd probably serialize an object from another language more verbosely. This is where an important distinction needs to be made: the XML format you use for config files or for data exchange from your app to others should not necessarily be just a serialized object from the most convenient form inside your application. If you care about the operators of the app, you'll allow them a more concise format for that kind of thing, and use XSD or your own internal mechanisms to turn that into an object you want to actually work with.

It's the sort of problem people have once, abstract away, and move on from.
Yeah, swapping out currently dominant logic with another one would redo the whole castle, like when a castle built in Gothic architecture is rebuilt into Baroque with some parts left intact. However, mainstream is so dominant and "better logics" either don't have sufficient manpower, are more complicated, are weaker or impractical, so that they never develop unless they solve something extraordinary quickly.
Also every release of the .NET framework to my knowledge ships with the "csc.exe" and "vbc.exe" compilers. So C# and Visual Basic.NET are available out of the box with modern versions of Windows as well. No IDE support, but you could whip up quick hello worlds with notepad without breaking a sweat.
As bad as a hard Brexit would be for the UK, it it probably necessary at this point, if for no other reason than to give the hard-core Brexiteers exactly what they want

The way that Hitler was defeated was that Berlin was pounded into rubble that put paid to the revival of stab-in-the-back theories that followed WW1. Japan was defeated by two nuclear bombs that replaced any hope of resistance with fear of obliteration. Bin Laden killed in his pajamas, and his body was dumped in the ocean: an ignominious end to a man who claimed to take divine inspiration for his acts. The supporters of these ideologies had to experience the shame of total defeat, and see no hope, before they moved on.

A hard Brexit, while causing some pain for the British public, may well be the medicine needed to show its most fanatical supporters the error of their ways. Otherwise their resentment will fester for decades longer.
"As I said, I was being descriptive, not proscriptive. Obviously in a civilized society, everyone has access to a bathroom."

I don't know which civilized society you were describing, but it's not San Francisco.

I would agree that that would be ideal, though.

"Also obviously in a civilized society, people use the facilities provided and clean up after themselves. Those that are incapable or unwilling to do this either go into drug treatment, get mental healthcare, or if they are unwilling to do either of these and insist on being a public nuisance, they go to jail."

Except society's problems are not solved by sending people to jail. Quite often they just get worse.

First, the punishment of sending someone who shits on a sidewalk to a jail where they are likely to be raped, beaten, or killed is far out of proportion to the crime they've committed. Few would agree that rape or death was an appropriate punishment for shitting on a sidewalk, yet that's precisely what many people send to US jails face. Hopefully you'd agree that in the very civilized society you speak of, spending time in jail for shitting on a sidewalk would have little probability of bodily harm, rape, or death to the perpetrator. But we don't live in that society.

Second, many people who are sent to jail get out worse than they came in. They are more likely to commit crimes, and are often denied job opportunities or places to live because they've been convicted of crimes. Now, that might not matter as much for homeless people, except that if they're ever to have a hope of being integrated back in to society they shouldn't have the extra stigma of having been incarcerated (especially not for something they couldn't help, like simply going to the bathroom when there were no bathrooms around).

Third, it costs a great deal of money to keep someone in jail, the money would be better spent on bathrooms, housing, and mental health care.

"SF is failing to accomplish any of these things despite a gigantic budget."

If there really is plenty of money, it's clearly being misspent. At least we can agree on that, though I have a feeling that if we looked at the details there'd be plenty to disagree about over which money is being misspent, how to spend it, which programs to cut, and which to fund.
The EU has been extremely reasonable in its dealing with the UK to this point and thus despite the UK coming to the table with a list of red lines bordering on the impossible. The agreement which was refused by the UK parliament is a good compromise. That's as far from a punishment you can get.
The same reason 'the' Stack Overflow works amazingly and no other stacks do at all.

[Small exceptions SF, SU and subs of SO, and work means goes towards a truth, not, makes ad $]