skysight-inc/HackerNews huggingface dataset:
i think he's arguing that it gives us a more precise language to describe our documentation than just regular comments, not that mathematical proofs are fault proof
AlphaGo: a journey to machine intuition
3D, it's going to be a critical skillset for working in a bunch of industries.
Microsoft ads :)
Whether or not you feel proud about them, I would suggest trying to look at some of your accomplishments from a different perspective to see how they can actually be impressive. Things like cleaning up terrible legacy codebases are valuable and reflect two positive traits, to me: Willingness to get your hands dirty, and the sense to distinguish between "good" and "bad" code.

On the other hand, if you really just want to build more "pride-worthy" things, I think you really just need to prioritize that desire more. Making something you're proud of often means going beyond what's mandated by "useful and sensible". This might sound a bit inane, but I would seriously consider asking yourself, before you start your next project(s), "How can I make this project something I'm proud of?"
2017 Engineering Postmortem
Tony Seba on Clean Disruption: https://www.startupsilike.com/blog/emerging-trends-the-futur...
I remember waiting to report a security issue with some trivial setuid application until January, back a few years, specifically so I could claim the first CVE of the year.

I was unlucky and it didn't work out, but come December time I do wonder if I should dedicate more time to audits ..
here you go: https://duniter.org/en/introduction/
Like lobste.rs, way better than HN with the wacko-fascist mods on this website that force their political views on the users.
Remembering the Russian Revolution
I kept a spreadsheet of my last job hunt in late 2015. All of my applications went through recruiting companies:

16 applications:

4 - position filled/hiring on hold

3 - I cancelled the phone interview

4 - I cancelled the in person after going through a phone screen

2 - offers rejected

1 - took myself out of consideration after seeing their technology stack

1 - found that I was missinv a key requirement.

1 -offer accepted

This was in metro Atlanta.
I think this could actually be a manual for promotions at such organizations.
Let's put this in a more positive way.

This is great! Have you considered adding a Piwik-compatible option?
Uggh, reminds me of people who take videos of fireworks and even worse post that garbage online.
Coulnd't you just OCR >> utf-8. Problem solved.
Hackers can remotely control thousands of #Sonos and #Bose #speakers
Having just gotten back from 34C3 I'm going to post a few of my favorites from there:

Dude, you broke the Future! https://media.ccc.de/v/34c3-9270-dude_you_broke_the_future

Pointing Fingers at 'The Media' https://media.ccc.de/v/34c3-9106-pointing_fingers_at_the_med...

Social Cooling - big data’s unintended side effect https://media.ccc.de/v/34c3-8797-social_cooling_-_big_data_s...

Full list here: https://media.ccc.de/c/34c3
From the people I've talked to it gets even worse than this when you cross domain or language barriers too. There are all kinds of implicit assumptions about variables that can get used in subtly different ways by convention, which were you to spell out said assumptions, you'd have a whole lot more places where bugs can occur in code.
ToySMT – simple SMT solver under 1500 SLOC of pure C
The structure of Stack Overflow is designed to get question and answer pairs that contain the critical information and are easily discoverable by google.

Questions and answers that have value and that follow that model are likely to be more discovered by people using Google.

There are many people who consider all social media sites to be "the same" - basically posting whatever they want. Be it forums and facebook or whatever random idea hits your mind on Quora. Those are different models and work for different types of problems. An asynchronous debugging session likely works better on a more forum like site than Stack Overflow... and yet people post such questions to Stack Overflow. When those questions are found, the people who are entrusted with the various community moderation privileges, in an attempt to follow those ideas of "This site is all about getting answers. It's not a discussion forum. There's no chit-chat." (from the tour) will use those moderation tools to try to make the good stuff more findable and the stuff that makes the good stuff harder to find... well... gone.

