skysight-inc/HackerNews huggingface dataset:
Palestinians fight for their freedom and very right to exist. Israel fights to keep control over territories that have been stolen to somebody else. Nobody would object if they were fighting in self-defense, but they're not (though of course that is what they want you to believe, otherwise how could you support them or even declare yourself neutral?).

> All I've done is just depict the situation as it is.

No, you didn't. You described the Israeli position as they made you believe it is, not as it really is.
Vue.js Developers Yearly Wrap Up – Top 5 Articles of 2017
GNU/Linux local username triggers Steam VAC ban
Brand new Galaxy S9 renders show the same ‘boring’ design
Yeah but just like cars in the desert you risk the dust filter getting totally clogged by the dust. With a car, you can stop and simply unclog the filter by hand - impossible on a piston engine in flight.
Let me add to your rant. Regarding my children, and school functions such as plays and recitals - the number of parents watching their kids through their smart phones recording video [1] instead of just watching it naturally and taking the moment in.

[1] video that is horribly underexposed, un-viewable, that they'll never likely watch again.
Honestly, I'm fine eating a nice deep-frozen (almost typed fried) pizza that costs 1,25€, Germany. I eat 2 or 3 per week. I have no clue why people would buy 20$ Pizzas :D
Chirpss – Hear and see people visiting or leaving your website
Unsweetened peanut butter contains 20% carbs and only 10% sugar, but 25% proteins. Looks like sane food to me? (I eat loads of it, so I hope so :)
What? Answers there disagree all the time.

You have an example of this kind of thought police behavior? In all my years on that site I have never seen anything like what you are describing.
Tech will only eat your soul if you let it.
89yu9h
Show HN: Rhythm – a daily markdown notebook, calendar, and task list
For some reason your post reminded me of a list I saw quite recently of (surprisingly working) open/free news servers (maybe dotsrc was on it).

I can't seem to remember or find the exact list or page I saw before, but for anyone interested here are a couple of sites with a few of the other servers I remember.

Note: I haven't tested these, some may not work, some may not be deliberately open (perhaps just misconfigured), some may not allow posting, some may require registration, some may carry only a few local groups, etc etc etc.

Also, this post is related to text usage; if any of the following servers carry binary groups it's unlikely they'll have complete files.

blaine.gmane.org freenews.netfront.net news2.informatik.uni-stuttgart.de
news-archive.icm.edu.pl news2.neva.ru gandalf.srv.welterde.de

https://freenews.maxbaud.net/free-usenet.htm

And here:

news.tin.org news.prz.edu.pl gandalf.srv.welterde.de pb1.pair.com lugnet.com
ingebrigtsen.no freedommail.novaithelp.com news.alaska-software.com richelieu.ac-versailles.fr
news.cadsoft.de news.omnitel.net news.tugraz.at news.mt.net.mk news.man.rzeszow.pl
serv3.vsi.ru news.szaf.org pair1.php.net news.sotcom.ru news.mozilla.org x6.develooper.com
hq.tin.org news.grc.com iad.wholesalenewsinc.com news.math.ncu.edu.tw bbs.math.ncu.edu.tw
news.securecomp.org guest.dogagent.com ddt.demos.su news.dbase.com newsfeed.iif.hu
news.iif.hu vm-news.spline.inf.fu-berlin.de news.spline.inf.fu-berlin.de mx.sotcom.ru

https://www.freeusenetnews.com
I do not understand why mathematicians look down on proof assistants. I've heard this claim multiple times and it continues to make no sense to me.

Are there any mathematicians here who can weigh in?
I see. Thanks for the clarification, very interesting.
"Addiction to heroin is a failure of willpower."
Is the conclusion to monitor incremental rollouts of microsevice updates?
He just broke the first rule of keeping your face off the internet: announcing that you're trying to keep your face off the internet.
What is a purpose of creation without consumers? Especially bad creations, the World and the Internet is full of them.

