skysight-inc/HackerNews huggingface dataset:
> I get that in such logic you can't deduce "P is false" directly from "Not-P is true"

It's actually the other way around; if not-P is true, then P is false, but not conversely. (The computer-flavoured example that comes to mind is that it is not possible to decide equality of functions (so `P or not-P` fails), but any two functions either are (`P` is true) or are not (`P` is false) equal. Again, this confusion between truth and decideability is, I think, not quite rigorous, but it gets at the essential idea.)

> I keep telling myself that I should learn more about constructive logic, as my own intuitions tend to it.

Indeed, Brouwer's precursor of constructive logic was called "intuitionistic logic" precisely because he felt that it better captured an intuitive, rather than formalist, approach to reasoning. (I'm not sure I agree ….)
No, it's actually more than appropriate to point it out because the point is that diffusion of responsibility easily ends up (to those involved) justifying mass murder. That shows that it of course justifies everything lesser to them as well.

And, it smokes out the Godwin trolls whose sole "contribution" is taking offense to everything.
Fake Painting: The Art of Forgery
Scientific? Bleh.
Stephen Hackett is going indie
> Besides I'm willing to bet Yelp could care less.

Would you bet your own startup on it? I wouldn't.
Toronto – A strange startup town indeed
According to https://twitter.com/lorenzoFB/status/618060756198772736, it's the same guy who hacked finfisher a year ago.
Self-driving taxi's would be awesome.
The original SICP used MIT/Scheme, a fantastic language. Racket is a continuation of the ideas of MIT/Scheme with more focus on technical computing and a heavy focus on langdev and PLT theory.

Not to make the language seem daunting, it's really quite easy to pick up, maybe if you find yourself with a few spare weekends you should give it a try!

It comes with a builtin IDE and profiler and everything else, so you just gotta dig in and learn.
Inline Styles: themes, media queries, contexts, and when it's best to use CSS
He was a genius in more ways than one.
Does Hinduism support polygamy?
What is the canon on gay relations in Hindu scripture?
I'll paraphrase it for you: psychos on streets are caused not by closure of mental health institutions, but by decision not to put them there in the first place. Closing of empty hospital after that was just a question of time.

to clarify it further:
I'm not trying to talk about homelessness in general. That's very complex subject. State housing - haha, welcome to 6th street/any sro in tenderloin, tell me how great that solution is.
They are correlated.
Can this be used for an e-commerce company? Curious because I'm in the process of launching one...
He may certainly be right; Star Citizen comes across as an insanely ambitious project. But I confess that when I realized this critique was written by the Battlecruiser guy, I jokingly thought: "Well, if anyone knows about overpromising and underdelivering on space combat sims..."
Better, NYC, FULL TIME; VISA; ONSITE
https://better.com/
Seeking Full-Stack Engineers

At Better, we’re working to replace the traditional mortgage lending process with a faster, fairer, and all around better experience for consumers. We believe that it’s time for the real estate industry to catch up with the rest of the digital world, so we’re taking the traditional mortgage bank, turning it inside out, and replacing subjective decisions with data-driven algorithms and statistical models.

QUALIFICATIONS
We are looking for someone with several years of experience, ideally with multiple languages such as Go, Java, Python and JavaScript. Hopefully you like highly asynchronous services, as well as algorithms and data processing.
We want someone who likes to build things above all, but we also want someone who is open-minded about technology and wants to work in a solid team of experienced engineers.

Email erik(at)better.com if you're interested or visit https://onezerocapital.com/jobs/?gh_jid=60759
Did you read the article? His point is that having failed to manage scope several times he has developed an eye for it.

That's kind of what I was hoping from Chris Roberts when I backed. I knew he had issues managing scope before and I was hoping this was going to be a more experienced Chris Roberts focused on shipping working software and not selling more things he is going to have to develop.

