skysight-inc/HackerNews huggingface dataset:
I think the way to deal with both justified and unjustified outrage is to just face it. Discourse that excludes any sort of indignation or deep love isn't more sensitive than one that includes such things.

Sometimes anger, sadness and other emotions are simply strong signals that something is wrong and needs to be changed. Changing the emotion isn't useful in cases where it's the situation that is at fault, it's what the abuser would like to see though. If the outrage led to these firms being eradicated from the face of the Earth, it would wrap to a celebration real quick. Why not push for that?

Just because there's a whole lot of huffing and puffing going on, too, just because there's a lot of emotions "produced" if you will, out of thin air and with no grounding and purpose, doesn't mean you can throw it all together and judge it by the "hype".

Normal people have emotions. Normal intelligent people have emotions and can hold their own in discourse. People without a connection to their core want it to be solely about some supposedly objective and external set of rules, but that's like computing very nice colorful patterns on a computer without a monitor connected. Getting more RAM or a faster CPU is not the upgrade you need in that case.

Friedrich Nietzsche saw this a long, long time ago.. or maybe he didn't, what do I know what he's talking about, but I recognize the timid people walking carefully to protect something that they already lost by doing that erry day. They're so protective of what they lost that they won't even lift the lid.

> "I say unto you: one must still have chaos in oneself to be able to give birth to a dancing star. I say unto you: you still have chaos in yourselves.

> Alas, the time is coming when man will no longer give birth to a star. Alas, the time of the most despicable man is coming, he that is no longer able to despise himself. Behold, I show you the last man.

> 'What is love? What is creation? What is longing? What is a star?' thus asks the last man, and blinks.

> The earth has become small, and on it hops the last man, who makes everything small. His race is as ineradicable as the flea; the last man lives longest.

> 'We have invented happiness,'say the last men, and they blink. They have left the regions where it was hard to live, for one needs warmth. One still loves one's neighbor and rubs against him, for one needs warmth...

> One still works, for work is a form of entertainment. But one is careful lest the entertainment be too harrowing. One no longer becomes poor or rich: both require too much exertion. Who still wants to rule? Who obey? Both require too much exertion.

> No shepherd and one herd! Everybody wants the same, everybody is the same: whoever feels different goes voluntarily into a madhouse.

> 'Formerly, all the world was mad,' say the most refined, and they blink...

> One has one's little pleasure for the day and one's little pleasure for the night: but one has a regard for health.

> 'We have invented happiness,' say the last men, and they blink."
Yes, it is. This is a forum run by a startup incubator. People are encouraged to promote their work, within reason.
There are use cases where pulling the network card leaves a viable system. I'm unaware of a use case where pulling the CPU leaves one.

Also, the ME appears to be a nice one-stop-shop for compromise. It is the janitor's entrance; it is right there in the name.
A specification is usually
a lot simpler, because ...

I used to think that too, but after verifying some
algorithms, I have become sceptical of that belief. Instead I
conjecture that on average the full specification of an algorithm is at best
proportional in length to the algorithm itself. There are two main
issues:

- Most verification does not tackle the full specification, but
rather some aspect.

- Verification needs many intermediate specifications (e.g. induction
hypotheses in proofs), which need to be accounted for.

I'm happy to be convinced otherwise.

prove that a sorting
algorithm is

I produced the full verification of Quicksort (probably the first), and I needed to produce a large amount of intermediate specifications for auxiliary lemmas. The full specification was much longer than the algorithm.
Why not give women 12 extra days of work from home (when applicable) for a year and see how it goes rather than setting up different rules for different genders? Or am I missing something here?
I'll cite your Hacker News comment in my next paper.
The numbers scale regardless of what percentage of the day everyone "really works".
I'm British, FYI :-)

My suggestion, while obviously extreme (flexible scheduling as mentioned elsewhere in this thread would be a much more reasonable 'solution') wouldn't fly in the USA as nobody takes their holiday days anyway!
This is made a lot worse at Amazon because of the commingling of stock from different sellers.
No longer outsourced, Medium acquired Embedly last year.
Further to that, I buy as much IT stuff in general as I can get at B&H for those very same reasons. I even got a couple of 52-port PoE switches from them a few years back. Generally the prices are better than/comparable to Amazon and faster shipping (to the D.C. area, to be fair).
That used to be my solution in the b/g times. These days it has gotten to the point that unless I'm doing something extremely heavy like transfer TBs between machines the added advantage of not having to bother with a fixed location for the laptop and extra wiring compensates for the slower speed. And that's with simple wifi setups with a single good AP. I'm sure the line is even further pushed out if you've designed a multiple AP setup with good coverage and low interference.
> This world would be fundamentally more efficient than the one we live in now. It would be fundamentally fairer since there would be one rule for all and that rule would be plainly visible and implemented automatically.