There are many different sites out there that have different focuses. Stack Overflow (and the model the rest of the Stack Exchange sites use) is trying for one narrow slice that they can do well. People that want a forum should look to a forum... those who want to ask for opinions and anecdotes should look to sites that do that better. Stack Overflow is not intended or designed to be the be all and end all of software questions.
While I think it is important to note the racist tone of your comment, I am not going to respond to it directly, because I do not think I can do so civilly.

Factually speaking, the money involved would be about 16% of Kenya's GDP, which would indeed be a very substantial tax hike. If it had to be supplied by the village itself, rather than Kenyawide, it would presumably be a proportionally even larger burden; if it had to be supplied by the EAC or by Kenya and its neighboring countries, it would also be a proportionally even larger burden.

(Perhaps a useful point of comparison is that the Kenyan Defense Forces cost 5.3% of GDP.)

On the other hand, eliminating poverty entirely in exchange for only 15%–20% of taxation seems like it would be a pretty good deal; it falls far short of the costs of providing a Scandinavian-style welfare state. In the US, Social Security + Medicare + Medicaid adds up to US$1.97B per year, almost 11% of the US GDP. A substantial fraction of the US military budget also needs to be counted as poverty-reducing giveaways — whether to individual people for whom a job as a soldier is a path out of poverty, or to the military-supported industries that employ a substantial fraction of the US population. The US armed forces directly amount to 3.3% of US GDP, US$597B, but there's another half-percent split between DHS and DoE.
https://www.eia.gov/petroleum/drilling/#tabs-summary-3

See the “DUC” section
https://github.com/Qbix/Platform

Roll your own!
That's why I said it's tricky to deal with interrupts, but possible if the effort is worth it to the use case. One could run the code in a kernel module which masked interrupts or use restartable sequences and cleared sse in the kernel when in certain code sections.
I probably shouldn’t have been that vague, knew I was leaving myself open to whataboutism / trolling. Here’s a bit more specific version:

“If a police officer hears and sees the perp’s gun go off, they likely won’t stop to think even long enough to see who got shot, but likely instinctively pull to neutralize the threat.”

In most places outside the US, they’d aim for legs / arms as that would “neutralize” but not “kill”. In this scenario they’ve got snipers trained on him after all, no excuses about handgun accuracy. Yet in the US, you’ll virtually never see that, all shots will be into the chest.
Ask HN: Who is hiring? January 2018
I hope one of the effects of this movement away from mass social media is a resurgence in self-hosted content and forum software.
I notice that once again one of the comments to the article raises the issue of glacier melt and automatically leaps to the conclusion it is caused by elevated CO2, when much evidence indicates it is due to soot - ://www.scientificamerican.com/article/subcontinental-smut-himalayas/#

The plague of humans is causing a lot of problems for the planet, but it is essential to use good science to understand the real cause of problems so appropriate efforts can be made to minimise impact and not waste even more resources.

Most things are not as simple as they may seem in the case of such complex systems, so undounded dogma that prevents good questioning science isn't going to help.
I, the author, am tending to agree now. :)
I'm interested in knowing which assumptions these formal proofs rely on.

My general point is that, without stating which assumptions lay ground to a formal proof, the statement that something has been "formally proven" conveys no useful information at all, since the assumptions in question can either make or break the proof (as in the case of WPA2).
No, this was exceptional. Try having a mental health issue, call Lifeline with suicidal thoughts and see what happens. They call the police, hours later after the episode has ended the police turn up, refuse to listen to you or your loved ones and you get to stay overnight at hospiral with no medical attention whatsoever (yes, you read that right - no medical attention).
Not 100% sure on this. This is sometimes called a "thin copyright": the typesetting is in copyright, but you're free to reproduce the underlying text as long as no part of the copyright in the typesetting itself is infringed. So you could OCR or retype it, but not distribute a scanned image. (But I'm only an enthusiastic amateur so stand to be corrected.)
You may also find this interesting: https://github.com/fogleman/ln

You can turn 3D scenes into 2D vectors.
>listening to these lectures made me understand better the psychological and moral value of these stories