The timeline isn't so much what bothers me it's the threat of running out of funding. CIG is not transparent about burn rate so it's hard to tell how much runway they have although they claim they have it covered, but the numbers don't make sense to me.
All-In-One Solution Website Builder for Entrepreneurs
Except, if we are going to make the analogy faithful to the real life scenario, the blame is not transferring the guilt of the criminal, but the separate crime of not doing anything about the criminal.
I think these monolithic files are provided only for up to 720p quality, mainly for compatibility with older Flash players. To download the maximum quality with youtube-dl, you have to use "-f bestvideo+bestaudio" - then, youtube-dl will download both streams, and merge them for you with an ffmpeg invocation.
side-note: I find it very very interesting to think about a filesystem of unknown content and size. It's basically an infinite tree through FUSE. Nothing crazy, but interacting with it directly is inspiring.
I think you should check out how bombing was conducted before the introduction of the smart bomb. We used to intentionally and systematically destroy entire civilian populations.

https://en.wikipedia.org/wiki/Strategic_bombing_during_World...
Most general aviation engine failures are caused by poor fuel management. Training and discipline helps just as much with fuel management.

While there are clearly situations where this device can save lives, I agree with the GP that the case needs to be made that its worth the cost and weight, and that the people peddling it haven't made that case.
What lumps? That's the problem.
That's an impressively long string.
Yes, can confirm the first. Over half the time I'm basically designing the UI & UX for my clients (I'm a back-end dev), messaging or calling them about how they want certain logic or behavior to work, making my own decisions about what said behavior should be, prioritizing tasks for them, and managing my own task lists & estimates for the sake of my own organization and their invoice requirements.
I think you should leave the business. You have made a decision which could irreparably harm it. If both you and the girlfriend truly care about the business, you'll both sign "i won't sue" resignations and do whatever your friend needs to help the transition.

There is no trust in the co-founder relationship now and you've made bad decisions for the company. I do no think you can successfully carry on especially if this is a small company.

As for your friendship, I can only wish you luck. I don't believe I could accept this kind of betrayal but everyone is different.
If you are female, thank you for your sample size of 1 as evidence of it being statistically more likely. If you are male thank you for your sample size equal to the number of women you have had children with of it being statistically more likely, with the the evidence being presumably that those women had less sex because you had less sex with them. And as you do not specify, must I assume that all women you are using in your samples were of the target demographic 'teenagers'. If not it is hardly representative of a demographic which is usually just discovering sex, probably being fairly secretive about it, and may represent different data than an older demographic. This makes it a very hard section of the population to represent with good data.
I became freelancer 8 years ago, while being product manager of successful antispyware software, leading quite a big team spread over three continents. It was nice job, but I find myself to wake up at 5am, code for few hours, then go to work, hate to deal with politics, get back home and code for few more hours.

Then one day I found ad on job board: "Looking for programmer", there was nothing else than this, no description, just header and phone number. So I just ring the phone and the rest is history.

This was my first client and I still working with them today. It is old rusty Delphi 5 codebase. There is nothing fancy about this gig, but it is ongoing thing, the client pay on time and don't demand much. You find to appreciate jobs like this once you become freelancers and will want to stick with this profession for decades.
I would guess that's part of a codebase for generating sales demos before LEOs.
Clean up your test mess with XL TestView
Threads like this are so sensitive to initial conditions. When one initial condition is a dumbed-down, provocative title, we nearly always get a dumbed-down and provoked discussion. That's too bad, because there are some good ideas here.

We changed the title to a representative sentence from the article.
Three UMass Grads Use New Design Method to Create Sock Startup
How does that work for countries that still have mental health care, that is free and reasonably easy to access?
Running more deals than Black Friday is a huge feat for a major retailer. Amazon is clearly trying to make another big Shopping Day (yes, in the midst of summer when it could use it). I bet we'll see this each year if this goes well- and I wouldn't be surprised if other retailers counter with their own events next year - giving this "sale" Holiday credibility.
Classic Derek Smart, starts the conversation by claiming to be respectful to everyone, then essentially threatening to fight anyone who disagrees with him. Oh, he hedges and calls it "attacks", but if you don't know Mr. Smart, you don't know that he's always treated any disagreement as an "attack".

