skysight-inc/HackerNews huggingface dataset:
I came here to say the same thing. There is ano issue already about it. I've benched the program but didn't get the results I was hoping for I'm afraid. It would be great if someone could take a look at that. I think it has something to do with the Intel drivers but I might be mistaken.
The axiom isn't exactly about being able to pick an arbitrary element out of an arbitrary set. It says that if you have a collection of nonempty sets, then there is a function f from the collection X of sets to the union of the collection of sets, with f(A) an element of A, for A in X. To say each A is nonempty is kind of already saying that we can pick out an element from each set. The axiom just goes on to say that there is an actual function which does the picking out.

I think of it as taking the meta-level (a statement that every set in a collection of sets is nonempty) to the set level (there exists a function which picks out one of those elements for each set in the collection).

The axiom doesn't actually say what the function is. It just says that the set of functions with the given picking-out property is nonempty.

A similar statement to the axiom is that every sequence of nonempty sets A_1,A_2,... has at least one sequence a_1,a_2,... with a_i in A_i.

A consequence of the axiom of choice is that every vector space has at least one basis. I'm not sure whether every vector space having a basis is equivalent to the axiom of choice, though.
> Instead of improving usability for everyone, they're more interested in adding yet another obscure anime decoder feature so they can watch their AMV cartoon porn

Mind you, FOSS is contributed to by people scratching their own itch. It's not so much that VLC has a lot of otaku developers; it's that a lot of people who watch (or subtitle) "AMV cartoon porn" see a problem with, or missing feature in, VLC, and think "I'm a programmer; I can fix that", and dash off one-off patches.
Cubicles are terrible. No privacy, a lot of noise and still no good way for talking to people. I also like to see something other than a gray wall the whole day.
I'm a bit surprised to see this on a site such as infoq, and being written by a developer from Thoughtworks.

If you have a 'complex project' you are going to need more than just ReactJS. It's like saying Handlebars templating is no good for large projects.

The reusability of components in a large project, and specifically the issues the author points out about interactivity between components, isn't supposed to be done in react, you're supposed to have a data (store) layer which manages the state of your components. This means the component itself is essentially just an template for your output.
As mseepgood already replied, you can do that in Go.
Yup. Was filmmaker, now VR dev, as of approximately 9 months ago.
Lots of people. There are some cozies (Think 4 thick curtains and a few sofas inside) or walls with meetings rooms between every 4-5 rows of desks.

Also: nobody really takes calls from their desk.
If you want to do a VC call, you get a conference/interview room.
Same for long-winded discussions or whiteboard sessions. You start conversations in the common area, but if it's a larger undertaking people might move into a designated space.
Hacking issues
I am happy i went through a blog and found shadow duty he is a guru he increased my credit score from poor credit and helped my nephew upgrade her school grade and GPA without any traces, he is geniune and reliable Shadowdataduty@gmail.com you will be grateful. or reach him at +1 205-686-1758. He is real folks
I am happy i went through a blog and found shadow duty he is a guru he increased my credit score from poor credit and helped my nephew upgrade her school grade and GPA without any traces, he is geniune and reliable Shadowdataduty@gmail.com you will be grateful. or reach him at +1 205-686-1758. He is real folks
I do my normal shopping at a large and busy grocery store near the centre of Auckland. There are no turnstiles or even those flappy "gates" that let you pass in just one direction; the entrance is completely open. Quite often I walk in before realising I need to get a basket from outside, so I go back and get one. On several occasions I've changed my mind and left before venturing too far into the store. Nobody cares.

That said, if I had spent any significant time in the store without getting anything, I'd probably leave by the self serve checkouts.
Rails/webpacker: Use Webpack to Manage App-Like JavaScript Modules in Rails
OECD and Pisa tests are damaging education worldwide say academics
there was a study where, given the same weight lifting program, a couple people gained tons of muscle, most gained some, some gained none, and a few even lost muscle. Not everyone can gain appreciable muscle