I plan good consumption, some laziness to free mind, more good body stretch and some good creation in cooperation with others.
the literature will also show you that moderate consumption of sugar doesn't have any negative health consequences
Weird communities never disappeared they just got overshadowed by the rest of the social networking place. It’s like saying everyone goes to wal mart and home depo .
A malicious (or pwned) pool operator could do false validation, which would sacrifice all the coins that other people have staked.
Overprecision or false precision seem to fit the bill.
Dealing with surprising human emotions: desk moves
That's all well and good, but those are highly competitive positions. Even joining the companies where this is possible in the first place is competitive. It isn't something you can "just" do.

Also, this only applies to an elite subset of "big companies". Few, if any, individual contributors at Oracle or IBM are anywhere near that.
1. Google's only consumer OS is Android. Even after literally years of development it's still riddled with inconsistencies (visual and behaviour), performance issues, security issues etc.

2. It took them literally years to arrive at Material UI design, which is a vast sprawling document which is often internally inconsistent, and even Google can't adhere to it a lot of the time.

3. Their best customer-facing products have traditionally been third-party acquisitions (such as Docs). They have a very inconsistent approach to UI/UX across all of their products.

(I had more, but it's hard to concentrate on the first of January :) )

They can still pull it off, but it's definitely not a given.
Maybe because I love Greenwich Village, Jane Jacobs, and Henry Thoreau, or maybe because between Steve Jobs' and Bill Gates' legacies, I chose Richard Stallman's, but I've never felt any appeal from Silicon Valley.

Maybe visiting might change my view, but the realizations in the article seem obvious and late enough that I think I understand the appeal but don't share the values.
Research mathematicians are certainly more highly trained than non-research programmers, at least for the first few years of their career. A PhD, at least in the USA, is really intensive.
> For the Erlang case in your list: every time you pick up a phone

Yeah, yeah, yeah. AXD301 is the only thing that keeps E going. It was the poster child 20 years ago, it still is the poster child today.

Quite sad if you consider Erlang's claim: Build massively scalable soft real-time systems.

Hint: you can't build a massively scalable system in Erlang any easier than in any other language. For reasons see the RELEASE project

> The financial world has a ton of Haskell.

The financial world has much more than a ton of other languages.

> Smalltalk has its successes but most of them are in the past.

Indeed.
I've been doing this stuff for awhile now using the same plotter (an Axidraw). Its great fun, and I used it to make christmas presents this year (eg: https://twitter.com/josephgentle/status/947820082218000384 ). I find it really satisfying to be able to make beautiful art despite having rubbish drawing skills.

There's a whole community of us on twitter sharing our weird creations. Join us at #plottertwitter if you're curious: https://twitter.com/hashtag/plottertwitter?src=hash
Why the hell are you being downvoted? I really appreciated this line of thinking.
2017 was the year I left Facebook, Instagram, Snapchat, Twitter, etc. Nuked my old reddit account and came back to a fresh start with only a few niche subreddits and of course HN. I don't even frequent 4chan as much because it's losing its ground as a first-party source of internet subculture and information dissemination

I've significantly cut out the time spent engaging in communities that don't give me anything in return, and while it makes it very hard to date other people in my generation and at times fills me with a lonely sense of disconnection from society, I feel so much healthier.
You need to either take pride in your work or just pick the most complicated task you have done and explain it well and use that as the answer.

Or you could do a side project that would fit the bill.
I’ve experienced it often. I came across a question pertinent to a problem I was experiencing, I tried the work-around in the comments, it didn’t work, I mentioned this and was moderated to oblivion and attacked; I created a new issue, and drew fire for then answering it myself (but also accidentally using a comment to do so); I got hollered at for creating a link between the two issues; I was downvoted for being new. It’s a totally hostile environment. As of then I consider it a Read-Only resource (plus my questions never get answered anyway).
Show HN: Crontabs.  A simple scheduling library for python
Fantastic story with ample background. Thanks for sharing.

Another excellent historic look at German politics was a piece from The Independent before the Sept elections about the economic successes of Germany today. It argues that policies laid down before Merkel's time came into fruition during her Chancellorship, which began in 2005 (namely; fiscal rectitude, a close relationship between education and industry, and labour reforms brought about in 2003): https://goo.gl/ULExiQ
> Ultimately, every individual team is the expert given the specific context and needs.

Most companies don't have specific needs. They think they do, but 90%+ of the companies out there are either building run of the mill CRUD apps or something barely more technically difficult.
tl;dr though I thought I'd mention that Postman's monitors is saving the day for me. You can go further and script white box tests in its little embedded JS language.
Well there is obviously a point at which it will no longer work (way before Google scale). But the point is to stop testing services in a coupled way, the whole point of microservices is to make decoupling real, not to build a distributed monolith. Testing in a decoupled way helps this enormously.
It's argued that Erlang can be viewed as OO in Smalltalk's terms if you model your system entirely around processes: you have a process black box, and you communicate using messages with it.
I went to my first Christmas recital this year (2 yr old) and remember thinking what a favor the school would have done everyone to film the performance themselves and sell the video.

Instead everyone was rushing for better filming positions whenever a new group got on stage. Miserable.
Honest question - if this user creates another account and keeps violating the rules, how would he be stopped?
Google makes some IMO very weird decisions about seemingly low effort/cost offerings, even if a bit niche, that would seem to be very complementary to products/services that it does put its full weight behind. Dropping Reader didn't make a lot of sense to me for this reason. The lukewarm support for Scholar is another.
Hack the Hackers Tool
I'm more on the tools and services side. I make melodies, synth presets, sound effects, and stuff like that. Still hard, but less of a gamble. I tried the other side before, and you're right. I just barely made enough to pay for the headphones I use for mixing.
Ask HN: Why there is so much burnout among engineers in Sillicon Valley?
Ask HN: What projects are you planning to start (or finish) in 2018?
I can’t imagine such a culture producing modern medicine or becoming a space-faring one. Without modern medicine, the span of the average individual life is limited, without getting off this rock, the culture’s life is limited.
Searchable Huma's emails
Perhaps accreditation should be separated from education.
Sorry but could you be more specific and perhaps tell us what kind of Saas app they are and what services they provide.
I've been working on a VN since August, and made more progress last night than I have since September. I'm going to finish it up, get the art professionally redone, and put it on steam.
I consider myself a bit of an expert in this area, I work on lots of mathematical algorithms.

My experience is this isn't true. The reason it seems to be true is mathematicians will skip over writing out "boring" edge cases, which while hypothetically simple are often where the bugs occur in code.
As long as “the West“ keeps getting blamed for all the hardships in other parts of the world "the West" has all the reason it needs to point out other confounding factors.

(And I'm genuinely curious, what role does not being an American state have in your argument? Is punctuality a federal matter?)
The current (or at least recent) era in online advertising and patronage seems to have been a fairly good one for a lot of niche content--at least such content as went viral for whatever luck of the draw reasons. It's by no means clear that, as the effectiveness and legitimacy of a lot of that advertising is increasingly scrutinized, whether many existing revenue models continue. Just because someone has been able to make money the last few years is no guarantee that they'll be able to continue doing so.
As an American that took a substantial pay cut (taxes add to the pain) to get into Germany, this sounds about right for my experience. I came over mostly as a cultural thing, and salary was less of a concern.

I work with a few Canadians as well, and they didn't have access to the same salary levels back in North America that Americans do, so salary is less of an issue for them coming to Germany.
Purchase pdf

Anyone able to read the study?
This is really neat, but when a thread/process state enables MMX/SSE/AVX registers, it increases the cost of context switching (on Linux and other OSes) because they only restore registers they know could have been use (ie, if it has not called MMX/SSE/AVX ops yet, it does not save/restore XMM/YMM/ZMM registers).

There have been cases where autovectorization in compilers have produced good SIMD versions of code (which is still considered a hard thing to do in some cases), but was still slower during certain benchmarks that did high thread counts (ergo, absurd amounts of CPU time wasted on context switching), but beat non-vectorized in less loaded situations.
SPOILER it wasn’t his accent, it was how he showed the number three with his fingers.
Programming Cryptocurrencies and Blockchains in Ruby (Free)  Yuki and Moto Press
Not really a mathematician, so take this with a grain of salt. I would guess there are probably several different reasons for "looking down" on proof assistants.

On the one hand we have something like the 4-colour theorem where there is some kind of "proof", which is very large and incomprehensible. This is probably unsatisfactory to many because one is not really interested in just knowing that something is true, but ideally one also want an understanding of "why" something is true. This is, to various degrees, achived in more standard proofs.

Another reason for disliking proof assistants is probably that they simply are very cumbersome to use and not very much can be proven with them so far. I would guess that even if you could get someone to admitt that the idea is cool and could be very useful, it's just not practical and for most people in mathematics it's just a distraction from what they are trying to work on at the moment.

Compare with trying to convince someone that a flying car is really cool, yeah, sure, it probably would be, but so far it's basically sci-fi. If you want to work on building this, great, but most commuters will probably "look down" on your idea if you start bugging them about it.
> we try to abuse 'time-controls' in the idle hope of solving trust issues

Trust involves character and competence. Being able to show up on time demonstrates a competence that is necessary in some industries and some cultures. I agree that there are people who permanently stress over self-imposed schedules.
Wondershare Dr.Fone v8.2.3 with Crack Free Download for Android
A service that relies on google analytics to function? History indicates this approach can be problematic ie what could go wrong?

Edit apparently the same ring that’s up voting this and promoting it are also down voting everyone else? Great!
That's not what the OP is getting at. BI may work well given certain preconditions, and subpopulations. But what use is the money if resource supply and the productive capacity of the economy is limited?
You'd have to ban them owning property or businesses in the country too. Otherwise they'd just stay but without citizenship or taxes.
I would like to break the intercooler.js dependency on jquery.
An apt commentary. The Home of the Brave is no more. It has become the Home of the Hysteric and the Paranoid, up to and including the POTUS.
That's all great and all, but why pick Gnome3 to rally behind? I literally know no one that can stand that desktop environment, and it has become part of this weird systemd/pulseaudio cult that is slowly destroying any chance of moving forward and producing a modern desktop environment for Linux that average people will accept, due to a constant (and ignorant) political war against pretty much anyone else that isn't part of that particular groupthink.

The irony here, I think, is Pantheon actually completed this goal with a much smaller team, with no political bullshit, and is a clearly superior product.

By virtue of this fact, and by your reasoning, Gnome3 has no reason to continue to exist at all and should end development if, truly, Linux is meant to have a One True Desktop Environment (tm).
This is fun! Reminds me of the visit counter everyone had back in the 90s.
Generating inspirational quotes with Markov chains
A Memory Allocator (2000)
It's not even a 'weird trick'; early-stage bootloader code and embedded systems often have to execute before RAM has been configured. This is a useful way to gain a little working space.
This reminds me of plum dumplings - and they are called gomboc in Hungarian. My late grandmother used to make those, and they were fantastic! Its not served as sweets, more as a main dish. Not that this has anything to do with mathematical objects and points of equilibrium :)
I feel the author isn't going far enough- make all variables immutable by default unless explicitly declared otherwise, and even then highly discouraged.

Where mutable variables are needed, I prefer to hide that logic inside a method that exists solely to do that dirty business on an abstract level, not specific to my business logic. That let's me test the 'dirty' mutable method in an isolated place and removes a whole class of mutability-related bugs from my business logic code.

Working on Java, this used to be nigh-impossible, but the Java 8 additions have truly made my life easier.
https://ww2.kqed.org/forum/2017/12/15/dr-robert-lustig-on-th...

This guys an md then got a law degree to investigate how we’re affected by what your saying , and how govt doesn’t regulate it
For the past few years when the cost of oil was low, oil companies needed to keep some amount of trained workers in work. So what they've been doing is "starting" wells and then stopping the drill a safe distance, to leave everything in a state where they can tap the well in a short period of time to respond to prices. (Though I don't really have any knowledge of the actual scale, since it's just from talking to people where they're going/gone after leaving the Nuke program) Which is where some of that boom is from, since right now OPEC is struggling to control production to raise prices.
Maybe the difference between those that feel fulfilled in life and those who don't are the addiction loops we've found our way into.