It's hard to take him seriously. His incoherent, perhaps schizophrenic rambling and threats towards his detractors over the years have certainly soured me. I mean, even here and now, in one sentence he tries to say his games were "popular", but "never caught on." What does that even mean?

>> The first game in the series was released back in 1996. Let that sink in.

Let it sink in that these games were unplayable. Not just unplayable in the sense that they were "boring" or "really buggy". I mean unplayable in the sense that, even if everything were working as intended, the intended operation was designed to be unplayable.

For example, the game actually requires us to go into a (poorly hidden) menu, find the crew member, and tell them to go eat, so they don't starve to death. Does the admiral of any fleet, or even the captain of any ship, contact every ensign under their charge personally and tell them to go hit the chow line? The games are not simulations of space combat, they aren't simulations of managing space fleets, they're simulations of Derek Smart's ultimate fantasy: being a complete control freak.

I can't finish reading this. This is supposed to be a criticism of Star Citizen, judging from the title, but all it's managed to do for the first 5000 words is go on about how great and visionary is Lord Derek Smart.

Some things never change.
Typo: should be "in many" instead of inany
That's not relicensing then. That is just not violating the license.

The person I was responding to said they took FOSS and made it proprietary in one microsecond.
> It's also really childish to use pejoratives like "Chairman Pao".

So you don't like name-calling but you're cool with calling him "childish" and referring to his "pot-smoking" friends?
I think it definitely does. Google Ventures has expressed in the past that their investments are not tied to any business plans of Google and function entirely separately.
Well said. Many who rejected coffeescript because it required a tool chain now embrace ES6 which requires a toolchain. People rave about ES6 features like classes, arrow functions, destructuring, variable interpolation - as if they are something new. Maybe the best thing about ES6 is that it helped transpiling to be accepted as a mainstream technique.
CONSUUUUUUUUUME
IDK, she's talking about hundreds of vile personal messages. Sounds like more than one a$$hat to me.

And I can't help but notice that as a man I don't get this kind of abuse at all. Literally 0 rape threats. I think when this kind of thing happens it should be called out. Sunlight is a great disinfectant.
How about this? https://medium.com/google-developers/introducing-material-de...
No, they aren't. That may be what you're hearing, but I promise you that's not what the intended message is.

When someone says "This town has a crime problem," they're not saying "The town itself is committing lots crimes" or even "This town contains nothing but criminals." What they are saying is that it doesn't matter how many good people there are in the town, it's still that town's responsibility to do something about it. The town can't just wait around for some other town to come and fix things for them. Or go on letting people get robbed and killed as long as it doesn't happen to anyone that "matters".

Women say "This industry is fucked" because they want things to get better. Some people hear this and seem to think that if they personally didn't cause it, then it's not their job to fix things or even acknowledge the issue. But news flash, the only way things get better if the people who aren't causing the problem drive the change. Because the people who are causing the problem aren't going to. They're entirely happy with the shitty status quo.
Are there any installations instructions? This seems to depend on a lot of libraries that are not specified anywhere.
haha indeed an "annoying" trick. we're so conditioned to reading phrases like "exactly one of the labels is true" as meta-information that we forget it's a "box label".
My best friend works at Goldman, and used to sit next to Sergey. Three things:

1. There were definitely NOT daily updates about the progress of this case

2. He WAS absolutely trying to steal code. Goldman high-frequency code isn't great (except in options market making). The thing that ultimately flagged him was that he kept trying to clear his .history file.