This is a non sequitur. A reasonable follow-up study would try to figure out why those people didn't gain muscle, and how that can be changed (the first things to look at would be diet and sleep. If they're not getting enough food, of course they will lose muscle).
You forgot Dart and Typescript, which power AdWords and Angular respectively.
I work from a home office with a family. You close the door and as long as the boundaries are clear there's no problem. If you want to take a break and go shopping you can do that... It's doable.
> Should anyone be able to show up to an airport, pay for a ticket and board a flight anonymously?

Yes.
That's exactly how Valve[1] sets up their office, for similar reasons.

[1] - http://www.valvesoftware.com/company/Valve_Handbook_LowRes.p...
And often the people cooking this up have a nice window office and their meeting rooms are along the windows.
For historical context: these dictionary projects were what multi-site and international collaborations between scientists looked like 100 years ago. Theodor Mommsen even made that argument when he applied for funding for the Thesaurus Linguae Latinae from the Prussian Government: "Big Science needs funding, just as Big Industry does."
Please take a look at the Cloud Native Computing Foundation (I'm the executive director) at cncf.io. We have a lot of free resources for learning more about the space.
JavaScript Full Stack Developer | Adelaide | ONSITE, Full time

Sine.co is changing the way you check-in to physical location you visit. We are looking for talented JS developers with experience with Angular JS to join our amazing team in Adelaide, Australia. send cvs to info@sine.co

The Role:
The JavaScript Engineer will join a growing agile team to deliver solutions to both the front and backend of the core Sine product. They will work closely with the business and existing team to scope, design, solution, and deliver new features and technical improvements to take the product to the next level.

Sine’s Technology Stack:
●	AWS EC2, ECS, S3, SNS
●	Postgres, Redis
●	Node.js, ES6/7, Express, Sequelize
●	AngularJS

Key skills:
●	Strong JavaScript background in web applications and Node.js
●	Good principles of software design and architecture
●	RESTFul API design
●	Understanding of relational database concepts
●	Experience working with non trivial SPAs
●	Comfortable with HTML5, CSS3, Bootstrap
●	Working knowledge of AngularJS
●	Can develop in a Linux based environment

Bonus:
●	Experience working with AWS
●	Loves zero downtime deployments
Way back in 2009/2010, I remember there being some issues. But that's coincidentally when I switched to a Mac, and started doing all my tagging in iTunes instead. Come to think of it, it's likely they've fixed it by now. I have used foobar since, but mainly for playback.
Ask HN: What are some 'must watch' talks?
Trump’s F.D.A. Pick Could Undo Decades of Drug Safeguards
Totally agree with this. The concerning part for me is that ML is about making a "best guess" given some data. This means that your tests may pass one time and fail another - inconsistent tests aren't tests at all.
Any better keylogger than this for mac?
Depends how close you live to operations / devops / pager rotation. If the boss trusts you not to have both of you drive in at 2am for every little problem (you to work and him to hover over you to make sure you work), they'll trust you to also actually work at 2pm from home on a normal day.

You also have to be realistic about slacking. I can let in service people and rotate the laundry and cook dinner in less time than my (few) smoking coworkers spend on smoke breaks. Also the world is full of people who take an entire sick day to let the cable guy in or something like that, so a work at home dude stealing 5 minutes is 7 hours and 55 minutes more productive than the fake sick day slacker.

I guarantee my coworkers are going to waste at least two hours tomorrow talking about the superbowl. Working at home, I have no one to talk to, and if instead I post for an hour on HN I'll still be ahead of the office grinders.
The whole topic has both its more philosophical aspects and its more mathematical aspects. If you want to explore the more mathematical aspects, you probably want to start here https://en.wikipedia.org/wiki/Paraconsistent_mathematics and then end up reading something like https://www.amazon.com/Inconsistent-Mathematics-Its-Applicat...

EDIT: see also https://ir.canterbury.ac.nz/bitstream/handle/10092/5626/1263...
That sounds very interesting!

Say with a car that has a heads up display for night vision, if it had an SWIR sensor and IR lights, can that cut through fog too? Or is it the LWIR that is able to do that?
Death by Tactile Paving
CP is never welcome and gets removed. Even un- or barely moderated boards do so.

Dick picks, on the other hand, are tedious but not inherently bad.
Go is better for applied tasks. Currently there is no faster way to write or simpler language than Go to write a highly scalable internet server that can handle 100-1000k concurrent clients on the commodity hardware. I suspect this applies to some big data analysis tasks in bioinformatics, that can be parallelized.
You should consider an S Corp instead of an LLC. In California, you have to pay an $800 franchise fee every year. It's significantly cheaper for an S Corp and any revenue can be passed to your personal income tax.
There is a setting for the time interval. That's not the point. I'm not gonna delay replication and backup by minutes just because the replication system sucks. I'd rather pay the storage for my use case.

Compression is enabled indeed. Surprisingly, the compression ratio for "nothing going on" is terrible. (still multiple MBytes).

The next version of postgre will redo the transaction log to have dynamic adaptive sizing, with new settings to control it. Not there yet.
What are the limitations/drawbacks of an LLC (beyond the inability to raise funding).
A boy can dream, can't he?
Affirmative
Imzy is probably what you want. It's very clearly messaged from the beginning that moderation is important.
Hot Asphalt
https://youtu.be/vjVwi-kxLFI
I actually hope we can loosen the restrictions from the FDA. One of the main reasons our drugs in the US are so expensive is because it can take $100 million and a decade of clinical trials to actually get something approved.

This broken model creates an environment where a few companies own most drugs and consumer prices skyrocket.

If it brings more competition ad reduces our prices? I'm all in.
Is there anything Canada could do, if the US started targeting overflights aggressively, forbidding travel by dual citizens from certain countries, etc.
You made my day, thanks.
What's with the name Gita? You know it is the name of the holy book of Hindus, right? Then again, there is the infamous tech book series "Bible".
Wikipedia says:

The primary distinguishing characteristic of systems programming when compared to application programming is that application programming aims to produce software which provides services to the user directly (e.g. word processor), whereas systems programming aims to produce software and software platforms which provide services to other software, are performance constrained, or both
https://en.wikipedia.org/wiki/System_programming

By that definition it seems pretty clear that systems programming covers a lot more than just operating systems. But calling a language a systems programming language if it is unsuitable for writing operating systems seems a bit unusual. At least it would have been unusual at the time these terms were originally coined.
Just read the entire article. It feels like an opinion column but no real data to back it up. Open office or not, cubes do not facilitate collaboration. I am curious if anybody really cracked the ultimate workspace, and maybe the real answer is hire employees you can trust and let them work from anywhere.
I'd also like to hear more about what tools you're using/looking forward to.
A fad? Don't you see a problem with many of today's websites? Both from a developer's and a user's perspective.
Wikipedia ([1]) describes some ways around Godel's incompleteness theorem.

[1] https://en.wikipedia.org/wiki/Hilbert's_program#Hilbert.27s_...
Good point. I'm getting so tired of the surge of emotion-driven responses since the election. The level of discourse is dropping down to a typical reddit-esque echo chamber. If we don't encourage people to think I think the tone of HN is going to change quickly.
I keep talking to people that put too much business logic in their components and then complain about react's unmaintainability as the project begins to have problems. Most of the time is because of poor component design and lack of a clear state/data management
I think the problem is just that people use one word, "troll", for too many different things.

We can keep using "troll" for people who are saying things to get people riled up [http://www.flamewarriorsguide.com/warriorshtm/troller.htm].

But we need to call people who pick on others "bullies".

As for scum who post threats, email pictures of dead people to their family members [https://en.wikipedia.org/wiki/Nikki_Catsouras_photographs_co...], etc, we may need a third word. I can't think of a good one -- is there something like "pervert" but without the sexual overtones? Maybe "thug", although that also might not be the best choice? "Stalker" is used ironically too often. "Scum" sounds too over-the-top.
At the beginning of the Java and the XML hype cycles few people called that out the new toys weren't as shiny as they looked on the box. It took 10, maybe 15, years for others to catch up.

Look behind hype cycles and often you'll find $company marketing department.
>Should anyone be able to show up to an airport, pay for a ticket and board a flight anonymously?

This is the reality in large parts of EU, I've flown several times without having my real name on the ticket.

Hell, when I fly private it's even better. Show up at airport, meet pilot, get on the plane, hand the pilot a pile of cash. No passport control or security at any point, and this isn't just EU.

So far no massive disasters have resulted from this.
I don't know, to me it looks like serverless benefits, (ie theoretical lower cost) are not worth the downsides, (essentially complete vendor lockdown), but would love to hear why am wrong :-)
I do all of those things when I work from home.

Just like people at the office dick around in a hundred different ways while they work.
Doesn't look like it...
>I'm curious where the German propensity for strict organization, rule following, etc, comes from, and how far back it goes.

It didn't start with Hitler. There are descriptions of such attitudes all the way back to the 19th century (that I'm aware of) and possible further back.
The main problem is taking a statement about a set ("for every A in X, A is nonempty") to the existence of a set ("there is a function f [which in ZFC is considered to be a set] such that for all A in X, f(A) is in A").

If you are able to create a statement P(A,a) that for every A in X is true for exactly one a in A, then it follows from the axiom of replacement that there is such a choice function. The axiom of choice seems to say that it suffices to make a statement P(A,a) that for every A in X is true for at least one a in A.

The axiom of replacement helps actually construct such a choice function, whereas the axiom of choice just asserts one ought to exist since "at least one" seems good enough.

To use the axiom of replacement, you have to use some structure for A. For instance, with the finite set example, it might be that each A is not just a set, but a set which is in bijective correspondence with a natural number, where there is a distinguished bijection. Then, you could just say that P(A,a) is true exactly when a is the image of 0 under the bijection.
IDPF, EPUB Standardizing Body, Has Combined with W3C
>there is a much higher pesticide usage associated with GMO fields around the world (for what reason whatsoever)

This is because most GMO crops are designed to withstand more pesticides rather than bettering the crop on its own. It's a kind of printer and cartridge sales model. In Monsanto's case they want you to buy their crops and then use more Roundup. In this way they sell seeds and afterwards they sell more pesticide for those seeds.
How about some kind of sound meter that is attached to the wall of every cubicle, if it measures sustained sound over a preset level it notifies the boss.

Can shoehorn IoT in there somewhere, then you have metrics for everyone in the place and who is doing the distracting.

Could even have a red light on the top that goes off as well.

(Clearly I'm joking..but only just.).
That may speak more to what you're doing with it. I've never needed extensive customization or extensions to do what I needed to do in REAPER, and I've been using it for many years (maybe since the beginning...I bought it very early on, and while I kept alternatives around for a few years, it rapidly rose to the top).

But, again, I use other tools for my MIDI sequencing and composition tasks. The MIDI and sequencing and loop-based composition side of REAPER is weak. But, the multitrack recording capability is quite strong, IMHO, and very easy to use. Maybe with extensions and going deep on scripting and such you can make it work well for those other tasks, and perhaps that's where our communication is breaking down. For me, REAPER is a super reliable, super fast and efficient, multitrack recording DAW that works exactly the way I expect a multitrack to work. I rarely need docs, I rarely need to fumble around looking for what I want to do.

I did note, in the distant past, that REAPER wasn't really competitive with Pro Tools for broadcast and film production work. While it had SMPTE sync, it was missing some other stuff...that I can't remember now. I guess R128 fits into that category of film/broadcast stuff that REAPER doesn't do well. It's cool that there's a set of extensions that covers some of that. But, by the time you're doing advanced stuff like that, it's always gonna require scaling a learning curve, right? I mean, Pro Tools isn't easy to use for advanced stuff (or for any stuff, really...I find Pro Tools somewhat unintuitive, when I haven't used it in a few years and sit down to poke at it again).

But, the comparison to vim or emacs only seems apt once you're doing hard things with it. I stand by my assertion that for the simple stuff, REAPER is very easy to use.

Thanks for bringing SMS to my attention! Looks cool.
For Starship, they have a remote voice link to the thing, and if someone is messing with it, central control can yell at them or send siren sounds. It locks remotely; people can't just open it easily. Someone could steal the whole thing, but its location is known and it has already sent video of people approaching it. Besides, stealing from it probably just yields a pizza, a Chinese dinner, or some random groceries.

Redwood City is a good test site for this, because it has both good and bad neighborhoods close together. They can find out how much people will bother it.
The point is -- it needs to be moderated.
Google still is! Progressive web apps now have the ability to be installed "natively" on Android devices [0], meaning they show up in the app drawer like any other app rather than being limited to a home screen icon.

I think these are the future. Once they catch on with mainstream consumers, native apps won't stand a chance against the convenience of simply visiting a website to install/use. Plus, on the developer end, we finally have a true "write once, run anywhere" situation that doesn't involve any complex toolchains or hacky wrappers.

[0] http://www.androidpolice.com/2017/02/02/progressive-web-apps...
The thing that makes java pleasant is large open source ecosystem around it + IDE quality (meaning mostly refactoring and code navigation, especially when compared to dynamic languages). Frameworks like spring or hibernate etc are mature enough and old enough, so there is a lot to learn just by reading.

The language itself makes it easier to figure out what large code written by somebody else was mean to do - not that everything would be readable nor anything like that, but easier then say ruby or javascript.
>Surprise: Germany has other rules than the US.

Yeah, but the things you mentioned (hysteria about public alcohol, trigger happy police, etc.) are things people find abhorrent/silly about the US too.
Yes definitely, the problem is more with the perception of those in the office. All they see is you are working from home with your family and they might assume you're not able to give it your full attention.
Super Bowl 2017 Live Stream Free
https://www.reddit.com/r/sb51live2017tv/
In all the companies I've worked at so far it's been management and sales/marketing that get the offices. Right now I'm at a company where developers get a desk with 1 wall, and we sit next to each other. Do developers get offices anywhere?
> There's no point returning an error and letting the program try to recover, just blow up with as much information as you can, so the bug can be fixed.

Well, imagine a game letting the user roll a dice. "Chose a number of sides for your dice".

In such cases, handling such a panic might be useful. And knowing that it exists might be useful, too.

If the language does not allow specifying a range of a type (for example, requiring all numbers passed into the RNG to be positive), then it should be specified in the API in other ways programmatically, so it can be statically analyzed.
Can't you double spend? You might not be stealing money, but you'd be stealing goods/services by using money twice. If so you're being really disingenuous saying you can't steal money.

Also, it doesn't really take 51%, that's an arbitrary figure, it depends on how many confirmations your adversary is using, and is just a probability, so 40% would probably do in some cases, there is no magical threshold of 51%.

Glad you brought up rule changes, as that's another area where a small group or groups can control blockchains, giving the lie to the idea of a completely distributed consensus - in practice the rules are only as distributed as those willing and able to develop clients (which is a very small group), so that small group have de-facto control of the network.
Yes, the "small group office" is my favorite! I had that in 2006 and it was great for teamwork.

If I can't have that, I'll take a small private office with a door that closes. Although the least time I had that was, I think, in 2001?
For a message board run extremely well see whirlpool.net.au

It's basically the forum for all of Australia. They seem to have found the perfect balance between moderation and creating a good culture.
Fair point although I wasn't intending to argue that number of believers is any sort of proof. In any case, at least Christianity and Islam each have over one billion believers globally.
I am surprised that is still a thing given that React + Redux is very popular. I would expect anyone delving in React to at least be aware of it.
> O(n^k) loops

I'm unclear where algorithmic complexity is coming into this. Can you clarify what you're trying to imply?