It would be nice to hack those loops in a meaningful way. Make creation a drip fed, nicely chunked, and skinner box filled experience.

There are some methods like pomodoro but something software based to use these novel approaches could do a lot of good for the world.
Geometrical Explorations of the Lagrangian Multipliers
I made this today for folks who would love to learn a bit more about Lagrangian Multipliers. Please criticize and comment!
Why would you want to be disturbed every few seconds? It's bad enough with interruptions from emails, chats, skype, calls, messages, coworkers walking in etc. This might actually have the potential to kill your remaining few productive spells.
Same nostalgic feelings here. Only this time you’re the only one that gets to see it. Its fun when launching a new project and wanting to celebrate every visitor that you gain.
"DIY human gene therapy with CRISPR" http://diyhpl.us/wiki/transcripts/diy-human-gene-therapy-wit...

"A deep dive into Bitcoin Core v0.15" http://diyhpl.us/wiki/transcripts/gmaxwell-2017-08-28-deep-d...

"Advances in block propagation" http://diyhpl.us/wiki/transcripts/gmaxwell-2017-11-27-advanc...

"Discreet log contracts" http://diyhpl.us/wiki/transcripts/discreet-log-contracts/

"Signature aggregation" http://diyhpl.us/wiki/transcripts/bitcoin-core-dev-tech/2017...