And this is why the whole thing will never happen. If I may throw my peanuts at this idea.

I suppose a lot of things today is motivated by the individual's question of "How can I benefit from this?"

But here's an idea, someone should start Universal Basic Income/parallel economy using blockchains. Anyone can sign up. If there's this giant pool of people with "money", I bet people trying to sell things to them will quickly sign up...
R E G U L A T E
Perhaps not all tech companies care to push past human error in each postmortem (or even have a proper formal process at all), but some are known to do just that. Etsy and Google are among the well-documented cases.

> This idea of digging deeper into the circumstance and environment that an engineer found themselves in is called looking for the “Second Story”. In Post-Mortem meetings, we want to find Second Stories to help understand what went wrong.

— Blameless PostMortems and a Just Culture,

https://codeascraft.com/2012/05/22/blameless-postmortems/

> Blameless postmortems are a tenet of SRE culture. … Blameless culture originated in the healthcare and avionics industries where mistakes can be fatal. These industries nurture an environment where every "mistake" is seen as an opportunity to strengthen the system. When postmortems shift from allocating blame to investigating the systematic reasons why an individual or team had incomplete or incorrect information, effective prevention plans can be put in place. You can’t "fix" people, but you can fix systems and processes to better support people making the right choices when designing and maintaining complex systems.

— Site Reliability Engineering — Postmortem Culture: Learning from Failure

https://landing.google.com/sre/book/chapters/postmortem-cult...
I have mined, and know people who mine, and so while it might sound counter intuitive, have never heard of a card going bust.

The only card I did hear of was a gamer who didn't mine, and as other comment mentioned, it was RMA'd.

I ran a R9 380 at 80 degress for months >_< sold it but it still worked a treat.
Definitely fracking and Monsanto. I've also noticed some software and hardware products seem to have a shill presence.