You might enjoy the Power of Myth by Joseph Campbell.
I tend to overexaggerate my smiles in some group pictures to make it looks scary/disgusting. People tell me to stop fake smiling but I respond “at least I am honestly faking it” unlike others who are deceptively trying to make it look natural.
Agreed. Erlang is another language with single assignment, i.e. every variable assignment target must have a new name. It's incredibly easy to see what calculations and conditions affect the final outcome.
Interesting. I know an autistic person with cerebral folate deficiency who takes medication for it, and it has significantly improved his symptoms. I wouldn't call it a permanent cure, however.

As mentioned, I believe the driver is my facial structure. I know that normally, facial structure is not the cause of a condition, but the muscle tension on my forehead is caused by my facial structure, and I suspect that muscle tension is most likely the cause of the symptoms I face.
this is an interesting and difficult problem to solve, i was reading an interview from sam altman along the same lines recently, not sure if he's working on this one, but seems the overall goal is to reduce poverty. this study presents some basic data about this hypothesis, but the sample size seems too small. if they widened the sample size, i'm sure there would be more abuse of the system. one thing that seems difficult is how you measure the success of this program, is it the people that you've moved out of poverty? and what's the funding model for this, i don't see many details about how this can be sustained for long periods of time or how this could be extended to much larger portions of people.
This isn’t blacklisting. A blacklist implies that you only add to it once. Your solution needs to be added on every query.
The counter example is the Chinese wheelbarrow, which is useful without draft animals and without roads, but that also makes your point. It's sophisticated enough that it's not hard to understand why it took so long to be invented without anything simpler and useful to evolve from.
Is he a twin?
Most schools have this don't they? The two school districts I am near provide it on request. I am not even sure there is a income requirement.
Security theater at its finest. The TSA is failing 90% of the security reviews for smuggling in weapons. How many of us would still have a job if we were failing that often?
I was interviewing for a software architect position and before my now manager interviewed, i interviewed with some junior developers. I started talking about what I thought about some of the latest features of EcmaScript. One of the developers said "we don't use EcmaScript we use JavaScript".
One thing that FB groups have going for it (and I agree it's a terrible interface) is that you don't have to click on anything to see posts. Whereas in discourse you only see post titles, and a tiny blurb, the FB group is kind of like a custom group news feed. It's much easier for people to scroll through, and engage with.

Unless discourse has an "inline recent posts" view? That would be superb, for users not willing to commit by default to clicking on a post. It's amazing how big a difference that can make, with the scroll-happy click-averse folks trained on Facebook.
Well, my point is that you can not believe that your soul is being eaten without believing in the metaphysical framework(s) from which the concept emerged, otherwise the parent comment makes no sense. The closest secular definition you get is System 1.
Drawing any conclusions only 1 year into a 12 year experiment seems too much, too soon. It also doesn't seem like it is enough money to really do the experiment if the $22/month could only pay for one child's pre-school.

The one hopeful thing I read was that it seemed to reduce alcohol usage. This matches with most evidence of alcohol usage increasing during a recession, etc. When things are hopeless, people cope how they can.

This does help reinforce the concept that most people need a hand up, not a hand out. We get so little benefit from too many of our social programs today. We need to fix things to allow people to help themselves and grow to become self sufficient.
This is great, how are you doing the GIF rendering?
mathematical proofs have no side effects
You know all the preconditions and constraints ahead of time.

With real world applied software that is very rarely the case.
1. lose 15 kilo,

2. keep doing Brazilian Jiu Jitsu, ideally, get a blue belt,

3. learn Clojure.
Programs could be explicit about those constraints, encode more of them statically and check them statically.
i think the reasons pointed out in the post and many comments here on HN are more of the cause,

but another reason is that code often has to be written in a shorter time frame. there are tools like coq that enable people to write code that is correct by proofs, but I'd hate to do my daily work that way
Four Dimensional Maths (2015) [video]
The different sites have different personalities as well. The main SO can be brutal just because the herd responses can be so swift. Niche categories tend to be friendlier, Aviation.SE for example. Gaming, Movies, and Sci-Fi all seem really friendly for the fairly large volume they see.

I have heard that chicken farmers have to monitor young chicks carefully for injuries that produce bleeding because when the other chicks spot one, they will relentlessly peck, which is likely to quickly kill the bleeder. Regardless of whether this is true, it’s a decent model for how drawing a bad initial response to a question can be fatal as the other chicks pile on. I once made the mistake of asking on Workplace.SE whether the HR profession had empirical support — as opposed to the usual conflicting folk wisdom — for whether including personal interests on a resume is helpful[0]. An early answer clearly failed to comprehend the question at a basic level, but it nonetheless was the initial spot of blood. Comments from multiple moderators saying the question was reasonable were not enough to stave off the pecking.

[0]: https://workplace.meta.stackexchange.com/questions/4888/ques...
I guess the official post was not posted today because it's some sort of holiday in many countries. Wait until tomorrow ...
Inflation happens due to supply limits, for example if more milk can't be produced or more teachers can't be hired. Generally speaking, we assume producers can do these things, if given enough advance notice. More demand is good.

To say that these things can't be done at all and that more demand is bad is a defeatist attitude.

Venezuela is a special case where the government is attacking production. It's not what happens in a healthy economy.
I think it's just that less voting in general happens when America is asleep. At least that's the conclusion I drew from my unhealthy sleeping habits.
I kind of wonder if a forced licensing scheme would be a solution. Anyone would be able to create derivative works but 10-20 percent of any profits would have to go to the original copyright owner. A shorter "copright" with an extended "profitright".
1. Get a job

2. Finish a side project

3. Go on a date with a girl

4. Finish an NES game on my backlog

5. Read the second book in The Chronicles of Narnia (I've only read The Lion, The Witch, and The Wardrobe)

6. Relax
I've heard on a few occasions from people visiting from oversees (Canada and Western Europe) how a lot of food tastes so much sweeter to them here in the US then back home.
> This is why we need the estate tax (Paris Hilton tax or death tax as opponents like to say) to stay and probably increase in rate.

How is it relevant to giving up citizenship and owning property or company? There's no death involved. If their children are not citizen either, they are not hit by inheritance tax too.

> I am not a big fan of income tax on businesses but I can see why we need it.

VAT is sort of like income tax for businesses. Except it's not taxed on B2B transactions. Which makes sense. Otherwise everybody would bring in whole production chain in-house and we'd be left with huge conglomerates and no SMBs.
Thank you for being pedantic over a word literally (yes, literally) everyone reading it, yourself included, understood and interpreted correctly to mean the author's intent. You are providing a valuable service.

/sarcasm
A Quick Introduction to PostCSS – What You Need to Get Started
Tech is growing much faster than other industries, and it's one of the biggest industries already. Non-tech people who don't invest in tech will be left out. Of course the best for them would be to understand the technologies, but not everybody is willing to spend the time for that.
Scientists are warning of an increase in powerful earthquakes this year
Could they have landed while gliding or would they have almost certainly been killed if the engines did not turn back on?
I guess (tape) camcorders back in the day at least had sort of good HDR? :)

Saying this because obviously (also my) parents recorded plays 10 or 15 years ago.
In the secular world, the mind is akin to the soul. Judging from the first sentence, that is what the author is referring to.
How does todays tech look like? The previous trend was scooping from far above with a mid size drone, but I guess nowadays the insectocopters are possible.

Or did spying on phones make this absolutely redundant :) ?
As a user I just like standard forum software as established years ago. Not too much frills, just works. Think vBulletin, phpBB, Discourse, SMF. Actually there's not a lot of difference between them, and there's not many which are really bad. Don't have any experience as an admin though.
They are funding it for 12 years. That's pretty close to forever. Any political system can change its policy over such a timespan.