"Programmable organoids" http://diyhpl.us/wiki/transcripts/hgp-write/2017-05-09/organ...

"Ultra-safe cell line" http://diyhpl.us/wiki/transcripts/hgp-write/2017-05-09/ultra...

"New address type for segwit addresses" http://diyhpl.us/wiki/transcripts/sf-bitcoin-meetup/2017-03-...

Bram Cohen on merkle sets and memory management http://diyhpl.us/wiki/transcripts/sf-bitcoin-meetup/2017-07-...

"Making humans a multiplanetary species" http://diyhpl.us/wiki/transcripts/spacex/elon-musk-making-hu...
this is a reason slashdot's metamoderation was such a great idea, which has, oddly, never seen any further development.
I'm sort of amazed that I find anything of value on there, given the same experiences.
This is not basic income at all.

First, people knew timespan is limited. Thus they had incentive to invest money wisely. What would happen if they knew the money would be coming forever?

Second, the money came from outside of the community. In Basic Income, money comes from within the community. In true BI scheme, the caregiver dude would be donor and paying to his neighbours.
I don't mind waiting, just be prepared to pay for the hours I wait.
StackOverflow, and Wikipedia even more so, are real life Stanford prison experiments on the inside. Power, in whatever form, seems to attract abuse and catalyze a bit of megalomania in the holder.
Or as it's more commonly know African time