I think we all remember that 6 month period where Microsoft decided to shove VSCode down every ones throat. It was impossible to get away from. New vim released? "Yeah vim is good but now I use VSCode TM". New sublime? New Atom? Same thing. They were aggressive with that one.
Java Swing JFrame Login UI and Validation
Show HN: Loadmill – Run Load Tests with Real Crowdsourced Traffic
The 8-Bit Guy on YouTube did a great video about consumer-facing solutions that were available: https://www.youtube.com/watch?v=BJzOErvJwZs
It's not a crazy idea to first install production only gems, then copy them (cache them), and then install the remaining gems. But I'm asking for info on best practices.
Not wholly true. My mac ecosystem is currently blocking the download of a free app until I verify my CC information (which consists of entering the CCV for the hundredth time, but that's a separate rant).
Peter Thiel comments on diversity movements inside college campuses (1996)
Find great indian schools
I'm a little confused as to what the point of cognito is. Wouldn't users typically be managed by the application and data regarding the users typically be stored in the db? Why do we need another service for this?
> I've achieved up to 100Mbps on Wi-Fi at home

Note that I said 800-1100Mbps.

> but the problem has always been variable latency

Symptom of crappy consumer equipment.

> Any kind of interfere from the dozens of other Wi-Fi networks in the area seems to have an effect

Well yeah, that is why I use 5GHz which doesn't penetrate walls very well so I don't get any interference.
1. No, I am not friends with either of them and no, I am not paid to post here. I do work in the ecosystem and do know them and exchange work conversations and ideas with them. I look up, especially to Juliana. I recently saw her on stage representing Kenyan women in the tech scene at G20 and was proud that she represented us well.

2. The harasser was eventually dismissed from employment, but not for sexual harassment because it was my word against his and I did not have any evidence. I knew this going into the process that he would be presumed innocent until proven guilty and I was unable to prove him to be guilty.

3. I don't know, does seem weird that it appears below a newer post.

4. I am not aware of that - I don't represent them here, just curious how you and other know about it, or is that hearsay? What did you personally do about it when you knew about it in 2006? I am all for naming and shaming when information has been verified.

5. I certainly hope not, all I am saying is that there hasn't been any public knowledge or statement from anyone suggesting they are trying to run away from this, why are we assuming that? Unless you, or others on this forum, work for someone or represent someone who is an insider to the case?

6. I hope all stakeholders, including ourselves here as the public and as the Kenyan tech community, hold Ushahidi to conduct a fair investigation into the matter. If in fact he is in the wrong, investors, funders and the community should boycott them. All I'm saying is, they are our allies now - not our enemies until I hear otherwise from a credible source. Why assume otherwise? I am questioning the motives that are muddying the waters of a bigger, more important issue here.

Finally, very true that having daughters, sisters and mothers does not stop one from being a sex pest. I was just attesting to my personal esteem for those 3 board members, I know no-one else in the case including the accused and the accuser.
Very true, for many years I worked comfortably on a Apple ][ with 64K of RAM. Nostalgia aside, I don't really want to go back to those days. However, I think it's good for programmers of today to work on a small embedded system without OS to see how much you can do with a tiny fraction of the resources a modern PC gives you.
*Loses
Neither do women who are done menstruating. So employers should hand out a questionnaire to all the women asking who still gets their period? I mean, that's a pretty normal question to ask your coworkers, I'm sure HR would be cool with it.

This is way, way easier to just implement as one extra sick day per person per month.
They also went full on Jesus some years back. They're firmly in the blue collar reality TV camp now, its mostly truck drivers, pawn shops, and surprisingly, blacksmiths.

Sorta like how the Sci Fi channel was all about pro wrestling, fantasy, action movies, pretty much anything but science fiction.

When I was a little kid (a long time ago) the snarky wisdom was if a country had "democratic" in its name, it wasn't. The snarky wisdom today is a cable TV channel broadcasts everything except what its name would imply. So the History channel never broadcasts anything factually historical, the sci fi channel never broadcasts science fiction, or The Learning Channel only broadcasts fashion and style never anything educational. "Home and Garden" TV is endless real estate "FIRE sector" complimentary copy, containing no garden shows. Even the weather channel pretty much stopped weather forecasts and replaced it with agitprop documentaries that the faithful don't watch because they're already faithful and the unfaithful don't watch because they're nonbelievers.
> By "prose" here I guess you mean comments?

That's a big assumption. I assume the OP meant not quite literally 'prose' but 'good, clear writing' which can certainly be achieved using the built-in keywords of a language combined with well-chosen identifiers.
Yep. Banning the use of strong encryption (introducing penalties for it,) is the logical conclusion of what Theresa May has said she wants to do.
I met with the doctor face-to-face. He felt that he needed to stand-by his policy of demanding the non-discounted fee. He did not believe the rate for the service was set when he accepted my insurance (with a known reimbursement rate), but rather was based on his billing staff finding the highest amount to bill after the procedure was complete.

He made an argument (that I considered specious) about "fairness" to other patients and problems he'd had in the past with patients mistreating the office staff because of perceived "unfairness" in his offering discounts.

My attorney advised me that I'd likely spend more money fighting the doctor than just paying him. Because I care (probably more deeply than I should) about my credit rating I opted to pay the doctor and put the whole mess behind me. I also ditched my pre-ACA insurance that carried this never-expiring pre-existing condition waiver and moved to an ACA plan with no such waivers.

The surgery center that was involved in the ordeal was much more reasonable, BTW. They charged me the amount my insurance company would have reimbursed them. When I brought this up to the doctor (who is also a partner in the surgery center business) he simply stated that his office's policies differed from those of the surgery center, and that his policy was to receive his full fee.
Your gonna have a hard time. There is very very little that isn't the result of fakery of various types.

Your policy just causes you to avoid the poorly done astroturfing, it does nothing to actually avoid it.

What you should do instead is mentally "filter out" the results of the astroturfing, and evaluate the service on how it looks minus that.
I fully support letting people go home when they are objectively counterproductive.
The point is that the specification is short and human understandable: you get confidence that bugs are unlikely to exist in the specification. Now if you also can prove that your optimization passes fulfill the specification you've obviously gained a lot of value. It doesn't matter that deciding the correctness of arbitrary program transformations is undecidable if you happen to succeed in proving that the ones actually implemented are correct.
American here. This approach is not common in the US, but it's not totally unknown either. It also addresses issues where people may prefer to take different holidays off based on religious preferences. One person might take Hannukah and another might take Christmas, etc.
Why Most SaaS Companies Need to Eventually Head Up Market
Yeah, like the ToR "meek" obfuscation method does.

https://trac.torproject.org/projects/tor/wiki/doc/meek
SUPER FAST CARS
"Even though theoretically, type theories and type systems are not enough to prevent all the problems in logic and programming, they can be improved and refined to prevent an increasingly number of problems in the practice of logic and programming. That means the research for better practical type systems is far from over!"

This is great point, and I think it is absolutely worthwhile to put time into researching better, more powerful type systems.

Tony Hoare said[1] that his research into formal systems and his hope that the pr Framing world would embrace these new innovations that increase safety and reliability was futile, but I think what we need is a new approach, with particular care given to practicality and adoptability.

[1] https://en.wikipedia.org/wiki/Tony_Hoare
Can't the same argument be made for statism, against anarchists and libertarians?
But can a web-based updater can still generate a static back-end?
I sense this is more of a roadtest for technologies that are bound for a new product line.
I never said that, but the majority of adults are responsible for this mess including the representatives they've elected. This includes you and me.
W/r/t the OP, I have trouble thinking that the Linux Subsystem is as full a solution as it's made out to be, but on-topic discussion isn't not what comments thread brawls are for!

I'm consistently amazed that the response is always that "Windows sucks" even as it's gotten better than the 95/XP/Vista experience. It's 2017, .NET runs on Linux now and VS runs on macOS, can't we all just get along? Of course, that sentiment exists for good reason even as Microsoft improves its product offerings. Every stable Windows install is just one third-party enterprise shitware deployment from automating BSOD reboots.

Tooling aside--VS is great if you add "finally" and "for some tasks" and if Powershell ever reaches a finished state that'd be good, but I still don't use either--regardless of how slap-dash and inconsistent Windows (lol X11) can be, the part of Windows that sucks the most is working at companies that require its use. If you haven't worked somewhere where people aspire to be "Sharepoint Administrators", where people "fix" prod data in Access and where >25% of your CPU cycles go to black-box antivirus vendor apps that had unpatched CVEs discovered in the past month, you really should so you can remember why you left.
What difference does it make if there's no fork/exec? Back in 1999 we had MOSDEF and CORE IMPACT, both of which used staged loaders to boot up a language runtime in a remote process after compromising it with a stack overflow. In a broader sense this is stuff that viruses had been doing for about 8 years prior to that.

Only executing native code is no defense at all. You're not even stopping attackers from the '90s like that.

ROP is only a hardship until exploit code can find a way to allocate executable memory or hook the program's own dynamic execution (note: this is not necessarily a "JIT" or "eval") capabilities. ASLR only matters when exploits can't find infoleaks.

Really, what you're describing here is the browser security model. When staffed by the largest, best security teams in the world, the browser security model almost works.
If Alice pays Bob to kill Cathy, I think we can all agree that Alice and Bob are both felons.

If Alice pays Bob to procure a tuna sandwich for her, and Bob chooses a means of procural that kills Cathy as a byproduct, common sense dictates that Bob is again a felon, while the amount of responsibility born by Alice depends on the extent to which she was aware of what Bob was going to do.
What'd you think? If you hire an expert to inspect your product so you can show a certificate and further sales, it's resonable for the expert to get paid.
Weird - OK, that should be fixed now =). Let me know if not.
Ah, here's the wake turbulence one: https://www.youtube.com/watch?v=FxXwqAm1a-Y
1st of aug there is a fork (maybe) which makes people very nervous. Most people I know sold off because of that (and not understanding what stuff means as in ; all crypto is the same and this sounds dangerous!). And correction which was needed anyway. I'll be buying.
Don't really understand this article. It just takes the writing process and inserts bits about writing good code into it. If anything, good code should read like Hemmingway and nothing else. And as such, not all good prose will be as dry and concise.
24 Steps to Create the Ideal Buyer Persona Today
But seems to be in line with NASA findings:

https://thinkprogress.org/its-taking-less-co2-than-expected-...

Also, the general safety limit for co2 is around 5000 ppm for up to 8 hours - higher than that, and headaches and other effects will manifest.

I'm quite surprised that "no effect" could be seen at 40k ppm - I wonder if there were some limits to the cognitive tests (like the difference between proving a difficult mathematical theorem vs doing some Calculus).
Maybe in normal markets. In the cracked out world of cryptocurrency it's just another day of trading.
The "on-the-knee" setup i have been using for my (Django) side project is:

- base image that installs OS Updates + OS package requirements + production dependencies

- dev image inherits from base image, installs dev dependencies + source code volume mounted on '/app/src'

- test image inherits from base image, installs test dependencies + source code volume mounted on '/app/src' (image used both for local tests and CI)

- prod image inherits from base image, adds source code to '/app/src' (this image will eventually be tagged and pushed to a production registry after builds)

Only adding source code to the image in prod image for not breaking cache during development.
You could contact AMD and show support for open sourcing PSP (their ME equivalent) or having an option to disable it. There is hope: https://www.reddit.com/r/linux/comments/5xvn4i/update_corebo...
I was talking about generating hints to give an opportunity to the RE guesser to find the secret RE. You seem to talk about automating the RE generation based on the pattern of the hints, yeah I didn't thought about that, the other answer seem to talk about it.
Tech Companies Wage War on Disease-Carrying Mosquitoes
What about mounting devices that use common filesystems? This is probably one of my biggest gripes with obsd. Mounting a regular msdos for read/write ought to work, but many times it just doesn't. There's no ext4 read/write support at all, etc.

If I knew anything about filesystems at all I think I'd volunteer to get it done, it seems like a pressing issue that nobody seems to care about much. I'd rather be able to mount as many things as GNU/Linux can before even thinking about USB automount...
In a microservice architecture, there's usually a users/authorization service. It makes it easier to have multiple services serve a single user pool. If you only have one public service then there's probably no point in having a separate service for users/authorization.
Your suggestion is different rules for different genders?