3. He wasn't planning on selling it. He was planning on taking it to Teza, a place that has a notorious reputation for poaching people and code.
That could plausibly be a tool for generating test data for forensics tools. The hardcoded paths don't make a lot of sense for actually trying to plant evidence.
We apologize
I do gigs on Fiverr all the time, and if I'm honest it doesn't really make the money that would make the time spent worth it. If I didn't LOVE writing poetry, or tidying up Rails apps or any of the other crap I do there, I'd have quit a long time ago.

IMHO, a dev would better spend his time going from repo to repo on GitHub and cleaning up code. Like checkout random files and run Rubocop and fix it up and commit. Fast, simple tasks that get your name out there. Sooner or later you'll either become part of a larger project, or be noticed for your work and get recruited somewhere good.

Either way, e-lancing is risky altogether because of disinhibition in clients. It's apparently tempting to let someone deliver a quality product and not pay or rip them off or just be rude to them, and oftentimes a platform will have more concern with throughput than with quality so if one dev gets ripped off it's not big deal for them.

Like I said, build YOUR name and you'll go farther altogether. If you're doing it just for a few bucks, you're already doing it wrong anyways.
He has a point and the domain expertise/experience but he doesn't say whether the failure of Star Citizen will involve Chris Roberts running around the internet and getting in massive flamefests with random users and threatening to sue everyone all while claiming all sorts of improbable qualifications. Or whether it will inspire parodies like this:

https://www.youtube.com/watch?v=NtB_jvznaNM

We can only hope!
I wonder how many startup co-founders with a girlfriend and a co-founder who is supposed to be (one of) his best friend(s) are reading this right now...

Anyway, I don't buy it from you that you "deeply care" about all three of them (startup, friend and her). On a second thought, I don't buy any of this: whoever finds himself in such a situation and asks for advice at HN must be a f* moron. And deserves to be miserable.

So I guess you just made it all up.
With logic problems the assumption is that logical information is always relevant to the solution, no matter what the source of the information is. It's interesting to have that assumption challenged though.

https://www.youtube.com/watch?v=emiMj8cCL5E and the extra footage is another demonstration on how the solution can change if you don't start with the normal "logic puzzle" assumptions.
actually fuck that. I keep forgetting how people like to talk about ideas and theories about crazies (crazy enough to be shitting in the middle of main city streets in front of eateries) suggesting that they just need a little money thrown their way to fix it all. Those are degenerates and not someone who just doesn't work.
They almost certainly do not use the API given its limitations, and unfortunately the Yelp folks do have a history of suing crawlers:

https://docs.justia.com/cases/federal/district-courts/califo...
> rhino-coq

At least the devs have a sense of humor.
> Time is a really good curator - if something survives a really long time (thousand of years scale) it is very likely to be of use.

This is actually one of the fallacies related to evolution. Selection only happens against negative pressure, not for positive pressure. In other words, adaptation generally only happens for things which harm survival. Things which are neutral or even benefit survival are not selected for.

Therefore, the proper statement to make would be more along the lines of, "Well, it can't hurt too much."
Ask HN: How to get a job/an internship in programming with EE background
Hi,

I'm currently doing a combined BSEE/MSEE with a strong focus on software (mostly MATLAB, C and Python) and I was wondering how to get a job/entry position in programming. In school, we do a lot of coding with multimedia (think audio, video compression, wavelets) and telecommunications (i.e. LTE, 802.11, SIP, RTP). I'm having a hard time finding openings for these skills. I'd like to start doing some work on the side and gain experience while I'm completing my degree and writing my thesis, but most companies only accept candidates who already graduated. Does it makes sense to apply to positions whose requirements I don't fully fulfill and see if I can wager an internship from that? OR maybe complete my degree and hope that they don't want any work experience? I'd be grateful for any ideas/pointers!

Thanks!
I'm pretty sure you have enough data to know that that argument is actually bunk in this case.

It's not like teens (and the poor, etc) are saving up to afford condoms and only having sex when they can afford them. The profusion of unplanned babies and the well-known tendency of the poor to have more children than they can support should prove this.
Why would you cite flash boys, which doesn't provide a lot of detail, and not the court filings, which do?
Both you and that girl are ass holes for betraying your friend.