https://en.wikipedia.org/wiki/African_time

It's also noticeable in say check-out lines and even just walking. They simply do everything slower. (And that's not me being condescending - I grew up in Africa). I wonder if it's a factor in the overall economic progress of Africa.
Engineered Tissue Folding by Mechanical Compaction of the Mesenchyme
> drew fire for then answering it myself

Which is really weird and unfortuante. Asking and answering a question yourself contributes useful information to the site.
This is my first show HN, and honestly I'm a bit nervous. I have been working on building this web app in the background for quite a while. I initially built it because I was doing a lot of consulting work and needed a simple interface that would allow me to keep track of all of my tasks and events in one place. Without distractions.

After using it personally for several years at this point I've decided to see if it would be useful for anyone else. I'm currently collecting feedback. Any input on what works, or what's confusing about the app is helpful.

Thanks, and Happy New Year!

–Daniel
Anecdata, but every alcoholic I knew was self-medicating, so I suspect that the money itself from BI won't have much direct impact on alcohol consumption. OTOH, unemployment is a huge trigger for depression, so BI could go either way depending on how it's accepted socially.

OTOH, I do expect a good majority of basic income recipients to waste their time on stuff that tickles the meaningfulness receptors in the brain: video games, social media, and other easy tribe forming activities such as sports fandom.

But I agree with your basic point: you don't need very many geniuses and artists supported by BI to justify a large number of freeloaders IMO.
2017 was safest year in history for passengers around world, research shows