Your second point is valid: this is additional money from outside. But the word "donor" would not apply in a true BI scheme. It would be seen as obligation to the community (via taxes), in the same way you pay for public infrastructure, because it adds a value to the community as a whole. (If it wasn't seen that way, it would probably not be implemented in the first place.)
Yeah, excepts it doesn't.
In those microservices setup more than not the change in the data to accomplish a client request is 3 or more services of "distance". Still, it needs to be accomplished.
If you don't coordinate all the services involved (all with different developers team, maybe from different contractors) AND if you don't do an end-to-end test, how can you be sure to do the requested change?
I don't know what the statistics are. It's "news" though.

https://www.google.com/search?tbm=nws&q=national+school+lunc...
I must say I doubt this. I’ve never heard before that typesetting could be copyrighted.
Never ignore existing customers
Thomas Edison Drove the Film Industry to California (2013)
With respect, that's been done. It was called Yik Yak. It was a disaster for the high school kids of my neighborhood; the geographic steering of messages allowed them to insult and stalk one another. The FOMO factor (fear of missing out) so carefully instilled in them by Instagram and the like made it very hard for them to just delete the app.
'On storytelling' by Evan Czaplicki:

https://www.deconstructconf.com/2017/evan-czaplicki-on-story...

Whether you like Elm or not, Czaplicki is an highly charismatic conceptual thinker and his talks are very relevant.
Am I the only one who finds vanishing leg room a larger disturbance than TSA lines?

The big airport crybabies are usually those who expect weather or mechanical problems to vanish by voice command. Unless you fly Spirit, I've seen minimal problems with airline staff or TSA agents. Most are fairly friendly.. of course this may vary by airport. I usually fly in and out of the same handful.
Now you've diluted your "centralisation culture" comment to "engineers, for whatever reason, will write off certain technology ideas" I can probably agree with it.
This is rather clever!

What immediately came to mind was perhaps you want to hide a secret key from entering memory. If this was done in kernel mode, you would be able to disable interrupts/task switching execute the "secret" stuff, and continue on your merry way...
My money is on it ending with the automation of propaganda and con artistry at scale.

A small group of people could use AI and social media to virtually sit down with every single person and convince them of something using a detailed micro targeting profile. It would be like diapatching an individual evangelist to work on each of a billion people in parallel.

We saw very primitive and still largely manual versions of this in 2016. When the real thing arrives it will be the hydrogen bomb of persuasion.

This is also what I think an "AI takeover" would look like. Forget about terminators. A superintelligence would find us trivial to con and manipulate. We will just be convinced to do what the AI wants. Skynet will launch words not bombs, but much like the nukes in the Terminator story we are building the infrastructure of our own destruction ahead of time.
I'm absolutely baffled as to why we still have ANY homeless people in any first world country. The cost to get them all into housing is barely a rounding error against most countries annual tax revenue numbers. The US, for instance, takes in about $2.6T/year, there are about 500K homeless people. Even at a cost of $1000 per month per person to provide each one shelter we are talking $6B, or 0.23% of the annual tax revenue, or just 1% of our annual military spending. And mind you $1000 per person per month is on the high side.
Lucky and Unlucky Numbers from Around the World (2015)
Zero-Width Characters: Invisibly fingerprinting text
also check out https://github.com/golang/mock for mocking
Iceland and Norway are in the EEA for all intents and purposes they are in the EU for this comparison since they are part of the unified market.

Also since Switzerland not to mention a plethora of non EEA/EU countries are in the graph your entire premise falls apart.
Effective Programs - 10 Years of Clojure - Rich Hickey:
https://www.youtube.com/watch?v=2V1FtfBDsLU
Why not treat I(ntellectual|maginary) Property like actual physical property, and levy a property tax on it, or the income earned? Maybe with a 14-28 year tax free period to encourage creators?

I realize this would create a huge accounting burden... but only in cases where it's worthwhile to continue charging for the property.
It would be better if you put a password hint on your will that only your beneficiaries could figure out; do not directly give the password.