The moral thing to do is for both of you to give up your stakes in the startup. Let him find better partners. You guys obviously don't deserve to be on the team.

In the end, you and the girl will have each other, and he will be single, but in full control of the startup. It's more than fair, given the fact that your friend didn't do anything, and you two betrayed his trust.
yes. you can force the streamable mpg4 download with the -f option (-f22), but it seems not all videos are encoded that way. livestreamer might be the tool of choice if you don't want to use your browser to watch a youtube video.
This looks similar to http://material-ui.com, which also uses reactjs.
Internet abuse culture is a tech industry problem
Then there's the flip side about how many people died from state sanctioned violence in Europe since 1910 (and going back a long ways; see especially the Thirty Years War). We in the US only understand that from immigrants who wanted to escape that scene, as well as the usual media, and it is one of the primary motivations of a bunch of us pro-gun types.

Neal Knox, one of the top figures there in the last century, got his start at boot camp, where he heard an eyewitness story from a recent immigrant from the Netherlands. The Nazis went to a family's house where a handgun was registered to the homeowner but since he couldn't find it, they took the whole family and machine gunned them in the village/town square.
From a practical perspective, I'd look at the books Sketching the User Experience, and Designing for Interaction, as far as a design process goes.

As far as a research process to back those design processes up, I'm not sure what a good user research 101 how-to guide is, because I learned in school and later on the job. But, digging around in my bookmarks, I see:

http://design.internews.org/design-research-101/

http://thenextweb.com/dd/2014/11/02/product-research-101-res...

http://www.gv.com/lib/gv-guide-to-research

https://medium.com/getting-started-with-user-research

http://abookapart.com/products/just-enough-research

http://rosenfeldmedia.com/books/remote-research/

Does that help?
Qihoo 360 and Go
Jade is a templating engine, not a markup language as such.

Personally, I don't understand the persistent popularity of Markdown in the face of a much better alternative like Restructured Text, where the extension story is not an alternative between "hope this flavour of Markdown does what you want" and "just write HTML". Even something simple like tables is not covered by the Markdown "spec".
Lucerne: A Common Lisp web framework
Ha, I never paid much attention to higher bitrates, and most of the time I only see resolution up to 720p (maybe because of my tastes).

I'm sure there are ways to merge streams on the fly though.
the difference here is that the label on the green box is explicitly "challenged" by the label of the red box. the step is to realize that both labels should be challenged (i.e if the label on the green box doesn't have to be true, the label on the red box doesn't have to be true)
Go to https://news.ycombinator.com/user?id=rdrake98 and set "showdead" to "yes". Then you'll still see posts that have been flagged and deaded.
He is is making the correct assumption that even if some people want peace others will be more than happy to kill you and rationalise that it was actually a good thing. So you are both right: the alternative is peace or war. I would definitely prepare for war though. To do otherwise is naive and gratuitously stupid.
Do you think it's not helping as much due to narrower and narrower specialization, that is it isn't helping as broad a community that it once did but helping many small communities scattered about?
It's similar to asking why I think Malfoy in Harry Potter is portrayed as a bad person. There's nothing subtle about the GGR character. I recommend watching the movie, primarily for the performances.
The difference between SF Bay Area and Los Angeles is pretty striking with 241 vs 5 listings.
Yes, this is the "weak" position. The original definition of a P-zombie is an entity that really does have no qualia, that is, subjective experience or "consciousness", but behaves exactly like it did, down to the neuronal level. It is a thought experiment and can be used as a reductio ad absurdum to argue that eg. uploads still have qualia.
Finding Hidden Exceptions and .NET Application Performance Problems
Have a really crappy, coarse-grained visual format. Dark squares to communicate bits.
ZeroCater is hiring a product manager
Haha! Excellent.